德试用 德全购 蛇形机器人 超声波成像仪 耐张线夹检测 鉴定人培训年卡 汽车数据提取服务 防窃听检测服务 普赛斯 OL2_超声波检测仪 / 声学成像仪 / 气体泄漏检测仪 / 超声波气体检漏仪 / Prosaris OL2 Smart Ultrasonic Leak Locator
阿尔塔科技 智信天一 司鉴星交通安全系列产品专营店 珠海祥臻生物官方旗舰店 一通通用产品专卖店
专业图书
>
工业安全
>
信息安全
>
安全协议模型与设计
科学出版社弘德自营店
自营

安全协议模型与设计
  • 安全协议模型与设计

安全协议模型与设计

本书介绍了安全协议的整体结构、设计流程与分析方法

弘德价
￥ 65.00
￥ 82.00
配送至
库存紧张,5天内发货
  • 本
- +
立即购买 加入购物车
  • 店长推荐
科学出版社弘德自营店
店铺评分

商品评价 5.00 高
发货速度 5.00 高
售后服务 5.00 高
进店逛逛
  • 热销商品
  • 热门关注
  • 商品介绍
  • 商品评价
内容简介
本书介绍了安全协议的整体结构、设计流程与分析方法。~3章介绍了安全协议的基本概念以及采用的数学知识与密码工具，第4章介绍了安全协议的可证明理论，第5~7章探讨了不同环境下安全协议的设计与分析。针对现有安全协议中出现的问题，提出了一些针对常见协议的改进协议，经过性能测试具有较好的实用性。
目　　录
前言
章 引言
1.1 安全协议的基本概念
1.1.1 定义
1.1.2 目的
1.1.3 游戏角色
1.2 安全协议的分类
1.2.1 种分类方法
1.2.2 第二种分类方法
1.2.3 其他方法
1.3 安全协议的模型与分析方法
1.4 安全协议的目标与研究层次
1.5 安全协议的设计原则
第2章 安全协议的数学基础
2.1 数论基础
2.1.1 整除及辗转相除
2.1.2 算术基本定理
2.1.3 同余式
2.1.4 费马小定理和欧拉定理
2.2 抽象代数基础
2.3 离散概率基础
2.4 信息论基础
2.5 计算复杂性理论基础
2.5.1 基本概念
2.5.2 计算模型与判定问题
2.5.3 复杂性类
2.6 计算困难问题及其假设
2.6.1 大整数因子分解问题和RSA问题
2.6.2 离散对数和Diffie-Hellman问题
2.6.3 椭圆曲线和双线性对问题
第3章 安全协议的密码学工具
3.1 密码学基本概念
3.1.1 加密：历史回顾
3.1.2 密码演化
3.2 古典密码
3.3 计算密码
3.3.1 对称密钥密码
3.3.2 公开密钥密码
3.3.3 数字
3.3.4 Hash函数
3.3.5 消息认证与消息认证码
3.3.6 伪函数
第4章 安全协议的可证明理论
4.1 密码体制的攻击游戏
4.2 预言模型下的安全性证明
4.3 标准模型下的安全性证明
第5章 基本安全协议研究
5.1 认证协议
5.1.1 认证协议的基本概念
5.1.2 认证协议的基本技术
5.1.3 常规认证协议
5.2 密钥交换协议
5.2.1 可信模型
5.2.2 安全性讨论
5.3 认证及密钥交换协议
5.3.1 基于口令的认证及密钥交换协议
5.3.2 基于身份的认证及密钥交换协议
5.3.3 典型认证及密钥交换协议
5.4 抗字典攻击的E-3PAKE协议
5.4.1 PAKE中典型字典攻击案例分析——DHEKE协议
5.4.2 PAKE中典型字典攻击案例分析——STW-3PAKE
5.4.3 PAKE中典型字典攻击案例分析——3PAKE-2协议
5.4.4 抗字典攻击的E-3PAKE协议
5.5 基于认证符的高效跨域EV-C2C-PAKE协议
5.5.1 相关工作
5.5.2 基于认证符的高效跨域EV-C2G-PAKE协议
5.5.3 基本工具
5.5.4 EV-C2C-3PAKE
5.5.5 安全与性能分析
5.5.6 实例与结论
5.6 一种基于椭圆曲线的无认证表高效鲁棒PAKE方案
5.6.1 Juang方案的一种攻击方法
5.6.2 一种改进方案
5.6.3 效率与安全性分析
5.7 基于口令的门限密钥交换协议
5.7.1 TPAKE协议模型
5.7.2 TPAKE协议描述
5.7.3 安全性证明与性能分析
第6章 两方安全协议研究
6.1 零知识协议
6.1.1 零知识思想
6.1.2 交互证明系统
6.1.3 零知识证明
6.2 比特承诺协议
6.2.1 比特承诺简介
6.2.2 比特承诺实例
6.3 掷币协议
6.4 电话扑克协议
6.5 不经意传输协议
6.6 可否认认证协议
6.7 同步秘密交换协议
6.8 一种P2P网络中的高效隐蔽搜索协议
6.8.1 引言
6.8.2 隐蔽搜索模型设计
6.8.3 安全性与性能分析
6.9 一种基于预言模型的完全公平方案
6 9 1引言
6.9.2 预备知识
6.9.3 基本模型
6.9.4 基于Schnorr signature的FKESS实例
6.9.5 FKESS的安全性与效率分析
第7章 多方安全协议研究
7.1 基本多方协议
7.1.1 秘密共享
7.1.2 可验证秘密共享
7.1.3 BD协议
7.1.4 保密的多方计算
7.2 电子选举协议
7.2.1 电子选举的基本概念
7.2.2 安全电子选举模型
7.2.3 安全电子选举结构
7.2.4 安全电子选举优缺点与实例
7.3 数字现金
7.3.1 现实场景分析
7.3.2 盲
7.3.3 群
7.4 一种基于口令的群组密钥协商协议PAGKA
7.4.1 群组密钥管理分类
7.4.2 基于口令的组通信密钥协商协议
7.4.3 一种基于口令的组通信密钥协商协议PAGKA
7.4.4 PAGKA属性分析与结论
7.5 基于树结构的分布式组密钥协商协议
7.5.1 可认证BD协议
7.5.2 基于树结构具有认证功能的组密钥协商协议TABD
7.5.3 安全性和性能分析
7.5.4 结论
参考文献
显示部分信息
商品详情

书名:安全协议模型与设计

定价：82.00元

作者:刘天华,朱宏峰 著

出版社：科学出版社

出版日期：2018-06-01

ISBN：9787030343260

字数：

页码：220

版次：

装帧：平装

开本：32开


好评度
100%
  • 全部评价
  • 晒图
  • 追评
  • 好评
  • 中评
  • 差评