Policy-Sprachen ermöglichen die Formalisierung von Sicherheitseigenschaften und Datenschutzpräferenzen und stellen eine wichtige Schnittstelle zur Automatisierung der Mensch-Maschine-Interaktion. Dieses Seminar fokussiert auf aktuelle Policy-Sprachen und ordnet diese hinsichtlich ihrer formalen und praktischen Eigenschaften.

Das Seminar wird gemeinsam mit dem Lehrstuhl für Rechnerarchitektur (Prof. Bernd Becker und PD Dr. Ilia Polian) angeboten.

Bei der Themenvergabe wählt jeder Studierende eine der im Seminar berücksichtigten Policy-Sprachen (siehe Liste), die gemäß den aufgestellten Kriterien (siehe Kriterien) und ihren eigenen Eigenschaften eingeordnet werden sollen. Die formalen Rahmenbedinungen hierzu werden bei der Themenvergabe näher erläutert.