Java + informasjonsflyt (Jif i kort) er et sikkerhets skrevet programmeringsspråk som strekker Java med støtte for informasjonsflyt kontroll og adgangskontroll, både ved kompilering og under kjøring.
Kildekoden for Jif kompilatoren og kjøretidssystem er nå tilgjengelig for nedlasting. Jif er skrevet i Java og er bygget ved hjelp av Polyglot utvidbar Java kompilatoren rammeverk.
Statisk informasjonsflyt kontroll kan beskytte konfidensialitet og integritet av informasjon manipulert av datasystemer. Kompilatoren sporer korrespondanse mellom informasjon de retningslinjer som begrenser bruken, håndheve sikkerhetsegenskaper ende-til-ende i systemet. Etter å ha sjekket informasjonsflyt innenfor Jif programmer, oversetter Jif kompilatoren dem til Java-programmer og bruker en vanlig Java-kompilatoren for å produsere sikre kjørbare programmer.
Jif strekker Java ved å legge til etiketter som uttrykker restriksjoner på hvordan informasjon kan brukes. For eksempel, sier ikke bare at variabelen x er en int, men også at opplysningene i x styres av en sikkerhetspolicy følgende variable erklæring:
int {Alice → Bob} x;
I dette tilfellet, sier sikkerhetspolitikk at informasjonen i x styres av rektor Alice, og at Alice tillater denne informasjonen til å bli sett av rektor Bob. Politikken {Alice ← Bob} betyr at informasjonen er eid av Alice, og at Alice tillater det å bli påvirket av Bob. Basert på etiketten kommentarer som dette, analyserer Jif kompilatoren informasjonsflyt innenfor programmer, avgjør om de håndheve konfidensialitet og integritet av informasjon.
Kommentarer ikke funnet