Model Checking the Information Flow Security of Real-Time Systems
Gerking, Christopher
; Schubert, David; Bodden, Eric; Payer, Mathias [Hrsg.]; Rashid, Awais [Hrsg.]; Such, Jose M. [Hrsg.]
; Schubert, David; Bodden, Eric; Payer, Mathias [Hrsg.]; Rashid, Awais [Hrsg.]; Such, Jose M. [Hrsg.]| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2018 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-319-94495-1 ISSN: 0302-9743 KITopen-ID: 1000142767 |
| Erschienen in | Engineering Secure Software and Systems : 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings. Ed.: Mathias Payer |
| Veranstaltung | 10th Engineering Secure Software and Systems, 10th International Symposium (ESSoS 2018), Paris, Frankreich, 26.06.2018 – 27.06.2018 |
| Verlag | Springer |
| Seiten | 27–43 |
| Serie | Lecture Notes in Computer Science ; 10953 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | Scopus Dimensions |