本书以作者及其课题组多年的研究成果为主体，结合国内外学者在可证明安全算法与协议方面的代表性成果，系统介绍了可证明安全性理论和技术，主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础（第一部分，第1～3章），可证明安全的加密体制（第二部分，第4～6章），可证明安全

📙 相关书籍

  1. 《密码算法应用实践》高清PDF 本书根据密码的原理，将常见的密码技术分为分组密码、HASH函数、序列密码、P1363公钥标准和密钥交换算法KEA五大类，通过图表的方式对每种密码技术原理进行了展示，并用C语言对密码技术进行了实现，具有很强的实用性。...
  2. 《现代密码算法概论》高清PDF 本书介绍了160个现代密码算法和协议，内容涉及现代密码算法的数学基础，现代密码算法在信息安全领域中的应用，以及与之相关的科学研究和社会实践，涵盖了现代密码学的主要内容，包括哈希函数、非对称加密算法、公钥加密算法、密钥保管、数字签名、零知识证明、不经意传输、多方安全计算、外包计算、量子计算、电子货币等......
  3. 《基于格的公钥密码算法的分析与设计》高清PDF ...
  4. 《现代密码学 基于安全多方计算协议的研究》高清PDF 本书以现代密码学中的安全多方计算为主题，以作者近几年的研究成果为主体，结合国内外学者在该领域的研究成果，对安全多方计算的主要研究内容作了系统论述。本书主要分为两部分：第一部分介绍数学、密码学等基础知识（第1-3章），第二部分介绍安全多方计算的基础理论和应用（第4-10章）。...
  5. 《数字签名与安全协议》高清PDF 本书提供对数字签名，安全协议的全面介绍，高级部分介绍了可证明安全性。本书的特点是分类清晰合理，逻辑性强。注重介绍知识的内在逻辑性，还原各个知识点发展的过程，旨在展现密码学方案设计的内在规律和基本原理，使学习者“知其所以然”。讲解上使用简单的语言讲解密码学方案中不容易发现的内在机制。内容上做到重点突出......
  6. 《密码协议 基于可信任新鲜性的安全性分析》高清PDF 本书主要介绍如何利用系统工程思想和可信任新鲜性的方法, 分析和设计密码协议。...
  7. 《计算数论与现代密码学 英文版》高清PDF 数论和密码学是两个不同的学科，且分属于不同的研究领域，而现代公钥密码体制的创立和应用则将这两个不同的学科紧密地联系在一起。这是因为这些密码体制的安全性几乎完全基于某些数论问题的难解性。比如极负盛誉的RSA密码体制之所以难以破译，就是因为整数分解问题难以快速解决。《信息安全系列：计算数论与现代密码学（......
  8. 《密码协议分析的逻辑方法》高清PDF 本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。...
  9. 《现代密码算法工程》高清PDF 本书为普通高等教育“十一五”国家级规划教材、北京高等教育精品教材建设项目立项项目。本书主要涉及密码算法的FPGA硬件实现、软件实现以及密码芯片的安全性设计。全书内容包括信息安全与密码技术的背景知识；FPGA设计基础知识；各种常用密码算法的FPGA工程实现，书中给出这些密码算法的实现举例和主要程序代码......
  10. 《密码学与网络安全》高清PDF 本书以清晰的脉络、简洁的语言，介绍了各种加密技术、网络安全协议与实现技术等内容，包括各种对称密钥算法与AES，非对称密钥算法、数字签名与RSA，数字证书与公钥基础设施，Internet安全协议，用户认证与Kerberos，Java、.NET和操作系统的加密实现，网络安全、防火墙与VPN，并给出了具体......

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。