作者：
出版社： 电子工业出版社
CIP号：2018230371
书号：978-7-121-35195-2
出版地：北京
出版时间：2018.11
定价：￥59
安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规格和安全属性，以精确表示安全协议的安全属性；综合运用各种形式化方法设计一个高效的验证算法，以在可接受的时间内验证安全属性。本书还探讨了多协议安全分析，比较分析了各种验证理论和发展趋势。