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

摘要：

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

关键词： 多跳无线网络 安全路由协议 网络编码

作者: 郭显 冯涛 袁占亭

作者单位: 兰州理工大学 计算机与通信学院, 甘肃 兰州 730050 兰州理工大学 计算机与通信学院, 甘肃 兰州 730050 西安电子科技大学 计算机网络与信息安全教育部重点实验室, 陕西 西安 710071

会议类型: 国内会议

会议名称: 第四届中国计算机网络与信息安全学术会议(CCNIS2011)

会议地点: 郑州

会议语种:中文

页码: 1-9

在线出版日期: 2011-11-01（万方平台首次上网日期，不代表论文的发表时间）