Java + tiedonkulun (Jif lyhyen) on turvallisuus-kirjoitettu ohjelmointikieli, joka ulottuu Java tukee tietojen virtauksen ohjaus ja kulunvalvonta, molemmat käännöksen yhteydessä ja ajon aikana.
Lähdekoodi Jif kääntäjä ja ajonaikaisen järjestelmä on nyt ladattavissa. Jif on kirjoitettu Java, ja on rakennettu käyttäen Polyglot laajennettavissa Java-kääntäjä puitteet.
Staattinen tiedonkulku valvonta voi luottamuksellisuuden ja eheyden tietojen manipuloitavissa tietotekniikkajärjestelmät. Kääntäjä seuraa välisen kirjeenvaihdon tieto, joka rajoittaa sen käyttöä, valvoa turvallisuutta ominaisuuksia end-to-end järjestelmän sisällä. Tarkistamisen jälkeen tiedonkulkua sisällä Jif ohjelmia, Jif kääntäjä kääntää ne Java-ohjelmia ja käyttää tavallisia Java-kääntäjä tuottaa turvallista suoritettavia ohjelmia.
Jif laajentaa Java lisäämällä nimekkeitä, jotka ilmaisevat rajoitukset, miten tietoja voidaan käyttää. Esimerkiksi seuraava muuttuja vakuutus vakuuttaa paitsi, että muuttuja x on int, mutta myös se, että tiedot x säännellään turvallisuuspolitiikka:
int {Alice → Bob} x;
Tällöin turvallisuuspolitiikkaa sanoo, että tiedot x ohjataan päämiehen Alice, ja että Alice sallii näitä tietoja nähtäväksi päämiehen Bob. Politiikka {Alice ← Bob} tarkoittaa, että tieto omistaa Alice, ja että Alice sallii sen vaikuttaa Bob. Perustuu etiketissä merkintöjä, kuten nämä, Jif kääntäjä analysoi tietovirrat ohjelmien sisällä, jotta määrittää ne täytäntöön luottamuksellisuuden ja eheyden tietoja.
Kommentteja ei löytynyt