《智能科学技术著作丛书：安全远程网络投票协议》全面介绍了对国内外远程安全控制模型、设计及其实现技术，主要内容包含：远程控制协议的分类和模型，紧密相关的密码学技术，最新的典型的远程控制协议，基于符号模型和计算模型的自动化/手工方式分析与验证远程控制协议安全性。
目录
- 序
- 前言
- 第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 本章小结
- 参考文献
