Action-Based Security Rules for Railway Control Systems

Lecture notes in computer science 2026

View at publisher
Authors: Rocco De Nicola, Simone Soderi
DOI: 10.1007/978-3-032-12484-5_17
Cited by: 0
References: 22

Fields of Study & Subjects

Formal Methods in Verification Smart Grid Security and Resilience Access Control and Trust

Publication details

Journal / source
Lecture notes in computer science
Pages
314–332
Publication date
1 January 2026
Language
EN