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

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

本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...

计算机网络协议分析

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

计算机网络 网络设计的原理、技术和协议

本书是计算机网络的一本基础教材，不仅涵盖了计算机网络的主要基础知识和最新技术内容，还对各种网络技术的细节和使用设备的特性做了综合的介绍和分析。...

电信网络分析与设计

本书主要分析电信号在网络中传输的基本规律和原理，并研究滤波器和均衡器的特性、设计方法和实际应用。

计算机网络安全 协议、技术与应用

本书以TCP/IP网络安全协议为核心，全面、系统地论述计算机网络安全的协议、技术与应用等问题。

基于NI Multisim的电子电路计算机仿真设计与分析

本书基于NI Multisim 10软件，根据模拟、数字、高频和电力电子电路，以及单片机应用电路的不同特点和工作原理，着重介绍电子电路计算机仿真设计的基本方法。全书共分13章，内容包括：NI Multisim 10系统的基本操作方...

电路分析基础：实验·设计·仿真

本书是《电路分析基础》课程的实验教材，其主要特点是将基础的电路分析理论与实际应用结合起来进行教学，引入最新的仪器和元件知识，可分为三部分内容，即预备知识、实验部分和设计仿真部分，通过综合性、设计性及研...

电路分析实验教程 电路实验·综合·设计·仿真

本教程根据多年的教学实验经验，注重学生理论联系实际的能力、论述了基本测量仪器仪表的使用、基本实验方法及实验与基本理论的相结合，加深学生对理论知识的理解、掌握基本实验技能。...

网络安全通信协议