未读消息消息

购物车

我的订单

个人中心

店铺

我的订单收藏

拍卖

拍卖交易我的竞拍收藏

我的好友资金账户

卖家中心

客服 |

帮助中心 9:00-20:30 在线留言

客服电话

010-89648155

服务时间

客服咨询 8:00-21:00

纠纷处理 9:00-21:00

图书审核 9:00-18:00

监督与建议

请选择

手机孔网

安全协议模型与设计

作者: 刘天华编 , 朱宏峰编

出版社: 科学出版社

出版时间: 2012-08

版次: 1

ISBN: 9787030343260

定价: 48.00

装帧: 平装

开本: 32开

纸张: 胶版纸

页数: 220页

字数: 290千字

丛书: 信息安全技术丛书

分类: 自然科学

12人买过

《安全协议模型与设计》紧紧围绕解决安全协议中针对不同服务环境的设计思想、设计方法、所采用的模型以及折中效率与安全等实际问题，并给出安全性证明、通信量和计算量等参数的横向对比结果，使读者对安全协议领域的研究有深刻的认识，从而起到抛砖引玉的作用。刘天华（1966～），男，博士，沈阳师范大学教授，硕士生导师。中国计算机学会YOCSEF沈阳副主席，中国电子学会高级会员。长期从事计算机网络、网络安全、信息安全、嵌入式系统、教育信息技术方面的教学及科学研究工作。主持及参与国家自然科学基金、省自然科学基金等纵向和横向项目10项，在国内外重要学术刊物以及学术会议上发表论文30余篇，撰写和主编专业著作和教材12部，获省部级有关奖励3项。

朱宏峰（1978～），男，博士，沈阳师范大学副教授。研究方向为分布式网络、网络工程、计算机系统结构、网络安全等。先后参加省级科研项目6项，在国内外重要学术刊物及学术会议上发表学术论文30余篇，曾获得辽宁省自然科学学术成果奖一等奖，辽宁省自然科学学术成果奖论文类三等奖，出版教材2部。前言
第1章引言
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.4Hash函数
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.1PAKE中典型字典攻击案例分析——DHEKE协议
5.4.2PAKE中典型字典攻击案例分析——STW—3PAKE
5.4.3PAKE中典型字典攻击案例分析——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.4EV—C2C—3PAKE
5.5.5安全与性能分析
5.5.6实例与结论
5.6一种基于椭圆曲线的无认证表高效鲁棒PAKE方案
5.6.1Juang方案的一种攻击方法
5.6.2一种改进方案
5.6.3效率与安全性分析
5.7基于口令的门限密钥交换协议
5.7.1TPAKE协议模型
5.7.2TPAKE协议描述
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一种基于随机预言模型的完全公平签名方案
691引言
6.9.2预备知识
6.9.3基本模型
6.9.4基于Schnorrsignature的FKESS实例
6.9.5FKESS的安全性与效率分析
第7章多方安全协议研究
7.1基本多方协议
7.1.1秘密共享
7.1.2可验证秘密共享
7.1.3BD协议
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.4PAGKA属性分析与结论
7.5基于树结构的分布式组密钥协商协议
7.5.1可认证BD协议
7.5.2基于树结构具有认证功能的组密钥协商协议TABD
7.5.3安全性和性能分析
7.5.4结论
参考文献
内容简介:
《安全协议模型与设计》紧紧围绕解决安全协议中针对不同服务环境的设计思想、设计方法、所采用的模型以及折中效率与安全等实际问题，并给出安全性证明、通信量和计算量等参数的横向对比结果，使读者对安全协议领域的研究有深刻的认识，从而起到抛砖引玉的作用。
作者简介:
刘天华（1966～），男，博士，沈阳师范大学教授，硕士生导师。中国计算机学会YOCSEF沈阳副主席，中国电子学会高级会员。长期从事计算机网络、网络安全、信息安全、嵌入式系统、教育信息技术方面的教学及科学研究工作。主持及参与国家自然科学基金、省自然科学基金等纵向和横向项目10项，在国内外重要学术刊物以及学术会议上发表论文30余篇，撰写和主编专业著作和教材12部，获省部级有关奖励3项。

朱宏峰（1978～），男，博士，沈阳师范大学副教授。研究方向为分布式网络、网络工程、计算机系统结构、网络安全等。先后参加省级科研项目6项，在国内外重要学术刊物及学术会议上发表学术论文30余篇，曾获得辽宁省自然科学学术成果奖一等奖，辽宁省自然科学学术成果奖论文类三等奖，出版教材2部。
目录:
前言
第1章引言
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.4Hash函数
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.1PAKE中典型字典攻击案例分析——DHEKE协议
5.4.2PAKE中典型字典攻击案例分析——STW—3PAKE
5.4.3PAKE中典型字典攻击案例分析——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.4EV—C2C—3PAKE
5.5.5安全与性能分析
5.5.6实例与结论
5.6一种基于椭圆曲线的无认证表高效鲁棒PAKE方案
5.6.1Juang方案的一种攻击方法
5.6.2一种改进方案
5.6.3效率与安全性分析
5.7基于口令的门限密钥交换协议
5.7.1TPAKE协议模型
5.7.2TPAKE协议描述
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一种基于随机预言模型的完全公平签名方案
691引言
6.9.2预备知识
6.9.3基本模型
6.9.4基于Schnorrsignature的FKESS实例
6.9.5FKESS的安全性与效率分析
第7章多方安全协议研究
7.1基本多方协议
7.1.1秘密共享
7.1.2可验证秘密共享
7.1.3BD协议
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.4PAGKA属性分析与结论
7.5基于树结构的分布式组密钥协商协议
7.5.1可认证BD协议
7.5.2基于树结构具有认证功能的组密钥协商协议TABD
7.5.3安全性和性能分析
7.5.4结论
参考文献

查看详情

安全协议模型与设计

内容简介:

作者简介:

目录: