通信学报2012，Vol.33Issue(6)：133-142,10.
编码感知多跳无线网络安全路由协议
Coding-aware secure routing for multi-hop wireless networks
摘要
Abstract
To address security issues of DCAR in "coding+routing" discovery,a new security destination was proposed and a distributed coding-aware secure routing (DCASR) was designed. DCASR guarantees discovery of correct coding opportunity and establishment of trusted routes by using cryptography. To analyze the properties of DCASR,LS2 (logic of security systems) was extended,and a new logic LS2-RP (LS2 for routing protocol) was proposed. In LS2-RP,the concepts of location and neighboring location of thread were introduced. The dynamic topology of multi-hop wireless networks was described by the set of neighbors for thread. The broadcast rule of neighboring location threads modeled the feature of wireless broadcast communication. Finally,DCASR was described by programming language of LS2-RP and security properties were defined by predicates and modal formulas of LS2-RP. Security of DCASR was analyzed by using the proof system of LS2-RP. DCASR can satisfy our secure destination.关键词
多跳无线网络/安全路由协议/DCAR/形式化方法/LS2逻辑Key words
multi-hop wireless network/secure routing/DCAR/formal method/LS2分类
信息技术与安全科学引用本文复制引用
郭显,冯涛,袁占亭..编码感知多跳无线网络安全路由协议[J].通信学报,2012,33(6):133-142,10.基金项目
国家自然科学基金资助项目(60972078) （60972078）
甘肃省高等学校基本科研业务费基金资助项目(0914ZTB186) （0914ZTB186）
兰州理工大学博士基金资助项目(BS14200901) （BS14200901）
甘肃省自然科学基金资助项目(1014RJZA005) （1014RJZA005）
