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

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

网络安全原理与技术 第2版

本书主要介绍了一系列安全技术和用于保护计算机网络的安全协议、安全策略。主要包括两个方面的内容：一方面是基本的术语、概念、方法和技术的介绍；另一方面是一些典型的安全协议标准和技术标准的介绍。...

网络与TCP/IP协议

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

网络安全原理与应用

本书为21世纪高等学校规划教材。本书主要从网络安全的基本原理和实践技术两个方面，系统分析了网络安全各种常见的安全威胁，提出了网络安全原理的本质，给出了网络安全的各种主要防御技术。全书从网络安全体系上...

安全协议分析与设计

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

NS网络模拟和协议仿真

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

下一代网络通信协议分析

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

网络信息安全

本书全面系统地讲述了网络信息安全的理论、原理、技术和应用。

网络安全技术

网络信息安全技术

本书主要介绍了网络安全的基础理论和关键技术。