Book chapter · Conference paper
Information Flow for Timed Automata
In
Lecture Notes in Computer Science
—
2017, Volume 10460, pp. 3-21
Abstract
One of the key demands of cyberphysical systems is that they meet their safety goals. Timed Automata has established itself as a formalism for modelling and analysing 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.
Information Flow Control is an approach to ensuring that there are no flows of information that violate the stated security policy.
| Language: | English |
|---|---|
| Publisher: | Springer |
| Year: | 2017 |
| Pages: | 3-21 |
| Proceedings: | KiMfest 2017 |
| Series: | Lecture Notes in Computer Science |
| Journal subtitle: | Essays Dedicated To Kim Guldstrand Larsen on the Occasion of His 60th Birthday |
| ISBN: | 3319631209 , 3319631217 , 9783319631202 and 9783319631219 |
| ISSN: | 03029743 |
| Types: | Book chapter and Conference paper |
| DOI: | 10.1007/978-3-319-63121-9_1 |
| ORCIDs: | 0000-0003-4004-6049 , 0000-0001-8529-0681 , Nielson, Flemming and Nielson, Hanne Riis |
