A. Liebl. Authentication in distributed systems: A bibliography. ACM Operating Systems Review, 27(4):31--41, 1993. 108 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Private Computing: The Trusted Digital Assistant - Stabell-Kulø (Correct)
Integrating Authentication into Existing Protocols - Sailer (1996) (Correct)
A Brief Survey of Current Work on Network Attached Peripherals - Van Meter, III (1996) (3 citations) (Correct)
Security Protocols over open networks and.. - Gritzalis.. (1999) (9 citations) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (343 citations) (Correct)
Security Issues in Distributed Computing - O'Connor, Gaskell, Caelli (Correct)
Some Hints on the Theory and Practice of Authentication in.. - Stabell-Kulø (1995) (Correct)
Formal Methods for the Analysis of Authentication Protocols - Rubin, Honeyman (1993) (6 citations) (Correct)
Mechanizing a Theory of Authentication in Higher Order Logic - Munna, Alves-Foss (Correct)
Clap, a Simple Language for Cryptographic Protocols - Goubault-Larrecq (Correct)
Reasonable Authentication in Distributed Systems - Alves-Foss, Munna (Correct)
Mechanizing a Theory of Authentication in Higher Order Logic - Munna, Alves-Foss (Correct)
A Security Architecture for Tenet Scheme 2 - Oppliger, Gupta, Moran, Bettati (Correct)
Security Functions for a File Repository - Helme, Stabell-Kulø (1996) (Correct)
Secure Communication in FRTP - Stabell-Kulø (1995) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1997) (343 citations) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1997) (343 citations) (Correct)
Breaking Security Protocols as an AI Planning Problem - Massacci (1997) (Correct)
Prudent Engineering Practice for Cryptographic Protocols - Abadi, Needham (1995) (152 citations) (Correct)
Reasoning about Cryptographic Protocols in the Spi Calculus - Abadi, Gordon (1997) (37 citations) (Correct)
A Reference Model for Firewall Technology - Schuba (1997) (3 citations) (Correct)
A Security Architecture for Tenet Scheme 2 - Oppliger, Gupta, Moran, Bettati (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (353 citations) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1996) (353 citations) (Correct)
A Method for Examining Cryptographic Protocols - Tjaden (1997) (4 citations) (Correct)
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