机读格式显示(MARC)

• 000 01167nam0 2200289 450

• 001 0000476713

• 005 20130705133300.0

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

• 099 __ |a CAL 012013047889

• 100 __ |a 20130409d2013 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 001yy

• 106 __ |a r

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

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

• 215 __ |a xi, 381页 |c 图 |d 24cm

• 300 __ |a 中国科学院科学出版基金资助出版 中国科学院科学出版基金、国家自然科学基金 (No.61170280) 和中国科学院先导专项研究计划 (XDA06010701) 资助

• 320 __ |a 有书目和索引

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

• 606 0_ |a 密码协议 |A mi ma xie yi |x 逻辑方法

• 690 __ |a TN918.1 |v 5

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

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

• 801 _0 |a CN |b CAU |c 20130513

• 905 __ |a SCNU |f TN918.1/1008

• 920 __ |a 242430 |z 1