Conference paper ยท Book chapter
Secure information release in timed automata
One of the key demands of cyberphysical systems is that they meet their safety goals. Timed automata has established itself as a formalism for modeling and analyzing the real-time safety aspects of cyberphysical systems. Increasingly it is also demanded that cyberphysical systems meet a number of security goals for confidentiality and integrity.
Notions of security based on Information flow control, such as non-interference, provide strong guarantees that no information is leaked; however, many cyberphysical systems leak intentionally some information in order to achieve their purposes. In this paper, we develop a formal approach of information flow for timed automata that allows intentional information leaks.
The security of a timed automaton is then defined using a bisimulation relation that takes account of the non-determinism and the clocks of timed automata. Finally, we define an algorithm that traverses a timed automaton and imposes information flow constraints on it and we prove that our algorithm is sound with respect to our security notion.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2018 |
Pages: | 28-52 |
Proceedings: | 7<sup>th</sup> International Conference on Principles of Security and Trust |
Series: | Lecture Notes in Computer Science |
ISBN: | 3319897217 , 3319897225 , 9783319897219 and 9783319897226 |
ISSN: | 03029743 and 16113349 |
Types: | Conference paper and Book chapter |
DOI: | 10.1007/978-3-319-89722-6_2 |
ORCIDs: | Nielson, Flemming and Nielson, Hanne Riis |