协议

安全协议实施自动化生成与验证.pdf

本书包括五篇,共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2C

可信的移动IPv6网络及协议.pdf

本书主要内容包括移动IPv6协议本身的安全技术、切换过程中的服务质量保障技术、切换过程中的安全保障技术、跨域移动的信任控制技术、协议的形式描述和验证技术、网络设备的可靠性测试技术、移动代理的容错和负载均衡技术等方面。

TCP/IP网络协议分析与实践 毛文涛等 编著.pdf

本书采用理论结合实践的方法,逐层分析TCP/IP 协议族的代表性协议,包括IEEE 802.3、ARP、IP、RIP、OSPF、ICMP、TCP、UDP、DNS、HTTP、FTP 等,在详细介绍协议原理和运行机制的基础上,利用协议捕获软件、Linux 环境下原始套接字编程和Lin

安全协议模型与设计.pdf

本书介绍了安全协议的整体结构、设计流程与分析方法。第1-3章介绍了安全协议的基本概念以及采用的数学知识与密码工具,第4章介绍了安全协议的可证明理论,第5-7章探讨了不同环境下安全协议的设计与分析。针对现有安全协议中出现的问题,提出了一些针对常见协议的改进协议,经过性能测试具有较好

量子通信协议设计.pdf

量子信息学是物理、信息科学、数学和计算机科学等多学科交叉的新兴科学。本书主要介绍量子通信中量子态的多方间接传输协议的一些最新成果,涉及量子通信的基本原理、思想方法及相关技术。全书共分4章。第1章介绍预备知识;第2章讨论以多粒子最大纠缠态或非最大纠缠态为量子信息,多方参与的量子态分

作为一个协调世界经贸关系的国际性组织,WTO直接面对各国和各地区的政府而不单纯是企业,WTO的主要协议中绝大多数是以约束政府为要旨的。由此分析,下列表述正确的是(  )。

作为一个协调世界经贸关系的国际性组织,WTO直接面对各国和各地区的政府而不单纯是企业,WTO的主要协议中绝大多数是以约束政府为要旨的。由此分析,下列表述正确的是(  )。