Safety Protocol Theory and Methods

Author: Fan Hong Feng Dengguo
Publisher:
Publish Date: 2003-10-01
Features: This book is one of the series "Information Security" from the State Key Laboratory of Information Security. It systematically introduces the theory and methods of current computer network security protocols. The main contents include the basic concepts of security protocols, their defects, and the types of attacks they may face, such as reasoning-based structural methods, attack-based structural methods, proof-based structural methods, formal interfaces for security protocol analysis, formal methods for security protocol design, Kerberos protocol, IPSec protocol, SSL protocol, X.509, and SET protocol. This book can serve as a teaching reference for computer, communication, and information security majors in higher education institutions, as well as for teaching, scientific research, and engineering technical personnel in related fields. This book is one of the series "Information Security" from the State Key Laboratory of Information Security. It systematically introduces the theory and methods of current computer network security protocols. The main contents include the basic concepts of security protocols, their defects, and the types of attacks they may face, such as reasoning-based structural methods, attack-based structural methods, proof-based structural methods, formal interfaces for security protocol analysis, formal methods for security protocol design, Kerberos protocol, IPSec protocol, SSL protocol, X·509, and SET protocol. This book can serve as a teaching reference for computer, communication, and information security majors in higher education institutions, as well as for teaching, scientific research, and engineering technical personnel in related fields.