25 search results - page 1 / 5 » Soundness of Formal Encryption in the Presence of Active Adv... |
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...
CCS
2009
ACM
13 years 11 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
ESORICS
2005
Springer
13 years 10 months ago
2005
Springer