协议

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

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

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

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

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

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

安全协议理论与方法.pdf

本书系统地介绍当前计算机网络安全协议的理论和方法,涉及安全协议的基本概念、缺陷以及可能受到的攻击类型,安全协议设计的形式化方法等方面。

生物遗传资源获取与惠益分享协议研究.pdf

本书详尽考察了联合国粮食及农业组织、世界卫生组织、世界知识产权组织有关生物遗传资源获取与惠益分享的协议范本,并重点对南非、埃塞俄比亚、美国等的生物遗传资源获取与惠益分享制度进行了研究,分析这些国家在生物遗传资源获取与惠益分享协议制度上的立法和实践,总结出了可资借鉴的经验。同时,分