Talk: Nichtinterferenz für interaktive, sequentielle, deterministische Programme

Time and Place: Monday, June 21st, 14:00, Building S2-02, Room E302

Speakers: D. Lohner, A. Lochbihler, D. Giffhorn, G. Snelting, KIT

Abstract:
Im Vortrag geht es um die Frage, wie ein geeignetes Nichtinterferenzkriterium für interaktive Sprachen aussieht. In der Literatur existieren bereits einige Ansätze zur Modellierung und korrekten Behandlung von Datenausgabe, die (interaktive) Dateneingabe ist bislang, im Zusammenhang mit Informationsflusskontrolle, jedoch wenig erforscht. Im Vortrag werden daher existierende Ansätze zur Modellierung von Ausgabe vorgestellt, sowie Ideen zur Modellierung von Eingaben präsentiert. Ziel des Vortrages ist, die Grundlage für eine ergiebige Diskussion zum Thema "Informationsflusskontrolle für interaktive Sprachen" zu legen.

Da unser Ansatz dazu auf PDG-basierter Information Flow Control beruht, wird zu Beginn eine kurze Präsentation der Implementierung von  possibilistischer und probabilistischer Nichtinterferenz mit PDGs gegeben.