Towards Provably Secure On-demand Source Routing in MANET

Author

Mao, Liqiang ; Ma, Jianfeng ; Dong, Xuewen

Author_Institution

Sch. of Comput. Sci. & Technol., Xidian Univ., Xi´´an, China

Volume

2

fYear

2009

fDate

18-20 Aug. 2009

Firstpage

299

Lastpage

302

Abstract

Based on the simulation paradigm, Acs et al proposed a formal model tailored to the security analysis of on-demand 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.

Keywords

ad hoc networks; mobile radio; routing protocols; telecommunication security; MANET; channel attack; endairA routing protocol; mobile ad hoc networks; secure ondemand source routing protocols; Analytical models; Computational modeling; Computer science; Computer security; Computer simulation; Cryptographic protocols; Information analysis; Information security; Mobile ad hoc networks; Routing protocols; formal analysis; provable security; routing protocol; simulation paradigm;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Assurance and Security, 2009. IAS '09. Fifth International Conference on

Conference_Location

Xian

Print_ISBN

978-0-7695-3744-3

Type

conf

DOI

10.1109/IAS.2009.177

Filename

5283478