Muhammad Usman, Vallipuram Muthukkumarasamy, Xin-Wen Wu. Formal verification of mobile agent based anomaly detection in Wireless Sensor Networks. In 38th Annual IEEE Conference on Local Computer Networks, Sydney, Australia, October 21-24, 2013 - Workshop Proceedings. pages 1001-1009, IEEE, 2013. [doi]
Abstract is missing.