Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties From a Characterisation of Insecure Behavior
Grunddaten zum Promotionsverfahren
Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster
Zeitraum: 03.10.2011 - 21.01.2022
Status: abgeschlossen
Promovend*in: Nordhoff, Benedikt
Promotionsfach: Informatik
Abschlussgrad: Dr. rer. nat.
Form der Dissertationsschrift: monographisch
Verleihender Fachbereich: Fachbereich 10 - Mathematik und Informatik
Betreuer*innen: Müller-Olm, Markus
Gutachter*innen: Müller-Olm, Markus; Seidl, Helmut
Promovend*in an der Universität Münster
| Nordhoff, Benedikt | Professur für Praktische Informatik (Prof. Müller-Olm) |
Betreuung an der Universität Münster
| Müller-Olm, Markus | Professur für Praktische Informatik (Prof. Müller-Olm) |