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