計算機密碼學：通用方案構造及安全性證明

內容簡介

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

圖書目錄

第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—演算

參考文獻

計算機密碼學：通用方案構造及安全性證明

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條