Modeling and Analyzing the Sybil Attack to Ad-Hoc Routing Protocols

the Sybil attack is exceedingly detrimental and subtle to routing mechanism in ad-hoc network. In this paper we propose a framework in which the vulnerability to the Sybil attack for ad-hoc routing protocol can be modeled in a mathematic approach, and the formal analysis is carried out under our extended strand space mode in order to further analyze the validity of the threats from the Sybil attackers. As an example, our framework is used to analyze a security route protocol, called endairA, the result shows that endairA has a flaw of creating false routes in present of the Sybil attack by utilizing some specific network topology leak.