Title :
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
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;
Conference_Titel :
Information Assurance and Security, 2009. IAS '09. Fifth International Conference on
Conference_Location :
Xian
Print_ISBN :
978-0-7695-3744-3
DOI :
10.1109/IAS.2009.177
