书目信息 |
| 题名： |
安全协议操作语义与验证
|
|
| 作者： | 克雷默斯 ， 毛弗 著 ；吴汉炜 译 | |
| 分册： | ||
| 出版信息： | 北京 电子工业出版社 2018.11 |
|
| 页数： | 10, 137页 | |
| 开本： | 26cm | |
| 丛书名： | 经典译丛 | |
| 单 册： | ||
| 中图分类： | TP393.08 ， TP301.2 | |
| 科图分类： | ||
| 主题词： | 计算机网络--ji suan ji wang luo--网络安全--通信协议--操作语义--验证 | |
| 电子资源： | ||
| ISBN： | 978-7-121-35195-2 | |
| 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 |
| 安全协议作为信息安全的重要基础之一, 其安全属性能否达到设计者的初始目标成为一个重要研究内容, 关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖两部分: 用形式化的语义定义协议的执行规格和安全属性, 精确表示安全协议的安全属性; 综合运用各种形式化方法设计一个高效的验证算法, 在可接受的时间内验证安全属性。本书还探讨了多协议安全分析, 比较分析了各种验证理论和发展趋势。 |
| ● |
| 相关链接 |
|
|
|
正题名：安全协议操作语义与验证
索取号：TP393.08/K644
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1423943 | 214239439 | 自科库301/301自科库 122排1列2层/ [索取号:TP393.08/K644] | 在馆 | |
| 2 | 1423944 | 214239448 | 自科库301/301自科库 117排1列3层/ [索取号:TP393.08/K644] | 在馆 |