本书介绍安全协议及其验证方法，主要内容包括三个部分：1.基础知识，包括安全协议基本原理介绍、安全性分析以及密码学基础；2.安全协议原理，包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3.安全协议的分析与验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。
    本书较为全面、深入地介绍了信息安全体系中的安全协议原理及安全协议的分析验证方法。内容安排由浅入深，重点突出，涵盖了当前安全协议研究领域的主要成果。

    王聪编著

    北京邮电大学出版社2011年8月出版

    索书号：TP393.08/W134

    ISBN：9787563526727

 

 

目录

 

第一部分基础知识
　第1章引言
　第2章密码学基础
第二部分安全协议原理
　第3章安全协议概述
　第4章认证与密钥交换协议
　第5章电子商务协议
　第6章实际使用中的的安全协议
第三部分安全协议的分析、验证方法
　第7章 BAN逻辑
　第8章 BAN类逻辑
　第9章 Kailar逻辑
　第10章时间相关安全协议分析
　第11章串空间模型理论及协议分析方法
　第12章安全协议的CSP分析方法
　第13章其他安全协议分析验证方法
参考文献