Formal verification of mobile agent based anomaly detection in Wireless Sensor Networks.

Muhammad Usman, Vallipuram Muthukkumarasamy, Xin-Wen Wu

Browse the full LCN paper archive.