机读格式显示(MARC)

• 000 01491oam2 2200337 450

• 001 0000333890

• 005 20190514165900.0

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

• 021 __ |a CN |b 01-2017-5381

• 100 __ |a 20181207d2018 em y0chiy50 ea

• 101 1_ |a chi |c ger

• 102 __ |a CN |b 110000

• 105 __ |a a z 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页 |d 26cm

• 225 2_ |a 经典译丛 |A Jing Dian Yi Cong |i 网络空间安全

• 305 __ |a Springer Science+Business Media,LLC 授权出版

• 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 _0 |c (瑞士) |a 克雷默斯 |A ke lei mo si |c (Cremers, Cas) |4 著

• 701 _0 |c (卢森堡) |a 毛弗 |A mao fu |c (Mauw, Sjouke) |4 著

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

• 801 _0 |a CN |b XATU |c 20190417

• 905 __ |a XATU |d TP393.08/499

• 920 __ |a 261060 |z 1