Aviel D. Rubin, Peter Honeyman  Home/Search
Context Related
| nyu.edu/cgibin/cgiwrap/~ru...survey.ps avirubin.com/survey.ps 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: cryptosoft.com/html/secpub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we examine current approaches and the state of the art in the application of formal methods to the analysis of authentication protocols. We use Meadows' classification of analysis techniques into four types. The Type I approach models and verifies a protocol using specification languages and verification tools not specifically developed for the analysis of cryptographic protocols. In the Type II approach, a protocol designer develops expert systems to create and examine different ... (Update)
Context of citations to this paper: More
...principal is indeed talking to the intended authenticated principal. In their comprehensive 1993 survey report, Rubin and Honeyman [38] use Meadows s four type classification scheme [30] to categorize twenty seven different formal approaches to the analysis of...
...a formal specification language which has some mathematical basis, from which security properties of the protocol can be inferred. See [38] and [28] for surveys on formal methods. The most widely used of these methods are those related to the BAN logic of Burrows, Abadi and...
Cited by: More
A Tree-based Model of Unicast Stream Authentication - Goce Jakimoski Computer (2006) (Correct)
Weaknesses in EHA Authentication and Key Distribution Protocol - Stanek, Olejar (1999) (Correct)
Formal Methods in the Design of Cryptographic Protocols (state of .. - Buttyan (1999) (Correct)
Similar documents (at the sentence level):
72.7%: Formal Methods for the Analysis of Authentication Protocols - Rubin, Honeyman (1993) (Correct)
Active bibliography (related documents): More All
1.7: Applying Formal Methods to the Analysis of a Key Management.. - Meadows (1992) (Correct)
1.7: A Method for Examining Cryptographic Protocols - Tjaden (1997) (Correct)
1.3: Current Approaches to Authentication in Wireless and.. - Schäfer, Festag, Karl (Correct)
Similar documents based on text: More All
0.4: Verification and Modelling of Authentication Protocols - Hauser, Lee (1992) (Correct)
0.1: Implementation of a Provably Secure.. - Jerdonek.. (1998) (Correct)
0.1: Long Running Jobs in an Authenticated Environment - Rubin (1993) (Correct)
Related documents from co-citation: More All
3: A model for secure protocols and their compositions - Heintze, Tygar - 1996
3: Three systems for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
3: ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
BibTeX entry: (Update)
Aviel D. Rubin and Peter Honeyman, Formal methods for the analysis of authentication protocols, Technical Report 93--7, Center for Information Technology Integration, Department of Electrical Engineering and Computer Science, University of Michigan, 8. November 1993. http://citeseer.ist.psu.edu/rubin93formal.html More
@techreport{ rubin93formal,
author = "A. D. Rubin and P. Honeyman",
title = "Formal Methods for the Analysis of Authentication Protocols",
number = "CITI Technical Report 93-7",
year = "1993",
url = "citeseer.ist.psu.edu/rubin93formal.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
650 An axiomatic basis for computer programming (context) - Hoare - 1969 ACM DBLP
539 Scale and performance in a distributed file system (context) - Howard, Kazar et al. - 1988 ACM DBLP
450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
428 IEEE Transactions on Information Theory (context) - Diffie, Hellman et al. - 1976
363 Programming in Prolog (context) - Clocksin, Mellish - 1984 ACM
343 Modal Logic: An Introduction (context) - Chellas - 1980
317 Kerberos: An authentication service for open network systems - Steiner, Neuman et al. - 1988
242 Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
194 Knowledge and Belief (context) - Hintikka - 1962
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981 ACM DBLP
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1994 ACM DBLP
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
140 Reasoning about belief in cryptographic protocols - Gong, Needham et al. - 1990 DBLP
121 Three systems for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
100 The complexity of reasoning about knowledge and time - Halpern, Vardi - 1986 ACM
97 the security of publickey 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 ACM DBLP
79 A semantics for a logic of authentication - Abadi, Tuttle - 1991
78 On unifying some cryptographic protocol logics - Syverson, van Oorschot - 1994 ACM
69 Applying formal methods to the analysis of a key management .. - Meadows - 1992 DBLP
53 Security for Computer Networks (context) - Davies, Price - 1984
47 Protocol failures in cryptosystems (context) - Moore - 1988
47 Analyzing encryption protocols using formal verification tec.. (context) - Kemmerer - 1989 DBLP
41 The use of logic in the analysis of cryptographic protocols (context) - Syverson - 1991 DBLP
41 A note on the use of timestamps as nonces - Neuman, Stubblebine - 1993 ACM DBLP
40 Key distribution protocol for digital mobile communication s.. (context) - Tatebayashi, Matsuzaki et al. - 1991
39 Programming Expert Systems in OPS (context) - Brownston, Kant - 1985
38 A logical language for specifying cryptographic protocol req.. - Syverson, Meadows - 1993 ACM
37 Adding time to a logic of authentication - Syverson - 1993
32 A logic of communication in a hostile environment (context) - Bieber - 1990
30 Privacy and authentication for wireless local area networks - Aziz, Diffie - 1994
30 A system for the specification and analysis of key managemen.. (context) - Meadows - 1991
27 A Security Risk of Depending on Synchronized Clocks - Gong - 1992
26 Using narrowing in the analysis of key management protocols (context) - Meadows - 1989 DBLP
26 Roles in cryptographic protocols (context) - Snekkenes - 1992
26 On key distribution protocols for repeated authentication - Syverson - 1993
25 Towards formal analysis of security protocols - Mao, Boyd - 1993 DBLP
25 Authentication in distributed systems: A bibliography (context) - Liebl - 1993 DBLP
24 An axiomatic basis of trust in distributed systems (context) - Rangan - 1988
22 Operating Systems Review (context) - Needham, Schroeder - 1987
21 A logical approach to multilevel security of probabilistic s.. - Paul, Syverson - 1992 ACM DBLP
21 Belief as defeasible knowledge (context) - Shoham, Moses - 1989 ACM DBLP
21 On belief evolution in authentication protocols - Kailar, Gilgor - 1991
19 Operating System Review (context) - Nessett, of et al. - 1990
18 Exploring the BAN approach to protocol analysis (context) - Snekkenes - 1991 DBLP
17 Extending cryptographic logics of belief to key agreement pr.. (context) - van Oorschot - 1993 ACM DBLP
17 A logic of knowledge and belief for reasoning about computer.. (context) - Moser - 1989 DBLP
17 Narrower: a new algorithm for unification and its applicatio.. (context) - Rety, Kirchner et al. - 1985 ACM DBLP
17 the formal specification and verification of a multiparty se.. (context) - Cheng, Gligor - 1990
16 and semantics in the analysis of cryptographic protocols (context) - Syverson, belief - 1992
15 Georgia Institute of Technology (context) - Merritt, PhD - 1983
14 General technique for communications protocol validation (context) - West - 1978
14 ACM Operating System Review (context) - Otway, Rees et al. - 1987
13 Operating System Review (context) - Burrows, Abadi et al. - 1990
13 Formal semantics for logics of cryptographic protocols (context) - Syverson - 1990
12 Ina Jo Specification Language Reference Manual (context) - Scheid, Holtsberg - 1988
10 Partial belief and probabilistic reasoning in the analysis o.. (context) - Campbell, Safavi-Naini et al. - 1992 DBLP
10 An automatic search for security flaws in key management sch.. (context) - Longley, Rigby - 1992 ACM
9 Applying a formal analysis technique to the CCITT X (context) - Gaarder, Snekkenes - 1991
7 Long running jobs in an authenticated environment - Rubin, Honeyman - 1993
7 Authentication protocols for computer networks (context) - Sidhu - 1986
7 Secure communication in Internet environments: A hierarchica.. (context) - Lu, Sundareshan - 1989
7 A key management scheme for end-to-end encryption and a form.. (context) - Kasami, Yamamura et al. - 1982
7 Verification of network security protocols (context) - Varadharajan - 1989 ACM
6 Nonmonotonic cryptographic protocols - Rubin, Honeyman - 1994 ACM DBLP
6 Deriving the complete knowledge of participants in cryptogra.. (context) - Toussaint - 1991
6 Formal verification of a secure network with end-to-end encr.. (context) - Britton - 1984
6 A security scheme for resource sharing over a network (context) - Burns, Mitchell - 1990 ACM
6 the security effectiveness of cryptographic protocols - Kailar, Gligor et al. - 1994
5 Mechanical verification and automatic implementation of comm.. (context) - Blumer, Sidhu - 1986
5 Use of a formal description technique in the specification o.. (context) - Varadharajan - 1990 ACM
5 An analysis of some delegation protocols for distributed sys.. (context) - Calvelli, Varadharajan - 1992 DBLP
5 Handling infeasible specifications of cryptographic protocol.. - Gong - 1991
4 A logic for the analysis of cryptographic protocols (context) - Syverson
4 An axiomatic theory of trust in secure communication protocl.. (context) - Rangan - 1992
3 A new method for analyzing the security of cryptographic pro.. (context) - Toussaint - 1993 DBLP
3 Formal specification of a secure distributed system (context) - Varadharajan, Black - 1989
3 An alternate explanation of two BAN-logic (context) - van Oorschot - 1993
3 Use of expert systems in the analysis of key management syst.. (context) - Longley, Rigby - 1989
2 Design Codes and Cryptography (context) - Diffie, Van Oorschot et al. - 1992
2 Representing parital knowledge in an algebraic security mode.. (context) - Meadows - 1990
2 Study of Kripke-style models of some modal logics by Gentzen.. (context) - Sato - 1977
2 Authentication in open systems (context) - Snekkenes - 1990 ACM DBLP
1 Formal verification of probabilistic properties in cryptogra.. (context) - Toussaint - 1992
1 Advances in Cryptology: Proceedings of Eurocrypt (context) - Boyd, Mao et al. - 1993
1 Logics for cryptgraphic procols - virtues and limitations (context) - Gligor, Kailar et al. - 1991
1 Generating formal cryptographic protocl specifications (context) - Carlsen - 1994
1 Ueps something (context) - Anderson
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cryptosoft.com/html/secpub.htm): More
A New Approach for Delegation Using Hierarchical Delegation.. - Ding, Petersen (1995) (Correct)
A Uniform-Complexity Treatment of Encryption and Zero-Knowledge - Goldreich (1991) (Correct)
On Signature Schemes With Threshold Verification Detecting.. - Petersen, Michels (1997) (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