Eintrag in der Universitätsbibliographie der TU Chemnitz
Jakobs, Christine ; Werner, Matthias ; Schmidt, Karsten ; Hansch, Gerhard
Following the White Rabbit: Integrity Verification Based on Risk Analysis Results
Universität: | Technische Universität Chemnitz | |
Förderung: | BMBF | |
Institut: | Professur Betriebssysteme | |
Dokumentart: | Konferenzbeitrag, referiert | |
ISBN/ISSN: | 9781450391399 | |
DOI: | doi:10.1145/3488904.3493377 | |
Quelle: | CSCS '21: Computer Science in Cars Symposium, 30.11.2021, Ingolstadt. - ACM, 2021 | |
Freie Schlagwörter (Englisch): | Automotive Security , Modeling , Protection Measures , Security Risk Assessment , Verification , Temporal Logic |