Towards Provably Secure On-Demand Source Routing in MANET

摘要：

Based on the simulation paradigm, Acs et al proposed a formal model tailored to the security analysis of ondemand source routing protocols in MANET, and a new routing protocol, called endairA, was proven secure in the model. We indicate the improper manipulations such as mergence of the adjacent adversarial nodes, the improper definition of secure route in the model, and the flaw in the proof for endairA. A new hidden channel attack to endairA is presented, which shows that endairA is not provably secure even in their model.

关键词： routing protocol provable security formal analysis simulation paradigm

作者: Liqiang Mao Jianfeng Ma Xuewen Dong

作者单位: School of Computer Science & Technology Xidian University Xian,China

会议类型: 国际会议

会议名称: The Fifth International Conference on Information Assurance and Security(第五届信息保障与安全国际会议)

会议地点: 西安

会议语种:英文

页码: 299-302

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