协议组合逻辑安全的Ad Hoc网络路由协议安全验证方法

作     者：郭显 冯涛 袁占亭 GUO Xian;FENG Tao;YUAN Zhan-ting

作者机构：兰州理工大学计算机与通信学院兰州730050 

基　　金：国家自然科学基金项目(60972078)资助 甘肃省自然科学基金项目(1014RJZA005)资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2013年第34卷第12期

页      码：2794-2799页

摘      要：扩展协议组合逻辑PCL,提出了建模移动Ad Hoc网络和分析路由协议安全性的符号模型PCL-RP模型.PCL-RP模型中,为模型化网络节点移动和多跳无线广播通信特征,引入了线程位置和线程位置相邻概念,定义了广播规约规则.PCLRP模型中提出了运行迹概念,在运行迹上定义了谓词公式和模态公式的语义.分析协议安全属性时,PCL-RP模型证明系统中的公理和规则保证无需明确推理攻击者的行为,这种方法能够简化分析过程,提高安全分析的可信度.另外,提出了路由协议安全目标,设计了基于动态源路由协议DSR的安全路由协议LSDSR.最后,在PCL-RP模型中描述并分析了LSDSR的安全性,证明LSDSR能够满足安全目标.

主 题 词：移动Ad Hoc网络 协议组合逻辑 安全路由协议 动态源路由协议 

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2013.12.027

馆 藏 号：203419503...