Tao Song Calvin Ko Chinyang Henry Tseng Poornima Balasubramanyam Anant Chaudhary Karl N. Levitt Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks. 16-33 2005 conf/ifip1-7/2005 Formal Aspects in Security and Trust http://dx.doi.org/10.1007/11679219_3 db/conf/ifip1-7/fast2005.html#SongKTBCL05