网络安全协议的形式化分析与验证

本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

网络与TCP/IP协议

本书内容涵盖了计算机网络和TCP／IP协议的基本概念、原理、技术、应用以及下一代网络的核心IPv6技术，反映了计算机网络技术的最新发展情况。...

安全协议分析与设计

本书系统地介绍了安全协议（主要是认证协议和密钥建立协议）的基本概念、攻击方法、分析方法和设计方法。本书可作为信息安全、数学、计算机、通信专业的研究生和本科生教材，也可作为相关专业的研究人员和工程技...

NS网络模拟和协议仿真

本书针对初学者，从浅显易懂的角度出发介绍NS的基本知识，包括背景、功能和用途、架构和仿真；针对进阶者，给出了添加、移植和开发新协议的步骤，以一个完整的开发实例的方式为这些用户提供他们所需要的信息，通过典.....

下一代网络通信协议分析

《融合与开放的下一代网络丛书》系统地描述了作者在国家973计划、国家863计划、国家杰出青年科学基金和国家自然科学基金等项目的研究中，对下一代网络原理的分析和理解以及对课题研究成果的归纳和总结。作为...

离婚协议

本书为长篇小说，描写髙治平和于文雅的婚姻生活。

TCP/IP详解 卷1：协议 英文版

协议供货及其价格监控机制初探

本书结合我国政府采购的实际情况，对最近几年刚刚发展的协议供货制度进行了系统的论述。本书从协议供货的基本概念入手，详细分析了我国协议供货制度的发展现状、存在的问题，并提出了对策建议。...

电子商务交易协议理论与验证方法

本书系统论述了电子商务系统及底层技术、个性化推荐技术、电子商务支付协议及电子现金支付协议的模型等进行了论述，阐述了电子商务交易协议的分析验证方法。...

果蔬农产品协议流通模式研究

本书为“十一五”国家科技支撑计划项目：农村流通管理与服务体系建设关键技术研究开发及示范工程——果蔬类农产品协议流通管理与服务应用示范的研究结果。分为农产品协议流通模式研究的理论基础等11个部分。...