本書(shū)全面介紹可證明安全性的發(fā)展歷史、基礎(chǔ)理論和實(shí)用算法，內(nèi)容分為6章，第1章介紹可證明安全性涉及的數(shù)學(xué)知識(shí)和基本工具，第2章介紹語(yǔ)義安全的公鑰密碼體制的定義，第3章介紹語(yǔ)義安全的公鑰密碼體制，第4章介紹基于身份的密碼體制，第5章介紹基于屬性的密碼體制，第6章介紹抗密鑰泄露的公鑰加密系統(tǒng)。 本書(shū)可作為高等學(xué)校相關(guān)專(zhuān)業(yè)本科生和研究生的教材，也可作為通信工程師和計(jì)算機(jī)網(wǎng)絡(luò)工程師的參考讀物。