Tagged Questions

0
votes
0answers
27 views

BAN Logic, Problem to Idealize the protocols

I'm studying the BAN logic. In the application of it, there is a step,where I have to idealize the protocol that I'm analyzing. I have problems to make this. Anyone that has expertise in BAN logic ...
1
vote
1answer
112 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
43 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 ...
2
votes
2answers
286 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
210 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 , ...