Formal Threat Analysis for Ad-Hoc Routing Protocol: Modelling and Checking the Sybil Attack. - Jing-Jing Gui; Jinshuang Wang; Yusen Zhang; Tao Zhang (Intell. Autom. Soft Comput., 2011)