对WLAN安全机制的攻击研究

本文介绍了WLAN的安全机制WEP加密协议和802.1x认证协议。主要讨论了对这两种协议的几类攻击行为,并对这些攻击行为进行分析.基于WLAN新的安全协议WPA的出现,本文对该协议进行了简单的介绍.     

移动计算网络及其漫游协议

本文介绍了移动计算网络的概念,构成和漫游,并重点阐述了移动计算机网络漫游的两种协议,同时对这两种协议进行了详细比较。     

基于CPN的两阶段提交协议建模

CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。     

基于经典逻辑的安全协议模型检测方法

本文分别以安全协议模型检测器SATMC和ProVerif为例,介绍了基于经典逻辑的安全协议模型检测两种方法:SAT方法和归结方法,并简要地给出了我们设计实现的基于SAT方法的安全协议模型检测器JLU-PV.     

协议转换器集成方法的探讨

本文主要介绍了基于协议转换与协议合成的两类转换器集成方法,通过分析比较,对所描述方法进行探讨与技术评估,总结出转换器集成的优选方法。     

两种Ad hoc网络组播路由协议的性能比较和分析

目前研究人员已提出多种Adhoc网络组播路由协议,根据MANET制定的路由协议性能评价标准,还没有一种组播路由协议能满足所有的性能要求,因此对协议在各种应用环境下的性能进行测试和比较,有助于人们选择和设计组播路由协议。该文首先介绍了两种组播路由协议—ODMRP和DBRMP的基本思想,接着提出这两种协议的控制开销计算方法,并对它们的性能进行了定性比较,最后使用了NS-2仿真平台对两种组播路由协议在各种应用环境下的性能进行了仿真,并根据仿真结果详细比较和分析了两种协议在各种应用环境下的性能特点。     

基于QNX实时系统的网络传输性能测试

介绍QNX实时操作系统的特性和系统的微内核结构,进一步阐述了Qnet协议和TCP/IP协议,在此基础上,进行TCP/IP协议和Qnet协议下的网络编程,成功实现两种协议下网络性能测试,实验证明QNX系统下,Qnet协议网络传输性能要优于TCP/IP协议.     

基于AODV路由协议的研究与改进

文章简单介绍了计算机网络中移动Ad hoc网络的概念及特点,然后简单介绍了一下移动Ad Hoc网络中的按需驱动路由协议.紧接着,对Ad Hoc网络的一种按需路由协议——AODV路由协议进行了深入分析.最后,提出一种两跳拓扑结构的概念,采用AODV路由协议作为网络层协议,对传统的AODV路由协议进行了一点改进.     

RSVP实现中的两个问题

本文简单介绍了RSVP协议,主要讨论了RSVP协议实现中的两个问题：消息循环问题和合并流说明带来的问题及解决方法。     

WLAN安全机制的分析与研究

文章介绍了WLAN的安全机制WEP加密协议和802．1x认证协议，讨论并分析了针对这两种协议的几类攻击行为，最后介绍了基于WLAN新的安全协议WPA。