安全协议操作语义与验证
【作 者】(瑞士)卡斯·克雷默斯,(卢森堡)肖克·毛弗
【丛书名】经典译丛·网络空间安全
【形态项】 137
【出版项】 北京:电子工业出版社 , 2018.11
【ISBN号】978-7-121-35195-2
【中图法分类号】TP393.08
【原书定价】59.00
【主题词】计算机网络-网络安全-通信协议-操作语义-验证
【参考文献格式】 (瑞士)卡斯·克雷默斯,(卢森堡)肖克·毛弗. 安全协议操作语义与验证. 北京:电子工业出版社, 2018.11.
内容提要:
安全协议作为信息安全的重要基础之一,其安全属性能否达到设计者的初始目标成为一个重要研究内容,关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖两部分:用形式化的语义定义协议的执行规格和安全属性,精确表示安全协议的安全属性;综合运用各种形式化方法设计一个高效的验证算法,在可接受的时间内验证安全属性。本书还探讨了多协议安全分析,比较分析了各种验证理论和发展趋势。
下载地址
安全协议操作语义与验证.rar