基于射频指纹的射频识别认证协议改进

通过研究对融合物理层硬件信息与应用层协议的射频指纹（Radio Frequency Frgerprints,RFF）进行射频识别（Radio Frequency Identification,RFID）认证问题,发现射频指纹RFID认证协议中存在的安全缺陷,对其进行改进．改进协议在融合RFID标签射频指纹的基础上进行挑战与应答．并进行RFID标签检测、存储与声称射频指纹的比对．性能分析与BAN逻辑形式化证明的结果表明,改进协议克服了原有缺陷,具有对抗有关RFID标签克隆攻击的能力．实现了RFID系统的高强度认证．     

不可否认协议形式化分析的SVO逻辑方法

使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析．在分析该协议的过程中,分析了使用SVO逻辑分析不可否认协议时存在的一些问题,这是分析过程无法发现Zhou-Gollmann不可否认协议的原因．这些问题包括协议目标的确定,协议时限性的描述与分析,协议初始假设集的确定等．分析协议时,不仅需要证明协议的最终目标,还需要证明中间目标．通过对SVO逻辑的语法进行扩展,使其具有显式的时间描述能力,从而能够分析不可否认协议的时限性．     

移动Ad-hoc网络中不同路由协议的TCP性能比较

针对Ad-hoc网络路由协议的TCP性能展开研究．通过仿真实验对3种路由协议DSDV、DSR和AODV的TCP性能进行了对比，发现了TCP不同于UDP的拥塞控制／避免机制对Ad-hoc网络性能产生的显著影响．并从路由机制角度分别分析了节点移动性、TCP连接数及接口队列长度对网络TCP性能的影响．从而对提高Ad-hoc路由协议的TCP性能提出改进方案．     

基于OMNeT＋＋的AODV—UU、DSR—UU和DYMOUM路由协议性能仿真与分析

针对被动式单播路由协议AODV—UU、DSR-UU和DYMOUM,使用OMNeT＋＋（Obective Modular Network Testbedin C＋＋）仿真软件,选取分组投递率、平均端到端时延和路由发现频率3个指标对AODV—UU、DSR．UU和DYMOUM路由协议进行了性能仿真,通过改变节点数目和节点移动速度分析比较了这些参数对3个协议性能的影响,仿真结果表明：DYMOUM协议在平均端到端时延和路由发现频率上优于AODV—UU和DSR-UU,但在分组投递率上低于AODV—UU和DSR—UU．最后提出了对DYMOUM协议的改进．     

PPPoE协议的安全隐患及解决方案

对当前接入ADSL宽带网的PPPoE协议进行了分析，发现该协议容易遭受D．o．S拒绝服务攻击和伪装访问集中器攻击，在分析造成这两种攻击的主要原因基础上，提出了防止攻击的解决方案及原理，并给出了具体解决办法，通过在PPPoE协议的发现阶段的四个包中增加必要的TAG，对PPPoE协议进行了改进，弥补了PPPoE协议在理论上的漏洞，其解决方案具有可操作性。     

基于OMNeT ＋＋ 的AODV-UU、DSR-UU 和DYMOUM路由协议性能仿真与分析

针对被动式单播路由协议AODV-UU、DSR-UU 和DYMOUM,使用OMNeT ＋＋ ( Objective Modular Network Testbed in C ＋＋ ) 仿真软件,选取分组投递率、平均端到端时延和路由发现频率3 个指标对AODV-UU、DSR-UU 和 DYMOUM 路由协议进行了性能仿真,通过改变节点数目和节点移动速度分析比较了这些参数对3 个协议性能的 影响,仿真结果表明: DYMOUM 协议在平均端到端时延和路由发现频率上优于AODV-UU 和DSR-UU,但在分组投 递率上低于AODV-UU 和DSR-UU． 最后提出了对DYMOUM 协议的改进．     

TCP协议的Z语言描述

计算机通信协议的开发难度随着复杂程度的增加而日益增大，潜在错误也越来越多，其中对协议规格说明理解的偏差是重要原因之一．因此需要对规格说明进行验证和确认，并对协议的实现进行一致性测试．一致性测试就是测试协议的实现是否与相关国际标准中的规格说明相一致．协议的规格说明主要是以自然语言描述的，对其进行形式化是为了精确描述协议，因而可减少这类错误的出现．Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明．本文以TCP协议为例详细介绍了如何使用Z语言对协议进行形式化，为协议一致性测试打下基础．     

无线传感器网络的路由协议研究

对当前几种典型的无线传感器网络路由协议进行了研究,将它们分为传统路由协议、基于数据为中心的路由协议、基于地理位置的路由协议、基于服务质量的路由协议、单层路由协议和多层路由协议六类．阐述了这些协议的特点,对每种路由协议的优缺点进行了分析,对它们的性能进行了比较．     

基于证书认证机制的公平文件交换协议的算法设计

在电子商务活动中,进行实时公平的文件交换具有非常重要的意义．本文利用证书认证机制中简单、快速且交换活动脱离等特点,结合RSA算法构造出具备实时公平交换功能的文件交换协议．同时根据测试数据对该协议的各项性能与其它类似协议进行了简要分析．最后提出了可行的协议假定的实现流程．     

ITS专用短程通信协议一致性测试系统的设计与实现

参考计算机通信的开放式系统互联参考模型提出了ITS专用短程通信(DSRC)协议的三层体系结构．依据ISO标准定义的一致性测试的方法及框架,确定了对协议实现进行一致性测试的方法和测试套形式化描述方法,设计了具体的测试系统结构．使用所设计的一致性测试系统对DSRC协议进行测试,保证了协议实现与协议文本的一致性．也为各DSRC设备之间的互联、互操作奠定了基础。     

