Paul F. Syverson, Paul C. van Oorschot  Home/Search
Context Related
Links: ACM | navy.mil/ITD/5540/...1994syversonsp.ps scs.carleton.ca/~paulv/p...oakland94.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 Problem Downloading? From: navy.mil/ITD/5540/pub...index1994 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a logic for analyzing cryptographic protocols. This logic encompasses a unification of four of its predecessors in the BAN family of logics, namely those given in [GNY90], [AT91], [vO93], and BAN itself [BAN89]. We also present a model-theoretic semantics with respect to which the logic is sound. The logic herein captures all of the desirable features of its predecessors and more; nonetheless, it accomplishes this with no more axioms or rules than the simplest of its predecessors. (Update)
Cited by: More
Reconciling Two Views of Cryptography - The Computational Soundness (Correct)
Theory Generation for Security Protocols - Kindred, Wing (1999) (Correct)
A Unified Cryptographic Protocol Logic - Syverson, van Oorschot (1996) (Correct)
Active bibliography (related documents): More All
0.4: The Logic of Authentication Protocols - Syverson, Cervesato (2001) (Correct)
0.3: A Semantics for a Logic of Authentication - Abadi, Tuttle (1991) (Correct)
0.3: A Method for Examining Cryptographic Protocols - Tjaden (1997) (Correct)
Similar documents based on text: More All
0.6: An Augmentation of BAN-Like Logics - Mao (1995) (Correct)
0.5: Adding Time to a Logic of Authentication - Syverson (1993) (Correct)
0.5: A Model of Computation for the NRL Protocol Analyzer - Meadows (1994) (Correct)
Related documents from co-citation: More All
50: Reasoning about Belief in Cryptographic Protocols - Gong, Needham et al. - 1990
30: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
30: A Semantics for a Logic of Authentication - Abadi, Tuttle - 1991
BibTeX entry: (Update)
P. F. Syverson and P. C. van Oorschot. On unifying some cryptographic protocols logics. In Proc. of the 13th IEEE Symp. on Security and Privacy. IEEE Comp. Society Press, 1994. http://citeseer.ist.psu.edu/syverson94unifying.html More
@inproceedings{ syverson94unifying,
author = "P. Syverson and P. van Oorschot",
title = "On unifying some cryptographic protocol logics",
booktitle = "Proc. {IEEE} Symposium on Research in Security and Privacy",
pages = "14--28",
year = "1994",
url = "citeseer.ist.psu.edu/syverson94unifying.html" }
Citations (may not include all citations):140 Reasoning about Belief in Cryptographic Protocols - Gong, Needham et al. - 1990 DBLP
87 Authentication and Authenticated Key Exchanges - Diffie, van Oorschot et al. - 1992 ACM DBLP
56 Systematic Design of TwoParty Authentication Protocols - Bird, Gopal et al. - 1992
42 Knowledge and Belief: An Introduction to the Logic of Two No.. (context) - Hintikka - 1962
41 The Use of Logic in the Analysis of Cryptographic Protocols (context) - Syverson - 1991 DBLP
37 Adding Time to a Logic of Authentication - Syverson - 1993 ACM DBLP
26 Roles in Cryptographic Protocols (context) - Snekkenes - 1992 ACM
26 On Key Distribution Protocols for Repeated Authentication - Syverson - 1993 ACM DBLP
25 Towards a Formal Analysis of Security Protocols - Mao, Boyd - 1993
21 On Belief Evolution in Authentication Protocols - Kailar, Gligor - 1991 DBLP
19 Operating Systems Review (context) - Nessett, of et al. - 1990
16 and Semantics in the Analysis of Cryptographic Protocols (context) - Syverson, Belief - 1992
15 A Semantics for a Logic of Authentication (context) - Abadi, Tuttle - 1991
11 Logics for Cryptographic Protocols --- Virtues and Limitatio.. - Gligor, Kailar et al. - 1991
11 Using Logics to Detect Implementation-Dependent Flaws (context) - Carlsen - 1993
4 the formal analysis of PKCS authentication protocols (context) - Gaarder, Snekkenes - 1990
3 Applying a Formal Analysis Technique to the CCIT X (context) - Gaarder, Snekkenes - 1991
2 Key Distribution Protocol for Digitial Mobile Communication .. (context) - Tatebayashi, Matsuzaki et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.itd.nrl.navy.mil/ITD/5540/publications/CHACS/1994/index1994.html): More
A Formal Model of Several Fundamental VHDL Concepts - Goldschlag (1994) (Correct)
Simple Timing Channels - Moskowitz, Miller (1994) (Correct)
A Model of Computation for the NRL Protocol Analyzer - Meadows (1994) (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