机读格式显示(MARC)

• 000 01812nam 2200361 450

• 001 0000352877

• 005 20110307161618.0

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

• 100 __ |a 20101116d2010 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 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页 |c 图 |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 lao |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 SCNU |c 20110307

• 905 __ |a SCNU |f TP393.08/1788

• 999 __ |M jiangy |m 20110307 16:16:18 |G jiangy |g 20110308 15:14:06

• 000 0000432594

• 991 __ |a 012011001232

• 907 __ |a SCNU |f TP393.08/1788