The protocol-analysis tag has no wiki summary.
2
votes
2answers
275 views
Benefit of combining classical substitution ciphers with modern cryptography
I know that a simple monoalphabetic substitution cipher is considered extremely weak, on account of linguistic frequency-analysis attacks. However, assume the following:
cleartext is encrypted ...
1
vote
2answers
201 views
Are there any tools for modelling and analysis of Cryptographic protocols?
Iam designing few cryptographic protocols and am new to it.
Are there any well known tools that can be used to model/design these protocols ?
And also verify/Analyze their validity ?
If not a tool , ...
1
vote
1answer
102 views
Is this a sensible cryptographic protocol intending to reduce the impact of compromised security?
I'm in the process of designing a cryptographic protocol which will reduce the impact an attacker will have if they gained root access to a server storing data.
The basic crux of it is that keys ...
0
votes
1answer
42 views
Reference papers for protocol proving [closed]
I am working on few cloud cryptography protocols. i am new to protocol design, definitions and proving .
With some preliminary research i understand that there are two models of security proofs
one ...
