书籍简介:

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

书籍规格:

书籍详细信息
书名	安全协议操作语义与验证站内查询相似图书
丛书名	经典译丛
	9787121351952 如需购买下载《安全协议操作语义与验证》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	电子工业出版社
版次	1版	印次	1
定价(元)	59.0	语种	简体中文
尺寸	26 × 19	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

安全协议操作语义与验证是电子工业出版社于2018.11出版的中图分类号为 TP393.08 ,TP301.2 的主题关于计算机网络－网络安全－通信协议－操作语义－验证的书籍。