The Modelling and Analysis of Security Protocols: The CSP Approach
- ISBN-10
- 0201674718
- ISBN-13
- 9780201674712
- Category
- Computer security
- Pages
- 300
- Language
- English
- Published
- 2001
- Publisher
- Addison-Wesley Professional
- Author
- Peter Ryan
Description
An introduction to CSP - Modelling security protocols in CSP - Expressing protocol goals - Overview of FDR - Casper - Encoding protocols and intruders for FDR - Theorem proving - Simplifying transformations - Other approaches - Prospects and wider issues.
Get the book
Similar books
-
Secure Transaction Protocol Analysis: Models and Applications
By Zhang, Qingfeng Chen, Shichao Zhanga single common protocol specification language that can be used as the input format for any formal analysis techniques, ... Moreover, unlike the aforementioned methods, this verification model focuses on the formal analysis of secure ...
-
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
By Véronique Cortier, Steve KremerProvides the reader with a tutorial on some modern techniques to model and automatically analyze security protocols.
-
Design and Analysis of Security Protocol for Communication
By S. Balamurugan, Dinesh Goyal, Sheng-Lung PengThe purpose of designing this book is to discuss and analyze security protocols available for communication. Objective is to discuss protocols across all layers of TCP/IP stack and also to discuss protocols independent to the stack.
-
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March...
By Gavin Lowe, Alessandro ArmandoWe are glad that the automated DKS framework of [11] has been extended by Graham Steel so to include our model and analysis. In [12] it is possible to find the result of the performed experiments. First, a device patched to prevent ...
-
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
By Véronique Cortier, Claude Kirchner, Mitsuhiro OkadaThe contents cover various aspects of security, cryptography, protocols, biometry and static analysis. This book is aimed at researchers interested in new results but it also serves as an entry point for readers interested in this domain.
-
Operational Semantics and Verification of Security Protocols
By Sjouke Mauw, Cas CremersSecurity protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves.
-
Analysis of Real-World Security Protocols in a Universal Composability Framework
By Max Tuengerthaland constructions: IND-CCA secure or authenticated encryption, UF-CMA secure MACs, and pseudorandom functions for key ... Encryption Formal analysis of security protocols based on symbolic models, also called Dolev-Yao models [DY83], ...
-
Security Protocols: 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers
By Michael Roe, Bruce Christianson, Bruno CrispoIn this paper we propose a novel approach to the analysis of security protocols, using the process algebra CSP to model such protocols and verifying security properties using a combination of the FDR model checker and the PVS theorem ...
-
Design and Analysis of Security Protocol for Communication
By S. Balamurugan, Dinesh Goyal, Sheng-Lung PengThe main security models, parameters, modules and protocols are presented, also a detailed description of privacy and its related arguments, dimensions and factors is given where the security protocols deliver on its mission through ...
-
Foundations of Security Analysis and Design VII: FOSAD 2012 / 2013 Tutorial Lectures
By Javier Lopez, Alessandro Aldini, Fabio MartinelliThe topics covered in this book include model-based security, automatic verification of secure applications, information flow analysis, cryptographic voting systems, encryption in the cloud, and privacy preservation.