Graduelle Sicherheitstypen: Die Heilige Gral der Informationsflusssicherheit

Der Schlüssel zum Design von 𝜆★ IFC ist es, die Entscheidung in GSLRef zurückzunehmen, den unbekannten Label ★unter den Laufzeitsicherheitslabeln zuzulassen. Dadurch können sowohl Nichtinterferenz als auch die graduelle Garantie erfüllt werden, ohne Kompromisse eingehen zu müssen.