Java + informationsflödet (Jif kort) är ett programmeringsspråk säkerhets skrivit som sträcker Java med stöd för informationsflödeskontroll och tillträdeskontroll, både vid kompileringen och vid körning.
Källkoden för Jif kompilator och körtids Systemet är nu tillgänglig för nedladdning. Jif är skrivet i Java och är byggd med hjälp av Polyglot utbyggbart ramverk Java kompilator.
Statisk information flödeskontroll kan skydda sekretessen och integriteten av information manipuleras genom datasystem. Kompilatorn spårar korrespondensen mellan information den politik som begränsar dess användning, upprätthålla säkerhetsegenskaper end-to-end i systemet. Efter att ha kontrollerat informationsflöde inom Jif programmen, Jif kompilatorn översätter dem till Java-program och använder en vanlig Java-kompilator för att producera säkra körbara program.
Jif utökar Java med etiketter som uttrycker begränsningar för hur information får användas. Till exempel, förklarar följande variabeldeklaration inte bara att variabeln x är en int, utan också att informationen i x styrs av en säkerhetspolitik:
int {Alice → Bob} x;
I det här fallet, säger säkerhetspolitiken att informationen i x styrs av rektor Alice, och att Alice tillåter denna information ses av huvudmannen Bob. Policyn {Alice ← Bob} innebär att informationen ägs av Alice, och att Alice tillåter det att påverkas av Bob. Baserat på etikett anteckningar som dessa, analyserar Jif kompilatorn informationsflöden inom program för att avgör om de genomdriva sekretess och integritet av information.
Kommentarer hittades inte