Reasoning about Belief in Cryptographic Protocols (1990)

Cached

Download Links

by Li Gong , Roger Needham , Raphael Yahalom
Venue:Proceedings 1990 IEEE Symposium on Research in Security and Privacy
Citations:187 - 6 self

Active Bibliography

4 Using Weakest Preconditions To Evaluate Cryptographic Protocols – Alec Yasinsac, William A. Wulf - 1996
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
KryptoKnight Protocol Cookbook – Philippe Janson, Gene Tsudik, Moti Yung - 1994
1 A Collusion Problem and its Solution – Steven H. Low, Nicholas F. Maxemchuk - 1998
6 Principles for Entity Authentication – Michele Bugliesi, Riccardo Focardi, Matteo Maffei, Fabio Tudone - 2003
Design and Performance Evaluation of the Nested Certification . . . – Albert Levi - 1999
26 A HOL Extension of GNY for Automatically Analyzing Cryptographic Protocols – Stephen H. Brackin - 1996
Static Analyses of Cryptographic Protocols – Jay McCarthy - 2009
7 Lower Bounds on Messages and Rounds for Network Authentication Protocols – Li Gong - 1993
5 Nonmonotonic Cryptographic Protocols – A. D. Rubin - 1994
20 Security Protocols over open networks and distributed systems: Formal methods for their Analysis, Design, and Verification – Stefanos Gritzalis, Diomidis Spinellis, Panagiotis Georgiadis - 1999
11 Trust Management for Widely Distributed Systems – Walt Teh-ming Yao - 2003
17 Computationally Sound Mechanized Proofs of Correspondence Assertions – Bruno Blanchet - 2007
19 An Encapsulated Authentication Logic for Reasoning About Key . . . – Iliano Cervesato, et al. - 2005
45 An Approach to the Formal Verification of Cryptographic Protocols – Dominique Bolignano - 1996
35 Static validation of security protocols – Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson - 2005
7 Formal Methods in the Design of Cryptographic Protocols (state of the Art) – Levente Buttyan - 1999
Introductory Conversation – Replies To Angry