Institut für Theoretische Informatik (ITI)

Die Logik der Sicherheit