A Method for Examining Cryptographic Protocols

A Method for Examining Cryptographic Protocols (1997)

Cached

Download Links

[ftp.cs.virginia.edu]

by Brett C. Tjaden

Citations:

6 - 0 self

BibTeX

@MISC{Tjaden97amethod,
    author = {Brett C. Tjaden},
    title = {A Method for Examining Cryptographic Protocols},
    year = {1997}
}

Bookmark

OpenURL

Abstract

Citations

2507	A method for obtaining digital signatures and public-key cryptosystems - Rivest, Shamir, et al.
2292	New Directions in Cryptography - Diffie, Hellman - 1976
1404	How to share a secret - Shamir - 1979
1040	R.: A logic for authentication - Burrows, Abadi, et al. - 1989
1001	Probabilistic encryption - Goldwasser, Micali - 1984
961	A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithm - ElGamal - 1985
872	A.C.-C.: On the security of public key protocols - Dolev, Yao - 1983
783	Using encryption for authentication in large networks of computers - Needham, Schroeder - 1978
713	Algorithms for quantum computation: discrete logarithms and factoring - Shor - 1994
548	Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR - Lowe
407	Differential Cryptanalysis of DES-like Cryptosystems - Biham, Shamir - 1990
407	Protocols for secure computation - Yao - 1982
403	Authentication in distributed systems: Theory and practice - Lampson, Abadi, et al. - 1992
337	On the power of quantum computation - Simon - 1994
332	Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1990
293	Encrypted key exchange: Password-based protocols secure against dictionary attacks - Bellovin, Merritt - 1992
289	Zero Knowledge Proofs of Identity - Feige, Fiat, et al. - 1987
231	Authentication and Authenticated Key Exchanges - Diffie, Oorschot, et al. - 1992
221	Timestamps in key distribution protocols - Denning, Sacco - 1981
176	Reasoning about belief in cryptographic protocols - Gong, Needham, et al. - 1990
174	Receipt-free secret-ballot elections - Benaloh, Tuinstra - 1994
164	Reflections on trusting trust - Thompson - 1984
163	Authentication in the Taos operating system - Wobber, Abadi, et al. - 1994
148	Proofs that yield nothing but their validity and a methodology of cryptographic protocol design - Goldreich, Wigderson - 1986
131	A semantic model for authentication protocols - Woo, Lam - 1993
128	Three systems for cryptographic protocol analysis - Kemmerer, Meadows, et al. - 1994
112	E cient and Timely Mutual Authentication - Otway, Rees - 1987
109	Limitations of the Kerberos authentication system - Bellovin, Merritt - 1991
103	The interrogator: Protocol security analysis - Millen, Clark, et al. - 1987
97	On unifying some cryptographic protocol logics - Syverson, Oorschot - 1998
91	Formal verification of cryptographic protocols: A survey - Meadows - 1995
89	Social processes and the proofs of theorems and programs - DeMillo, Lipton, et al. - 1979
89	Integrating security in a large distributed system - Satyanarayanan - 1989
82	Renesse, “Using sparse capabilities in a distributed operating system - Tanenbaum, Mullender, et al. - 1986
80	Authentication for distributed systems - Woo, Lam - 1992
78	A taxonomy of replay attacks - Syverson - 1994
70	Key Distribution Protocol for Digital Mobile Communication Systems - Tatebayashi, Matsuzaki, et al. - 1989
68	A model for secure protocols and their composition - Heintze, Tygar - 1996
66	How to share a function securely - Santis, Desmedt, et al. - 1994
62	Fundamentals of deductive program synthesis - Manna, Waldinger - 1994
56	Analyzing encryption protocols using formal verification techniques - Kemmerer - 1989
55	A 15 Year Perspective on Automatic Programming - Balzer - 1985
52	Cryptographic Protocols - Merritt - 1983
51	Cryptographic protocols - DeMillo, Lynch, et al. - 1982
51	Refinement and Extension of Encrypted Key Exchange - Steiner, Tsudik, et al. - 1995
50	A Security Risk of Depending on Synchronized Clocks - Gong - 1992
49	Privacy and authentication on a portable communications system - Beller, Chang, et al. - 1993
49	Reducing Risks from Poorly Chosen Keys - Lomas, Gong, et al. - 1989
48	A Logic of Communication in Hostile Environment - Bieber - 1990
48	A note on the use of timestamps as nonces - Neuman, Stubblebine - 1993