TY - BOOK AU - Usman,Muhammad AU - Muthukkumarasamy,Vallipuram AU - Wu,Xin-Wen AU - Khanum,Surraya ED - SpringerLink (Online service) TI - Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks SN - 9789811074677 AV - QA76.76.A65 U1 - 005.7 23 PY - 2018/// CY - Singapore PB - Springer Singapore, Imprint: Springer KW - Application software KW - Mathematical logic KW - Mobile computing KW - Information Systems Applications (incl. Internet) KW - Mathematical Logic and Formal Languages KW - Mobile Computing N1 - Acceso multiusuario N2 - This book presents the latest developments regarding a detailed mobile agent-enabled anomaly detection and verification system for resource constrained sensor networks; a number of algorithms on multi-aspect anomaly detection in sensor networks; several algorithms on mobile agent transmission optimization in resource constrained sensor networks; an algorithm on mobile agent-enabled in situ verification of anomalous sensor nodes; a detailed Petri Net-based formal modeling and analysis of the proposed system, and an algorithm on fuzzy logic-based cross-layer anomaly detection and mobile agent transmission optimization. As such, it offers a comprehensive text for interested readers from academia and industry alike UR - http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-981-10-7467-7 ER -