計(jì)算機(jī)密碼學(xué)：通用方案構(gòu)造及安全性證明

第1章 導(dǎo) 論.
1.1 Needham-Schoeder協(xié)議
1.2 更多的例子
1.3 更復(fù)雜的協(xié)議和攻擊
1.4 一些符號約定
第2章 消息認(rèn)證與數(shù)字簽名方案
2.1 消息認(rèn)證方案及其抗偽造性質(zhì)
2.2 數(shù)字簽名方案及其抗偽造性質(zhì)
2.3 數(shù)字簽名方案與身份鑒別協(xié)議：Fiat-Shamir變換
第3章 對稱加密方案
3.1 各種保密性質(zhì)及其相互關(guān)系
3.2 一些典型對稱加密方案的保密性質(zhì)
3.3 加密—認(rèn)證方案：明文完整性與密文完整性
3.4 加密—認(rèn)證方案的幾個(gè)一般性構(gòu)造
3.5 時(shí)變對稱加密方案及其前向保密性質(zhì)
第4章 公鑰加密方案(Ⅰ)：保密性質(zhì)和PA性質(zhì)
第5章 公鑰加密方案(Ⅱ)：一些通用構(gòu)造及其保密性條件
第6章 公鑰加密方案(Ⅲ)：匿名性質(zhì)
第7章 身份鑒別協(xié)議
第8章 密碼協(xié)議的UC—理論及應(yīng)用
第9章 Dolev-Yao理論(Ⅰ)：自由消息代數(shù)strand—圖模型
第10章 Dolev—Yao理論(Ⅱ)：自動(dòng)分析技術(shù)
第11章 Dolev-Yao理論(Ⅲ)：帶交換群算術(shù)的非自由消息代數(shù)
第12章 密碼協(xié)議形式模型的計(jì)算語義(Ⅰ)：被動(dòng)攻擊情形
第13章 密碼協(xié)議形式模型的計(jì)算語義(Ⅱ)：主動(dòng)攻擊情形
附錄A 一些必要的數(shù)學(xué)事實(shí)
附錄B 進(jìn)程代數(shù)模型：spi—演算
參考文獻(xiàn)