Alec F. Yasinsac, William A. Wulf  Home/Search
Context Related
| virginia.edu/pub/techre...CS9353.ps.Z ce.chalmers.se/~stefanp...CS9353.ps.Z fsu.edu/~yasinsac/CS9353.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: jprc.com/Operating_System...index (more) From: ce.chalmers.se/~stefanp...sec_bib (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Much research in the field of network security is concentrated on the technology and application of cryptography. While the cryptographic methods are heavily investigated to ensure confidence in the security of the code, many cryptographic schemes are vulnerable due to the protocols used to implement communication in a cryptographic environment. Much work has been done to develop secure protocols, but protocols, like software, are very difficult to verify. Recent research is aimed at finding... (Update)
Context of citations to this paper: More
...evaluate cryptographic protocols. We Evaluating Cryptographic Protocols 6 11 7 93 propose a language for that purpose, CPAL, in [YW93] which we will use here for describing protocols. CPAL specifically addresses the weaknesses described above. CPAL de couples the actions...
...will investigate this capability in some detail in a later section. For those interested, a detailed description of CPAL is contained in [YAS96]. 2.2 The Verification Condition Generator As we mentioned earlier, the purpose of encoding a protocol in CPAL is to allow creation of...
Cited by: More
Evaluating the TLS Family of Protocols with Weakest Precondition.. - Childs (2000) (Correct)
A Formal Semantics for Evaluating Cryptographic Protocols - Yasinsac (1996) (Correct)
A Framework For A Cryptographic Protocol Evaluation Workbench - Yasinsac, Wulf (1999) (Correct)
Active bibliography (related documents): More All
1.2: Evaluating Cryptographic Protocols - Yasinsac, Wulf (1993) (Correct)
1.2: Using Weakest Preconditions To Evaluate Cryptographic Protocols - Yasinsac, Wulf (1996) (Correct)
0.5: A Method for Examining Cryptographic Protocols - Tjaden (1997) (Correct)
Similar documents based on text: More All
0.4: Letters, Volume 35, Issue 13, 1999, Pages 1072-1073 - Ssg Shieh Shiuh-Pyng (Correct)
0.2: Information Security Curricula in Computer Science Departments.. - Ac Ti Ce (Correct)
0.1: Maximizing Memory Bandwidth for Streamed Computations - McKee (1995) (Correct)
Related documents from co-citation: More All
5: Adding Time to a Logic of Authentication - Syverson - 1993
5: A Logic of Authentication - Burrows, Abadi et al. - 1990
5: Timestamps in Key Distribution Protocols (context) - Denning, Sacco - 1982
BibTeX entry: (Update)
Alec Yasinsac and Wm. A. Wulf, "A Formal Semantics for Evaluating Cryptographic Protocols", Unpublished manuscript, August 1993 Evaluating Cryptographic Protocols 12 11/7/93 http://citeseer.ist.psu.edu/article/yasinsac93formal.html More
@phdthesis{ yasinsac96formal,
author = "Alec F. Yasinsac",
title = "A formal semantics for evaluating cryptographic protocols",
year = "1996",
url = "citeseer.ist.psu.edu/article/yasinsac93formal.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
2732 Communicating Sequential Processes (context) - Hoare - 1978
652 A Discipline of Programming (context) - Dijkstra - 1976
650 An Axiomatic Basis for Computer Programming (context) - Hoare - 1969
531 The Knowledge Complexity of Interactive Proof Systems (context) - Shafi, Silvio et al. - 1989
531 The Knowledge Complexity of Interactive Proof Systems (context) - Goldwasser, Micali et al. - 1985
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
140 Reasoning about Belief in Cryptographic protocols - Gong, Needham et al. - 1990
110 Proofs That Yield Nothing but Their Validity and a Methodolo.. (context) - Goldreich, Micali et al. - 1986
97 the security of public key protocols (context) - Dolev, Yao - 1983
94 Security Mechanisms in High-level Network Protocols (context) - Voydock, Kent - 1983
89 The interrogator: Protocol security analysis (context) - Millen, Clark et al. - 1987
79 A Semantics for a Logic of Authentication - Abadi, Tuttle - 1991
56 Systematic Design of Two-Party Authentication Protocols - Bird, Gopal et al. - 1992
41 The Use of Logic in the Analysis of Cryptographic Protocol (context) - Syverson - 1992
41 The Use of Logic in the Analysis of Cryptographic Protocol (context) - Syverson - 1991
30 A System for the Specification and Analysis of Key Managemen.. (context) - Meadows - 1991
26 Using Narrowing in the Analysis of Key Management Protocols (context) - Meadows - 1989
24 An Axiomatic Basis for Trust in Distributed Systems (context) - Rangan - 1988
24 Authentication Revisited (context) - Needham, Schroeder - 1987
20 Efficient and timely mutual authentication (context) - Otwy, Rees - 1987
18 Exploring the BAN Approach to Protocol Analysis (context) - Snekkenes - 1991
17 the formal specification and verification of a Multiparty Se.. (context) - Pau-Chen, Virgil et al. - 1990
17 A Logic of Knowledge and Belief for Reasoning about Computer.. (context) - Moser - 1989
13 Using Formal Methods to Analyze Encryption Protocols (context) - Kemmerer - 1989
12 A Knowledge-based analysis of zero knowledge - Halpern, Moses - 1988
8 A Critique of the Burrows, Abadi, and Needham Logic (context) - Nessett - 1990
7 Fundamental Structures of Computer Science (context) - Wulf, Shaw et al. - 1981
6 Reasoning About Knowledge in Multilevel secure Distributed S.. (context) - Glasgow, MacEwen - 1988
6 Factors Affecting Distributed System Security (context) - Nessett - 1987
6 Rejoinder to Nessett (context) - Burrows, Abadi et al. - 1990
5 Certifiable Minicomputer Project (context) - Good, the et al. - 1978
5 Layering Central Authentication on Existing Distributed Syst.. (context) - Nessett - 1989
4 Remote Authentication Without Prior Shared Knowledge (context) - Wulf, Yasinsac et al.
1 An Axiomatic Definition of the Programming Lan- A Formal Sem.. (context) - Hoare - 1973
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cora.jprc.com/Operating_Systems/Distributed/index.html): More
On Using Intelligent Network Interface Cards to.. - Fiuczynski, Martin, .. (1998) (Correct)
A Protocol for Removing Communication Intrusion in.. - Wu, Spezialetti, Gupta (1998) (Correct)
Integrating Visualization Support Into Distributed Computing.. - Brad Topol (1995) (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