計算機密碼學

作者：田園，

出版年:1970-1

頁數:314

定價:36.00元

ISBN:9787121066580

安全性證明是一個技術複雜而思想活躍的領域，作者並不打算對此做面面俱到式的闡述，而只打算選擇少數典型、普適、有發展前途同時又不特別複雜艱澀的方法進行論述。在選擇這些方法時，作者也充分考慮到這些方法所解決的問題本身都有著相當的理論與應用價值，從而使讀者通過仔細學習這些安全證明而能更深入地理解這些密碼方案。

第1章 導論

1.1 Needham-Schoeder協議

1.2 更多的例子

1.3 更複雜的協議和攻擊

1.4 一些符號約定

第2章 消息認證與數字簽名方案

2.1 消息認證方案及其抗偽造性質

2.2 數字簽名方案及其抗偽造性質

2.3 數字簽名方案與身份鑒別協議：Fiat-Shamir變換

第3章 對稱加密方案

3.1 各種保密性質及其相互關係

3.2 一些典型對稱加密方案的保密性質

3.3 加密—認證方案：明文完整性與密文完整性

3.4 加密—認證方案的幾個一般性構造

3.5 時變對稱加密方案及其前向保密性質

第4章 公鑰加密方案(Ⅰ)：保密性質和PA性質

第5章 公鑰加密方案(Ⅱ)：一些通用構造及其保密性條件

第6章 公鑰加密方案(Ⅲ)：匿名性質

第7章 身份鑒別協議

第8章 密碼協議的UC—理論及應用

第9章 Dolev-Yao理論(Ⅰ)：自由消息代數strand—圖模型

第10章 Dolev—Yao理論(Ⅱ)：自動分析技術

第11章 Dolev-Yao理論(Ⅲ)：帶交換群算術的非自由消息代數

第12章 密碼協議形式模型的計算語義(Ⅰ)：被動攻擊情形

第13章 密碼協議形式模型的計算語義(Ⅱ)：主動攻擊情形

附錄A 一些必要的數學事實

附錄B 進程代數模型：spi—演算

參考文獻