安全协议的建模与分析：CSP方式2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

安全协议的建模与分析：CSP方式PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

目录1

译者序1

原书序1

第0章 绪论1

0.1 安全协议1

0.2 安全特性5

0.3 密码学11

0.4 公钥证书与基础设施17

0.5 加密模式18

0.6 密码学中的哈希函数18

0.7 数字签名19

0.8 安全协议的脆弱性21

0.9 CSP方法26

0.10 Casper:FDR的用户友好界面29

0.11 形式化分析的局限30

0.12 小结30

第1章 CSP介绍31

1.1 基本模块31

1.2 并行运算符37

1.3 隐藏与重命名42

1.4 更多的运算符45

1.5 过程行为47

1.6 离散时间57

2.1 可信赖的过程60

第2章 使用CSP对安全协议建模60

2.2 协议模型的数据类型64

2.3 入侵者建模65

2.4 并归网络68

第3章 表达协议目的72

3.1 Yahalom协议73

3.2 保密性74

3.3 认证78

3.4 不可否认84

3.5 匿名88

3.6 小结92

第4章 FDR概述94

4.1 比例过程95

4.2 标注转换系统97

4.3 开发成分结构101

4.4 反例104

第5章 Casper106

5.1 一个输入文件的例子106

5.2 符号％112

5.3 实例研究：大嘴青蛙协议114

5.4 协议技术说明119

5.5 哈希函数与Vernam加密120

5.6 小结121

第6章 为FDR编码协议和入侵者122

6.1 来自Casper的CSP122

6.2 入侵者建模：完美的间谍124

6.3 连接网络127

6.4 范例推理系统129

6.5 代数等价130

6.6 对有用特性的详细说明131

第7章 定理证明133

7.1 阶函数135

7.2 共享密钥的保密性：一个阶函数138

7.3 nB的保密性142

7.4 认证146

7.5 机器辅助152

7.6 小结152

8.1 为协议进行简化转换154

第8章 简化转换154

8.2 协议变换157

8.3 安全简化转换的实例159

8.4 结构的转换162

8.5 实例研究：CyberCash主序列协议163

8.6 小结169

第9章 其他方法170

9.1 简介170

9.2 Dolev-Yao模型170

9.3 BAN逻辑及其扩展171

9.4 FDM和InaJo174

9.5 NRL分析器174

9.6 B-method方法175

9.8 串空间176

9.7 无干扰方法176

9.9 归纳方法178

9.10 Spi演算179

9.11 可证明的安全性180

第10章 发展趋势及更多的问题182

10.1 简介182

10.2 密码原语的抽象182

10.3 提炼问题182

10.4 将形式化分析和密码学分析结合183

lO.5 依赖于基础设施假定184

10.6 会议密钥和群体密钥的建立184

10.7 量子密码学184

10.8 数据独立185

附录A 密码学背景知识188

A.1 RSA算法189

A.2 EIGamal公钥系统190

A.3 复杂度理论192

附录B Yahalom协议的Casper表示193

B.1 The Casper input file193

B.2 Casper output194

附录C CyberCash阶函数分析209

C.1 保密性209

C.2 认证性213

参考文献221

符号列表226

专业词汇英中对照表228