密码协议分析的逻辑方法

前言第一部分 理论基础第1章 数理逻辑基础 1.1 基本概念 1.2 命题逻辑 1.2.1 命题逻辑语法 1.2.2 命题逻辑语义 1.2.3 命题逻辑推演系统 1.2.4 命题逻辑的可靠性 1.3 谓词逻辑 1.3.1 谓词逻辑语法 1.3.2 谓词逻辑的语义 1.3.3 谓词逻辑推演系统 1.3.4 谓词逻辑的可靠性 1.4 模态逻辑 1.4.1 命题模态逻辑 1.4.2 谓词模态逻辑 1.4.3 知识逻辑与信念逻辑 1.5 Hoare逻辑 1.6 本章小结 参考文献第2章 现代密码学基础 2.1 概述 2.1.1 加密方案 2.1.2 对加密方案的攻击 2.1.3 信息论安全 2.1.4 现代密码学 2.2 计算复杂性 2.2.1 图灵机 2.2.2 时间复杂性 2.2.3 P与NP 2.2.4 多项式时间归约 2.2.5 概率图灵机与BPP 2.3 计算安全 2.3.1 计算安全的概念 2.3.2 安全假设 2.3.3 几个安全相关概念 2.4 私钥加密 2.4.1 私钥加密方案 2.4.2 私钥加密方案的CPA安全 2.4.3 私钥加密方案的CCA安全 2.5 公钥加密 2.5.1 公钥加密方案 2.5.2 公钥加密方案的CPA安全 2.5.3 公钥加密方案的CCA安全 2.6 数字签名 2.6.1 数字签名方案 2.6.2 数字签名方案的安全性 2.7 安全性证明 2.7.1 概率多项式时间归约 2.7.2 混合论证 2.7.3 标准模型与随机应答器模型 2.8 本章小结 参考文献第二部分 密码协议分析概述第3章 密码协议 3.1 密码协议的概念与意义 3.2 密码协议的属性与分类 3.3 对密码协议的攻击 3.4 密码协议的表示法 ……第4章 密码协议分析第三部分 密码协议逻辑第5章 BAN逻辑第6章 BAN逻辑的扩展第7章 类BAN逻辑的语义第8章 BAN逻辑的进一步扩展第9章 非单调逻辑第10章 引入时间的协议逻辑第11章 时间相关密码协议逻辑及其形式化语义第12章 协议复合逻辑第四部分 计算可靠的密码协议逻辑第13章 AR逻辑第14章 对AR逻辑的扩展第15章 计算可靠的PCL第16章 IK逻辑第17章 计算不可区分逻辑结束语索引

《密码协议分析的逻辑方法》对密码协议分析的逻辑方法进行系统介绍。主要内容包括密码协议的概念以及密码协议分析的主要方法综述，密码协议逻辑分析方法的理论基础，各种密码协议逻辑。这些逻辑涵盖了当前比较重要的密码协议分析逻辑，介绍了基于逻辑的计算可靠性的分析方法.重点介绍了作者在密码协议分析的逻辑方面进行的工作。