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

	编码感知多跳无线网络安全路由协议
	郭显 ; 冯涛 ; 袁占亭
刊名	通信学报
	2012-06-25
期号	2012年06期页码:133-142
关键词	多跳无线网络安全路由协议 DCAR 形式化方法 LS2逻辑
ISSN号	ISSN：1000-436X
英文摘要	分析了网络编码系统DCAR"编码+路由"发现过程存在的安全问题,提出了适用于编码感知安全路由协议的安全目标,设计了基于DCAR的编码感知安全路由协议DCASR,DCASR协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模多跳无线网络特征和分析路由协议安全性,引入线程位置和线程位置相邻概念扩展安全系统逻辑LS2,提出了分析路由协议安全性的逻辑LS2-RP。LS2-RP用线程邻居集及邻居集的变化描述多跳无线网络的动态拓扑关系,用广播规则模型化多跳无线网络广播通信特征。最后,用LS2-RP协议编程语言描述了DCASR协议,用LS2-RP的谓词公式和模态公式描述DCASR协议的安全属性,用LS2-RP逻辑证明系统分析了DCASR协议的安全性,证明DCASR协议能够满足安全目标。
URL标识	查看原文
语种	中文
内容类型	期刊论文
源URL	[http://119.78.100.223/handle/2XXMBERH/11686]
专题	计算机与通信学院
作者单位	1.甘肃联合大学电子信息工程学院 2.西安电子科技大学计算机网络与信息安全教育部重点实验室 3.兰州理工大学计算机与通信学院
推荐引用方式 GB/T 7714	郭显,冯涛,袁占亭. 编码感知多跳无线网络安全路由协议[J]. 通信学报,2012(2012年06期):133-142.
APA	郭显,冯涛,&袁占亭.(2012).编码感知多跳无线网络安全路由协议.通信学报(2012年06期),133-142.
MLA	郭显,et al."编码感知多跳无线网络安全路由协议".通信学报 .2012年06期(2012):133-142.