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