Formal Analysis of Password Protocol

Author: Wang Yadi, Shu Nina, Han Jihong, Wang Na
Publisher:
Publish Date: 2006-07-01
Features: This book provides a detailed discussion on the latest formal analysis methods and design criteria for cryptographic protocols both domestically and internationally, establishes a complete and systematic theoretical framework for cryptographic protocol research, and introduces the implementation methods of several currently most popular protocols. The book consists of 8 chapters, covering the fundamental knowledge of cryptography involved in cryptographic protocols, the concepts, flaws, and potential attack types of cryptographic protocols, existing formal analysis methods for cryptographic protocols, design criteria for cryptographic protocols, major formal languages and analysis tools for cryptographic protocol analysis, and the implementation methods and working principles of five cryptographic protocols: Kerberos, IPSee, SSL, X.509, and SET. This book is suitable for undergraduate and graduate students majoring in information security in universities and colleges, as well as for researchers engaged in information security. At the end of the book, relevant references are provided, offering materials related to the book for readers interested in further exploration.