Formal verification of mobile agent based anomaly detection in Wireless Sensor Networks.
Muhammad UsmanVallipuram MuthukkumarasamyXin-Wen WuPublished in: LCN Workshops (2013)
Keyphrases
- anomaly detection
- formal verification
- wireless sensor networks
- model checking
- intrusion detection
- detecting anomalies
- mobile agents
- sensor networks
- bounded model checking
- network traffic
- anomalous behavior
- network intrusion detection
- automated verification
- model checker
- one class support vector machines
- computer security
- symbolic model checking
- unsupervised anomaly detection
- intrusion detection system
- data sets
- network anomaly detection
- malware detection
- network security
- temporal logic
- unsupervised learning
- detect anomalies
- detecting anomalous
- behavior analysis
- network intrusion
- high dimensional
- intrusion prevention
- training data