作者：（瑞士）卡斯·克雷默斯，（卢森堡）肖克·毛弗 出版：北京：电子工业出版社 页数：137    ✅ 真实服务 非骗流量  ❤️ 出版时间：2018.11 （求助前请核对清楚） 求助编号：9145331820 （学习资料 勿作它用） 求助格式：PDF（无水印/扫描版）我要投诉 重要说明：求助即说明同意《文件求助条款》   Word/doc、ePubb、mobi、PPT、TXT

    • 安全协议作为信息安全的重要基础之一，其安全属性能否达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖两部分：用形式化的语义定义协议的执行规格和安全属性，精确表示安全协议的安全属性；综合运用各种形式化方法设计一个高效的验证算法，在可接受的时间内验证安全属性。本书还探讨了多协议安全分析，比较分析了各种验证理论和发展趋势。

    📙 相关书籍

    1. 《可信平台模块虚拟化与证明》高清PDF 本书系统化地介绍TPM虚拟化、可信虚拟平台及虚拟域（或终端）的证明。TPM虚拟化是可信云环境的核心，本书详细介绍可信虚拟平台具有瀑布特征的信任链模型及理论、可信虚拟平台新的证书信任扩展方法、基于影子页表+的软件型vTPM密钥保护方案、可信虚拟平台vTPM动态迁移方法，从理论和实践两方面系统回答TPM......
    2. 《安全协议分析与设计》高清PDF 本书系统地介绍了安全协议(主要是认证协议和密钥建立协议)的基本概念、攻击方法、分析方法和设计方法。全书分为7章，从安全协议的基本概念和协议记法出发，先介绍安全协议分析采用的假设和对攻击者能力的界定，接着对一些经典的安全协议及其攻击展开分析，然后对逻辑类分析方法、模型检测分析方法和定理证明类分析方法分......
    3. 《安全协议 理论与实践》高清PDF 本书共分16章，系统地介绍安全协议的基本理论、关键技术以及典型应用和实践。主要包括密码算法基础知识、可证明安全性、形式化、混合、零知识证明、安全多方计算等基础理论和方法。...
    4. 《TCP/IP网络编程技术基础》高清PDF 本书主要内容包括TCP／IP网络通信原理、套接字API、循环的无连接的服务器例程剖析、循环的面向连接的服务器例程剖析、服务器进程中的并发机制、基于多进程的并发的面向连接服务器例程剖析、基于多线程的并发的面向连接服务器例程剖析、客户-服务器系统中的死锁问题、GCC编译……...
    5. 《网络协议与网络安全 第2版》高清PDF 本书介绍计算机硬件知识，包括计算机系统概论，计算机数据表示，运算方法和运算器，中央处理器，指令系统，存储器及存储系统，输入输出系统及新一代计算机的体系结构。...
    6. 《渗透测试实战指南 必知必会的工具与方法 ethical hacking and penetration testing made easy》高清PDF 本书共8章，全面而系统地介绍了完成一次渗透测试所必需的步骤，以及用于完成渗透测试步骤所需要的主要工具，包括Google侦察、MetagooFil、DNS询问工具、Nmap、Nessus等。...
    7. 《网络安全和信息化 2017超值精华本 原 网络运维与管理》高清PDF 《网络安全和信息化》（原《网络运维与管理》）是面向网络技术管理人员的实用性刊物。...
    8. 《软件定义安全 SDN/NFV新型网络的安全揭秘 软件定义安全架构技术书籍 SDN和NFV安全实践》高清PDF 本书共分为八章, 主要内容包括SDN和NFV: 下一代网络的变革 ; SDN/NFV环境中的安全问题 ; 用软件定义的理念做安全 ; 什么是软件定义安全 ;...
    9. 《网络安全测试实验室搭建指南》高清PDF 《网络安全测试实验室搭建指南》是帮助读者自行搭建安全测试平台的实用指南，旨在让读者利用书中讲解的知识，帮助公司网络成功抵御来自外部世界的各种攻击。《网络安全测试实验室搭建指南》分为11章，其内容涵盖了搭建测试平台所需要的软硬件资源，如何被动地收集各种信息，如何进行流量分析以及使用的流量分析工具，检测......
    10. 《网络安全技术 网络空间健康发展的保障》高清PDF 本书系统介绍网络安全的基本理论和关键技术，共分三部分14章。其中，靠前-7章是基础技术，介绍网络安全概述、密码技术、身份认证、访问控制、网络攻击等；第8-13章是中级防护，介绍系统安全、反恶意代码、网络边界安全、网络服务安全、网络信息内容安全等；靠前4章是不错进阶，介绍云计算、大数据、物联网、工控网......

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