4 search results - page 1 / 1 » Soundness of Formal Encryption in the Presence of Key-Cycles |
ESORICS
2005
Springer
13 years 10 months ago
2005
Springer
TCC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
ESOP
2005
Springer
13 years 10 months ago
2005
Springer
SP
2006
IEEE
13 years 10 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...