Steve Schneider  Home/Search
Context Related
| dcs.rhbnc.ac.uk/research...csfw97.ps.gz cs.rhbnc.ac.uk/research/...csfw97.ps.gz cs.rhbnc.ac.uk/fmg/steve...csfw97.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) From: cs.rhbnc.ac.uk/fmg/steve (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 the language of Communicating Sequential Processes (CSP). It is illustrated by an examination of the Needham-Schroeder public-key protocol. The contribution of this paper is 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... (Update)
Cited by: More
Using Temporal Logics of Knowledge in the Formal.. - Dixon, Gago.. (2003) (Correct)
A Cryptographically Sound Security Proof of the.. - Backes, Pfitzmann (2003) (Correct)
Inductive Verification of Cryptographic Protocols - Bella (2000) (Correct)
Similar documents (at the sentence level):
33.4%: Using CSP for protocol analysis: the Needham-Schroeder.. - Schneider (1996) (Correct)
6.5%: Security properties and CSP - Schneider (1995) (Correct)
Active bibliography (related documents): More All
0.3: A Formal Specification of Requirements for Payment.. - Meadows, Syverson (1998) (Correct)
0.2: A Hierarchy of Authentication Specifications - Lowe (1997) (Correct)
0.2: Embedding CSP in PVS. An Application to Authentication.. - Dutertre, Schneider (1997) (Correct)
Similar documents based on text: More All
0.1: A System for Intrinsic Evolution of Linear and Non-linear.. - Flockton, Sheehan (1999) (Correct)
0.1: Formal Analysis of a Non-Repudiation Protocol - Schneider (1998) (Correct)
0.1: Certified Electronic Mail - Zhou, Gollmann (1996) (Correct)
Related documents from co-citation: More All
21: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
21: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
18: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
BibTeX entry: (Update)
Steve Schneider. Verifying authentication protocols with CSP. In Computer Security Foundations Workshop [14], pages 3--17. http://citeseer.ist.psu.edu/196196.html More
@inproceedings{ schneider97verifying,
author = "Schneider",
title = "Verifying Authentication Protocols with {CSP}",
booktitle = "{PCSFW}: Proceedings of The 10th Computer Security Foundations Workshop",
publisher = "IEEE Computer Society Press",
year = "1997",
url = "citeseer.ist.psu.edu/196196.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
854 Information and Computation (context) - Milner, Parrow et al. - 1992
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
143 Proving Properties of Security Protocols by Induction - Paulson - 1996
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 publickey 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
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
10 Using CSP for protocol analysis: the Needham-Schroeder Publi.. - Schneider - 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
1 IEEE Computer Society Symposium on Research in Security and .. (context) - Woo, Lam et al. - 1993
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
Security properties and CSP - Schneider (1995) (Correct)
Process Algebra and Non-interference - Ryan, Schneider (1999) (Correct)
Timewise Refinement for Communicating Processes - Schneider (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