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