03046nam 22005415 450 991029928740332120200703154130.0981-10-7467-410.1007/978-981-10-7467-7(CKB)3840000000351135(MiAaPQ)EBC5261362(DE-He213)978-981-10-7467-7(PPN)224636758(EXLCZ)99384000000035113520180201d2018 u| 0engurcnu||||||||rdacontentrdamediardacarrierMobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks /by Muhammad Usman, Vallipuram Muthukkumarasamy, Xin-Wen Wu, Surraya Khanum1st ed. 2018.Singapore :Springer Singapore :Imprint: Springer,2018.1 online resource (138 pages) illustrations, tables981-10-7466-6 Includes bibliographical references.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.Application softwareLogic, Symbolic and mathematicalMobile computingInformation Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mobile Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I29060Application software.Logic, Symbolic and mathematical.Mobile computing.Information Systems Applications (incl. Internet).Mathematical Logic and Formal Languages.Mobile Computing.006.3Usman Muhammadauthttp://id.loc.gov/vocabulary/relators/aut897569Muthukkumarasamy Vallipuramauthttp://id.loc.gov/vocabulary/relators/autWu Xin-Wenauthttp://id.loc.gov/vocabulary/relators/autKhanum Surrayaauthttp://id.loc.gov/vocabulary/relators/autBOOK9910299287403321Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks2005381UNINA