Java + Information Flow Java + Information Flow ist eine sichergabegegebene Programmiersprache, die Java mit Unterstützung der Informationsflusssteuerung erweitert.
Jetzt downloaden

Java + Information Flow Ranking & Zusammenfassung

Java + Information Flow Stichworte

Java Programmiersprache Zugangskontrolle fließen Ablaufsteuerung Jif.

Java + Information Flow Beschreibung

Java + Information Flow ist eine sichergabegegebene Programmiersprache, die Java mit Unterstützung der Informationsablaufsteuerung erweitert. Java + Information Flow (JIF in Short) ist eine sichergabegegebene Programmiersprache, die Java mit Unterstützung der Informationsablaufsteuerung und der Zugriffskontrolle sowohl bei der Kompilierzeit als auch zur Laufzeit erweitert. Der Quellkodex für das JIF-Compiler- und Laufzeitsystem ist jetzt zum Download verfügbar. JIF ist in Java geschrieben und ist mit dem Polyglot erweiterbaren Java-Compiler-Framework-Framework gebaut. Der Compiler verfolgt die Korrespondenz zwischen Informationen Die Richtlinien, die die Verwendung einschränken, um die Sicherheitseigenschaften durchsetzen, um das Ende des Systems im System zu enden. Nach dem Überprüfen des Informationsflusss innerhalb von JIF-Programmen übersetzt der JIF-Compiler sie in Java-Programme und verwendet einen gewöhnlichen Java-Compiler, um sichere ausführbare Programme zu erstellen. Zum Beispiel erklärt die folgende variable Erklärung nicht nur, dass die Variable X ein Int ist, sondern auch, dass die Informationen in X von einer Sicherheitsrichtlinie geregelt sind: Int {Alice Bob} x; In diesem Fall sagt die Sicherheitspolitik das Informationen in X werden vom Hauptlager kontrolliert, und dass Alice diese Informationen ermöglicht, die vom Hauptbob zu sehen sind. Die Richtlinie {Alice Bob} bedeutet, dass Informationen von Alice im Besitz von Alice, und dass Alice es erlaubt, von Bob betroffen zu sein. Basierend auf den Etikettenanmerkungen wie diesen analysiert der JIF-Compiler Informationströme innerhalb von Programmen, um festzustellen, ob sie die Vertraulichkeit und Integrität der Informationen durchsetzen.

Java + Information Flow Zugehörige Software