编码感知多跳无线网络安全路由协议

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

作者机构：兰州理工大学计算机与通信学院甘肃兰州730050 甘肃联合大学电子信息工程学院甘肃兰州730010 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 

出 版 物：《通信学报》 (Journal on Communications)

年 卷 期：2012年第33卷第6期

页      面：133-142页

核心收录：

学科分类：0839[工学-网络空间安全] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金资助项目(60972078) 甘肃省高等学校基本科研业务费基金资助项目(0914ZTB186) 兰州理工大学博士基金资助项目(BS14200901) 甘肃省自然科学基金资助项目(1014RJZA005) 

主　　题：多跳无线网络 安全路由协议 DCAR 形式化方法 LS2逻辑 

摘      要：分析了网络编码系统DCAR编码+路由发现过程存在的安全问题,提出了适用于编码感知安全路由协议的安全目标,设计了基于DCAR的编码感知安全路由协议DCASR,DCASR协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模多跳无线网络特征和分析路由协议安全性,引入线程位置和线程位置相邻概念扩展安全系统逻辑LS2,提出了分析路由协议安全性的逻辑LS2-RP。LS2-RP用线程邻居集及邻居集的变化描述多跳无线网络的动态拓扑关系,用广播规则模型化多跳无线网络广播通信特征。最后,用LS2-RP协议编程语言描述了DCASR协议,用LS2-RP的谓词公式和模态公式描述DCASR协议的安全属性,用LS2-RP逻辑证明系统分析了DCASR协议的安全性,证明DCASR协议能够满足安全目标。