Ad hoc网络安全路由协议SRP的分析与改进

安全性是决定Adhoc网络能否得到充分利用的一个关键所在。由于不依赖固定基础设施,Adhoc网络的安全体系结构面临新的挑战,其中路由协议的安全问题是一个很重要的问题。首先介绍了安全路由协议SRP的设计思想并分析了其存在的安全漏洞问题,然后针对其漏洞问题提出一种改进的安全路由协议ESRP,并进行模拟分析。     

基于SPI演算的移动自主网络安全路由协议分析

安全协议是许多分布式系统安全的基础,也是MANET网络的基础,确保MANET路由协议的安全运行是极为重要的。对于MANET的特点,设计一个可靠的安全路由协议是必须的,也是一个艰巨的任务,但大多数的安全路由协议都是通过模拟结果来进行解释的,缺乏严格形式化分析来确保其安全属性。在传统的安全属性中,加密协议已经被形式化分析许多年了,然而去形式化分析移动adhoc网路由协议的工作并没有出现已成熟的方法和理论的文献。论文针对SRP(secureroutingprotocol)协议模型用SPI演算做出形式化分析,在论文提出的攻击者进程模型下,可以推导出SRP产生一定的脆弱性。     

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

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

MANET安全距离向量路由协议分析与设计

防范篡改攻击、获取正确的路由信息是安全路由协议设计的主要目标.基于MANET网络成熟的距离向量路由协议DSDV,分析已有安全设计方案SEAD安全性,设计了一个新的安全DSDV路由协议S-DSDV,并采用串空间方法证明其能够防范篡改攻击,为网络节点获取正确的路由信息.     

Ad-hoc路由协议的串空间安全性扩展

根据Ad-hoc移动网络特点,深入分析了串空间模型的一致性条件,提出路由五段式模型,将中继者可信条件修改为任意中继者可信条件,使串空间适用于Ad-ho。安全路由协议分析。然后以一个攻击实例验证路由五段式模型的正确性和优越性。     

移动ad hoc网络安全路由协议综述

移动adhoc网络路由协议对于各种针对路由协议的攻击无能为力,因为路由协议并未考虑安全因素,攻击者肆意利用路由协议中的安全隐患来破坏网络。论文综述了移动adhoc网络安全路由协议研究方面的一些最新工作,对该领域各种安全路由协议进行了研究分析,并描述了移动adhoc网络安全路由协议所面临的安全挑战。     

移动Adhoc网络分级安全路由SAODV协议研究

在移动Adhoc网络中,路由协议的安全性和开销已经成为一个重要的问题。SecureAODV（SAODV）协议作为Adhoc网络中一种流行的安全路由协议,其节点的签名验证过程和双签名机制限制了协议性能的提高。在对SAODV协议和A—SAODV协议比较分析的基础上提出了一种新的安全性改进方案,有效地引入了安全级别的概念,并对A--SAODV协议的自适应机制（AdaptiveReply Decision）进行了进一步优化。在NS2下的仿真结果表明,改进后的A—SAODV协议在缩短端到端延迟、提高吞吐量、增强安全等方面效果显著。     

一种安全的Ad Hoc网络路由协议SGSR

Ad Hoc网络作为一种无线移动网络,其安全问题,特别是路由协议的安全备受关注。针对现有适合移动Ad Hoc网络的链路状态路由协议GSR无法防范恶意节点伪造、篡改、DoS攻击的现状,本文提出了一种在移动Ad Hoc网络中抵抗单个节点恶意攻击的安全路由协议SGSR,给出了认证协议的形式化证明,并对路由协议进行仿真和性能分析。     

基于Ad Hoc网络路由协议的安全技术研究及应用

Ad Hoc网络的安全路由直接影响到网络的正常通信,因此有必要采取一定的技术措施提高路由协议的安全性.本文首先介绍了移动Ad Hoc网络安全路由协议应满足的五个要求,并对关键的安全技术及其在Ad Hoc路由协议中的应用进行了分类介绍.本文最后提出一种基于路由协议DSR的安全增强方案.     

基于改进的串空间分析Ad Hoc路由协议安全性

根据Ad Hoc移动网络特点,重新定义了串空间中协议正常运行的一致性条件,在一致性条件中增加了中继可信条件,使串空间适用于Ad Hoc安全路由协议分析.以SRP协议为例进行协议分析,得出有价值的结果.     

Robust and secure routing scheme for wireless multihop network

Mobile ad hoc network (MANET) is an appealing technology that has attracted lots of research efforts. On-demand routing protocol such as AODV may suffer from frequent topological changes. Due to frequent communication failures, multipath MANET is preferred than single-path MANET in many applications as former is used for achieving robustness and load balancing and improving reliability. Although multipath MANET is attractive solution, there are still some major flaws that prevent commercial growth. Security is one of these main barriers; MANETs are known to be particularly vulnerable to security attack. The paper presents a design of robust and secure framework for multipath MANET. In this paper, we propose not only a robust multipath routing protocol but also an extended security scheme. We discuss security analysis for proposed security scheme. And we also conduct simulation to evaluate such a framework through different performance metrics. Results show that the proposed routing protocol achieves better performance in terms of various metrics than other protocols.     

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

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

Ad Hoc网络安全路由协议SDSR设计

动态源路由(DSR)协议中没有考虑任何安全的防护措施。为此,在分析DSR协议和安全路由协议(SRP)的基础上提出一种具有较高安全性的路由协议SDSR。将改进的SRP协议嵌入DSR协议中,并在DSR协议路由发现中添加路由记录压缩函数。仿真实验表明, SDSR协议在不影响基本性能的前提下可提高安全性。     

MANET虚假路由形式化验证

提出了Ad-hoc网络虚假路由攻击的形式化验证和分析方法,主要是在参数化Ad-hoc路由协议串空间模型的基础上采用改进的Athena状态表示法来描述问题域,并采用相应的证明搜索过程来完成目标验证。最后设计实现了虚假路由自动验证系统FRpoofor,用它验证和分析了Ariadne安全路由协议运行环境下某些虚假路由的建立过程,以此说明方法的有效性。     

移动Ad hoc网络路由安全性研究

路由协议安全性问题是移动Ad hoc网络研究重要课题。对移动Ad hoc网络路由协议中存在的安全问题和典型解决方案做了综述和分析。根据所适用的算法,将安全路由协议及其改进策略进行了分类。对路由安全性研究有较好的借鉴意义。     

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

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

拓扑隐藏的MANET 安全多路径路由协议

分析了移动自组网(mobile ad hoc network,简称MANET)暴露拓扑带来的安全问题,提出了一种拓扑隐藏的安全多路径路由协议.在路由发现过程中,不在路由包中携带任何路径信息,从而有效隐藏网络拓扑.通过按需的邻居发现进行身份认证并建立路由表项,最终采用排除节点的方法实现多路径的选取;在路由维护过程中,设计了专门的错误发现机制以检验所选路径的有效性和安全性.该协议综合考虑时间因素和路径长度因素,实现了安全的最短路径确定.安全分析表明,该方案可以抵御黑洞攻击、虫洞攻击、rushing攻击和sybil等典型攻击,同时对一般类型的攻击也具有抵御能力.仿真结果表明,与SRP(secure routing protocol)这种典型的安全多路径方案相比,该方案能够找到更多节点不相交的多路径;在普通场景中,该方案没有对协议性能带来额外影响;在黑洞攻击场景中,该方案只需付出一定的信令开销即可大幅度提高数据包转发率,可有效抵御黑洞攻击.