可证明安全的MANET按需源路由协议分析

毛立强; 马建峰; 李兴华

您当前的位置：

首页 >

文章列表页 >

可证明安全的MANET按需源路由协议分析

学术论文 | 更新时间：2024-10-14

- 可证明安全的MANET按需源路由协议分析
- Analysis of provably secure on-demand source routing in MANET
- 通信学报 2009年30卷第1期页码：38-44
- 作者机构：
  
  1. 西安电子科技大学计算机学院
  2. 计算机网络与信息安全教育部重点实验室
- 作者简介：
- 基金信息：
- DOI：
  中图分类号： TN929.5
- 纸质出版日期：2009
- 稿件说明：
移动端阅览
毛立强, 马建峰, 李兴华. 可证明安全的MANET按需源路由协议分析[J]. 通信学报, 2009,30(1):38-44.

MAO Li-qiang1, MA Jian-feng1, LI Xing-hua1. Analysis of provably secure on-demand source routing in MANET[J]. 2009, 30(1): 38-44.
毛立强, 马建峰, 李兴华. 可证明安全的MANET按需源路由协议分析[J]. 通信学报, 2009,30(1):38-44. DOI：

MAO Li-qiang1, MA Jian-feng1, LI Xing-hua1. Analysis of provably secure on-demand source routing in MANET[J]. 2009, 30(1): 38-44. DOI：

摘要

对MANET安全按需源路由协议的一种形式化分析模型进行了深入分析

指出其中存在的合并相邻敌手节点等不合理操作以及该模型下endairA协议安全性证明过程中的错误

并给出了一种针对endairA协议的隐蔽信道攻击

表明该协议即使在其安全分析模型下也不能满足其安全目标。

Abstract

A formal model tailored to the security analysis of on-demand source routing protocols in MANET was analyzed

and the improper manipulations such as mergence of the adjacent adversarial nodes in the model and the flaw in the proof for endairA were indicated. A new hidden channel attack to endairA was presented

which shows that endairA is not provably secure even in their model.

关键词

Keywords

references

浏览量

183

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于异常检测和AUV辅助的水下传感器网络可靠节能路由协议

基于身份认证的BACnet/IP分析与改进

无人机集群联合拓扑控制的智能路由规划方法

后量子基于验证元的三方口令认证密钥交换协议

基于CPN的安全协议形式化建模及安全分析方法