网络协议的形式化分析与设计

本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......

网络与信息安全前沿技术丛书 安全协议设计与分析

本书系统介绍了安全协议分析的理论方法，给出了安全协议目前的最新结果，如”安全协议工程原则”，”可证明安全协议分析方法”及”RFID安全分析技术”等，这些内容给出了目前可用于安全协议分析的国际前沿方法。本...

Delphi网络通信协议分析与应用实现

NS网络模拟和协议仿真

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

无线传感器网络MAC协议分析与实现

电子商务网络协议的形式化分析理论与应用

多协议网络设计与故障排除

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

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

网络安全协议分析与案例实践

本书比较全面地介绍了网络安全协议的关键技术和相关实验配置。特别对vpn列举了比较深入的实际应用。使学生了解网络安全协议的基本知识，掌握网络安全协议的基本概念和应用方法。使学生在已有的网络知识的基...

网络协议分析与实现

本书是浙江重点教材建设项目“网络工程专业系列教材”之一。本书采用自底向上的方法来分析TCP/IP协议族的核心源代码，主要内容包括TCP/IP协议概述、底层技术、ARP协议、IP协议、ICMP协议、IGMP协议、RIP协议...