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

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

网络与TCP/IP协议

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

安全协议分析与设计

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

NS网络模拟和协议仿真

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

下一代网络通信协议分析

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

网络安全技术与应用实践

网络安全与管理

本书介绍了计算机网络安全与管理技术，是面向信息安全与计算机专业的教材。

网络安全规划与管理实战详解

本书主要内容包括：Winddows Server 2008初始安全、Windows系统漏洞安全等。

信息对抗与网络安全

本书主要介绍信息对抗与网络安全方面的知识，内容包括信息对抗与网络安全概述、密码技术、通信保密技术、计算机网络安全技术、日常上网的安全防范。...

信息与网络安全概论 第3版

本书全面介绍了信息与网络安全相关的知识，并努力做到了易读、易学和易懂。