| Alternate document: Details Using Metaobjects to Model Concurrent Objects with PICT (96) Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz |
Steve Schneider  Home/Search
Context Related
| dcs.rhbnc.ac.uk/research/...proof.ps.gz cs.rhbnc.ac.uk/research/f...proof.ps.gz 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: dcs.rhbnc.ac.uk/research/...steve (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a general approach for analysis and verification of authentication properties in CSP. It is illustrated by an examination of the Needham-Schroeder Public-Key protocol. The paper aims to develop a specific theory appropriate to the analysis of authentication protocols, built on top of the general CSP semantic framework. This approach aims to combine the ability to express such protocols in a natural and precise way with the ability to reason formally about the properties they ... (Update)
Context of citations to this paper: More
...not present details of the CSP proof system and CSP algebraic identities which underpin the results. They are given in a fuller version [21] of this paper. 2 The Needham Schroeder Public Key Protocol The Needham Schroeder public key protocol aims to achieve authentication of...
...In this paper we consider the nature of machine proofs used in the CSP approach to the verification of authentication protocols. In [Sch96], a general method is presented for the analysis and verification of authentication protocols using the process algebra CSP [Hoa85] The...
Cited by: More
Modeling and Automated Verification of Authentication.. - Abdulla, Jonsson.. (Correct)
Diagrammatic Verification of Security Protocols - Skalka, Smith (2000) (Correct)
Analysis of Security Protocols - Durgin, MITCHELL (1999) (Correct)
Similar documents (at the sentence level):
20.3%: Verifying authentication protocols with CSP - Schneider (Correct)
Active bibliography (related documents): More All
0.3: A Formal Specification of Requirements for Payment.. - Meadows, Syverson (1998) (Correct)
0.1: What Makes a Cryptographic Protocol Secure? The Evolution of.. - Meadows (2003) (Correct)
0.1: Towards a denotational semantics for ET-LOTOS - Bryans, Davies, Schneider (1995) (Correct)
Similar documents based on text: More All
0.1: Logical Relations for Encryption - Sumii, Pierce (2001) (Correct)
0.1: Using the ASTRAL Model Checker to Analyze Mobile IP - Dang, Kemmerer (1999) (Correct)
0.0: Compliance Defects in Public-Key Cryptography - Davis (1996) (Correct)
Related documents from co-citation: More All
8: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
8: Communicating Sequential Processes (context) - Hoare - 1985
6: Proving properties of security protocols by induction - Paulson - 1997
BibTeX entry: (Update)
S. Schneider. Using CSP for protocol analysis: the Needham-Schroeder Public Key Protocol. Technical Report CSD-TR-96-14, Royal Holloway, 1996. http://citeseer.ist.psu.edu/schneider96using.html More
@misc{ schneider96using,
author = "S. Schneider",
title = "Using CSP for protocol analysis: the Needham-Schroeder Public Key Protocol",
text = "S. Schneider. Using CSP for protocol analysis: the Needham-Schroeder Public
Key Protocol. Technical Report CSD-TR-96-14, Royal Holloway, 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/schneider96using.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
404 A calculus for cryptographic protocols: the spi calculus - Abadi, Gordon - 1996
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
302 A logic of authentication - Burrows, Abadi et al. - 1989
121 Three systems for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
99 Modelling and verifying key-exchange protocols using CSP and.. - Roscoe - 1995
93 An attack on the Needham-Schroeder public-key authentication.. - Lowe - 1995
69 Applying formal methods to the analysis of a key management .. - Meadows - 1992
67 A hierarchy of authentication specifications - Lowe - 1996
64 Codes and Cryptography (context) - Diffie, van Oorschot et al. - 1992
47 Analyzing encryption protocols using formal verification tec.. (context) - Kemmerer - 1989
38 What do we mean by Entity Authentication (context) - Gollmann - 1996
34 The PVS specification language - Owre, Shankar et al. - 1993
25 Intensional specifications of security protocols - Roscoe - 1996
17 A formal language for cryptographic protocol requirements - Syverson, Meadows - 1996
8 Recursion induction for real-time processes (context) - Davies, Schneider - 1993
3 IEEE Computer Society Symposium on Research in Security and .. (context) - The, model - 1995
2 IEEE Computer Society Symposium on Research in Security and .. (context) - Schneider, Properties - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.rhbnc.ac.uk/research/formal/steve.html): More
Verifying authentication protocols with CSP - Schneider (Correct)
Security properties and CSP - Schneider (1995) (Correct)
Process Algebra and Non-interference - Ryan, Schneider (1999) (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