题名:
|
安全协议操作语义与验证 [ 专著] an quan xie yi cao zuo yu yi yu yan zheng / (瑞士)Cas Cremers,(卢森堡)Sjouke Mauw著 , 吴汉炜译 |
ISBN:
|
978-7-121-35195-2 价格: CNY59.00 |
语种:
|
chi |
载体形态:
|
10,137页 26cm |
出版发行:
|
出版地: 北京 出版社: 电子工业出版社 出版日期: 2018 |
内容提要:
|
本书内容涵盖以下两个部分:用形式化的语义定义协议的执行规格和安全属性,以精确表示安全协议的安全属性;综合运用各种形式化方法设计一个高效的验证算法,以在可接受的时间内验证安全属性。还探讨了多协议安全分析,比较分析了各种验证理论和发展趋势。 |
主题词:
|
计算机网络 网络安全 |
中图分类法:
|
TP393.08 版次: 5 |
中图分类法:
|
TP301.2 版次: 5 |
主要责任者:
|
Cremers Cremers 著 |
主要责任者:
|
Mauw Mauw 著 |
次要责任者:
|
吴汉炜 wu han wei 译 |
索书号:
|
TP393.08/glg6039 |