| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:32

题名/责任者:
安全协议操作语义与验证/(瑞士)Cas Cremers,(卢森堡)Sjouke Mauw著 吴汉炜译
出版发行项:
北京:电子工业出版社,2018
ISBN及定价:
978-7-121-35195-2/CNY59.00
载体形态项:
10,137页:图;26cm
并列正题名:
Operational semantics and verification of security protocols
丛编项:
经典译丛.网络空间安全
个人责任者:
(瑞士) 克雷默斯 (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相关电子图书
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架