机读格式显示(MARC)

• 000 01596nam 2200337 450

• 001 0000392321

• 005 20111020135600.0

• 010 __ |a 978-7-115-22002-8 |d CNY23.00

• 100 __ |a 20101117d2010 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y a 001yy

• 106 __ |a r

• 200 1_ |a 安全协议分析与设计 |A an quan xie yi fen xi yu she ji |d = Analysis and design of security protocols |f 卫剑钒, 陈钟编著 |z eng

• 210 __ |a 北京 |c 人民邮电出版社 |d 2010

• 215 __ |a 156页 |d 26cm

• 225 2_ |a 普通高等教育“十一五”国家级规划教材 |A pu tong gao deng jiao yu“shi yi wu”guo jia ji gui hua jiao cai

• 225 2_ |a 21世纪高等学校计算机规划教材 |A 21 shi ji gao deng xue xiao ji suan ji gui hua jiao cai

• 320 __ |a 有书目 (第149-156页) 和索引

• 330 __ |a 本书分为7章，从安全协议的基本概念和协议记法出发，先介绍安全协议分析采用的假设和对攻击者能力的界定，接着对一些经典的安全协议及其攻击展开分析，然后对逻辑类分析方法、模型检测分析方法和定理证明类分析方法分别进行介绍，并讲述了安全协议的设计原则和设计方法，最后对一些实际使用中的具体安全协议进行讲解和分析。

• 410 _0 |1 2001 |a 普通高等教育“十一五”国家级规划教材

• 410 _0 |1 2001 |a 21世纪高等学校计算机规划教材

• 510 1_ |a Analysis and design of security protocols |z eng

• 606 0_ |a 计算机网络 |A ji suan ji wang luo |x 安全技术 |x 通信协议 |x 高等学校 |j 教材

• 690 __ |a TP393.08 |v 4

• 701 _0 |a 卫剑钒 |A wei jian fan |4 编著

• 701 _0 |a 陈钟 |A chen zhong |4 编著

• 801 _0 |a CN |b HDUL |c 20111020

• 856 4_ |u http://www.bookuu.com/kgsm/ts/2010/11/09/1861106.shtml

• 905 __ |a HDUL |d TP393.08/188

• 920 __ |a 233030 |z 1