图书介绍

安全协议分析与设计2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

卫剑钒，陈钟编著著
出版社：北京：人民邮电出版社
ISBN：9787115220028
出版时间：2010
标注页数：156页
文件大小：11MB
文件页数：164页
主题词：计算机网络－安全－通信协议－高等学校－教材

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：07a746b2c53a7cb3e4cd1eac5791d998

下载说明

安全协议分析与设计PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

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

图书目录

第1章引言1

1.1 安全协议基础知识1

1.2 安全协议形式化分析的现状3

1.3 基本概念和协议记法4

1.4 协议分析的假设6

1.4.1 完善加密假设6

1.4.2 单一协议假设7

1.4.3 诚实主体假设7

1.4.4 随机数和时间戳的假设7

1.5 攻击者能力分析8

1.5.1 攻击者能力分解8

1.5.2 攻击者划分9

1.5.3 攻击类型10

1.6 密码算法基础知识11

1.6.1 密码算法11

1.6.2 对称密码算法11

1.6.3 Hash函数14

1.6.4 公开密钥算法14

1.6.5 密码算法提供的服务17

习题18

第2章安全协议及攻击19

2.1 身份认证协议19

2.1.1 无可信第三方19

2.1.2 有可信第三方22

2.2 密钥建立协议25

2.3 安全协议的目标33

2.3.1 认证目标33

2.3.2 密钥建立目标36

2.3.3 其他目标36

习题37

第3章逻辑类分析方法38

3.1 概述38

3.1.1 逻辑类分析方法39

3.1.2 逻辑类分析方法的特点40

3.2 BAN逻辑40

3.2.1 BAN逻辑系统40

3.2.2 用BAN逻辑分析安全协议41

3.2.3 BAN逻辑的局限性44

3.3 BAN类逻辑47

3.3.1 GNY逻辑47

3.3.2 AT逻辑47

3.3.3 MB逻辑48

3.4 SVO逻辑49

3.4.1 SVO逻辑的认证目标49

3.4.2 SVO逻辑语法50

3.4.3 SVO逻辑语义53

3.4.4 用SVO逻辑分析安全协议56

习题61

第4章模型检测分析方法62

4.1 概述62

4.1.1 通用的形式化验证方法62

4.1.2 专用的形式化检验系统63

4.2 CSP方法64

4.2.1 基本术语和示例64

4.2.2 协议目标的描述67

4.3 分析实例70

4.3.1 用CSP验证NSPK协议70

4.3.2 用CSP验证TMN协议74

习题78

第5章定理证明类分析方法79

5.1 概述79

5.1.1 Paulson归纳法79

5.1.2 Schneider秩函数80

5.1.3 串空间证明方法80

5.1.4 复杂性证明理论81

5.2 串空间证明方法81

5.2.1 串空间理论82

5.2.2 串空间证明过程85

5.3 定理证明分析的局限性90

习题91

第6章安全协议的设计92

6.1 安全协议设计的基本原则92

6.1.1 基本原则92

6.1.2 命名原则93

6.1.3 加密原则93

6.1.4 时间性原则95

6.1.5 识别原则96

6.1.6 信任原则96

6.2 安全协议的设计方法研究96

6.2.1 安全协议设计方法概述97

6.2.2 fail-stop协议97

6.2.3 CK模型100

6.3 设计抵御拒绝服务攻击的安全协议102

6.3.1 安全协议中的DoS攻击103

6.3.2 无状态连接方法103

6.3.3 Cookie方法104

6.3.4 failing-together方法106

6.3.5 client puzzle方法107

习题108

第7章实用安全协议设计109

7.1 Kerberos网络认证服务109

7.1.1 概述109

7.1.2 报文交换110

7.1.3 协议特点112

7.2 X.509标准112

7.2.1 概述112

7.2.2 证书112

7.2.3 认证协议113

7.2.4 协议特点114

7.3 传输层安全协议114

7.3.1 概述114

7.3.2 会话和连接115

7.3.3 握手协议116

7.3.4 TLS协议的简化描述118

7.3.5 协议特点119

7.4 Internet密钥交换协议120

7.4.1 概述120

7.4.2 IPsec与ISAKMP120

7.4.3 使用数字签名认证的IKE第一阶段121

7.4.4 使用公钥加密认证的IKE第一阶段123

7.4.5 使用修订的公钥加密认证的IKE第一阶段124

7.4.6 使用预共享密钥认证的IKE第一阶段125

7.4.7 IKE第二阶段——快速模式126

7.4.8 新组模式128

7.4.9 协议特点128

7.5 PPP认证与RADIUS131

7.5.1 RADIUS132

7.5.2 PAP和CHAP133

7.5.3 扩展认证协议135

7.6 无线局域网的认证与密钥管理135

7.6.1 WEP的加密及认证135

7.6.2 802.lli与802.1x137

7.6.3 WPA与TKIP138

7.6.4 WPA的密钥管理139

7.7 GSM认证140

7.7.1 GSM系统概述140

7.7.2 GSM用户认证及密钥建立141

7.7.3 协议特点142

7.8 3G安全协议142

7.8.1 WCDMA与cdma2000简介142

7.8.2 WCDMA接入安全143

7.8.3 cdma2000接入安全144

附录A 协议及攻击索引146

参考文献149