论文部分内容阅读
无线移动自组网(Ad Hoc networks)是一种新兴的网络技术,具有单独组网能力和自组织的特点,在军事、民用、灾害营救等领域具有广泛的应用前景,已成为当前无线通信领域研究的一个热点。OLSR(Optimized Link State Routing)协议是Ad Hoc网络中重要的先应式路由协议,在这种协议中,无论是否有通信需求,每个节点都采用周期性的路由分组广播、交换路由信息,维护一张包含到达其他节点的路由信息表。在协议中,每个节点周期发送HELLO、TC消息包等来建立和维护路由,如果使用在没有任何安全保护的网络情况下,这些网络拓扑信息将会暴露给那些想监听的任何人和机器面前,并且易受到各种攻击,网络的完整性和安全性将会受到破坏。相对于其他已有的相关研究,本论文主要采用了基于身份签名的机制来保证网络的完整性和安全性。主要涉及的工作内容如下:(1)了解Ad Hoc网络的发展、产生、现状、特点、研究热点和应用等;并对Ad Hoc网络中OLSR协议的安全性进行深入研究。(2)对OPNET网络仿真进行了深入学习和研究,熟悉OPNET的建模,仿真流程和网络仿真等的应用。(3)对密码编码学与网络安全的知识进行了深入学习和研究;并对OLSR协议的进行安全性设计,提出了移动Ad hoc网络基于身份签名机制的安全优化链路状态路由协议IDBS-SOLSR(Securing OLSR relied on Identity-BasedSignature)。(4)在网络仿真工具OPNET下,对新协议IDBS-SOLSR进行了建模和仿真。(5)学习和研究了国际公认的AVISPA(Automated Validation of InternetSecurity Protocols and Applications)工具集中的体系结构、LPSL2IF编译器和HLPSL形式化描述语言,基于HLPSL形式化语言编写了IDBS-SOLSR协议脚本,在在Linux环境下进行形式化验证。文章主要特色和创新之处如下:(1)利用身份签名机制的公钥加密算法实现数字签名,提出IDBS-SOLSR协议,该协议增加数据完整性、来源真实性、防止篡改和抗重放攻击等安全服务。(2)使用国际公认的网络仿真工具OPNET仿真新协议,仿真结果表明该协议相对采用RSA机制,产生的网络延时较小。(3)最后采用HLPSL形式化描述语言对改进的协议进行代码编写、运行和验证,结果表明该协议能够达到既定的安全目标。