117 search results - page 1 / 24 » A symbolic framework for multi-faceted security protocol ana... |
IJISEC
2008
13 years 11 months ago
2008
JOC
2011
13 years 5 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
CCS
2005
ACM
14 years 4 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
TCC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
ESORICS
2009
Springer
14 years 11 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...