本书结合国内外学者的代表性成果，论述了可证明安全密码算法与协议的设计与分析，详细介绍了该研究方向的发展情况，并提出一些与之紧密相关的新研究课题。全书分四部分，共17章。第一部分(第1-3章)介绍了密码算法和协议设计中的基础知识；第二部分(第4-6章)论述了可证明安全的加密体制；第三部分(第7-12章)对数字签名进行了深入研究；第四部分(第13-17章)阐述了可证明安全的密钥协商协议及其应用。