密码协议形式化分析

本书对现在国内外最新的密码协议形成化分析方法与设计准则进行了比较详细的论述，建立了完整而系统密码协议研究理论，并介绍了当前最为流行的几个协议的实现方法。
全书共8章，分别介绍了密码协议所涉及的密码学基础知识，密码协议的概念、缺陷与可能受到的攻击类型，现有的一些密码协议形式化分析方法，密码协议的设计准则，密码协议分析的主要形式化语言和分析工具，kerberos协议、ipsee协议、ssl协议、x.509以及set协议这五个密码协议的实现方法和工作原理。
本书适合作为高等院校信息安全专业本科生、研究生使用，也可供从事信息安全研究的科技人员参考。书的最后附有相关的参考文献，提供了与本书有关的资料，供有兴趣的读者参考。


出版说明序前言第1章引论1.1密码体制1.2数字签名1.3Hash函数1.4密钥管理1.5PKI公钥基础设施1.6本章小结1.7习题第2章密码协议概述2.1引言2.2密码协议基本概念2.3密码协议的缺陷及所受到的攻击实例2.4密码协议的设计与分析2.5密码协议形式化分析的研究与进展2.6本章小结2.7习题第3章形式逻辑方法3.1BAN逻辑3.2扩展的BAN逻辑3.3BAN类逻辑现状3.4Kailar逻辑3.5本章小结3.6习题第4章模型检测方法4.1引言4.2模型检测技术分析密码协议的方法和结果4.3CSP及FDR模型检测技术……第5章定理证明方法第6章密码协议的设计准则第7章密码协议分析主要的形式化语言和分析工具第8章几个具体密码协议的实现方法和工作原理参考文献

字数:251版次：1-1
装帧:平

西安