Brett C. Tjaden  Home/Search
Context Related
| virginia.edu/pub/dissertati...9704.ps.Z 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: virginia.edu/pub/dissert...README (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this dissertation we present a powerful, general, extensible, and formal methodology (Update)
Context of citations to this paper: More
...Page 19 regard to its environment and goals, and mechanically produce executable code that exactly implements the design. Tjaden [TJADEN97] showed how to CPAL ES to complement other reasoning tools for CPs. CPAL ES can provide an interface between other existing tools for...
.... evaluation of protocols [18] and they have since been shown to facilitate detection of flaws and inconsistencies in security protocols [16], 2] Weakest precondition reasoning allows us to take a set of post conditions that we would like to result from a protocol run and...
Cited by: More
The Weakest Precondition Protocol Analysis Environment - Yasinsac, Runy (Correct)
An Environment for Security Protocol Intrusion Detection - Yasinsac (2001) (Correct)
A Framework For A Cryptographic Protocol Evaluation Workbench - Yasinsac, Wulf (1999) (Correct)
Active bibliography (related documents): More All
1.7: Formal Methods for the Analysis of Authentication Protocols - Rubin, Honeyman (1993) (Correct)
1.5: A Formal Semantics for Evaluating Cryptographic Protocols - Yasinsac (1996) (Correct)
1.0: Formal Verification of Cryptographic Protocols: A Survey - Meadows (1995) (Correct)
Similar documents based on text: More All
0.2: Specification and Verification of Security Policies - Peri (1996) (Correct)
0.2: Maximizing Memory Bandwidth for Streamed Computations - McKee (1995) (Correct)
0.2: New Approaches for Analyzing Biological Sequences - Zhang (1999) (Correct)
Related documents from co-citation: More All
4: Evaluating Cryptographic Protocols - Yasinsac - 1996
4: Using Formal Methods to Analyze Encryption Protocols (context) - Kemmerer - 1989
3: The Theory and Practice of Concurrency (context) - Roscoe - 1997
BibTeX entry: (Update)
Brett Tjaden, "A Method for Examining Cryptographic Protocols", University of Virginia Doctoral Dissertation, January 1997 http://citeseer.ist.psu.edu/tjaden97method.html More
@phdthesis{ tjaden97method,
author = "Brett C. Tjaden",
title = "A method for examining cryptographic protocols",
year = "1997",
url = "citeseer.ist.psu.edu/tjaden97method.html" }
Citations (may not include all citations):1529 A Method for Obtaining Digital Signatures and Public-Key Cry.. - Rivest, Shamir et al. - 1978
645 How to Share a Secret (context) - Adi - 1979
635 New Directions in Cryptography - Diffie, Hellman - 1976 ACM
601 A Public Key Cryptosystem and a Signature Scheme based on Di.. (context) - ElGamal - 1985 ACM DBLP
450 Using Encryption for Authentication in Large Networks of Com.. (context) - Roger, Schroeder - 1978
322 Breaking and Fixing the Needham-Schroeder Public-Key Protoco.. - Gavin ACM DBLP
302 A Logic of Authentication - Michael, Martin et al. - 1989
278 Probabilistic Encryption (context) - Shafi, Silvio - 1984
258 Information Technology - Open Systems Interconnection - Secu.. (context) - IEC, Standard - 1993
253 Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi et al. - 1992 DBLP
206 Zero Knowledge Proofs of Identity (context) - Feige, Fiat et al. - 1987 ACM DBLP
202 Data Encryption Standard (context) - of - 1977 ACM
176 Timestamps in Key Distribution Protocols (context) - Dorothy, Sacco et al. - 1981 ACM DBLP
171 Prudent Engineering Practice for Cryptographic Protocols - Martin, Roger - 1994 ACM DBLP
168 Algorithms for Quantum Computation: Discrete Logarithms and .. - Peter - 1994
167 Protocols for Secure Computations (context) - Yao - 1982
155 Differential Cryptanalysis of DES-like Cryptosystems - Eli, Adi ACM DBLP
150 Encrypted Key Exchange: Password-Based Protocols Secure Agai.. - Steven, Merritt - 1992
144 the Power of Quantum Computation - Daniel, On - 1994
140 Reasoning about Belief in Cryptographic Protocols - Li, Roger et al. - 1990 DBLP
121 Three Systems for Cryptographic Protocol Analysis (context) - Kemmerer, Meadows et al. - 1994
101 Authentication in the Taos Operating System - Wobber, Abadi et al. - 1993 ACM DBLP
89 The Interrogator: Protocol Security Analysis (context) - Jonathan, Clark et al. - 1987 ACM DBLP
87 Authentication and Authenticated Key Exchanges - Diffie, von Oorschat et al. - 1992 ACM DBLP
80 A Semantic Model for Authentication Protocols - Thomas, Lam - 1993 ACM
79 A Semantics for a Logic of Authentication - Martin - 1991
79 Limitations of the Kerberos Authentication System - Steven, Merritt - 1990 ACM DBLP
78 On Unifying Some Cryptographic Protocol Logics - Paul, Paul - 1994
70 Using Sparse Capabilities in a Distributed Operating System - Andrew, van Renesse - 1986 DBLP
63 Receipt-Free Secret-Ballot Elections (context) - Josh, Dwight - 1994
58 Authentication for Distributed Systems - Thomas, Lam - 1992 ACM
56 Systematic Design of two-party authentication protocols - Bird ACM DBLP
54 Integrating Security in a Large Distributed System (context) - Satyanarayanan - 1989 ACM DBLP
53 A Minimal Model for Secure Computation - Uri, Joe et al. - 1994
53 Formal Verification of Cryptographic Protocols: A Survey - Catherine - 1994 DBLP
52 Reflections on Trusting Trust (context) - Thompson - 1984 ACM DBLP
47 Protocol Failures in Cryptosystems (context) - Moore - 1988
47 Analyzing Encryption Protocols Using Formal Verification Tec.. (context) - Richard - 1989 DBLP
46 KryptoKnight Authentication and Key Distribution System - Refik, Gene et al. - 1992 ACM DBLP
46 Systematic Design of a Family of Attack-Resistant Authentica.. - Ray, Herzberg et al. - 1993 DBLP
44 Reducing Risks from Poorly Chosen Keys - Lomsa, Gong et al. - 1989 ACM DBLP
44 Refinement and Extension of Encrypted Key Exchange - Michael, Gene et al. - 1995
42 How to Share A Function Securely (context) - Alfredo, Yvo et al. - 1994 ACM DBLP
41 A Note on the Use of Timestamps as Nonces - Neuman, Stubblebine - 1993 ACM DBLP
41 A Taxonomy of Replay Attacks - Paul - 1994 DBLP
41 Fair Public-Key Cryptosystems (context) - Silvio ACM DBLP
41 The Use of Logic in the Analysis of Cryptographic Protocols (context) - Paul - 1991
40 On Message Integrity in Cryptographic Protocols (context) - Stuart, Gligor - 1992
40 Key Distribution Protocol for Digital Mobile Communications .. (context) - Tatebayashi, Matsuzaki et al.
38 Trust Relationships in Secure Systems - A Distributed Authen.. - Yahalom, Klein - 1993
38 A Logical Language for Specifying Cryptographic Protocol Req.. - Paul, Catherine - 1993 ACM
37 A Model for Secure Protocols and Their Compositions - Nevin - 1994 ACM DBLP
37 Adding Time to a Logic of Authentication - Paul - 1993
36 Cryptographic Protocols - DeMillo, Lynch et al. - 1982 ACM DBLP
33 Social Processes and Proofs of Theorems and Programs (context) - DeMillo, Lipton et al. - 1979
32 A Logic of Communication in Hostile Environment (context) - Pierre - 1990
30 A System for the Specification and Analysis of Key Managemen.. (context) - Catherine - 1991
29 Protection - Lampson - 1974 ACM DBLP
28 Privacy and Authentication on a Portable Communication Syste.. (context) - Beller, Chang - 1993
28 Automatic Programming: Myths and Prospects (context) - Charles, Richard - 1988 DBLP
27 Using one-way functions for Authentication - Li - 1989 ACM
27 A Security Risk of Depending on Synchronized Clocks - Li - 1992 ACM DBLP
26 Using Narrowing in the Analysis of Key Management Protocols (context) - Catherine - 1989 DBLP
26 Roles in Cryptographic Protocols (context) - Einar - 1992 ACM
26 On Key Distribution Protocols for Repeated Authentication - Paul - 1993
25 Authentication in Distributed Systems: A Bibliography (context) - Armin - 1993 DBLP
25 CAPSL: Common Authentication Protocol Specification Language (context) - Jonathan
25 Towards Formal Analysis of Security Protocols - Wenbo, Colin - 1993 DBLP
24 A Model of Computation for the NRL Protocol Analyzer - Catherine - 1994 DBLP
24 An Axiomatic Basis of Trust in Distributed Systems (context) - Rangan - 1988
23 The Interrogator Model (context) - Jonathan - 1995 ACM
23 An analysis of the proxy problem in distributed systems (context) - Varadharajan, Allen et al. - 1991 DBLP
21 A 15 Year Perspective on Automatic Programming (context) - Robert - 1985 ACM DBLP
21 On Belief Evolution in Authentication Protocols - Rajashekar, Virgil - 1991 DBLP
21 How to expose an eavesdropper (context) - Rivest, Shamir - 1984 ACM DBLP
20 Efficient and Timely Mutual Authentication (context) - Dave, Owen - 1987
19 A Key Distribution Protocol using Event Markers (context) - Bauer, Berson et al. - 1983 ACM DBLP
18 Exploring the BAN Approach to Protocol Analysis (context) - Einar - 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) - Louise - 1989 DBLP
17 a Limitation of BAN Logic - Colin, Wenbo
14 AUTLOG - An advanced logic of authentication (context) - Volker, Gabriele - 1994
14 Generating Formal Cryptographic Protocol Specifications (context) - Ulf - 1994
13 Formal Semantics for Logics of Cryptographic Protocols (context) - Paul - 1990 DBLP
13 Protocols for Data Security (context) - DeMillo, Merritt - 1983
13 UNIX password security (context) - Morris, Thompson - 1979
12 Development of Authentication Protocols: Some Misconceptions.. - Wenbo, Colin - 1994 DBLP
11 The Logical Syntax of Language (context) - Carnap - 1937
11 Using Logics to Detect Implementation-Dependent Flaws (context) - Ulf - 1993
11 National Computer Security Center (context) - Defense, systems et al. - 1985
10 An Automatic Search for Security Flaws in Key Management Sch.. (context) - Longley, Rigby - 1992 ACM
10 An Introduction to Contemporary Cryptology (context) - Massey - 1988
10 Partial Belief and Probabilistic Reasoning in the Analysis o.. (context) - Campbell, Safavi-Naini et al. - 1992 DBLP
8 Towards Automatic Program Synthesis (context) - Zohar, Richard - 1971 ACM
8 A Critique of the Burrows, Abadi, and Needham Logic (context) - Dan - 1990
8 Evaluating Cryptographic Protocols - Yasinsac - 1996 ACM
7 Cryptographic Protocols (context) - Merritt - 1983 ACM DBLP
7 Secure Communication in Internet Environments: A Hierarchica.. (context) - Lu, Sundereshan - 1989
7 Verifiable-text attacks in Cryptographic Protocols (context) - Li DBLP
7 Knowledge, Belief, and Semantics in the Analysis of Cryptogr.. (context) - Paul - 1992
6 A Note on Redundancy in Encrypted Messages - Li - 1990 ACM
6 Deriving the Complete Knowledge of Participants in Cryptogra.. (context) - Toussaint
6 Nonmonotonic Cryptographic Protocols - Aviel, Honeyman - 1994 ACM DBLP
5 An Analysis of Some Delegation Protocols for Distributed Sys.. (context) - Claudio, Vijay - 1992 DBLP
5 Approaches to Automatic Programming (context) - Biermann - 1976 DBLP
5 A New Public-Key Cipher System Based Upon the Diophantine Eq.. (context) - Lin, Chang et al. - 1995 ACM
5 An Overview of ASN.1 (context) - Neufeld - 1992 ACM DBLP
4 Abstract Machines for Communication Security (context) - Pierre, Nora et al. - 1993 DBLP
4 How to (Selectively) Broadcast a Secret (context) - Gustavus - 1985
4 An Introduction to the Mathematics of Trust in Security Prot.. (context) - Gustavus - 1993
4 Network Security: The Parts of the Sum (context) - Stephen - 1989 DBLP
4 Applying a Formal Analysis Technique to the CCITT X.509 Stro.. (context) - Gaarder, Snekkenes - 1991 DBLP
4 An Improved Program-Synthesizing Algorithm and Its Correctne.. (context) - Lee, Chang et al. - 1974 ACM DBLP
4 Verification of Cryptographic Protocols (context) - Toussaint - 1991 ACM
4 Protocol Design for Integrity Protection - Stuart, Gligor - 1993
3 Cryptographic Protocol Flaws: Know Your Enemy (context) - Ulf - 1994
3 Authenticated Group Key Distribution Scheme For A Large Dist.. (context) - Lein, Thomas - 1989
3 Variations on the Themes of Message Freshness and Replay - o.. - Li - 1993
3 Security in High-Level Network Protocols (context) - Victor, Kent - 1985
2 Interconnecting Domains with Heterogeneous Key Distribution .. - Piessens, De Decker et al. - 1993 ACM
2 Enhanced Protocols for Hierarchical Encryption Key Managemen.. (context) - Lu, Sundereshan - 1992
2 Limitations of Logical Analysis of Cryptographic Protocols - Colin, Wenbo
2 Authentication Method with Impersonal Token Cards - Refik, Gene - 1993
1 A Security Scheme for Resource Sharing Oer a Network (context) - Burns, Mitchell - 1990
1 Hidden Assumptions in Crytpographic Protocols (context) - Colin - 1990
1 Authentication Revisted (context) - Roger, Schroeder - 1987
1 Security Defects in CCITT Recommendation X.509 (context) - I'Anson, Mitchell - 1990 ACM
1 A Nonce-Based Protocol For Mul- 202 tiple Authentications (context) - Kehne, Schonwalder et al. - 1992
1 A Formal Representation for Plans in the Programmer's Aprent.. (context) - Rich - 1981
1 Proofs that Yield Nothing But 201 their Validity and a Metho.. (context) - Oded, Silvio et al. - 1986
1 Fundamentals of Deductive Program Synthe- 203 sis (context) - Zohar, Richard - 1992
1 Some rules for the Automatic Synthesis of programs (context) - Greene, Barstow - 1975 DBLP
1 Proof of Soundness (Integrity) of Cryptographic Protocols (context) - Gustavus - 1994 DBLP
1 The Programmer's Apprentice: A Session with KBEacs (context) - Waters - 1985
1 Rejoiner to Nessett (context) - Michael, Martin et al. - 1990
Documents on the same site (ftp://ftp.cs.virginia.edu/pub/dissertations/README.html): More
Custom Embedded Counterflow Pipelines - Childers (2000) (Correct)
Spanning Trees in Hypergraphs with Applications to Steiner Trees - Warme (1998) (Correct)
On the Acceleration of Simulated Annealing - Varanelli (1996) (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