抗毁式移动无线路由协议的研究

研究和实现在移动分组无线网中的抗毁式路由协议。基于链路－状态算法,采用距离－矢量算法的传播方法和全局的路由拓扑表,实现了移动分组无组网的抗毁式路由协议。协议的实现充分考虑了无线信道的有限宽和移动性,提高了网络性能的抗毁性。此无线路由协议适用于移动分组无线网的抗毁性要求。     

基于移动Agent的分组k-Anycast路由协议

针对k-Anycast通信方法中泛洪和集中式路由协议系统开销大、时延长和扩展性差的缺点,提出基于移动Agent的分组k-Anycast路由协议。该协议创建并维护多个分组,每个分组管理至少k个k-Anycast成员,因此可将k-Anycast路由问题分散至各分组处,从而使协议具有分布式管理和多路径路由的特点;采用适合分布式管理的移动Agent技术实现分组和路由管理。仿真实验表明,该协议的扩展性、高负载下的系统开销和时延优于泛洪和集中式路由协议。     

采用时分多址的主动式高动态传感器路由协议

提出一种基于移动无线传感器网络(MWSN)的主动式高动态传感器路由(AHDSR)协议.通过简单的跳数度量,使数据朝移动环境中的汇聚节点路由时保持动态和鲁棒.AHDSR协议使用时分多址(TDMA)MAC层保持移动环境中梯度指标,同时,使用盲转发技术将信息以多途径的方式在网络中传递.运用OPNET建模模块进行仿真,并提供一种离散时间仿真器.仿真结果表明:与其他同类方法相比,提出的协议在数据包投递率、平均数据包时延、吞吐量和开销方面的表现更加适合多种移动网络场景.     

基于稳定路由的Ad Hoc网络TCP性能的改进

在移动Ad Hoc网络环境中,链路失效和路由改变的事件经常发生。TCP应用在这样的环境中性能是低下的,因为它总是认为数据包的丢失是由于网络拥塞造成的。该文提出一种改进的AODV路由协议(E-AODV),此协议在选路时会选择一条稳定的路径,进而提高TCP的吞吐量;仿真结果表明,E-AODV协议是有效的。     

一种用于复杂移动网络的安全路由协议设计

在复杂移动网络中,当前路由协议认证过程较为复杂,无效路径较多。设计一种用于复杂移动网络的安全路由协议。协议设计过程包括身份认证阶段和路由发现阶段,通过对复杂移动网络中新的邻居节点进行身份认证,判断该节点是否可加入到其他各节点的通信路由表中。通过建立路由请求消息RREQ,将其向相邻节点广播,获取目标节点。通过建立路由响应信息RREP,传输至其前趋节点。获取由前趋节点重新建立的路由响应消息RREP,继续传输至其前趋节点。以此类推,直至回到源节点,将路由发现过程经历的所有路径进行存储,最终得到有效路由协议。以振动环境下复杂传感网络为基础进行测试,结果表明,所设计安全路由协议具有较优的包传输率、网络吞吐量和包丢失率,安全性高。     

无线移动Ad Hoc网络的路由技术研究

无线移动Ad Hoc网络(MANET)作为可移动分布式多跳无线网络，没有预先确定的网络拓扑或网络基础设施以及集中控制。为了在如此的网络中促进通信，路由技术主要用于在节点之间发现路径。AdHoc网络路由协议的主要目的是在网络拓扑的动态变化下任意两个节点之间建立一个使得通信总费用和带宽耗费最少的正确和有效的通信路径。本文论述无线Ad Hoc网络的特性、问题和技术，并通过不同的标准对存在的一些路由协议进行分类和比较。     

移动自组网路由协议研究

对自组网路由协议的性能测试和形式化分析这两种主要的验证方法进行了比较,分析了自组网路由协议的形式化分析特性,给出了协议形式化分析方案的框架。     

基于移动预测的集群组网分簇路由协议

针对无人机集群组网中拓扑结构更新快、网络通信效率低的问题,提出了基于移动预测的分簇算法MPC,并提出了一种分簇路由协议MPC-R。灰色-WNN联合预测模型的基础上,通过将预测结果运用在方向、速度、位置评价因子上,得出移动状态评价因子。综合计算移动因子和链路保持时间进行簇头选择,路由协议簇间采用被动路由发现机制,簇内采用主动路由发现机制。通过仿真,对预测准确性、分簇算法、路由协议进行验证,结果表明:WNN提高了预测的准确性,分组投递率提高了3%～4%。该分簇算法延长了簇头持续时间和平均链路保持时间,能够提高分簇稳定性。相应的路由协议与其他同类协议相比降低了端到端时延,提高了数据包分组投递率和路由性能。     

车载通信网的路由策略研究与仿真

针对传统路由技术已不能适用于动态分布式网络（如车载通信网络）的现状, 提出一种基于DSR分层机制的移动代理路由策略（NCM-DSR）, 并将所提出的NCM DSR协议分别与加入移动代理的DSR协议（MA-DSR）和DSR协议进行比较. 仿真实验结果表明, NCM-DSR协议降低了端到端的传输时延, 进一步减少了路由请求次数, 包的提交率也有一定程度的提高, 更适于车载通信网的实时通信.     

基于NS2的Ad-hoc网络路由协议比较与性能评价

Ad-hoc网络灵活多变,Ad-hoc[1]网络的特点主要体现在以下4方面:1)动态变化的网络拓扑结构;2)有限的资源;3)多跳通信;4)较低的安全性.由于无线传输范围的限制,网络中不能直接通信的两个节点间需要通过中间节点转发数据分组,因此Ad-hoc网络中节点具有路由功能.以上Ad-hoc的特点对