本書介紹可證明安全性的發展歷史及研究成果。全書共5章，第1章介紹可證明安全性涉及的數學知識和基本工具，第2章介紹語義安全的公鑰密碼體制的定義，第3章介紹幾類常用的語義安全的公鑰機密體制，第4章介紹基于身份的密碼體制，第5章介紹基于屬性的密碼體制。本書取材新穎，結構合理，不僅包括可證明安全性的基礎理論和實用算法，同時也涵蓋了可證明安全性的密碼學的研究成果，力求使讀者通過本書的學習了解本學科的發展方向。本書適合作為高等院校信息安全、網絡空間安全、計算機工程、密碼學和信息對抗等相關專業的本科生高年級和研究生教材，也可作為通信工程師和計算機網絡工程師的參考讀物。
本書由教育部高等學校信息安全專業教學指導委員會、中國計算機學會教育專業委員會共同指導，符合《高等學校信息安全專業指導性專業規范》。本書介紹可證明安全性的發展歷史及研究成果。全書共5章，第1章介紹可證明安全性涉及的數學知識和基本工具，第2章介紹語義安全的公鑰密碼體制的定義，第3章介紹幾類常用的語義安全的公鑰機密體制，第4章介紹基于身份的密碼體制，第5章介紹基于屬性的密碼體制。 本書取材新穎，不僅包括可證明安全性的基礎理論和實用算法，同時也涵蓋了可證明安全性的密碼學的研究成果，力求使讀者通過本書的學習了解本學科的發展方向。 本書特別適合作為高等院校信息安全、計算機工程和信息對抗等專業的本科生和網絡空間安全學科研究生教材，也可作為通信工程師和計算機網絡工程師的參考讀物。
楊波，北京大學學士，西安電子科技大學碩士、博士，陜西師范大學計算機科學學院教授、博士生導師，陜西省百人計劃特聘教授，中國密碼學會理事，中國密碼學會密碼算法專業委員會委員，《密碼學報》編委。曾任華南農業大學信息學院、軟件學院院長。2011年起在陜西師范大學計算機科學學院工作。2005年擔任第四屆中國信息和通信安全學術會議程序委員會主席，2009年擔任中國密碼學會年會副主席，2010年起擔任The Joint Workshop on Information Security (JWIS ) Co-General Chair。主持多項國家自然科學基金、863計劃、國家密碼發展基金、國防科技重點實驗室基金、陜西省自然科學基金項目。
