图书介绍
安全远程网络投票协议PDF|Epub|txt|kindle电子书版本网盘下载
- 孟博，王德军著 著
- 出版社： 北京：科学出版社
- ISBN：7030368263
- 出版时间：2013
- 标注页数：314页
- 文件大小：83MB
- 文件页数：326页
- 主题词：
PDF下载
下载说明
安全远程网络投票协议PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 绪论1
1.1引言1
1.2投票的分类2
1.2.1按照票的介质进行分类2
1.2.2按照票的类型进行分类3
1.2.3按照票的权重进行分类4
1.3传统投票模型4
1.4远程网络投票模型5
1.5本章小结6
参考文献6
第2章 相关的密码技术9
2.1公钥密码体制9
2.1.1 RSA公钥加密体制9
2.1.2 ElGamal公钥加密体制9
2.1.3 Paillier公钥加密体制9
2.1.4 BCP公钥密码体制10
2.2秘密共享10
2.3门限公钥加密12
2.3.1 RSA公钥加密的门限版本12
2.3.2 ElGamal公钥加密的门限版本13
2.3.3 Paillier加密的门限版本13
2.4盲签名14
2.5同态加密14
2.6混淆网16
2.7 Fiat-Shamir启发式18
2.8离散对数相等知识证明18
2.9 BCP承诺方案19
2.10分布式明文相等测试20
2.11指定验证者证明/签名21
2.12指定验证者离散对数相等证明23
2.13明文相等证明协议24
2.14指定验证者再加密证明26
2.15非交互式可否认认证协议28
2.15.1 Meng非交互式可否认认证协议30
2.15.2 Fan交互式可否认认证协议33
2.16 Meng和Wang可否认加密模式34
2.17本章小结38
参考文献38
第3章 远程网络投票协议45
3.1远程网络投票协议安全属性45
3.2远程网络投票协议国内外发展现状47
3.2.1无收据性47
3.2.2抗威胁性56
3.3本章小结63
参考文献64
第4章 典型远程网络投票协议68
4.1 DLM投票协议68
4.2 FOO投票协议69
4.3 CGS投票协议72
4.4 JCJ投票协议74
4.5 Acquisti投票协议76
4.6提出的基于明文相等证明的投票协议81
4.7提出的基于非交互式可否认认证协议的投票协议90
4.8提出的基于可否认加密的投票协议94
4.9本章小结98
参考文献98
第5章 基于符号模型的远程网络投票协议分析与验证102
5.1引言102
5.2符号模型分析与验证远程网络投票协议103
5.3本章小结107
参考文献107
第6章 手工方式分析与验证无收据性111
6.1 DKR模型及应用111
6.1.1应用PI演算111
6.1.2 DKR模型115
6.1.3 DKR模型应用116
6.2 Jonker-Vink模型及应用122
6.2.1 Jonker-Vink模型122
6.2.2 Jonker-Vink模型应用123
6.3 Meng模型及应用127
6.3.1 Kessler和Neumann逻辑127
6.3.2 Meng模型132
6.3.3 Meng模型应用134
6.4本章小结139
参考文献139
第7章 自动化分析与验证正确性与抗威胁性141
7.1引言141
7.2一阶定理证明器ProVerif141
7.3 Backes模型145
7.3.1远程网络投票协议形式化模型145
7.3.2安全属性形式化定义146
7.4本章小结148
参考文献148
第8章 自动化分析与验证抗拒绝服务攻击性150
8.1引言150
8.2扩展的应用PI演算152
8.2.1攻击者上下文152
8.2.2项153
8.2.3扩展后的进程153
8.2.4进程上下文154
8.3定义和符号说明154
8.4自动化证明抗拒绝服务攻击性方法156
8.5本章小结158
参考文献159
第9章 自动化分析与验证典型远程网络投票协议安全性161
9.1正确性与抗威胁性161
9.1.1 Meng等投票协议161
9.1.2 Meng投票协议179
9.1.3 Acquisti投票协议197
9.2抗拒绝服务攻击性215
9.2.1 Meng投票协议215
9.2.2 Acquisti投票协议220
9.3本章小结224
参考文献225
第10章 基于计算模型的远程网络投票协议分析与验证227
10.1引言227
10.2计算模型分析与验证远程网络投票协议229
10.3本章小结231
参考文献232
第11章 Blanchet演算和CryptoVerif238
11.1 Blanchet演算238
11.2自动化证明工具CryptoVerif244
11.2.1结构244
11.2.2证明目标249
11.2.3语法250
11.3应用：可否认性模型252
11.3.1提出的可否认性模型252
11.3.2 Meng协议可否认性自动化证明257
11.3.3 Fan协议可否认性自动化证明267
11.4本章小结280
参考文献280
第12章 扩展的Blanchet演算282
12.1扩展的Blanchet演算282
12.2应用：抗拒绝服务攻击性模型284
12.2.1提出的基于事件的抗拒绝服务攻击性模型284
12.2.2 4步握手协议抗拒绝服务攻击性自动化证明286
12.3本章小结292
参考文献293
第13章 自动化分析与验证典型远程网络投票协议抗威胁性294
13.1引言294
13.2提出的抗威胁性模型294
13.3自动化证明Meng等投票协议抗威胁性298
13.3.1 Meng等投票协议298
13.3.2基于扩展的Blanchet演算建模Meng等投票协议300
13.3.3 Meng等投票协议抗威胁性自动化证明307
13.4本章小结313
参考文献313