本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。

📙 相关书籍

  1. 《现代密码学 基于安全多方计算协议的研究》高清PDF 本书以现代密码学中的安全多方计算为主题，以作者近几年的研究成果为主体，结合国内外学者在该领域的研究成果，对安全多方计算的主要研究内容作了系统论述。本书主要分为两部分：第一部分介绍数学、密码学等基础知识（第1-3章），第二部分介绍安全多方计算的基础理论和应用（第4-10章）。...
  2. 《数字签名与安全协议》高清PDF 本书提供对数字签名，安全协议的全面介绍，高级部分介绍了可证明安全性。本书的特点是分类清晰合理，逻辑性强。注重介绍知识的内在逻辑性，还原各个知识点发展的过程，旨在展现密码学方案设计的内在规律和基本原理，使学习者“知其所以然”。讲解上使用简单的语言讲解密码学方案中不容易发现的内在机制。内容上做到重点突出......
  3. 《密码协议 基于可信任新鲜性的安全性分析》高清PDF 本书主要介绍如何利用系统工程思想和可信任新鲜性的方法, 分析和设计密码协议。...
  4. 《数学与现代科学技术丛书 可证明安全算法与协议》高清PDF 本书以作者及其课题组多年的研究成果为主体，结合国内外学者在可证明安全算法与协议方面的代表性成果，系统介绍了可证明安全性理论和技术，主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础（第一部分，第1～3章），可证明安全的加密体制（第二部分，第4～6章），可证明安全...
  5. 《密码学与网络安全》高清PDF 本书以清晰的脉络、简洁的语言，介绍了各种加密技术、网络安全协议与实现技术等内容，包括各种对称密钥算法与AES，非对称密钥算法、数字签名与RSA，数字证书与公钥基础设施，Internet安全协议，用户认证与Kerberos，Java、.NET和操作系统的加密实现，网络安全、防火墙与VPN，并给出了具体......
  6. 《密码学导引 原理与应用 英文版》高清PDF 本书主要从两个方面介绍密码学的知识：第一部分介绍了经典密码学中的对称密码体制、非对称密码体制及相关的密码协议，重点讨论了模代数学和以模代数学为基础的非对称密码。第二部分从Shannon经典的信息论工作出发，分析了概率算法和单向函数的安全性，并给出了基本的安全性定义。在此基础上，对公钥加密和签名方案的......
  7. 《应用密码学》高清PDF 本书兼具专著和教材的双重属性.是作者从事多年的应用密码学相关教学和科研工作实践的结晶。本书全面介绍了应用密码学的基本概念、基本理论和典型实用技术。全书共15章，内容涉及密码学基础、古典密码、密码学数学引论、对称密码体制、非对称密码体制、HASH函数和消息认证、数字签名、密钥管理、序列密码、量子密码；......
  8. 《密码学简明教程》高清PDF 本书分10章，介绍现代密码学的基础理论及典型应用。...
  9. 《密码学原理及应用技术》高清PDF 本书主要介绍密码学的发展历史、数学基础和各种密码体制及其在数字签名、邮件系统中的应用。...
  10. 《中国密码学发展报告 2010》高清PDF 本书从密码学的最新进展出发，以探索的眼光审视密码学最新、最活跃的研究方向。在密码学深度发展的同时，新的应用和新的思想激发了密码学的新方向。本书主要抗量子密码体制的研究现状、视觉密码学研究进展、零知识证明理论研究进展、生物特征密码学研究进展、DNA密码研究综述、轻量级分组密码研究进展、同态密码学研究进......

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