移动自组网路由安全协议的分析

介绍移动自组网络的基本概念,讨论在移动自组网络中存在的安全问题,分析几种路由安全协议.     

基于WMPLS的安全自组网路由协议

基于WMPLS协议体系,结合无线移动自组网的特点,同时考虑路由的安全性,本文提出了一种基于WMPLS的安全自组网路由协议SA-WMPLS.该协议不仅提高了选路的性能,简化了转发机制,而且中间节点操作简单,能够有效抵御多种攻击方式,在实际应用中将具有较大的可行性.     

无线自组网路由协议研究

分析了当前无线自组网路由协议所面临的问题与挑战,对主动路由和按需路由中的几种代表性路由协议进行了介绍。给出了无线自组网路由协议应满足的7点需求,并在此基础上,对所介绍的路由协议进行了比较。对无线自组网路由协议的具体实现技术进行了探讨,分析了在OSI参考模型的第二层和第三层实现无线自纰网路由协议的优点和缺点。     

自组网环境下基于QoS的路由协议

自组网是一组带有无线收发装置的移动节点组成的一个多跳的临时性的自治系统。在这种环境中,由于节点无线通信覆盖范围的有限性,需要借助其它中间节点进行分组转发到达信宿。常规路由协议在自组网环境无法有效地正常运行。文中首先描述了自组网的概念和特点,在此基础上提出了自组网环境下的基于QoS的路由协议。该路由协议的主要思想是根据无线链路两个重要指标：平均错误分组率和生存时间进行路由发现、选择和维护。相对于跳数而言,它们向用户提供了最有可能满足特定QoS需求的信息流的传输。     

无线移动自组网安全路由协议的分析与研究

针对无线移动自组网路由协议的安全问题,重点研究安全路由协议的设计方法。首先介绍Ad hoc网络的本质特点,分析了Ad hoc网络中存在的安全问题;然后对移动自组网安全条件进行了归纳,笔者重点介绍了包括SRP,SAR与ARAN在内的有代表性的几种安全路由协议的设计思路及其特点,并针对每种安全路由协议,分析了其中的安全特性。通过综合比较与分析,笔者提出设计安全路由协议的关键技术。     

基于DSR的移动自组网多路径路由协议的研究与分析

DSR动态源路由协议是一种典型的按需路由协议,它只在有需求的时候才启动路由发现过程,也是目前移动自组网网络的一种主要路由协议。本文阐述了DSR的工作原理并分析了多种基于DSR的移动自组网的多路径路由协议的工作原理与特点。     

支持自愈恢复的WMPLS安全自组网路由协议

基于WMPLS协议体系,结合无线移动自组网的特点,同时考虑路由的安全性,提出了一种支持自愈恢复的WMPLS信令建立标签交换路径的安全自组网路由协议SA-WMPLS。该协议不仅提高了选路的性能,简化了转发机制,而且能够快速恢复中断的链路。通过构建adhoc网络仿真模型,仿真分析了SA-WMPLS路由协议的性能,验证了协议的安全特性。     

移动自组网路由协议DSR性能评价

研究移动自组网的难点之一是开发能够跟随网络拓扑变化,在移动节点之间快速找到有效路径的路由协议。DSR协议作为一种简洁有效的按需机制路由协议,成为IETF的MANET工作组提出的草案之一。本文利用MANET工作小组推荐的Ns2仿真软件对DSR进行模拟,从源节点个数、分组发送频率、移动速度、节点密度、节点个数五个方面分析DSR的性能,指出对DSR性能影响最大的因素。分析随分组频率降低协议性能下降是由于它的路径缓存策略引起,提出将针对DSR路径缓存,搜索,抛弃策略进行改进。     

两类无线自组网路由协议的比较研究

本文介绍了无线自组网的路由协议,并采用随机场景的模拟方法对AODV、DSR和GPSR协议做了定量分析,分析指出在不同的性能指标方面三者都有相应的优缺点,为进一步分析ADHOC路由协议的性能提供了参考。     

移动自组网中路由协议的研究

