本書比較系統(tǒng)全面地介紹了密碼加密方案的可證明安全理論及證明技術(shù)。主要內(nèi)容包括緒論、偽隨機函數(shù)和偽隨機置換、混合論證技術(shù)與陷門單向置換、密碼學(xué)的計算問題與困難性假設(shè)、多項式安全和語義安全、抗非適應(yīng)性選擇密文攻擊安全性、抗適應(yīng)性選擇密文攻擊安全性、選擇性開放攻擊、密鑰關(guān)聯(lián)消息安全性、博弈證明基礎(chǔ)和博弈證明技術(shù)的應(yīng)用。

暫缺《可證明安全理論及方法：密碼算法》作者簡介