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