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

• 作者: 冯涛 袁占亭 郭显
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 多跳无线网络 安全路由协议 DCAR 形式化方法 LS2逻辑
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 133-142
• 分类号: TP309
• 字数: 9661字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436X.2012.06.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁占亭	兰州理工大学计算机与通信学院	84	771	14.0	25.0
2	冯涛	兰州理工大学计算机与通信学院	33	352	13.0	17.0
6	郭显	兰州理工大学计算机与通信学院	13	50	4.0	6.0