Java + informationsflow (JIF i korte) er en sikkerhed-indtastet programmeringssprog, der udvider Java med understøttelse af informationsstrømmen kontrol og adgangskontrol, både påkompileringstidspunktet og under kørslen.
Kildekoden for JIF compiler og run-time system er nu tilgængelig for download. JIF er skrevet i Java og er bygget ved hjælp af den Polyglot Extensible Java compiler rammer.
Statisk information flow kontrol kan beskytte fortroligheden og integriteten af de oplysninger manipuleret af computersystemer. Den compiler sporer korrespondancen mellem information de politikker, der begrænser dens brug, håndhæve sikkerhedsmæssige egenskaber ende-til-ende i systemet. Efter kontrol informationsstrømmen inden JIF programmerne, JIF compiler oversætter dem til Java-programmer og bruger en almindelig Java compiler til at producere sikre eksekverbare programmer.
JIF udvider Java ved at tilføje etiketter, der udtrykker begrænsninger på, hvordan oplysninger kan anvendes. For eksempel erklærer følgende variabel erklæring ikke blot, at den variable x er en int, men også, at oplysningerne i x er reguleret af en sikkerhedspolitik:
int {Alice → Bob} x;
I dette tilfælde sikkerhedspolitikken siger, at oplysningerne i x styres af hovedstolen Alice, og at Alice tillader denne information at blive set af hovedstolen Bob. Politikken {Alice ← Bob} betyder, at oplysningerne er ejet af Alice, og at Alice tillader det at være påvirket af Bob. Baseret på label anmærkninger som disse, at JIF compiler analyserer informationsstrømmene inden for programmerne, at afgør, om de håndhæve fortroligheden og integriteten af oplysninger.
Kommentarer ikke fundet