机读格式显示(MARC)

• 000 01086nam0 2200265 450

• 001 0000368654

• 005 20131210092300.0

• 010 __ |a 978-7-03-037096-9 |d CNY98.00

• 100 __ |a 20130408d2013 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a 密码协议分析的逻辑方法 |9 mi ma xie yi fen xi de luo ji fang fa |f 雷新锋，薛锐著

• 210 __ |a 北京 |c 科学出版社 |d 2013

• 215 __ |a 11,381页 |d 24cm

• 300 __ |a 中国科学院科学出版基金资助出版 得到中国科学院科学出版基金、国家自然科学基金（No.61170280）和中国科学院先导专项研究计划（XDA 06010701）资助

• 330 __ |a 本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。

• 606 0_ |a 密码协议 |x 研究

• 690 __ |a TN918.1 |v 5

• 690 __ |a TN918.1 |v 4

• 701 _0 |a 雷新锋 |9 lei xin feng |4 著

• 701 _0 |a 薛锐 |9 xue rui |4 著

• 801 _0 |a CN |b ZPHC |c 20131210

• 905 __ |a ZPHC |d TN918.1/27