Towards Provably Secure On-demand Source Routing in MANET
Liqiang Mao, Jianfeng Ma, Xuewen Dong · 2009
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.