From System Specification to Anomaly Detection (and back)
Authors:
Open Access
- 3 November 2017
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 13-24
Abstract
No abstract availableFunding Information
- Nederlandse Organisatie voor Wetenschappelijk Onderzoek
- European Commission (700665)
This publication has 38 references indexed in Scilit:
- Monitoring Compliance Policies over Incomplete and Disagreeing Logs2013
- Monitoring of Temporal First-Order Properties with AggregationsLecture Notes in Computer Science, 2013
- A log mining approach for process monitoring in SCADAInternational Journal of Information Security, 2012
- Policy Monitoring in First-Order Temporal Logic2010
- McPAD: A multiple classifier system for accurate payload-based anomaly detectionComputer Networks, 2009
- Passive Scanning in Modbus Networks2007
- Combination Methods for Satisfiability and Model-Checking of Infinite-State SystemsLecture Notes in Computer Science, 2007
- Anagram: A Content Anomaly Detector Resistant to Mimicry Attack2006
- Anomalous Payload-Based Network Intrusion Detection2004
- Failure diagnosis using discrete-event modelsIEEE Transactions on Control Systems Technology, 1996