MARC状态:审校 文献类型:中文图书 浏览次数:58
- 题名/责任者:
- 安全协议操作语义与验证/(瑞士) Cas Cremers, (卢森堡)Sjouke Mauw著 吴汉炜译
- 出版发行项:
- 北京:电子工业出版社,2018
- ISBN及定价:
- 978-7-121-35195-2/CNY59.00
- 载体形态项:
- 10, 137页:图;26cm
- 丛编项:
- 经典译丛.网络空间安全
- 个人责任者:
- 克雷默斯 (Cremers, Cas) 著
- 个人责任者:
- 毛弗 (Mauw, Sjouke)著
- 个人次要责任者:
- 吴汉炜 译
- 学科主题:
- 计算机网络-网络安全-通信协议-操作语义-验证
- 中图法分类号:
- TP393.08
- 中图法分类号:
- TP301.2
- 出版发行附注:
- 由Springer Science+Business Media, LLC授予电子工业出版社
- 责任者附注:
- 责任者Cremers规范汉译姓: 克雷默斯; 责任者Mauw规范汉译姓: 毛弗
- 书目附注:
- 有书目 (第125-137页)
- 提要文摘附注:
- 本书的内容主要涵盖两部分:用形式化的语义定义协议的执行规格和安全属性,精确表示安全协议的安全属性;综合运用各种形式化方法设计一个高效的验证算法,在可接受的时间内验证安全属性。本书还探讨了多协议安全分析,比较分析了各种验证理论和发展趋势。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP393.08/293 | 91131649 | 自然科学阅览室三 | 可借 | 自然科学阅览室三 | |
TP393.08/293 | 91131650 | 自然科学阅览室三 | 可借 | 自然科学阅览室三 | |
TP393.08/293 | 91131651 | 自然科学阅览室三 | 可借 | 自然科学阅览室三 |
显示全部馆藏信息