Name
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 cyber-physical 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. We develop a language based approach to the modelling and analysis of timed systems that allows to incorporate considerations of information flow control. We define a type system for information flow that takes account of the non-determinism and clocks of timed systems. The adequacy of the type system is ensured by means of a non-interference result. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1007/978-3-319-63121-9_1 | Lecture Notes in Computer Science |
DocType | Volume | ISSN |
Conference | 10460 | 0302-9743 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| flemming nielson | 1 | 1769 | 172.05 |
| Hanne Riis Nielson | 2 | 1719 | 153.77 |
| Panagiotis Vasilikos | 3 | 0 | 0.34 |