安全協(xié)議

第1章 安全協(xié)議概述
1.1 安全協(xié)議的概念
1.1.1 協(xié)議、算法與安全協(xié)議
1.1.2 協(xié)議運行環(huán)境中的角色
1.2 常用的安全協(xié)議
1.3 安全協(xié)議的安全性質(zhì)
1.4 對安全協(xié)議的攻擊
1.4.1 竊聽
1.4.2 篡改
1.4.3 重放
1.4.4 預(yù)重放
1.4.5 反射
1.4.6 拒絕服務(wù)
1.4.7 類型攻擊
1.4.8 密碼分析
1.4.9 證書操縱
1.4.10 協(xié)議交互
1.5 安全協(xié)議的缺陷
1.6 安全協(xié)議的三大理論分析方法
1.6.1 安全多方計算
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 公開密鑰密碼
2.5.1 公開密鑰密碼的基本概念
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 一般的離散對數(shù)簽名體制
2.8.6 ElGamal數(shù)字簽名
2.8.7 Schnorr簽名體制
2.8.8 Okamoto簽名體制
2.8.9 基于橢圓曲線的數(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 使用對稱密碼算法的比特承諾
3.4.2 使用單向函數(shù)的比特承諾
3.4.3 使用偽隨機(jī)序列發(fā)生器的比特承諾
3.5 公平的硬幣拋擲
3.5.1 單向函數(shù)拋幣協(xié)議
3.5.2 公開密鑰密碼拋幣協(xié)議
3.6 智力撲克
3.6.1 基本的智力撲克游戲
3.6.2 三方智力撲克
3.7 不經(jīng)意傳輸
習(xí)題3
第4章 認(rèn)證與密鑰建立協(xié)議
4.1 認(rè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 實體認(rèn)證協(xié)議
4.2.2 無服務(wù)器密鑰建立
4.2.3 基于服務(wù)器的密鑰建立
4.2.4 使用多服務(wù)器的密鑰建立
4.3 使用公鑰密碼的認(rèn)證與密鑰傳輸
4.3.1 實體認(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 用戶匿名的認(rèn)證密鑰交換協(xié)議
4.8 會議協(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ǎng)絡(luò)認(rèn)證協(xié)議
4.10.1 WLAN的網(wǎng)絡(luò)結(jié)構(gòu)
4.10.2 無線局域網(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é)議的特點
4.10.7 WAPI協(xié)議
習(xí)題4
第5章 零知識證明
5.1 零知識證明的概念
5.1.1 零知識證明的簡單模型
5.1.2 交互式零知識證明
5.1.3 非交互式零知識證明
5.2 零知識證明的例子
5.2.1 平方根問題的零知識
5.2.2 離散對數(shù)問題的零知識證明
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與零知識證明
習(xí)題5
第6章 選擇性泄露協(xié)議
第7章 數(shù)字簽名變種
第8章 非否認(rèn)協(xié)議
第9章 公平交換協(xié)議
第10章 安全電子商務(wù)協(xié)議
第11章 安全多方計算
第12章 安全協(xié)議的形式化分析
參考文獻(xiàn)