2 search results - page 1 / 1 » On the Power of Misbehaving Adversaries and Security Analysi... |
CTRSA
2001
Springer
13 years 10 months ago
2001
Springer
TCC
2005
Springer
13 years 11 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 ...