Systematic Design of Two-Party Authentication Protocols (1992)

Cached

Download Links

by Ray Bird , Inder Gopal , Amir Herzberg , Phil Janson , Shay Kutten , Refik Molva , Moti Yung
Citations:52 - 3 self

Active Bibliography

unknown title – Foreword Whitfield Diffie
6 A Method for Examining Cryptographic Protocols – Brett C. Tjaden - 1997
Chapter 1—Foundations 1.1 Terminology – Bruce Schneier, Wiley Computer Publishing, John Wiley, Whitfield Diffie
1 Cryptology – Prof Ronald Rivest, L. Rivest
82 Dyad: A System for Using Physically Secure Coprocessors – J. D. Tygar, Bennet Yee - 1991
KryptoKnight Protocol Cookbook – Philippe Janson, Gene Tsudik, Moti Yung - 1994
6 On the Security Effectiveness of Cryptographic Protocols – Rajashekar Kailar, Virgil D. Gligor, Li Gong - 1994
17 Logics for Cryptographic Protocols - Virtues and Limitations – V. D. Gligor, Gligor Kailar, S. Stubblebine, L. Gong - 1991
3 A FRAMEWORK FOR A CRYPTOGRAPHIC PROTOCOL EVALUATION WORKBENCH – Alec Yasinsac , William A. Wulf
26 Formal Methods for the Analysis of Authentication Protocols – Aviel D. Rubin, Peter Honeyman - 1993
46 Automatic Validation of Protocol Narration – C. Bodei, M. Buchholtz, P. Degano, F. Nielson, H. Riis Nielson - 2003
35 Static validation of security protocols – Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson - 2005
6 Variations on the Themes of Message Freshness and Replay - or the Difficulty in Devising Formal Methods to Analyze Cryptographic Protocols – Li Gong - 1993
83 Applying Formal Methods to the Analysis of a Key Management Protocol – Catherine Meadows - 1992
1 Provable Security for Cryptographic Protocols - Exact Analysis and Engineering Applications – James W. Gray, III, Kin Fai, Kin Fai Epsilon Ip, King-shan Lui - 1997
Authentication in Distributed System – n.n.
85 Authentication for Distributed Systems – Thomas Y. C. Woo, Simon S. Lam - 1992
17 Lecture Notes on Cryptography – Shafi Goldwasser, Mihir Bellare - 2001
45 Systematic Design of a Family of Attack-Resistant Authentication Protocols – R. Bird, R. Bird, I. Gopal, I. Gopal, A. Herzberg, A. Herzberg, P. Janson, P. Janson, S. Kutten, S. Kutten, R. Molva, R. Molva, M. Yung, M. Yung - 1992