"Java + informacijos srautas (JIF trumpai) yra saugumo įvedėte programavimo kalba, kuri tęsiasi Java palaikymas informacijos srautų kontrolės ir prieigos kontrolės, tiek kompiliavimo metu ir vykdymo metu.
Šaltinis kodas JIF sudarytojas ir run-time sistemos dabar galima atsisiųsti. JIF yra parašyta "Java" ir yra pastatytas naudojant daugiakalbės išplėstine "Java kompiliatoriaus sistemą.
Statinis informacijos srautas kontrolė gali apsaugoti konfidencialumą ir vientisumą informacijos dirbti tik kompiuterinių sistemų. Kompiliatorius takelius tarp informacijos politiką, kurios apriboja jo naudojimą, vykdyti saugumo savybės end-to-end sistemos viduje korespondencija. Patikrinus informacijos srautą per JIF programas, JIF sudarytojas verčia juos Java programas ir naudoja paprastą Java kompiliatorius gaminti saugius vykdomų programų.
JIF tęsiasi Java pridedant etiketes, išreikšti apribojimus, kaip gali būti naudojami duomenys. Pavyzdžiui, po kintama pareiškia, kad ne tik kintamasis x yra tarpinis junginys, bet taip pat, kad in x informacija yra reguliuojama pagal saugumo politiką:
INT {Alisa → Bobas} X;
Šiuo atveju, saugumo politika, sako, kad X informacija yra kontroliuojama pagrindinę Alice, o Alisa leidžia šią informaciją turi būti vertinamas atstovaujamasis Bob. Politika {Alisa ← Bobas} reiškia, kad informacija valdo Alice, o Alisa leidžia jį paveikti Bobas. Remiantis etiketės komentarus, kaip šie, JIF sudarytojas analizuoja informacijos srautus per programas, nustato, ar jie užtikrinti konfidencialumą ir vientisumą informaciją.
Komentarai nerastas