本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及*新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概率进程演算Blanchet演算、自动化安全协议证明器CryptoVerif及应用、基于计算模型自动化验证安全协议Java实施认证性、基于计算模型生成密码学安全的安全协议Java实施、基于符号模型生成密码学安全的安全协议Java实施等。

📙 相关书籍

  1. 《网络与信息安全前沿技术丛书 安全协议设计与分析》高清PDF 本书主要内容包括：绪论、安全协议的逻辑分析方法、安全协议的串空间分析方法、可证明安全性分析方法、基于中心服务器认证的密钥交换协议、基于口令的认证密钥交换协议等。...
  2. 《安全协议原理与验证》高清PDF 本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础；2、安全协议原理，内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3、安全协议的分析与验证方法，内容包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。...
  3. 《安全协议》高清PDF 本书主要内容包括：安全协议概述、安全协议的密码学基础、基本的安全协议、认证与密钥建立协议、零知识证明、选择性泄漏协议、数字签名变种、非否认协议、公平交换协议、安全电子商务协议、安全多方计算、安全协议的形式化分析。...
  4. 《网络安全协议》高清PDF 本书讲述了网络安全协议中的基本理论、网络安全协议的主流类型以及协议的研究分析方法。内容涵盖密码学基础、认证协议、秘钥交换协议、普通数字签名、特殊数字签名（例如阈下信道、批签名、代理签名、指定者签名）、IPsec协议、Kerberos协议以及其他一些高级协议。本书既可作为计算机、信息安全相关专业本科生......
  5. 《网络安全协议 原理结构与应用 第2版》高清PDF 本书适合信息安全和相关专业的研究生使用，也可作为计算机、通信和密码等领域研究人员、技术人员和管理人员的参考书。...
  6. 《网络安全协议综合实验教程》高清PDF 本书作为信息安全方面的实验教材，介绍了信息安全方面一些最基本的实验内容。这些实验包括第1章 VMware虚拟网络的构建；第2章IPSec基础实验；第3章SSL基础实验；第4章缓冲区溢出攻击初级实验；第5章 Radius综合实验；第6章IPSec综合实验；第7章OpenSSL综合实验；第8章VPN综合......
  7. 《网络安全协议分析与案例实践》高清PDF 本书比较全面地介绍了网络安全协议的关键技术和相关实验配置。特别对vpn列举了比较深入的实际应用。使学生了解网络安全协议的基本知识，掌握网络安全协议的基本概念和应用方法。使学生在已有的网络知识的基础上，对网络安全协议在整体上有一个更加清晰的了解，并具备解决网络安全中常见问题的基本技能。...
  8. 《安全协议模型与设计》高清PDF 本书介绍了安全协议的整体结构、设计流程与分析方法。第1-3章介绍了安全协议的基本概念以及采用的数学知识与密码工具，第4章介绍了安全协议的可证明理论，第5-7章探讨了不同环境下安全协议的设计与分析。针对现有安全协议中出现的问题，提出了一些针对常见协议的改进协议，经过性能测试具有较好的实用性。...
  9. 《网络安全协议》高清PDF 本书对数据链路层安全协议、网络层安全协议、传输层安全协议等方面进行了比较深入的分析，介绍了各层协议的安全缺陷、易受到的攻击、以及在相应层协议中所增强的安全机制。...
  10. 《网络协议与网络安全 第2版》高清PDF 本书介绍计算机硬件知识，包括计算机系统概论，计算机数据表示，运算方法和运算器，中央处理器，指令系统，存储器及存储系统，输入输出系统及新一代计算机的体系结构。...

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