近日，公司网络信息安全研究团队带头人杨波教授的学术专著《密码学中的可证明安全性》由清华大学出版社出版。

该书是清华大学出版社网络空间安全重点规划丛书之一，丛书由教育部高等学校信息安全专业教学指导委员会和中国计算机学会教育专业委员会共同指导，是我国第一套专门针对信息安全专业的教材之一。可证明安全性是密码学中最重要的内容之一，它将密码学建立在了计算复杂性理论之上，奠定了现代密码学理论的数学基础，从而将密码学从一门艺术变为了一门科学。该书包括可证明安全性涉及的数学知识和基本工具、语义安全的公钥密码体制的定义、几类常用的语义安全的公钥密码体制、基于身份的密码体制以及基于属性的密码体制等内容。该书体系完整、结构合理、内容先进，能够满足信息安全、计算机、通信工程等相关专业对信息安全领域课程的教材要求。   

该书作者杨波，北京大学数学专业学士，西安电子科技大学软件专业硕士、密码学专业博士，公司特聘教授、博士生导师，陕西省特聘教授，中国密码学会理事、中国密码学会密码算法专业委员会委员、《密码学报》编委。