Isbn: 9787111192299 - 密码协议形式化分析 (1 resultados)

paperback. Condición: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Pages Number: 11251 Publisher: Machinery Industry Press. Pub. Date :2007-02. book Now the latest domestic and international form of cryptographic protocol analysis and design criteria for a more detailed exposition. the establishment of a complete and systematic study of cryptographic protocols theory and describes the current most popular implementation of several agreements. The book is 8 chapters. describing the cryptographic protocols involved in the basics of cryptography. the concept of cryptographic protocols. defects and may be subject to the types of attacks. some of the existing methods of formal analysis of cryptographic protocols. cryptographic protocol design criteria. cryptographic protocols The main formal analysis of language and analysis tool. Kerberos protocol. IPSee protocol. SSL protocols. X.509 and SET protocol to achieve the five methods of cryptographic protocol and how it works. This book is suitable as an information security professional undergraduate colleges. graduate students. but also for research in information security technology officers. End of the book with relevant references. and the book provides relevant information for the interested reader is referred to. Contents: Preface published sequence described in Chapter 1 Introduction 1.2 1.1 cryptography digital signature 1.Four Satisfaction guaranteed,or money back.…