安全远程网络投票协议 阿里云 kindle 下载 pdf chm 百度云 azw3 umd

本书共有十三章。系统全面地介绍了远程网络投票协议设计与分析的基本理论、关键技术及*成果。主要内容包括远程网络投票协议的分类和模型、国内外发展现状、安全属性及其实现所需要的关键技术、典型远程网络投票协议、基于符号模型手工方式分析与验证无收据性、应用PI演算、一阶定理证明器ProVerif、基于符号模型自动化分析与验证抗拒绝服务攻击性、无收据性和抗威胁性、概率进程演算、自动化安全协议证明器Crypto‐Verif、基于计算模型自动化分析和验证抗威胁性等。

本书可供从事安全协议、密码学、计算机、通信和数学等专业的科技人员、硕士和博士研究生参考，也可供高等院校相关专业的师生参考。

序

前言

第1章 绪论

1.1 引言

1.2 投票的分类

1.2.1 按照票的介质进行分类

1.2.2 按照票的类型进行分类

1.2.3 按照票的权重进行分类

1.3 传统投票模型

1.4 远程网络投票模型

1.5 本章小结

参考文献

第2章 相关的密码技术

2.1 公钥密码体制

2.1.1 RSA公钥加密体制

2.1.2 ElGamal公钥加密体制

2.1.3 Paillier公钥加密体制

2.1.4 BCP公钥密码体制

2.2 秘密共享

2.3 门限公钥加密

2.3.1 RSA公钥加密的门限版本

2.3.2 ElGamal公钥加密的门限版本

2.3.3 Paillier加密的门限版本

2.4 盲签名

2.5 同态加密

2.6 混淆网

2.7 Fiat-Shamir启发式

2.8 离散对数相等知识证明

2.9 BCP承诺方案

2.10 分布式明文相等测试

2.11 指定验证者证明/签名

2.12 指定验证者离散对数相等证明

2.13 明文相等证明协议

2.14 指定验证者再加密证明

2.15 非交互式可否认认证协议

2.15.1 Meng非交互式可否认认证协议

2.15.2 Fan交互式可否认认证协议

2.16 Meng和Wang可否认加密模式

2.17 本章小结

参考文献

第3章 远程网络投票协议

3.1 远程网络投票协议安全属性

3.2 远程网络投票协议国内外发展现状

3.2.1 无收据性

3.2.2 抗威胁性

3.3 本章小结

参考文献

第4章 典型远程网络投票协议

4.1 DLM投票协议

4.2 FOO投票协议

4.3 CGS投票协议

4.4 JCJ投票协议

4.5 Acquisti投票协议

4.6 提出的基于明文相等证明的投票协议

4.7 提出的基于非交互式可否认认证协议的投票协议

4.8 提出的基于可否认加密的投票协议

4.9 本章小结

参考文献

第5章 基于符号模型的远程网络投票协议分析与验证

5.1 引言

5.2 符号模型分析与验证远程网络投票协议

5.3 本章小结

参考文献

第6章 手工方式分析与验证无收据性

6.1 DKR模型及应用

6.1.1 应用PI演算

6.1.2 DKR模型

6.1.3 DKR模型应用

6.2 Jonker-Vink模型及应用

6.2.1 Jonker-Vink模型

6.2.2 Jonker-Vink模型应用

6.3 Meng模型及应用

6.3.1 Kessler和Neumann逻辑

6.3.2 Meng模型

6.3.3 Meng模型应用

6.4 本章小结

参考文献

第7章 自动化分析与验证正确性与抗威胁性

7.1 引言

7.2 一阶定理证明器ProVerif

7.3 Backes模型

7.3.1 远程网络投票协议形式化模型

7.3.2 安全属性形式化定义

7.4 本章小结

参考文献

第8章 自动化分析与验证抗拒绝服务攻击性

8.1 引言

8.2 扩展的应用PI演算

8.2.1 攻击者上下文

8.2.2 项

8.2.3 扩展后的进程

8.2.4 进程上下文

8.3 定义和符号说明

8.4 自动化证明抗拒绝服务攻击性方法

8.5 本章小结

参考文献

第9章 自动化分析与验证典型远程网络投票协议安全性

9.1 正确性与抗威胁性

