Title :
Formal verification of mobile agent based anomaly detection in Wireless Sensor Networks
Author :
Usman, Muhammad ; Muthukkumarasamy, Vallipuram ; Xin-Wen Wu
Author_Institution :
Sch. of Inf. & Commun. Technol., Griffith Univ., Gold Coast, QLD, Australia
Abstract :
Mobile agent technology offers a number of advantages to resource constrained Wireless Sensor Networks (WSNs) by facilitating parallelism, code and data dissemination, localization, and distributed security services. As part of the second line of defense for WSNs, anomaly detection schemes are also benefiting from mobile agent technology. The formal verification can be used to validate the correctness of a system using formal specifications. This study employs Behavior Trees (BTs) for formal verification of mobile agent based anomaly detection system in WSNs. We employed BT based formal semantics to integrate the behavior projection of different components of anomaly detection system. The Symbolic Analysis Laboratory (SAL) tool is used to formally specify the behavior tree model. The analysis based on Linear Temporal Logic (LTL) theorems validates the completeness and consistency of the formal model of mobile agent based anomaly detection system.
Keywords :
formal specification; formal verification; mobile agents; telecommunication computing; telecommunication security; temporal logic; tree data structures; wireless sensor networks; BT; LTL; SAL tool; WSN; behavior trees; code dissemination; data dissemination; distributed security services; formal verification; linear temporal logic; mobile agent based anomaly detection system; symbolic analysis laboratory; wireless sensor networks; Conferences; Formal verification; Mobile agents; Protocols; Security; Tin; Wireless sensor networks; Anomaly detection; behavior tree; formal verification; mobile agent; wireless sensor networks (WSNs);
Conference_Titel :
Local Computer Networks Workshops (LCN Workshops), 2013 IEEE 38th Conference on
Conference_Location :
Sydney, NSW
Print_ISBN :
978-1-4799-0539-3
DOI :
10.1109/LCNW.2013.6758544