安全協(xié)議

第1章 安全協(xié)議概述
1.1 安全協(xié)議的概念
1.1.1 協(xié)議、算法與安全協(xié)議
1.1.2 協(xié)議運(yùn)行環(huán)境中的角色
1.2 常用的安全協(xié)議
1.3 安全協(xié)議的安全性質(zhì)
1.4 對(duì)安全協(xié)議的攻擊
1.4.1 竊聽(tīng)
1.4.2 篡改
1.4.3 重放
1.4.4 預(yù)重放
1.4.5 反射
1.4.6 拒絕服務(wù)
1.4.7 類(lèi)型攻擊
1.4.8 密碼分析
1.4.9 證書(shū)操縱
1.4.10 協(xié)議交互
1.5 安全協(xié)議的缺陷
1.6 安全協(xié)議的三大理論分析方法
1.6.1 安全多方計(jì)算
1.6.2 安全協(xié)議的形式化分析方法
1.6.3 安全協(xié)議的可證明安全性理論
習(xí)題1
第2章 安全協(xié)議的密碼學(xué)基礎(chǔ)
2.1 密碼學(xué)的基本概念
2.2 數(shù)論中的一些難題
2.3 隨機(jī)數(shù)
2.4 分組密碼
2.5 公開(kāi)密鑰密碼
2.5.1 公開(kāi)密鑰密碼的基本概念
2.5.2 ：RSA體制
2.5.3 Rabin體制
2.6 散列函數(shù)
2.7 消息認(rèn)證
2.8 數(shù)字簽名
2.8.1 數(shù)字簽名的基本概念
2.8.2 RSA簽名
2.8.3 ：RSA簽名標(biāo)準(zhǔn)PSS
2.8.4 數(shù)字簽名標(biāo)準(zhǔn)DSS
2.8.5 一般的離散對(duì)數(shù)簽名體制
2.8.6 ElGamal數(shù)字簽名
2.8.7 Schnorr簽名體制
2.8.8 Okamoto簽名體制
2.8.9 基于橢圓曲線(xiàn)的數(shù)字簽名算法ECDSA
2.9 基于身份的公鑰密碼學(xué)
2.9.1 基于身份的密碼系統(tǒng)與基于PKI的密碼系統(tǒng)的比較
2.9.2 基于身份的加密方案
2.9.3 基于身份的簽名方案
習(xí)題2
第3章 基本的安全協(xié)議
3.1 秘密分割
3.2 秘密共享
3.3 閾下信道
3.3.1 閾下信道的概念
3.3.2 基于ElGareal數(shù)字簽名的閾下信道方案
3.3.3 基于RSA數(shù)字簽名的閾下信道方案
3.4 比特承諾
3.4.1 使用對(duì)稱(chēng)密碼算法的比特承諾
3.4.2 使用單向函數(shù)的比特承諾
3.4.3 使用偽隨機(jī)序列發(fā)生器的比特承諾
3.5 公平的硬幣拋擲
3.5.1 單向函數(shù)拋幣協(xié)議
3.5.2 公開(kāi)密鑰密碼拋幣協(xié)議
3.6 智力撲克
3.6.1 基本的智力撲克游戲
3.6.2 三方智力撲克
3.7 不經(jīng)意傳輸
習(xí)題3
第4章 認(rèn)證與密鑰建立協(xié)議
4.1 認(rèn)證與密鑰建立簡(jiǎn)介
4.1.1 創(chuàng)建密鑰建立協(xié)議
4.1.2 協(xié)議結(jié)構(gòu)
4.1.3 協(xié)議目標(biāo)
4.1.4 新鮮性
4.2 使用共享密鑰密碼的協(xié)議
4.2.1 實(shí)體認(rèn)證協(xié)議
4.2.2 無(wú)服務(wù)器密鑰建立
4.2.3 基于服務(wù)器的密鑰建立
4.2.4 使用多服務(wù)器的密鑰建立
4.3 使用公鑰密碼的認(rèn)證與密鑰傳輸
4.3.1 實(shí)體認(rèn)證協(xié)議
4.3.2 密鑰傳輸協(xié)議
4.4 密鑰協(xié)商協(xié)議
4.4.1 Diffie-Hellman密鑰協(xié)商
4.4.2 有基本消息格式的基于DH交換的協(xié)議
4.4.3 增強(qiáng)消息格式的DH交換協(xié)議
4.5 可證明安全的認(rèn)證協(xié)議
4.6 基于口令的協(xié)議
4.6.1 口令協(xié)議概述
4.6.2 使用Diffie-Hellman進(jìn)行加密密鑰交換
4.6.3 強(qiáng)化的EKE
4.7 具有隱私保護(hù)的認(rèn)證密鑰交換協(xié)議
4.7.1 可否認(rèn)的認(rèn)證密鑰交換協(xié)議
4.7.2 通信匿名的認(rèn)證密鑰交換協(xié)議
4.7.3 用戶(hù)匿名的認(rèn)證密鑰交換協(xié)議
4.8 會(huì)議協(xié)議
4.9 RFID認(rèn)證協(xié)議
4.9.1 RFID系統(tǒng)的基本構(gòu)成
4.9.2 RFID系統(tǒng)的安全需求
4.9.3 物理安全機(jī)制
4.9.4 基于密碼技術(shù)的安全機(jī)制
4.10 無(wú)線(xiàn)網(wǎng)絡(luò)認(rèn)證協(xié)議
4.10.1 WLAN的網(wǎng)絡(luò)結(jié)構(gòu)
4.10.2 無(wú)線(xiàn)局域網(wǎng)的安全威脅
4.10.3 IEEE802.1 1的認(rèn)證方式
4.10.4 IEEE802.1 1加密機(jī)制
4.10.5 IEEE802.1 x的認(rèn)證機(jī)制
4.10.6 IEEE802.1 x協(xié)議的特點(diǎn)
4.10.7 WAPI協(xié)議
習(xí)題4
第5章 零知識(shí)證明
5.1 零知識(shí)證明的概念
5.1.1 零知識(shí)證明的簡(jiǎn)單模型
5.1.2 交互式零知識(shí)證明
5.1.3 非交互式零知識(shí)證明
5.2 零知識(shí)證明的例子
5.2.1 平方根問(wèn)題的零知識(shí)
5.2.2 離散對(duì)數(shù)問(wèn)題的零知識(shí)證明
5.3 知識(shí)簽名
5.4 身份鑒別方案
5.4.1 身份的零知識(shí)證明
5.4.2 簡(jiǎn)化的Feige-Fiat-Shamir身份鑒別方案
5.4.3 Feige-Fiat-Shamir身份鑒別方案
5.4.4 Guillo-QLfisquater身份鑒別方案
5.4.5 Schnorr身份鑒別方案
5.5 NP語(yǔ)言的零知識(shí)證明
5.5.1 NP完全問(wèn)題
5.5.2 NP與零知識(shí)證明
習(xí)題5
第6章 選擇性泄露協(xié)議
第7章 數(shù)字簽名變種
第8章 非否認(rèn)協(xié)議
第9章 公平交換協(xié)議
第10章 安全電子商務(wù)協(xié)議
第11章 安全多方計(jì)算
第12章 安全協(xié)議的形式化分析
參考文獻(xiàn)