Modeling and Analysis of Security Protocols: CSP Approach

Author: (English) Ryan / (English) Schneider / Zhang Yuqing, etc.
Publisher:
Publish Date: 2005-01-01
Features: This book primarily introduces a modeling and analysis method for security protocols: the CSP (Communicating Sequential Processes) method. The book consists of 11 chapters and 3 appendices, covering the following main content: an overview of security protocols, an introduction to the CSP method, CSP modeling methods for security protocols, protocol objective description, an overview of FDR, an introduction to Casper, encoding protocols and intruders for FDR, theorem proving of analysis results, simplified transformation of protocols, other security protocol analysis methods, and existing problems and development trends in security protocol analysis. The appendices include: cryptography background knowledge, specific examples, and the detailed proof process of Chapter 8. This book can serve as a teaching reference for universities and colleges in the fields of information security, computer science, and communication, as well as for teaching, scientific research, and engineering professionals in related fields.