本書全面介紹可證明安全性的發(fā)展歷史及研究成果。全書共5章,第1章介紹可證明安全性涉及的數(shù)學知識和基本工具,第2章介紹語義安全的公鑰密碼體制的定義,第3章介紹幾類常用的語義安全的公鑰機密體制,第4章介紹基于身份的密碼體制,第5章介紹基于屬性的密碼體制。本書取材新穎,結構合理,不僅包括可證明安全性的基礎理論和實用算法,同時也涵蓋了可證明安全性的密碼學的*研究成果,力求使讀者通過本書的學習了解本學科*的發(fā)展方向。本書適合作為高等院校信息安全、網絡空間安全、計算機工程、密碼學和信息對抗等相關專業(yè)的本科生高年級和研究生教材,也可作為通信工程師和計算機網絡工程師的參考讀物。