計(jì)算機(jī)密碼學(xué)

內(nèi)容概要

　　《計(jì)算機(jī)密碼學(xué)：通用方案構(gòu)造及安全性證明》闡述計(jì)算機(jī)密碼方案與密碼協(xié)議的安全性證明理論，包括基于計(jì)算復(fù)雜度概念的計(jì)算密碼學(xué)方法和基于符號(hào)演算的形式分析與驗(yàn)證方法。安全性證明是一個(gè)技術(shù)復(fù)雜而思想活躍的領(lǐng)域，作者并不打算對(duì)此做面面俱到式的闡述，而只打算選擇少數(shù)典型、普適、有發(fā)展前途同時(shí)又不特別復(fù)雜艱澀的方法進(jìn)行論述。在選擇這些方法時(shí)，作者也充分考慮到這些方法所解決的問題本身都有著相當(dāng)?shù)睦碚撆c應(yīng)用價(jià)值，從而使讀者通過仔細(xì)學(xué)習(xí)這些安全證明而能更深入地理解這些密碼方案。

書籍目錄

第1章 導(dǎo)論 1.1 Needham-Schoeder協(xié)議 1.2 更多的例子 1.3 更復(fù)雜的協(xié)議和攻擊 1.4 一些符號(hào)約定 第2章 消息認(rèn)證與數(shù)字簽名方案 2.1 消息認(rèn)證方案及其抗偽造性質(zhì) 2.2 數(shù)字簽名方案及其抗偽造性質(zhì) 2.3 數(shù)字簽名方案與身份鑒別協(xié)議：Fiat-Shamir變換 第3章 對(duì)稱加密方案 3.1 各種保密性質(zhì)及其相互關(guān)系 3.2 一些典型對(duì)稱加密方案的保密性質(zhì) 3.3 加密—認(rèn)證方案：明文完整性與密文完整性 3.4 加密—認(rèn)證方案的幾個(gè)一般性構(gòu)造 3.5 時(shí)變對(duì)稱加密方案及其前向保密性質(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)

編輯推薦

《計(jì)算機(jī)密碼學(xué):通用方案構(gòu)造及安全性證明》由電子工業(yè)出版社出版。

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    計(jì)算機(jī)密碼學(xué) PDF格式下載

---