Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
Wed 19 May 2021 14:00 - 14:30 at FormaliSE Room - Model checking

The field of industrial automation is experiencing growth in interconnectivity and digital interaction. This growth is slower than in a consumer segment due to often critical nature of industrial control systems. Security of such systems is an important aspect as malicious behaviors could lead to potential system malfunction, injuries or financial losses. As control networks are becoming more complex, having a robust credential management for system operators and users that could interact with the system components is an essential need. One way of assuring the robustness of the credential management is by using formal methods. In this paper we present a formally verified credential management system for use within industrial control systems. We demonstrate that the credential management can use centralized credential storage with secret passwords available only to system administrators. We use UPPAAL to formally analyze security properties based on requirements defined by our industrial partner and present the viability of formal verification to a real-world industrial case study.

Wed 19 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:00
Model checkingFormaliSE 2021 at FormaliSE Room
14:00
30m
Talk
Formally Verified Credentials Management for Industrial Control Systems
FormaliSE 2021
Tomas Kulik Aarhus University, Jalil Boudjadar Aarhus University, Diego F. Aranha Aarhus University
Pre-print Media Attached
14:30
30m
Talk
Improved Bounded Model Checking of Timed Automata
FormaliSE 2021
Robert L. Smith Politecnico di Milano, Marcello Bersani Politecnico di Milano, Italy, Matteo Rossi Politecnico di Milano, Pierluigi San Pietro Politecnico di Milano
Pre-print Media Attached

Information for Participants
Wed 19 May 2021 14:00 - 15:00 at FormaliSE Room - Model checking
Info for room FormaliSE Room:

Go directly to this room on Clowdr