题名:	密码协议形式化分析 / 王亚弟 ,
ISBN:	7-111-19229-X 价格： 0.00
载体形态:	11,251页 26cm
出版发行:	出版地：北京出版社：机械工业出版社出版日期： 20060101
内容提要:	本书共8章，分别介绍了密码协议所涉及的密码学基础知识、密码协议的概念、缺陷与可能受到的攻击类型、现有的一些密码形式化分析方法、密码协议的设计准则、密码协议分析的主要形式化语言和分析工具等。
主题词:	密码
中图分类法:	TN918.1 版次：