Alec Yasinsac, William A. Wulf  Home/Search
Context Related
| fsu.edu/~yasinsac/cambridg.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fsu.edu/~yasinsac/about_me (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Because Cryptographic Protocols (CPs) are similar to computer programs, techniques for program verification are applicable to verifying CPs. We show how a CP evaluation system [YW96] utilizing weakest precondition reasoning [DIJK76] can be used to analyze protocols and their goals. We also demostrate how this method complements BAN Logic {BAN89] by combining the method with BAN Logic to evaluate CPs. Section 1. Introduction. In this paper we illustrate the Cryptographic Protocol Analysis... (Update)
Context of citations to this paper: More
...have not been created to analyze these families of protocols. To help close this gap even further we have utilized the CPALES system [29] [30], 31] developed by Dr. Yasinsac to analyze one of these new protocols, TLS [6] The path that led us to the analysis of TLS began with...
...15] 11] 13] 1] 3] and many others. Yasinsac and Wulf first used weakest precondition reasoning in the evaluation of protocols [18], and they have since been shown to facilitate detection of flaws and inconsistencies in security protocols [16] 2] Weakest...
Cited by: More
The Weakest Precondition Protocol Analysis Environment - Yasinsac, Runy (Correct)
Evaluating the TLS Family of Protocols with Weakest Precondition.. - Childs (2000) (Correct)
Similar documents (at the sentence level):
47.2%: A Formal Semantics for Evaluating Cryptographic Protocols - Yasinsac (1996) (Correct)
20.5%: A Framework For A Cryptographic Protocol Evaluation Workbench - Yasinsac, Wulf (1999) (Correct)
Active bibliography (related documents): More All
1.6: Evaluating Cryptographic Protocols - Yasinsac, Wulf (1993) (Correct)
0.8: A Method for Examining Cryptographic Protocols - Tjaden (1997) (Correct)
0.4: Formal Methods for the Analysis of Authentication Protocols - Rubin, Honeyman (1993) (Correct)
Similar documents based on text: More All
0.2: Letters, Volume 35, Issue 13, 1999, Pages 1072-1073 - Ssg Shieh Shiuh-Pyng (Correct)
0.2: Using EVES to Analyze Authentication Protocols - Craigen, Saaltink (1996) (Correct)
0.2: On a Limitation of BAN Logic - Boyd, Mao (1993) (Correct)
Related documents from co-citation: More All
2: Inductive analysis of the internet protocol TLS - Paulson - 1997
2: On unifying some cryptographic protocols logics - Syverson, van Oorschot - 1994
2: Reasoning about Belief in Cryptographic Protocols - Gong, Needham et al. - 1990
BibTeX entry: (Update)
A. Yasinsac and W. A. Wulf. Using Weakest Preconditions to Evaluate Cryptographic Protocols. Cambridge International Workshop on Cryptographic Protocols, March 1996 http://citeseer.ist.psu.edu/yasinsac96using.html More
@misc{ yasinsac96using,
author = "A. Yasinsac and W. Wulf",
title = "Using Weakest Preconditions to Evaluate Cryptographic Protocols",
text = "A. Yasinsac and W. A. Wulf. Using Weakest Preconditions to Evaluate Cryptographic
Protocols. Cambridge International Workshop on Cryptographic Protocols,
March 1996",
year = "1996",
url = "citeseer.ist.psu.edu/yasinsac96using.html" }
Citations (may not include all citations):650 An Axiomatic Basis for Computer Programming (context) - Hoare - 1969
450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
302 A Logic of Authentication - Burrows, Abadi et al. - 1990
253 Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi et al. - 1991
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981
121 Three Systems for Cryptographic protocol Analysis (context) - Kemmerer, Meadows et al.
101 A Discipline of Programming (context) - Dijkstra - 1976
97 the security of public key protocols (context) - Dolev, Yao - 1983
89 The interrogator: Protocol security analysis (context) - Millen, Clark et al. - 1987
79 A Semantics for a Logic of Authentication - Abadi, Tuttle - 1991
78 On Unifying Some Cryptographic Protocol Logics - Syverson, van Oorschot - 1994
69 Applying Formal Methods to the Analysis of Key Management Pr.. - Meadows - 1992
56 Systematic Design of Two-Party Authentication Protocols - Bird, Gopal et al. - 1992
47 Protocol Failures in Cryptosystems (context) - Moore - 1988
46 Systematic Design of a Family of Attack Resistant Authentica.. - Bird, Gopal et al. - 1993
41 The Use of Logic in the Analysis of Cryptographic Protocol (context) - Syverson - 1991
37 Adding Time to a Logic of Authentication - Syverson
30 A System for the Specification and Analysis of Key Managemen.. (context) - Meadows - 1991
26 On Key Distribution Protocols for Repeated Authentication - Syverson - 1993
26 Using Narrowing in the Analysis of Key Management Protocols (context) - Meadows - 1989
24 Authentication Revisited (context) - Needham, Schroeder - 1987
24 An Axiomatic Basis for Trust in Distributed Systems (context) - Rangan - 1988
20 Efficient and timely mutual authentication (context) - Otwy, Rees - 1987
18 Exploring the BAN Approach to Protocol Analysis (context) - Snekkenes - 1991
17 A Logic of Knowledge and Belief for Reasoning about Computer.. (context) - Moser - 1989
17 the formal specification and verification of a Multiparty Se.. (context) - Pau-Chen, Virgil et al. - 1990
13 Using Formal Methods to Analyze Encryption Protocols (context) - Kemmerer - 1989
8 A Critique of the Burrows, Abadi, and Needham Logic (context) - Nessett - 1990
7 Knowledge, Belief, and Semantics in the Analysis of Cryptogr.. (context) - Syverson - 1992
6 Reasoning About Knowledge in Multilevel secure Distributed S.. (context) - Glasgow, MacEwen - 1988
6 Rejoinder to Nessett (context) - Burrows, Abadi et al. - 1990
5 A Formal Semantics for Evaluating Cryptographic Protocols - Yasinsac - 1996
5 Layering Central Authentication on Existing Distributed Syst.. (context) - Nessett - 1989
4 A Practical Study in Belief and Action (context) - Burrows, Abadi et al. - 1988
2 A Formal Method for Evaluating Cryptographic Protocols (context) - Yasinsac, Wulf - 1996
1 Reasoning about Page 28 Belief in Cryptographic protocols (context) - Gong, Needham et al. - 1990
Documents on the same site (http://www.cs.fsu.edu/~yasinsac/about_me.html): More
Active Protection of Trusted Security Services - Yasinsac (2000) (Correct)
Evaluating Cryptographic Protocols - Yasinsac, Wulf (1993) (Correct)
Active Protection of Trusted Security Services - Yasinsac (2000) (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