Java + Informationsfluss (Jif kurz) ist eine Sicherheits typisierte Programmiersprache Java erweitert mit Unterstützung für Informationsflusskontrolle und Zugangskontrolle, sowohl während der Kompilierung als auch zur Laufzeit.
Der Source-Code für den Jif Compiler und Laufzeitsystem ist jetzt zum Download verfügbar. Jif ist in Java geschrieben und wird unter Verwendung der Polyglot erweiterbare Java-Compiler-Framework aufgebaut.
Static Informationsfluss-Steuerung können die Vertraulichkeit und Integrität der Informationen, die von Computersystemen manipuliert zu schützen. Der Compiler bildet die Korrespondenz zwischen Informationen die Richtlinien, die seine Verwendung einschränken, Durchsetzung von Sicherheitseigenschaften Ende-zu-Ende innerhalb des Systems. Nach Überprüfung Informationsfluss innerhalb Jif Programmen übersetzt sie die Jif Compiler Java-Programme und verwendet eine gewöhnliche Java-Compiler, um eine sichere ausführbare Programme zu erzeugen.
Jif erstreckt Java durch Zugabe von Etiketten, die Beschränkungen auf, wie Informationen verwendet werden können zum Ausdruck bringen. Zum Beispiel deklariert die folgende Variablendeklaration nicht nur, dass die Variable x ist ein int, sondern auch, dass die Informationen in x wird durch eine Sicherheitsrichtlinie bestimmt:
int {Alice → Bob} x;
In diesem Fall, sagt der Sicherheitspolitik, dass die Informationen in x wird durch die Haupt Alice gesteuert wird und dass Alice ermöglicht diese Informationen vom Auftraggeber Bob zu sehen. Die Politik {Alice ← Bob} bedeutet, dass Informationen von Alice gehört, und dass Alice erlaubt es, von Bob betroffen sein. Basierend auf Etikett Anmerkungen wie diese, die Jif Compiler analysiert Informationsflüsse im Rahmen von Programmen, um sie durchzusetzen, ob die Vertraulichkeit und Integrität von Informationen.
Kommentare nicht gefunden