Safety Protocol (Series of Textbooks for Information Security in Higher Education Institutions)

Author: Qing Sihan (Compiler)
Publisher:
Publish Date: 2005-03-01
Features: This book is the first specialized textbook on security protocols in China. It is divided into 12 chapters, comprehensively introducing the fundamental theories and key technologies of security protocols. The main contents include: Introduction; Cryptographic Foundations of Security Protocols; Authentication Protocols; Non-repudiation Protocols; Secure E-commerce Protocols; Other Types of Security Protocols; BAN Logic; Kailar Logic; Rubin Logic; Serial Space Model; CSP Method; Practical Protocol SSL and Its Security Analysis; Attacks on Security Protocols; Design of Security Protocols; The Public Issue of Security Protocols; Development and Prospects of Security Protocols, etc. The book is carefully selected, rich in content, highlights key points, and is distinct in its features. It combines theory with practice, covering both the latest advancements in security protocol research and the author's scientific research in this field. This book can serve as a textbook for senior undergraduate and graduate students in information security, computer science, communication, and related fields, as well as a reference for teaching, scientific research, and engineering professionals in related fields. This book is the first specialized textbook on security protocols in China. It is divided into 12 chapters, comprehensively introducing the fundamental theories and key technologies of security protocols. The main contents include: Introduction; Cryptographic Foundations of Security Protocols; Authentication Protocols; Non-repudiation Protocols; Secure E-commerce Protocols; Other Types of Security Protocols; BAN Logic; Kailar Logic; Rubin Logic; Serial Space Model; CSP Method; Practical Protocol SSL and Its Security Analysis; Attacks on Security Protocols; Design of Security Protocols; The Public Issue of Security Protocols; Development and Prospects of Security Protocols, etc. The book is carefully selected, rich in content, highlights key points, and is distinct in its features. It combines theory with practice, covering both the latest advancements in security protocol research and the author's scientific research in this field. This book can serve as a textbook for senior undergraduate and graduate students in information security, computer science, communication, and related fields, as well as a reference for teaching, scientific research, and engineering professionals in related fields.