2009 · 62 citations · 4 references
EngineeringIndustrial EngineeringInformation SecurityResilient Control SystemIndustrial Control SystemDetect AnomaliesSoftware AnalysisFormal VerificationControl SystemsAdvanced Anomaly DetectionHardware SecurityReliability EngineeringScada SecuritySystems EngineeringCps SecurityIntrusion Detection SystemIntrusion ToleranceComputer ScienceIndustrial Control SystemsData SecurityAutomationProcess ControlFormal MethodsIndustrial AutomationIntrusion DetectionBusinessIacs Specific AnomalyControl System SecurityIndustrial InformaticsReliable Security Configuration
Industrial automation and control systems (IACS) today are often based on common IT technologies. However, they often lack security mechanisms and those available in enterprise IT environments are often not suitable for IACS. Other mechanisms require significant manual maintenance which is error prone. In this paper we present an approach that leverages the unique characteristics of IACS, in particular their deterministic behavior and often available formal system description, to reliably detect anomalies and reproducibly generate configurations for security mechanisms such as firewalls. In particular, we extend common IDS technology to also detect an IACS specific anomaly: the missing of required traffic.
4
A quantitative study of firewall configuration errors
Avishai Wool · Computer · 2004 · 389 citations
Engineering, Information Security, Next-generation Firewall +16
Intrusion detection: a brief history and overview
Richard A. Kemmerer, Giovanni Vigna · Computer · 2002 · 383 citations
Engineering, Information Security, Information Forensics +17
Security for Industrial Communication Systems
Dacfey Dzung, Martin Naedele, Thomas P. von Hoff et al. · Proceedings of the IEEE · 2005 · 376 citations