Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties From a Characterisation of Insecure Behavior
Basic data of the doctoral examination procedure
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Period of time: 03/10/2011 - 21/01/2022
Status: completed
Candidate: Nordhoff, Benedikt
Doctoral subject: Informatik
Doctoral degree: Dr. rer. nat.
Form of the doctoral thesis: monographic
Awarded by: Department 10 - Mathematics and Computer Science
Supervisors: Müller-Olm, Markus
Reviewers: Müller-Olm, Markus; Seidl, Helmut
Promovend*in an der Universität Münster
| Nordhoff, Benedikt | Professorship for practical computer science (Prof. Müller-Olm) |
Supervision at the University of Münster
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |