网络协议分析

本书以TCP/IP协议族中构建Internet所必需的、与我们交互最直观的协议作为主题，详细讨论了TCP/IP的体系结构和基本概念，并深入分析了各个协议的设计思想、流程及其所解决的问题。各个协议的应用及安全缺陷也被...

嵌入式实时系统 调度、分析和验证

本书面向嵌入式实时系统，较系统地论述了基本的实时调度算法、调度性分析方法，描述了引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（formal analysi...

计算机网络协议分析

本书立足于计算机网络体系结构，针对其中的各层协议进行了详细的讨论。内容包括概述，物理层规范，局域网协议，广域网协议，应用层协议，网络安全及安全协议和协议分析软件等。...

Linux IP协议栈源代码分析

网络安全协议综合实验教程

本书作为信息安全方面的一本实验教材，讲述了信息安全方面一些最基本的实验内容。这些实验包括：第1章 VMware虚拟网络的构建，第2章IPSec基础实验，第3章SSL基础实验，第4章缓冲区溢出攻击初级实验，第5章 Radius基础...

自然语言计算机形式分析的理论与方法

本书是国内第一本综述基于规则与基于统计的自然语言处理方法的专著，对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式...

PROFIBUS协议分析和系统应用

本书全面介绍PROFIBUS系统的各种技术。在介绍PROFIBUS的分类及其与国际标准的关系的基础上，介绍了最能代表PROFIBUS技术特点的DP子系统、PROFIBUS系统的应用、重要子集和最新发展的一些子集。...

兼容并蓄 融形式分析与文化研究于一体的认知诗学

该书从认知诗学区别于传统诗学流派的显著特征入手，力图论证其将形式分析与文化研究紧密结合的理论属性。该书第一章对认知诗学的理论渊源进行了梳理，对其全貌特征作了鸟瞰式总结；第二至五章则分别选取文本世界...

现代密码学 基于安全多方计算协议的研究

全书分为三大部分，数学基础、密码学协议及其原理、密码学应用平台。其中，第一部分数学基础主要阐述密码学协议中常用的数学理论；第二部分是本书的重点内容，以上世纪80年代后提出的密码学协议为重点，对协议的原理...

TCP/IP协议深入分析

本书详细说明TCP/IP协议簇，以截屏和协议包结构分析为手段，介绍了TCP/IP各层的细节，对IP、TCP、UDP、ARP、ICMP、HTTP、Telnet、FTP与TFTP、POP3与SMTP、DHCP协议进行了深入剖析。...