数学与现代科学技术丛书 可证明安全算法与协议

本书以作者及其课题组多年的研究成果为主体，结合国内外学者在可证明安全算法与协议方面的代表性成果，系统介绍了可证明安全性理论和技术，主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础（第一部分，第1～3章），可证明安全的加密体制（第二部分，第4～6章），可证明安全的数字签名方案（第三部分，第7～12章）以及可证明安全的密钥协商协议及其应用（第四部分，第13～17章）。重点从可证明安全的角度阐述了密码算法与协议的设计与分析。