Gegenwärtig unterrichte ich einen kleinen Kurs (vier zweistündige Vorlesungen auf der Masters-Ebene) über logische Methoden in der Sicherheit , obwohl der Titel formale Methoden in der Sicherheit geeigneter sein könnte. Es werden kurz die folgenden Themen behandelt (mit den zugehörigen logischen Methoden):
Digital Rights Management und Policy Enforcement (allgemeine Formalisierung, modale Logik, Durchsetzung über Automaten)
Nachweiscode und Nachweisauthentifizierung (Beweistheorie, logische Systeme, Curry-Howard-Isomorphismus, Verifikation)
Zugriffskontrolle (nicht-klassische Logik, Beweistheorie)
Stack Inspection (Programmiersprachensemantik, Kontextäquivalenz, Bisimulation)
Natürlich hat der Kurs mehrere Ziele, von denen eines potenzielle Doktoranden anzieht.
In den kommenden Jahren kann der Kurs zu einem regulären Kurs erweitert werden, der mehr Inhalte benötigt. Angesichts der Tatsache, dass der Hintergrund der Menschen hier ganz anders ist als der meine, würde ich gerne wissen, welche Inhalte Sie in einen solchen Kurs einbeziehen würden.