本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础；2、安全协议原理，内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3、安全协议的分析与验证方法，内容包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。

📙 相关书籍

  1. 《网络与信息安全前沿技术丛书 安全协议设计与分析》高清PDF 本书主要内容包括：绪论、安全协议的逻辑分析方法、安全协议的串空间分析方法、可证明安全性分析方法、基于中心服务器认证的密钥交换协议、基于口令的认证密钥交换协议等。...
  2. 《7天精通黑客攻防 畅销版》高清PDF 本书以完整的黑客攻防策略为主线，以7天为学习任务周期，将每天的学习任务分解为多少个学习和上机实训项目，采用一小时掌握一项黑客技能的学习模式，具有较强的可操作性和实训性。...
  3. 《我知道你是谁，我知道你做过什么 隐私在社交网络时代的死亡》高清PDF 社交网络对我们的生活渗透之深之广，远远超乎我们的想象。Facebook在全球拥有超过5亿的用户，如果把它看成一个国家，那它将是世界第三大国。当我们将它看做一个自由舒心的王国，在里面跟朋友分享照片和自己的生活点滴时，却不曾想到这其实是一片无法无天的战地——充满了不可预知的隐藏危险。当我们通过网络工作、......
  4. 《僵尸网络检测技术》高清PDF 本书研究了四种僵尸网络检测方法，首先是基于DPI技术的IRC僵尸网络检测方法；其次是基于DNS的僵尸网络检测方法；然后是基于流序列行为的非DPI僵尸网络检测方法；最后是基于关联分析的僵尸网络检测方法。作为一种辅助方法，本书同时采用snort协助检测僵尸网络，进行了规则筛选，去除了与僵尸网络无关的规则......
  5. 《黑客攻防超简单》高清PDF 本书以Windows7操作系统为平台，力求用简练的语言介绍黑客的入侵和防范相关知识。全书共8章，具体内容包括：黑客的概述，信息的搜集、嗅探与扫描，基于系统漏洞的入侵与防范，远程控制技术，基于木马的入侵与防范，平时上网的黑客攻击与防范，安全防范黑客入侵，信息的隐藏与后门清理。通过这些知识，不仅能够帮助......
  6. 《计算机网络安全与管理研究》高清PDF ...
  7. 《黑客工具全程揭秘》高清PDF 本书分10章围绕当前黑客主流工具展开，囊括最新的攻击手段和防护技巧，涵盖了从系统底层到网络应用层的多方面知识。本书主要针对掌握基础计算机知识，对网络安全兴趣浓厚的朋友：对黑客技术感兴趣，但未经过系统学习的读者；网络攻击与防护初级学者以及网络管理者。...
  8. 《黑客攻防战 超值全彩版》高清PDF 本书共分为10章，第1～2章为理论与系统漏洞部分，主要讲解黑客的基础知识和系统漏洞的攻防知识等；第3～6章为黑客常用攻击防御策略部分，全面讲述了木马攻防、聊天工具攻防、电子邮件攻防、浏览器攻防等实用攻防技能；第7～8章为网络与资金安全防御策略部分，全面讲述网络中网络炒股资金安全、系统文件安全等实用安......
  9. 《网络安全 简明读本 上》高清PDF ...
  10. 《网络安全新型技术研究及其应用》高清PDF 本书针对当前网络面临的风险全面介绍了新型网络安全知识，包括安全加密、安全签名、安全认证、安全密钥进化，尤其深入浅出地阐述了当前网络安全领域的热点“基于身份的密码及其应用”，对于高等院校相关专业师生、网络安全从业人员、网络安全领域的研究人员和网络管理员都有很好的参考价值。...

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