Steve Schneider  Home/Search
Context Related
Links: ACM | dcs.rhbnc.ac.uk/resea...oakland96.ps.gz cs.rhbnc.ac.uk/resear...oakland96.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: Security properties such as confidentiality and authenticity may be considered in terms of the flow of messages within a network. To the extent that this characterisation is justified, the use of a process algebra such as Communicating Sequential Processes (CSP) seems appropriate to describe and analyse them. This paper explores ways in which security properties may be described as CSP specifications, how security mechanisms may be captured, and how particular protocols designed to provide... (Update)
Cited by: More
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
Reconciling Two Views of Cryptography - The Computational Soundness (Correct)
Approximating Imperfect Cryptography in a Formal Model - Troina, Aldini, al. (2003) (Correct)
Similar documents (at the sentence level): More
69.0%: Modelling security properties with CSP - Schneider (1996) (Correct)
8.1%: Using CSP for protocol analysis: the Needham-Schroeder.. - Schneider (1996) (Correct)
7.6%: Verifying authentication protocols with CSP - Schneider (Correct)
Active bibliography (related documents): More All
0.3: Modelling and verifying key-exchange protocols using CSP and FDR - Roscoe (1995) (Correct)
0.1: Casper: A Compiler for the Analysis of Security Protocols - Lowe (1998) (Correct)
0.1: Security and Fault-Tolerance in Distributed Systems: An - Actor-Based Approach Gul (Correct)
Similar documents based on text: More All
0.1: An Efficient Non-repudiation Protocol - Zhou (1997) (Correct)
0.0: Nonrepudiable Proxy Signature Schemes - Zhang (1997) (Correct)
0.0: Non-repudiation Evidence Generation for CORBA using XML - Wichert, Ingham, Caughey (1999) (Correct)
Related documents from co-citation: More All
58: A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
51: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
46: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
BibTeX entry: (Update)
Steve Schneider. Security properties and CSP. In preparation, 1995. http://citeseer.ist.psu.edu/schneider95security.html More
@inproceedings{ schneider96security,
author = "Steve Schneider",
title = "{Security Properties and {CSP}}",
booktitle = "Proceedings of the 1996 {IEEE} Symposium on Security and Privacy",
publisher = "IEEE Computer Society Press",
pages = "174--187",
year = "1996",
url = "citeseer.ist.psu.edu/schneider95security.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
69 Applying formal methods to the analysis of a key management .. - Meadows - 1992 DBLP
33 Using temporal logic to specify and verify cryptographic pro.. - Gray, McLean - 1995 ACM DBLP
23 Failures divergences refinement user manual and tutorial (context) - Systems, Ltd - 1994
7 Modelling security properties with csp - Schneider - 1996
3 specifying and verifying key-exchange protocols in CSP and F.. (context) - Roscoe, describing - 1994
2 Lecture notes on domain theory (context) - Roscoe - 1986
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)
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