午夜无码久久兔费不卡,yw亚洲aⅴ无码乱码在线观看

內(nèi)容簡介

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

作者簡介

暫缺《計算機密碼學：通用方案構造及安全性證明》作者簡介

圖書目錄

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