Java + daloy ng impormasyon (Jif sa maikling) ay isang seguridad na-type sa programming language na umaabot Java na may suporta para sa impormasyon daloy control at ma-access control, parehong sa itala oras at sa tumakbo ng oras.
Ang source code para sa Jif tagatala at run-time system ay magagamit na ngayon para sa download. Jif ay nakasulat sa Java at ito ay binuo gamit ang Polyglot extensible Java compiler framework.
Static kontrol ng daloy ng impormasyon ay maaaring maprotektahan ang pagiging kompidensiyal at integridad ng impormasyon manipulahin ng mga sistema ng computing. Ang tagatala track ang sulat sa pagitan ng impormasyon sa mga patakaran na nagtatakda sa paggamit nito, pagpapatupad ng end-to-end sa loob ng system properties seguridad. Pagkatapos ng pagtingin sa daloy ng impormasyon sa loob Jif programs, isasalin sa kanila ang Jif compiler sa Java mga programa at gumagamit ng isang ordinaryong Java compiler upang makabuo ng mga secure na mga maipapatupad na programa.
Jif umaabot Java pamamagitan ng pagdaragdag ng mga etiketa na ipahayag ang mga paghihigpit sa kung paano impormasyon ay maaaring gamitin. Halimbawa, sabi ng mga sumusunod na variable na deklarasyon ay hindi lamang na ang mga variable x ay isang int, ngunit din na ang impormasyon sa x ay pamamahalaan ng isang patakaran sa seguridad:
int {Alice → Bob} x;
Sa kasong ito, sabi ng seguridad ng patakaran na ang impormasyon sa x ay kinokontrol ng mga punong-guro Alice, at na nagbibigay-daan sa Alice ang impormasyon na ito ay makikita sa pamamagitan ng punong-guro Bob. Ang mga patakaran {Alice ← Bob} ay nangangahulugan na ang impormasyon ay pag-aari ng Alice, at na Alice ito permit sa maaapektuhan ng Bob. Batay sa label annotation tulad ng mga ito, pinag-aaralan ang Jif compiler impormasyon lumilitaw sa loob ng programa, upang tumutukoy kung ipatupad nila ang pagiging kompidensiyal at integridad ng impormasyon.
Mga Komento hindi natagpuan