机读格式显示(MARC)

• 000 01567nam 2200349 450

• 001 0000275130

• 005 20210514121100.0

• 010 __ |a 978-7-121-35195-2 |d CNY59.00

• 100 __ |a 20181124d2018 em y0chiy50 ea

• 101 1_ |a chi |c ger

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 安全协议操作语义与验证 |A an quan xie yi cao zuo yu yi yu yan zheng |d = Operational semantics and verification of security protocols |f (瑞士) Cas Cremers, (卢森堡)Sjouke Mauw著 |g 吴汉炜译 |z eng

• 210 __ |a 北京 |c 电子工业出版社 |d 2018

• 215 __ |a 10, 137页 |c 图 |d 26cm

• 225 2_ |a 经典译丛 |A jing dian yi cong |i 网络空间安全

• 306 __ |a 由Springer Science+Business Media, LLC授予电子工业出版社

• 314 __ |a 责任者Cremers规范汉译姓: 克雷默斯; 责任者Mauw规范汉译姓: 毛弗

• 320 __ |a 有书目 (第125-137页)

• 330 __ |a 本书的内容主要涵盖两部分：用形式化的语义定义协议的执行规格和安全属性，精确表示安全协议的安全属性；综合运用各种形式化方法设计一个高效的验证算法，在可接受的时间内验证安全属性。本书还探讨了多协议安全分析，比较分析了各种验证理论和发展趋势。

• 410 _0 |1 2001 |a 经典译丛 |i 网络空间安全

• 510 1_ |a Operational semantics and verification of security protocols |z eng

• 606 0_ |a 计算机网络 |A ji suan ji wang luo |x 网络安全 |x 通信协议 |x 操作语义 |x 验证

• 690 __ |a TP393.08 |v 5

• 690 __ |a TP301.2 |v 5

• 701 _1 |a 克雷默斯 |A ke lei mo si |g (Cremers, Cas) |4 著

• 701 _1 |a 毛弗 |A mao fu |g (Mauw, Sjouke)著

• 702 _0 |a 吴汉炜 |A wu han wei |4 译

• 801 _0 |a CN |b 百万庄 |c 20181124

• 905 __ |a SYUT |d TP393.08/293

• 920 __ |a 221050 |z 1