在无线移动自组网中每个节点都需要兼具路由器的功能,路由是一个非常重要的研究问题,各种无线移动自组网路由协议的提出及相关的性能分析评价也成为学术界的研究热点.本文简单比较了AODV、GPSR及ADV 3种典型的无线移动自组网路由协议,并通过NS-2仿真,对3种路由协议在UDP和TCP业务流下的平均投递率、路由开销、平均端到端延时和吞吐率网络性能进行分析及评价.     

一种Adhoc网络路由协议安全性分析方法

目前对安全协议进行分析的方法主要有两大类:一类是攻击检验方法;一类是形式化的分析方法。论文对第一种方法进行改进,通过对Adhoc移动网络中节点行为的分析,给出了针对路由协议的攻击方式的形式化描述。以DSR和SADSR为例,分析了在这些攻击方式的作用下路由协议的安全性。     

基于串空间的Ad Hoc 安全路由协议攻击分析模型

根据ad hoc安全路由协议的特点,分析串空间理论的优势和不足,并在串空间分析协议的基础上,设计出一种返回不存在路由的协议攻击分析模型.以扩展SRP协议为例,验证了模型的正确性.     

安全协议的串空间图表示

串空间是安全协议的一种形式化描述，串空间图是它的图示化表示．定义开丛为串空间图的构造单元，并在开丛集上定义前缀算子和组合算子．通过开丛之间的前缀和组合运算，给出了无穷并发运行安全协议串空间图的生成方法．定义了开丛互模拟以及串空间图之间的互模拟等价关系，并给出用于消除串空间图冗余结构的化简规则＋案例分析和与相关工作的比较表明，无冗余的串空间图为无穷并发运行安全协议的安全属性验证提供了一个有效的分析模型．     

串空间模型对RPC协议机密性的验证

首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议的机密性进行了形式化分析与验证。     

一种跨层移动自组网络安全路由协议

网络层安全是移动自组网安全的一个基本方面。过去,人们对移动自组网网络层安全的研究主要集中在使用密码体制来保护路由消息的真实性和完整性上。但是,密码学体制所带来的额外资源开销和延时比较大。因此,移动自组网需要一种轻权的网路层安全机制。本文提出了一种基于跨层的移动自组网安全路由协议,利用跨层信息来提高网络层的安全性。模拟实验表明,我们所提出的安全路由协议是有效的。     

基于串空间模型安全协议形式化分析方法的研究

从串空间模型理论人手,提出了三种典型的串空间形式化方法（基于极小元理论的串空间方法、基于理想与诚实理论的串空间方法、基于认证测试理论的串空间方法）,并对每一种方法的证明步骤及优缺点进行了分析。在此基础上,应用提出的串空间方法对Yahalom协议的秘密性和认证性进行了分析。分析结果表明利用不同方法的优点,能更好地保证安全协议形式化分析的准确性。     

基于可信度的MANET路由协议综合评估

针对移动AdHoc网络路由协议评估中指标的模糊性及其体现信息的不完全问题,提出一种基于可信度的路由协议综合评估方法。该方法根据IETFRFC2501的建议,构造路由协议可信度评估指标模型。结合灰色评估法和层次分析法,将评估路由协议性能的主观因素限制在很小范围内,得到了更客观且准确的协议可信度,使用户可以根据评估结果和实际需要快速选择合适的路由协议。实验结果证明,该方法是有效的。     

MANET环境下AODV协议的研究和改进

MANET网络就是移动Ad—Hoc网络，它是由若干节点所组成的一个移动自治系统，在一个无线Ad—Hoc网络中，节点之间通过多跳无线链路相互通信，所有的节点利用共享的无线媒质相互联系。这样节点之间路由问题就成为一个重点要解决的问题。目前，在这方面普遍采用DSR和AODV路由协议。但是，这两种路由协议对于要求QoS的网络来说还是力不从心的。文中主要讨论的是基于AODV路由协议的一些改进方案。     

基于串空间模型的Andrew RPC协议的分析与验证

本文首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。     

基于串空间的安全协议形式化验证模型及算法

网络安全在信息时代非常重要，而网络安全的关键问题之一是安全协议。首先介绍了当前安全协议形式化验证的前沿方向－－串空间理论，随后阐述了基于该理论设计的自动验证模型－－T模型，给出了该模型的算法及描述，并通过验证改进前后的Needham-Schroeder协议来说明T模型的优势。