机读格式显示(MARC)

• 000 01972nam 2200361 450

• 001 0000323604

• 005 20200609160300.0

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

• 100 __ |a 20181118d2018 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 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+Bublishing Media, LLC授予电子工业出版社

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

• 314 __ |a Cas Cremers, 牛津大学信息安全领域正教授, 2006年获得荷兰艾恩德霍芬科技大学博士学位。Sjouke Mauw, 博士, 工作于卢森堡大学计算机科学与通信研究所。

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

• 330 __ |a 安全协议作为信息安全的重要基础之一, 其安全属性能否达到设计者的初始目标成为一个重要研究内容, 关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖两部分: 用形式化的语义定义协议的执行规格和安全属性, 精确表示安全协议的安全属性; 综合运用各种形式化方法设计一个高效的验证算法, 在可接受的时间内验证安全属性。本书还探讨了多协议安全分析, 比较分析了各种验证理论和发展趋势。

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

• 410 _0 |1 2001 |a 网络空间安全

• 500 10 |a Operational semantics and verification of security protocols |A Operational Semantics And Verification Of Security Protocols |m Chinese

• 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) |4 著

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

• 801 _0 |a CN |b 湖北三新 |c 20181118

• 905 __ |a AUSTL |d TP393.08/K484A51