R. Kemmerer, C. Meadows, and J. Millen. Three system for cryptographic protocol analysis. Journal of Cryptology, 7(2):79-130, Spring 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Authentication for Mobile IPv6 - Anupam Datta John (2002) (Correct)
.... only possible once for each pair of home agents (up to the capacity of the key cache) 1 We have formally verified the correctness of our protocol using the finite state analysis tool Mur [7] While formal methods have been successfully used to analyze key exchange and authentication protocols [8, 9, 10, 11, 13, 12], this is the first Diffie Hellman based key exchange protocol that has been analyzed with Mur . In addition, previously analyzed protocols such as SSL [14] and contract signing [15, 16] involve only two parties while Mobile IP has four (two mobile nodes and their associated home agents) ....
R. Kemmerer, C. Meadows, J. Millen. Three Systems for Cryptographic Protocol Analysis. In Journal of Cryptography, 7(2):79-130, 1994.
Analyzing Cryptographic Protocols in a Reactive Framework - Shyamasundar (Correct)
....protocols have been adapted for establishing the secrecy authenticity of the cryptographic protocols. Approaches can be broadly categorized as follows: 1) State Machine Models [11, 14] 2) Calculus Based Models [1] 3) Methods Based on Belief Logics [5] and (4) Theorem Prover based Methods [8, 3, 16, 4, 19, 9]. 17] provides an annotated bibliography. In the area provably correct systems, there have been quite considerable efforts in the speci cation and veri cation of reactive systems [7] The family of synchronous languages [2] has been well studied for the design and synthesis of provably correct ....
R. Kemmerer, C. Meadows and J. Millen, Three Systems for Cryptographic Protocol Analysis, J Cryptology (1994), 7:79-130.
Cautionary note for protocol designers: Security proof is not .. - Gillet, Joye, al. (1997) Self-citation (Meadows) (Correct)
....previous attacks show that it is extremely di#cult for a protocol designer to determine whether his protocol is sound, even for very simple protocols. Some researchers proposed formal techniques for analyzing the soundness of protocols, such as the BAN logic [4] or the three systems presented in [8]. Another approach for the protocol designer is to try to find flaws in his m Alice m # Bob Carol Figure 2: Lenstra s attack. protocol with all his experience of good and bad practice. In [1] Abadi and Needham give general rules helping protocol ....
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, 1994.
Reconciling Two Views of Cryptography - The Computational Soundness (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three system for cryptographic protocol analysis. Journal of Cryptology, 7(2):79-130, Spring 1994.
Breaking and Fixing Public-Key Kerberos - Cervesato Jaggard Scedrov (Correct)
No context found.
Kemmerer, R., Meadows, C., Millen, J.: Three systems for cryptographic protocol analysis. J. Cryptology 7 (1994) 79--130
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) (Correct)
No context found.
Richard Kemmerer, Catherine Meadows, and Jon Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, 1994.
Theory Generation for Security Protocols - Kindred, Wing (1999) (4 citations) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, 1994.
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (2 citations) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, 1994.
Breaking and Fixing Public-Key Kerberos - Cervesato Jaggard Scedrov (2006) (Correct)
No context found.
Kemmerer, R., Meadows, C., Millen, J.: Three systems for cryptographic protocol analysis. J. Cryptology 7 (1994) 79--130
Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (8 citations) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, 1994.
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2003) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. J. Cryptology, 7(2):79-130, 1994.
A Probabilistic Polynomial-Time Calculus for the.. - Mitchell.. (2002) (12 citations) (Correct)
No context found.
Kemmerer, R. A., Meadows, C., and Millen, J. K. Three systems for cryptographic protocol analysis. Journal of Cryptology 7, 2 (1994), 79--130.
A Semantics for Web Services Authentication - Bhargavan, Fournet, Gordon (2003) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, 1994.
A Composable Cryptographic Library with Nested.. - Backes, Pfitzmann.. (2003) (23 citations) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, 1994.
Abstraction and Refinement in Protocol Derivation - Datta, Derek, Mitchell.. (2004) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. J. Cryptology, 7(2):79--130, 1994.
Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (8 citations) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, 1994.
A Flexible Approach to Secure and Fair Document Exchange - Zhang, Shi, Merabti (1999) (Correct)
No context found.
Kemmerer, R., Meadows, C. and Millen, J. (1994) Three systems for cryptographic protocol analysis. J. Cryptol., 7, 79--130.
Secure Asynchronous Reactive Systems - Backes, Pfitzmann, Waidner (2004) (7 citations) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, 1994.
Just Fast Keying in the Pi Calculus - Abadi, Blanchet, Fournet (2003) (4 citations) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, Spring 1994.
A Protocol's Life After Attacks. . . - Giampaolo Bella Stefano (2003) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three system for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, 1994.
A Comparison and Combination of Theory Generation and Model - Checking For Security (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79-130, 1994.
Probabilistic Bisimulation and Equivalence for.. - Ramanathan.. (2004) (6 citations) (Correct)
No context found.
Kemmerer, R. A., Meadows, C., and Millen, J. K. Three systems for cryptographic protocol analysis. Journal of Cryptology 7, 2 (1994), 79--130.
Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (8 citations) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. Journal of Cryptology, 7(2):79--130, 1994.
Primitives for Authentication in Process Algebras - Bodei, Degano, Focardi, Priami (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. "Three systems for cryptographic protocol analysis". J. Cryptology, 7(2):79--130, 1994.
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2002) (Correct)
No context found.
R. Kemmerer, C. Meadows, and J. Millen. Three systems for cryptographic protocol analysis. J. Cryptology, 7(2):79-130, 1994.
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