本书主要内容包括：绪论、安全协议的逻辑分析方法、安全协议的串空间分析方法、可证明安全性分析方法、基于中心服务器认证的密钥交换协议、基于口令的认证密钥交换协议等。

📙 相关书籍

  1. 《计算机网络管理与安全技术研究》高清PDF 本书内容共分为八章，第一章和第二章系统论述了计算机网络的概念和网络管理理论，为研究奠定了理论基础；第三章论述了计算机网络存在的安全问题并进行了具体分析；第四章从计算机病毒的概念、产生、发展历程、特征以及类别等角度，深入研究了计算机病毒的防治方法与技术原理、杀毒软件的配置与应用；第五章至第七章分别研究......
  2. 《DDoS的攻击源追踪与防御技术研究》高清PDF 本书主要对分布式拒绝服务（DDoS）的追踪与防御技术的相关知识进行研究，探索对DDoS攻击的有效防御手段，具有重要的研究价值和广阔的应用前景。主要内容包括拒绝服务攻击的相关知识、基于自治系统的包标记算法、基于自治系统标记算法的路径重构、基于路径的单包追踪溯源方法、面向DDoS早期隐蔽攻击流量的多阶段......
  3. 《基于安全协议的云计算平台数据安全及隐私保护研究》高清PDF 本书重点介绍了云计算平台数据安全保护的各种解决方案。内容包括:云计算基础;云计算安全;拒绝服务攻击与安全协议;云计算数据安全及隐私保护研究;云计算安全模型设计。...
  4. 《网络安全技术研究》高清PDF 本书从网络攻击和防护的角度阐述网络安全原理与实践。在网络防护部分，主要介绍原理和方法，并简要介绍原理与技术的具体应用。在网络攻击部分，主要介绍方法和实践，披露一些所谓的“黑客秘技”，并给出部分的实例代码供读者参考。本书的网络攻击技术是从公开的出版物或网络资料总结而来的，目的是让读者了解网络攻击技术，......
  5. 《关于跨域认证关键技术的研究》高清PDF 本书共分为八章。第1章主要介绍互联网及其安全技术的发展，以及本专著研究内容和主要贡献。第2、3、4章提出了一种重量级、中量级、轻量级的Web跨域认证与数据共享方案。第5、6、7、8章从适用于大规模认证域的跨越认证模型、复杂认证域的支持双向认证的跨异构域认证模型、适用于资源有限环境的跨域认证模型、适用......
  6. 《规范约束的Agent可信协同模型与机制研究》高清PDF 本书分为绪论；基础理论、技术和前期工作；E机构模型；供应链上规范实施事前机制；DRQSHCTAgent支持的VO及其演化；实例分析；结论与展望7章。主要内容包括：课题提出与研究意义；研究现状与存在问题；基本模态逻辑等。...
  7. 《计算机网络安全与管理研究》高清PDF ...
  8. 《计算机网络安全技术研究》高清PDF 本书以保障计算机网络的安全特性为主线，讲述实现计算机网络安全的数据保密性、数据完整性、用户不可抵赖性、用户身份可鉴别性等六大机制，系统地介绍了网络安全知识、安全技术及应用等内容。...
  9. 《兰德报告 美国如何打赢网络战争》高清PDF 网络及信息媒介在经济建设当中拥有举足轻重的作用，所以如何对其进行有效的安全保障，已成为了一项重要的利益问题。任何个体、组织或国家，都可以通过网络入侵，轻易实现重要信息的盗取或者致对方系统瘫痪的目的。威慑和鼓励都是掌权者表现权力的方式：威慑是希望别人不去做，鼓励则是希望别人去做些什么，两者都可能在权力......
  10. 《云计算环境下移动Agent系统信任安全与资源分配研究》高清PDF 本书主要内容包括：绪论；移动Agent系统客观信任对等管理模型；移动Agent系统主观信任动态管理方法；移动Agent案例保护方法；移动Agent系统安全评价方法等。...

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