000
01919nam 2200337 450
001
012019000601
010
@ a978-7-121-35195-2@ dCNY59.00
100
@ a20181118d2018 em y0chiy50 ea
101
1
@ achi@ ceng
102
@ aCN@ b110000
105
@ aak a 000yy
106
@ ar
200
1
@ a安全协议操作语义与验证@ Aan quan xie yi cao zuo yu yi yu yan zheng@ d= Operational semantics and verification of security protocols@ f(瑞士) Cas Cremers, (卢森堡) Sjouke Mauw著@ F(rui shi) cas cremers, (lu sen bao) sjouke mauwzhu@ g吴汉炜译@ zeng
210
@ a北京@ c电子工业出版社@ d2018.11
215
@ a10, 137页@ c图@ d26cm
225
2
@ a经典译丛@ Ajing dian yi cong@ i网络空间安全
306
@ a本书中文简体字版著有出版权由Springer Science+Bublishing Media, LLC授予电子工业出版社
314
@ a责任者Cremers规范汉译姓: 克雷默斯; 责任者Mauw规范汉译姓: 毛弗
314
@ aCas Cremers, 牛津大学信息安全领域正教授, 2006年获得荷兰艾恩德霍芬科技大学博士学位。Sjouke Mauw, 博士, 工作于卢森堡大学计算机科学与通信研究所。
320
@ a有书目 (第125-137页)
330
@ a安全协议作为信息安全的重要基础之一, 其安全属性能否达到设计者的初始目标成为一个重要研究内容, 关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖两部分: 用形式化的语义定义协议的执行规格和安全属性, 精确表示安全协议的安全属性; 综合运用各种形式化方法设计一个高效的验证算法, 在可接受的时间内验证安全属性。本书还探讨了多协议安全分析, 比较分析了各种验证理论和发展趋势。
410
0
@ 12001 @ a经典译丛@ i网络空间安全
500
10
@ aOperational semantics and verification of security protocols@ mChinese
606
0
@ a计算机网络@ Aji suan ji wang luo@ x网络安全@ x通信协议@ x操作语义@ x验证
690
@ aTP393.08@ v5
690
@ aTP301.2@ v5
701
1
@ a克雷默斯@ Ake lei mo si@ g(Cremers, Cas)@ 4著
701
1
@ a毛弗@ Amao fu@ g(Mauw, Sjouke)@ 4著
702
0
@ a吴汉炜@ Awu han wei@ 4译
801
0
@ aCN@ c20190315
905
@ a河南城建学院图书馆@ b21423943-44@ dTP393.08@ eK644@ f2
安全协议操作语义与验证= Operational semantics and verification of security protocols/(瑞士) Cas Cremers, (卢森堡) Sjouke Mauw著/吴汉炜译.-北京：电子工业出版社，2018.11 10, 137页：图；26cm.-(经典译丛.网络空间安全) ISBN 978-7-121-35195-2：CNY59.00 安全协议作为信息安全的重要基础之一, 其安全属性能否达到设计者的初始目标成为一个重要研究内容, 关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖两部分: 用形式化的语义定义协议的执行规格和安全属性, 精确表示安全协议的安全属性; 综合运用各种形式化方法设计一个高效的验证算法, 在可接受的时间内验证安全属性。本书还探讨了多协议安全分析, 比较分析了各种验证理论和发展趋势。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
1423943
214239439
自科库301/301自科库 122排1列2层/
[索取号:TP393.08/K644]
在馆
2
1423944
214239448
自科库301/301自科库 122排1列2层/
[索取号:TP393.08/K644]
在馆
