176 citations found. Retrieving documents...
D. E. Denning and G. M. Sacco. Timestamps in key distribution protocols. Communications of the ACM, 24(8):533-- 536, 1981.

 Home/Search   Document Not in Database   Context   Related Articles   Check  

This paper is cited by the following papers:

First 50 documents  Next 50

An Encapsulated Authentication Logic - For Reasoning About   (Correct)
A Global Authentication Service without Global Trust - Andrew Birrell Butler   (Correct)
A Global Authentication Service without Global Trust - Andrew Birrell Butler   (Correct)
Theory Generation for Security Protocols - Kindred, Wing (1999)   (4 citations)  (Correct)
A Protocol for Secure Public Instant Messaging - Mannan, van Oorschot (2006)   (Correct)
A Computationally Sound Mechanized Prover for Security Protocols - Blanchet (2005)   (3 citations)  (Correct)
A Unified Cryptographic Protocol Logic - Syverson, van Oorschot (1996)   (7 citations)  (Correct)
Authentication and Authenticated Key Exchanges - Diffie, van Oorschot, Wiener (1992)   (80 citations)  (Correct)
Implementing an Object Oriented, Knowledge Based Network.. - Yasinsac, Al.   (Correct)
On Session Key Construction in Provably-Secure Key Establishment.. - Choo (2005)   (Correct)
Verification of Multi-Protocol Attacks - Cremers   (Correct)
A Cryptographically Sound Dolev-Yao Style Security Proof of the.. - Backes (2004)   (Correct)
Inductive Verification of Cryptographic Protocols - Bella (2000)   (4 citations)  (Correct)
Attacks on an ISO/IEC 11770-2 Key Establishment Protocol - Cheng, Comley (2004)   (Correct)
The Kerberos Network Authentication Service (V5) - Kohl, Neuman (1993)   (5 citations)  (Correct)
Comparing Authentication Techniques - Bishop (1991)   (Correct)
A Composable Cryptographic Library with Nested.. - Backes, Pfitzmann.. (2003)   (23 citations)  (Correct)
A formal model of Diffie-Hellman using CSP and rank functions - Delicata, Schneider (2003)   (1 citation)  (Correct)
Network Working Group J. Kohl Request for Comments: 1510.. - Status Of This   (Correct)
One-Round Protocols for Two-Party Authenticated Key Exchange - Jeong, Katz, Lee (2004)   (4 citations)  (Correct)
The Kerberos Network Authentication Service (V5) - Kohl, Neuman (1993)   (5 citations)  (Correct)
Implementing an Object Oriented, Knowledge Based Network.. - Yasinsac, al.   (Correct)
Symmetric Key Authentication Services Revisited - Crispo, Popescu, Tanenbaum (2005)   (1 citation)  (Correct)
Symmetric Key Authentication Services Revisited - Crispo, Popescu, Tanenbaum (2004)   (1 citation)  (Correct)
Trust Management for Widely Distributed Systems - Yao (2003)   (3 citations)  (Correct)

First 50 documents  Next 50

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC