Analysis of provably secure on-demand distance vector routing in MANET

Based on the simulation paradigm,Acs et al proposed a formal model tailored to the security analysis of on-demand distance vector routing protocols in MANET,and a routing protocol,called ARAN,was proven secure in the model.We indicate the improper manipulations such as mergence of the adjacent adversarial nodes,the improper definition of the correct system state in the model,and the flaw in the proof for ARAN.A new attack to ARAN is presented,which shows that ARAN is not provably secure even in their model.