Stammdaten

ARMET: Behavior-Based Secure and Resilient Industrial Control Systems.
Untertitel:
Kurzfassung:

In this paper, we introduce a design methodology to develop reliable and secure industrial control systems (ICSs) based on the behavior of their computational resources (i.e., process/application) and underlying physical resources (e.g., the controlled plant). The methodology has three independent, but complementary, components that employ novel approaches and techniques in the design of reliable and secure ICSs. First, we introduce reliable-and-secure-by-design development of secure industrial control applications through stepwise sound refinement of an executable specification, employing deductive synthesis to enforce functional and nonfunctional (e.g., security and safety) properties of ICS applications. Second, we present a runtime security monitor at the middleware level of ICSs that protects ICS operation in the field through comparison of the application execution and the application specification execution in real time; the runtime security monitor can be synthesized from the executable specification. Finally, based on the specification, we perform a vulnerability analysis for false data injection (FDI) attacks, which leads to ICS application designs that are resilient to this type of attacks. We demonstrate the methodology through its application to a basic and typical ICS example application, describing all the tools used and ARMET, the middleware monitor that constitutes the core component of the methodology.

Schlagworte:
Publikationstyp: Beitrag in Zeitschrift (Autorenschaft)
Art der Veröffentlichung Printversion
Erschienen in: Proceedings of the IEEE
Proceedings of the IEEE
zur Publikation
 ( IEEE; )
Erscheinungdatum: 01.2018
Titel der Serie: -
Bandnummer: 106
Heftnummer: 1
Erstveröffentlichung: Ja
Seite: S. 129 - 143

Identifikatoren

ISBN: -
ISSN: 0018-9219
DOI: http://dx.doi.org/10.1109/JPROC.2017.2725642
AC-Nummer: -
Homepage: https://ieeexplore.ieee.org/document/8011473
Open Access
  • Online verfügbar (nicht Open Access)

Zuordnung

Organisation Adresse
Fakultät für Technische Wissenschaften
 
Institut für Informatik-Systeme
Universitätsstr. 65-67
A-9020  Klagenfurt
Österreich
  -993502
   sek-eder@isys.uni-klu.ac.at
https://www.aau.at/isys/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung

Sachgebiete
  • 102 - Informatik
Forschungscluster Kein Forschungscluster ausgewählt
Zitationsindex
  • Science Citation Index (SCI)
Informationen zum Zitationsindex: Thomson Reuters Master Journal List
Peer Reviewed
  • Ja
Publikationsfokus
  • Science to Science (Qualitätsindikator: I)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen
  • Software Engineering Research Group

Kooperationen

Organisation Adresse
INDUSTRIAL SYSTEMS INSTITUTE
PATRAS SCIENCE PARK BUILDING, STADIOU STR. PLATANI
26500  PATRAS
Griechenland
PATRAS SCIENCE PARK BUILDING, STADIOU STR. PLATANI
GR - 26500  PATRAS
MIT CSAIL
Vereinigte St. v. Amerika
US  

Beiträge der Publikation

Keine verknüpften Publikationen vorhanden