|
题名:
|
密码协议分析的逻辑方法 / 雷新锋，薛锐著 , |
|
ISBN:
|
978-7-03-037096-9 价格： CNY98.00 |
|
语种:
|
chi |
|
载体形态:
|
xi, 381页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2013 |
|
内容提要:
|
本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。 |
|
主题词:
|
密码协议 逻辑方法 |
|
中图分类法:
|
TN918.1 版次： 5 |
|
主要责任者:
|
雷新锋 著 |
|
主要责任者:
|
薛锐 著 |
|
附注:
|
中国科学院科学出版基金资助出版 中国科学院科学出版基金、国家自然科学基金 (No.61170280) 和中国科学院先导专项研究计划 (XDA06010701) 资助 |