信息安全专业系列教材：安全协议

图书标准信息

• 作者 曹天杰、张永平、汪楚娇 著
• 出版社 北京邮电大学出版社有限公司
• 出版时间 2009-08
• 版次 1
• ISBN 9787563520497
• 定价 26.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 241页
• 字数 356千字
• 正文语种 简体中文

【内容简介】

《安全协议》全面和系统地讲述了安全协议的基本理论、安全协议的主要类型及安全协议的分析方法。围绕机密性、完整性、认证性、匿名性、公平性等实际需求，较全面地介绍满足各种应用需要的安全协议。《安全协议》主要内容包括：安全协议概述、安全协议的密码学基础、基本的安全协议、认证与密钥建立协议、零知识证明、选择性泄露协议、数字签名变种、非否认协议、公平交换协议、安全电子商务协议、安全多方计算、安全协议的形式化分析。
《安全协议》内容全面、选材新颖、前后连贯，是江苏省高等学校精品教材建设立项项目。《安全协议》不仅可以作为信息安全专业本科生、研究生教材，也可以作为信息安全领域科研人员的参考书。

【目录】

第1章安全协议概述
1.1安全协议的概念
1.1.1协议、算法与安全协议
1.1.2协议运行环境中的角色
1.2常用的安全协议
1.3安全协议的安全性质
1.4对安全协议的攻击
1.4.1窃听
1.4.2篡改
1.4.3重放
1.4.4预重放
1.4.5反射
1.4.6拒绝服务
1.4.7类型攻击
1.4.8密码分析
1.4.9证书操纵
1.4.10协议交互
1.5安全协议的缺陷
1.6安全协议的三大理论分析方法
1.6.1安全多方计算
1.6.2安全协议的形式化分析方法
1.6.3安全协议的可证明安全性理论
习题1

第2章安全协议的密码学基础
2.1密码学的基本概念
2.2数论中的一些难题
2.3随机数
2.4分组密码
2.5公开密钥密码
2.5.1公开密钥密码的基本概念
2.5.2：RSA体制
2.5.3Rabin体制
2.6散列函数
2.7消息认证
2.8数字签名
2.8.1数字签名的基本概念
2.8.2RSA签名
2.8.3：RSA签名标准PSS
2.8.4数字签名标准DSS
2.8.5一般的离散对数签名体制
2.8.6ElGamal数字签名
2.8.7Schnorr签名体制
2.8.8Okamoto签名体制
2.8.9基于椭圆曲线的数字签名算法ECDSA
2.9基于身份的公钥密码学
2.9.1基于身份的密码系统与基于PKI的密码系统的比较
2.9.2基于身份的加密方案
2.9.3基于身份的签名方案
习题2

第3章基本的安全协议
3.1秘密分割
3.2秘密共享
3.3阈下信道
3.3.1阈下信道的概念
3.3.2基于ElGareal数字签名的阈下信道方案
3.3.3基于RSA数字签名的阈下信道方案
3.4比特承诺
3.4.1使用对称密码算法的比特承诺
3.4.2使用单向函数的比特承诺
3.4.3使用伪随机序列发生器的比特承诺
3.5公平的硬币抛掷
3.5.1单向函数抛币协议
3.5.2公开密钥密码抛币协议
3.6智力扑克
3.6.1基本的智力扑克游戏
3.6.2三方智力扑克
3.7不经意传输
习题3

第4章认证与密钥建立协议
4.1认证与密钥建立简介
4.1.1创建密钥建立协议
4.1.2协议结构
4.1.3协议目标
4.1.4新鲜性
4.2使用共享密钥密码的协议
4.2.1实体认证协议
4.2.2无服务器密钥建立
4.2.3基于服务器的密钥建立
4.2.4使用多服务器的密钥建立
4.3使用公钥密码的认证与密钥传输
4.3.1实体认证协议
4.3.2密钥传输协议
4.4密钥协商协议
4.4.1Diffie-Hellman密钥协商
4.4.2有基本消息格式的基于DH交换的协议
4.4.3增强消息格式的DH交换协议
4.5可证明安全的认证协议
4.6基于口令的协议
4.6.1口令协议概述
4.6.2使用Diffie-Hellman进行加密密钥交换
4.6.3强化的EKE
4.7具有隐私保护的认证密钥交换协议
4.7.1可否认的认证密钥交换协议
4.7.2通信匿名的认证密钥交换协议
4.7.3用户匿名的认证密钥交换协议
4.8会议协议
4.9RFID认证协议
4.9.1RFID系统的基本构成
4.9.2RFID系统的安全需求
4.9.3物理安全机制
4.9.4基于密码技术的安全机制
4.10无线网络认证协议
4.10.1WLAN的网络结构
4.10.2无线局域网的安全威胁
4.10.3IEEE802.11的认证方式
4.10.4IEEE802.11加密机制
4.10.5IEEE802.1x的认证机制
4.10.6IEEE802.1x协议的特点
4.10.7WAPI协议
习题4

第5章零知识证明
5.1零知识证明的概念
5.1.1零知识证明的简单模型
5.1.2交互式零知识证明
5.1.3非交互式零知识证明
5.2零知识证明的例子
5.2.1平方根问题的零知识
5.2.2离散对数问题的零知识证明
5.3知识签名
5.4身份鉴别方案
5.4.1身份的零知识证明
5.4.2简化的Feige-Fiat-Shamir身份鉴别方案
5.4.3Feige-Fiat-Shamir身份鉴别方案
5.4.4Guillo-QLfisquater身份鉴别方案
5.4.5Schnorr身份鉴别方案
5.5NP语言的零知识证明
5.5.1NP完全问题
5.5.2NP与零知识证明
习题5

第6章选择性泄露协议
第7章数字签名变种
第8章非否认协议
第9章公平交换协议
第10章安全电子商务协议
第11章安全多方计算
第12章安全协议的形式化分析
参考文献