|
题名:
|
安全协议操作语义与验证 / (瑞士)Cas Cremers，(卢森堡)Sjouke Mauw著 , 吴汉炜译 |
|
ISBN:
|
978-7-121-35195-2 价格： CNY59.00 |
|
语种:
|
chi |
|
载体形态:
|
10,137页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 电子工业出版社 出版日期： 2018 |
|
内容提要:
|
安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规格和安全属性，以精确表示安全协议的安全属性；综合运用各种形式化方法设计一个高效的验证算法，以在可接受的时间内验证安全属性。本书还探讨了多协议安全分析，比较分析了各种验证理论和发展趋势。 |
|
主题词:
|
计算机网络 网络安全 |
|
中图分类法:
|
TP393.08 版次： 5 |
|
主要责任者:
|
克雷默斯 著 |
|
主要责任者:
|
毛弗 著 |
|
次要责任者:
|
吴汉炜 译 |
|
索书号:
|
3 |
|
索书号:
|
3 |