TY - GEN
T1 - Modelling and Verification of Safety of Access Control in SCADA Systems
AU - Vistbakka, Inna
AU - Troubitsyna, Elena
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - Modern safety-critical systems become increasingly networked and interconnected. To ensure their safety, the designers should guarantee not only that the critical parameters are accessed and modified by authorised users and components but also that the permitted operations should not violate safety. Traditionally, the designers rely on Role-Based Access Control (RBAC) to define the access to the system parameters. In this paper, we define a safety-aware RBAC model that takes into account current system state and safety of intended actions. Our approach relies on contract-based reasoning and formal modelling in Event-B. The approach is illustrated by a case study – a supervised control of a power switch.
AB - Modern safety-critical systems become increasingly networked and interconnected. To ensure their safety, the designers should guarantee not only that the critical parameters are accessed and modified by authorised users and components but also that the permitted operations should not violate safety. Traditionally, the designers rely on Role-Based Access Control (RBAC) to define the access to the system parameters. In this paper, we define a safety-aware RBAC model that takes into account current system state and safety of intended actions. Our approach relies on contract-based reasoning and formal modelling in Event-B. The approach is illustrated by a case study – a supervised control of a power switch.
UR - http://www.scopus.com/inward/record.url?scp=85102624848&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-68887-5_23
DO - 10.1007/978-3-030-68887-5_23
M3 - Conference contribution
AN - SCOPUS:85102624848
SN - 9783030688868
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 354
EP - 364
BT - Risks and Security of Internet and Systems - 15th International Conference, CRiSIS 2020, Revised Selected Papers
A2 - Garcia-Alfaro, Joaquin
A2 - Leneutre, Jean
A2 - Cuppens, Nora
A2 - Yaich, Reda
PB - Springer Science and Business Media Deutschland GmbH
T2 - 15th International Conference on Risks and Security of Internet and Systems, CRISIS 2020
Y2 - 4 November 2020 through 6 November 2020
ER -