Veranstaltungsort:
SR1
Zusammenfassung:
In Anlehnung an Toni Hoare's bahnbrechende Erfindung zum Schlussfolgern über Computerprogramme, die heute als Hoare-Logik bezeichnet wird, stellen wir einen verwandten Ansatz zum Schlussfolgern über Sicherheitseigenschaften wie Zugriffskontrolle von Computerprogrammen vor. Wir werden unseren Formalismus definieren, seine Haupteigenschaften darlegen und seine Verbindung zu den schwächsten Vorbedingungen der Hoare-Logik erklären. Wir werden auch Beispiele zur Veranschaulichung unseres Ansatzes präsentieren.
Dies ist eine gemeinsame Arbeit mit Anton Setzer.