机读格式显示(MARC)
- 000 01391nam0 2200301 450
- 010 __ |a 978-7-121-35195-2 |d CNY59.00
- 100 __ |a 20181113d2018 em y0chiy50 ea
- 200 1_ |a 安全协议操作语义与验证 |A an quan xie yi cao zuo yu yi yu yan zheng |b 专著 |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 1_ |a 经典译丛 |A jing dian yi cong |i 网络空间安全
- 305 __ |a 由Springer Science + Business Media,LLC授权出版
- 330 __ |a 本书的内容主要涵盖两部分:用形式化的语义定义协议的执行规格和安全属性,精确表示安全协议的安全属性;综合运用各种形式化方法设计一个高效的验证算法,在可接受的时间内验证安全属性。书中还探讨了多协议安全分析,比较分析了各种验证理论和发展趋势。
- 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 验证
- 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 HDUL |c 20181212
- 905 __ |a HDUL |d TP393.08/4163