9.1.1 Meng等投票协议

9.1.2 Meng投票协议

9.1.3 Acquisti投票协议

9.2 抗拒绝服务攻击性

9.2.1 Meng投票协议

9.2.2 Acquisti投票协议

9.3 本章小结

参考文献

第10章 基于计算模型的远程网络投票协议分析与验证

10.1 引言

10.2 计算模型分析与验证远程网络投票协议

10.3 本章小结

参考文献

第11章 Blanchet演算和CryptoVerif

11.1 Blanchet演算

11.2 自动化证明工具CryptoVerif

11.2.1 结构

11.2.2 证明目标

11.2.3 语法

11.3 应用:可否认性模型

11.3.1 提出的可否认性模型

11.3.2 Meng协议可否认性自动化证明

11.3.3 Fan协议可否认性自动化证明

11.4 本章小结

参考文献

第12章 扩展的Blanchet演算

12.1 扩展的Blanchet演算

12.2 应用:抗拒绝服务攻击性模型

12.2.1 提出的基于事件的抗拒绝服务攻击性模型

12.2.2 4步握手协议抗拒绝服务攻击性自动化证明

12.3 本章小结

参考文献

第13章 自动化分析与验证典型远程网络投票协议抗威胁性

13.1 引言

13.2 提出的抗威胁性模型

13.3 自动化证明Meng等投票协议抗威胁性

13.3.1 Meng等投票协议

13.3.2 基于扩展的Blanchet演算建模Meng等投票协议

13.3.3 Meng等投票协议抗威胁性自动化证明

13.4 本章小结

参考文献

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

第1章　绪　　论

1.1　引　　言

　　投票是人们表达自己对某一问题观点的一种方式。而这种表达方式随着科学技术发展水平的不同而不同，比如从古代的石头，到近代纸质投票、机械杠杆投票仪、打孔卡、光学识别投票，再到今天的直接记录电子投票系统、远程网络投票等，如图1.1所示。

图1.1　投票方式

随着计算机和通信技术的发展，计算机已经普及到千家万户。特别是随着网络的迅猛发展，由于网络本身所具有的特点，使人们利用计算机或者各种通信设备在任何地方通过网络进行投票成为现实。由于远程网络投票的方便性和实施成本的低廉，必将对社会经济的发展和国家民主进程产生积极而重大的影响。比如，可以吸引更多的人来投票，方便残疾人投票，投票的人数不受天气等状况的影响。远程网络投票不仅消除了票的运输和计算上的困难，也大大减少了投票者由于日常安排与投票日发生冲突而带来的不便，同时也为残疾人士参与相关活动提供了便利。

在商业应用领域，比如我国证券行业，股东可以利用远程网络投票的方式通过深圳或者上海证券交易所股东大会网络投票系统来对各种议案，如增发新股、配股、发行可转债、重大资产重组等事项发表自己的观点。在政治生活方面，2006年8月，我国上海市闸北区宝山路街道第八届居委会的换届选举首次允许网络投票。选举所使用的电子投票系统提供了网络投票功能，无法现场投票的选民只要填写社保卡号码和发卡日期，就可以进行网络投票［1］ 。爱沙尼亚在网络投票选举方面的实践走在了世界的前列，它是全球第一个将远程网络投票方式运用于全国范围内地方选举的国家［2］ 。2000年，爱沙尼亚政府规定可以在国家选举中采用Inter-net投票系统。2005年7月，Internet投票系统应用在本地政府选举中，2007年10

月，Internet投票系统应用在国家选举中。根据Brace关于在美国国家选举中投票方式分类的报告，从2000年到2008年，使用电子投票的郡从320个增加到1068个，投票者使用电子投票的比例从12.4%增加到32.6%［3］ 。此外美国、日本、瑞士以及英国等国家在选举中大量进行远程网络投票实验，2000年到2011年，瑞士实施了远程网络投票实验计划达到36个［4］ 。

在最近的二十多年中，人们对电子投票及远程网络投票展开了深入研究，提出了许多远程

在线阅读地址：安全远程网络投票协议在线阅读

在线听书地址：安全远程网络投票协议在线收听

在线购买地址：安全远程网络投票协议在线购买

暂无原文赏析，正在全力查找中！

暂无其它内容！