编码感知多跳无线网络安全路由协议
- 详情
- 2021-08-07
- 简介
- 389KB
- 页数 10P
- 阅读 103
- 下载 26
分析了网络编码系统DCAR"编码+路由"发现过程存在的安全问题,提出了适用于编码感知安全路由协议的安全目标,设计了基于DCAR的编码感知安全路由协议DCASR,DCASR协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模多跳无线网络特征和分析路由协议安全性,引入线程位置和线程位置相邻概念扩展安全系统逻辑LS2,提出了分析路由协议安全性的逻辑LS2-RP。LS2-RP用线程邻居集及邻居集的变化描述多跳无线网络的动态拓扑关系,用广播规则模型化多跳无线网络广播通信特征。最后,用LS2-RP协议编程语言描述了DCASR协议,用LS2-RP的谓词公式和模态公式描述DCASR协议的安全属性,用LS2-RP逻辑证明系统分析了DCASR协议的安全性,证明DCASR协议能够满足安全目标。
对不起,您暂无在线预览权限,如需浏览请
立即登录热门商品
相关推荐
编码感知多跳无线网络安全路由协议 389KB
无线网络安全性论文 13KB
无线网络安全论文设计 353KB
浅析无线网络安全 107KB
第9章无线网络安全 12.1MB
无线网络论文 41KB
多类型异构无线网络连通性研究 442KB
医院无线网络安全建设措施及应用实践 1.4MB
WiMAX无线网络安全接入技术分析 420KB
无线网络环境下的网络安全 97KB