Java + vloei van inligting (Jif in kort) is 'n sekuriteit getik programmeertaal wat Java strek met die ondersteuning vir vloei van inligting beheer en toegangsbeheer, beide tydens kompilering en te hardloop tyd.
Die bron-kode vir die Jif samesteller en run-time stelsel is nou beskikbaar vir aflaai. Jif geskryf in Java en is gebou met behulp van die Poliglot extensible Java samesteller raamwerk.
Statiese vloei van inligting beheer kan die vertroulikheid en integriteit van inligting gemanipuleer word deur die rekenaar stelsels te beskerm. Die samesteller spore van die korrespondensie tussen die inligting beleid wat die gebruik te beperk, af te dwing sekuriteit eienskappe end-tot-end binne die stelsel. Na die monitor vloei van inligting binne Jif programme, die Jif samesteller vertaal hulle Java programme en gebruik 'n gewone Java samesteller veilige uitvoerbare programme te produseer.
Jif strek Java deur die toevoeging van etikette wat beperkings op hoe inligting gebruik kan word uit te druk. Byvoorbeeld, die volgende veranderlike verklaring verklaar nie net dat die veranderlike x is 'n int, maar ook dat die inligting in x word deur 'n veiligheidsbeleid:
int {Alice → Bob} x;
In hierdie geval, die veiligheidsbeleid sê dat die inligting in x is beheer deur die skoolhoof Alice, en dat Alice toelaat hierdie inligting om gesien te word deur die skoolhoof Bob. Die beleid {Alice ← Bob} beteken dat inligting word besit deur Alice, en dat Alice dit toelaat om beïnvloed word deur Bob. Gebaseer op die etiket annotasies soos hierdie, die Jif samesteller ontleed inligting vloei binne programme, om bepaal of hulle die vertroulikheid en integriteit van inligting af te dwing.
Kommentaar nie gevind