Richard A. Kemmerer. Analyzing encryption protocols using formal veri cation techniques. IEEE Journal on Selected Areas in Communications, 7(4):448-457, May 1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Analyzing Cryptographic Protocols in a Reactive Framework - Shyamasundar (Correct)
Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (2 citations) (Correct)
A Cryptographically Sound Security Proof of the.. - Backes, Pfitzmann (2003) (9 citations) (Correct)
Universally Composable Cryptographic Library - Backes, Pfitzmann, Waidner (2003) (14 citations) (Correct)
Reconciling Two Views of Cryptography (The Computational.. - Abadi, Rogaway (2000) (26 citations) (Correct)
I/O Automaton Models and Proofs for Shared-Key Communication Systems - Lynch (1999) (Correct)
A Formal Language for Security Services Base Modelling and.. - Trcek, Blazie (1995) (1 citation) (Correct)
Encryption-Scheme Security in the Presence of.. - Black, Rogaway, Shrimpton (2002) (5 citations) (Correct)
An Approach to the Formal Verification of Cryptographic Protocols - Bolignano (1996) (24 citations) (Correct)
Reconciling Two Views of Cryptography - The Computational Soundness (Correct)
Approximating Imperfect Cryptography in a Formal Model - Troina, Aldini, al. (2003) (Correct)
Towards a Formal Treatment of Secrecy against.. - Troina, Aldini, Gorrieri (Correct)
A Probabilistic Formulation of Imperfect Cryptography - Troina, Aldini, Gorrieri (2003) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (353 citations) (Correct)
Modeling And Analyzing Security Protocols In Sam: - Case Study Zhengfan (Correct)
A Cryptographically Sound Dolev-Yao Style Security Proof of the.. - Backes (2004) (Correct)
A Cryptographically Sound Security Proof of the.. - Backes, Pfitzmann (2003) (9 citations) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1996) (353 citations) (Correct)
A Probabilistic Formulation of Imperfect Cryptography - Troina, Aldini, Gorrieri (2003) (Correct)
Approximating Imperfect Cryptography in a Formal Model - Troina, Aldini, Gorrieri (2004) (Correct)
Towards a Formal Treatment of Secrecy against.. - Troina, Aldini, Gorrieri (2004) (Correct)
Secure Asynchronous Reactive Systems - Backes, Pfitzmann, Waidner (2004) (7 citations) (Correct)
Software Engineering for Security: Towards Architecting.. - Software Information And (Correct)
Formal Verification Techniques For Computer Communication.. - Ma, Tsai (Correct)
A Method for Examining Cryptographic Protocols - Tjaden (1997) (4 citations) (Correct)
First 50 documents
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