扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
安全远程网络投票协议 版权信息
- ISBN：9787030368263
- 条形码：9787030368263 ; 978-7-03-036826-3
- 装帧：暂无
- 册数：暂无
- 重量：暂无
- 所属分类：>>
安全远程网络投票协议 本书特色
本书共有十三章。系统全面地介绍了远程网络投票协议设计与分析的基本理论、关键技术及*新成果。主要内容包括远程网络投票协议的分类和模型、国内外发展现状、安全属性及其实现所需要的关键技术、典型远程网络投票协议、基于符号模型手工方式分析与验证无收据性、应用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.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 本章小结
参考文献
展开全部
书友推荐
- >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
朝闻道
朝闻道
¥10.2¥23.8 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥16.4¥49.8 - >
李白与唐代文化
李白与唐代文化
¥9.9¥29.8 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
经典常谈
经典常谈
¥17.1¥39.8 - >
史学评论
史学评论
¥13.9¥42.0 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.3¥10.0
本类畅销
-
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158 -
-
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过？
¥42.3¥158 -
2023读书月阅读盲盒——去码头整点什么薯条？
¥42.3¥158
