安全协议

第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.3 Rabin体制2.6 散列函数2.7 消息认证2.8 数字签名2.8.1 数字签名的基本概念2.8.2 RSA签名2.8.3 ：RSA签名标准PSS2.8.4 数字签名标准DSS2.8.5 一般的离散对数签名体制2.8.6 ElGamal数字签名2.8.7 Schnorr签名体制2.8.8 Okamoto签名体制2.8.9 基于椭圆曲线的数字签名算法ECDSA2.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.1 Diffie-Hellman密钥协商4.4.2 有基本消息格式的基于DH交换的协议4.4.3 增强消息格式的DH交换协议4.5 可证明安全的认证协议4.6 基于口令的协议4.6.1 口令协议概述4.6.2 使用Diffie-Hellman进行加密密钥交换4.6.3 强化的EKE4.7 具有隐私保护的认证密钥交换协议4.7.1 可否认的认证密钥交换协议4.7.2 通信匿名的认证密钥交换协议4.7.3 用户匿名的认证密钥交换协议4.8 会议协议4.9 RFID认证协议4.9.1 RFID系统的基本构成4.9.2 RFID系统的安全需求4.9.3 物理安全机制4.9.4 基于密码技术的安全机制4.10 无线网络认证协议4.10.1 WLAN的网络结构4.10.2 无线局域网的安全威胁4.10.3 IEEE802.1 1的认证方式4.10.4 IEEE802.1 1加密机制4.10.5 IEEE802.1 x的认证机制4.10.6 IEEE802.1 x协议的特点4.10.7 WAPI协议习题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.3 Feige-Fiat-Shamir身份鉴别方案5.4.4 Guillo-QLfisquater身份鉴别方案5.4.5 Schnorr身份鉴别方案5.5 NP语言的零知识证明5.5.1 NP完全问题5.5.2 NP与零知识证明习题5第6章 选择性泄露协议第7章 数字签名变种第8章 非否认协议第9章 公平交换协议第10章 安全电子商务协议第11章 安全多方计算第12章 安全协议的形式化分析参考文献