Formal Model In-The-Loop for Secure Industrial Control Networks

Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik*, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha

*Corresponding author for this work

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Abstract

Current trends of digitalization are becoming significantly prevalent within the field of industrial control systems. While in recent history a typical industrial control system would have been isolated with rudimentary ways of extracting data, nowadays it is becoming expected that the control system could not only provide large amounts of data over the network but also receive firmware updates and patches. To this end it is important to secure the communication between the components of the system, as well as ensure that only approved components can communicate together. Secure communication and device authentication could be achieved by use of cryptographic keys and certificates. The system however must be able to securely manage the keys and certificates in order to ensure their authenticity and validity. In this paper we present a prototype of a pluggable key management device for industrial control systems with a key management protocol and integrated formal analysis of the running system – a model in-the-loop. This allows the system to continuously analyse the network traffic according to the protocol using VDM and hence assure compliance with several security properties. We use off-the-shelf hardware, custom key and device management protocol and VDM to ensure that the device satisfies requirements posed by our industrial partner.

Original languageEnglish
Title of host publicationFormal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings
Number of pages16
PublisherSpringer
Publication dateNov 2022
Pages74-89
ISBN (Print)978-3-031-20871-3
ISBN (Electronic)978-3-031-20872-0
DOIs
Publication statusPublished - Nov 2022
Event18th International Conference on Formal Aspects of Component Software (FACS) - Online, Oslo, Norway
Duration: 10 Nov 202211 Nov 2022
https://facs-conference.github.io/

Conference

Conference18th International Conference on Formal Aspects of Component Software (FACS)
LocationOnline
Country/TerritoryNorway
CityOslo
Period10/11/202211/11/2022
Internet address
SeriesLecture Notes in Computer Science
Volume13712
ISSN0302-9743

Keywords

  • Aspect oriented programming
  • Formal model
  • Network security
  • VDM

Fingerprint

Dive into the research topics of 'Formal Model In-The-Loop for Secure Industrial Control Networks'. Together they form a unique fingerprint.

Cite this