Peter Ryan, Irfan Zakiuddin  Home/Search
Context Related
| rutgers.edu/Workshops/Se...zakiuddin.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: cs.tut.fi/~jak/telec/plan2 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We outline the aims and principle results of a research programme aimed at developing tools and techniques for the analysis and design of security protocols. The aim was to move away from specially tailored frameworks and tools and apply well-established, mainstream formal methods and tools to the problem. The main thrust was to apply CSP and model-checking however some other strands: the B-method, Action Systems and theorem proving (using PVS), are also outlined. 1 Introduction Security... (Update)
Cited by: More
Probable Innocence Revisited - Konstantinos Chatzikokolakis Catuscia (Correct)
A Calculus for Cryptographic Protocols - Lecture Notes Andrew (Correct)
Key Exchange Protocols: Security Definition, Proof.. - Datta, Derek.. (2006) (Correct)
Active bibliography (related documents): More All
0.5: Analysing a Stream Authentication Protocol using Model Checking - Broadfoot, Lowe (2002) (Correct)
0.5: An Extended Logic for Analyzing Timed-Release Public-Key.. - Kudo, Mathuria (1999) (Correct)
0.3: A Security Analysis of the Cliques Protocols Suites - Pereira, Quisquater (2001) (Correct)
Similar documents based on text: More All
0.3: Using Refinement to Analyse the Safety of an Authentication.. - Butler (1998) (Correct)
0.2: Data Independence in the Model Checking of Security Protocols - Broadfoot (2001) (Correct)
0.1: Proceedings of the Workshop on Automated Verification of Critical.. - Nowak (2001) (Correct)
Related documents from co-citation: More All
12: Casper: A compiler for the analysis of security protocols - Lowe - 1997
12: The inductive approach to verifying cryptographic protocols - Paulson - 1998
8: Automated analysis of cryptographic protocols using MurOE - Mitchell, Mitchell et al. - 1997
BibTeX entry: (Update)
P. Ryan, S. Schneider, M. Goldsmith, G. Lowe, and B. Roscoe. Modelling and Analysis of Security Protocols. Addison Wesley, 2001. http://citeseer.ist.psu.edu/ryan01modelling.html More
@misc{ ryan01modelling,
author = "P. Ryan and S. Schneider and M. Goldsmith and G. Lowe and B. Roscoe",
title = "Modelling and Analysis of Security Protocols",
text = "P. Ryan, S. Schneider, M. Goldsmith, G. Lowe, and B. Roscoe. Modelling
and Analysis of Security Protocols. Addison Wesley, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/ryan01modelling.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - HOARE - 1985
322 Breaking and Fixing the Needham-Schroeder Public-Key Protoco.. - LOWE - 1996
254 Book: Assigning Programs to Meanings (context) - ABRIAL - 1996
121 Three Systems for Cryptographic Protocol Analysis (context) - KEMMERER, MEADOWS et al. - 1994
110 Casper: A Compiler for the Analysis of Security Protocols - LOWE - 1997
99 Modelling and Verifying key-exchange Protocols using CSP and.. - ROSCOE - 1995
54 Using CSP to Detect Errors in the TMN Protocol - LOWE, ROSCOE
34 Of wp and CSP (context) - MORGAN - 1990
28 Theoretical Computer Science (context) - DAVIES, SCHNEIDER et al. - 1995
21 A CSP Approach to Action Systems - BUTLER - 1992
18 Stepwise Refinement of Communicating Systems - BUTLER - 1996
17 a Limitation of BAN Logic - BOYD, MAO - 1993
15 for Developing Distributed Systems (context) - ABRIAL, Changing - 1996
14 A Semantic Study of Data-independence with Applications to M.. (context) - LAZIC - 1997
9 Attacking Authentication Protocols - CLARK, JACOB - 1996
8 A CSP Formulation of Non-interference and Unwinding (context) - RYAN - 1990
3 submitted to Information Processing Letters (context) - RYAN, SCHNEIDER et al. - 1997
3 Mechanised proofs for a recursive Authentication Protocol (context) - PAULSON - 1997
2 Theorems for mechanical verification of data-independent CSP (context) - LAZIC - 1997
2 IEEE Computer Security Foundations Workshop (context) - LOWE, of et al. - 1997
1 to be presented at DIMACS Workshop on Formal Verification of.. (context) - ROSCOE, GOLDSMITH et al. - 1997
1 A study of data-independence in CSP (context) - Lazic, Roscoe - 1997
1 Prentice Hall 1997 to appear (context) - ROSCOE, Practice - 1997
1 to appear as DRA Tech Report (context) - BUTLER, Systems et al. - 1997
1 Digital Systems Research Centre Report (context) - ABADI, of - 1989
1 to be presented at DIMACS Workshop on Formal Verification of.. (context) - BRYANS, SCHNEIDER et al. - 1997
1 the Security of Recent Protocols - CLARK, JACOB - 1995
The graph only includes citing articles where the year of publication is known.
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