Java + tok informací (Jif v krátkosti) je programovací jazyk security-napsaný, která rozšiřuje Java s podporou pro řízení toku informací a řízení přístupu, a to jak v době kompilace a v době spuštění.
Zdrojový kód pro kompilátor Jif a run-time systému je nyní k dispozici ke stažení. Jif je napsán v Javě a je postaven s použitím polyglot rozšiřitelné rámec Java kompilátoru.
Statické řízení toku informací lze chránit důvěrnost a integritu informací zmanipulován výpočetních systémů. Kompilátor sleduje korespondenci mezi informace, politiky, které omezují jejich použití, prosazování vlastnosti zabezpečení end-to-end v rámci systému. Po kontrole toku informací v rámci programů Jif, kompilátor Jif překládá je do programů v jazyce Java a používá běžný Java kompilátor vyrobit bezpečných spustitelné programy.
Jif rozšiřuje Java přidáním štítky, které vyjadřují omezení o tom, jak mohou být použity informace. Například následující deklarace proměnných prohlašuje, nejen že proměnná x je int, ale také to, že informace v X je řídí bezpečnostní politiky:
int {Alice → Bob} x;
V tomto případě, bezpečnostní politiky říká, že informace v X je řízen hlavním Alice, a že Alice umožňuje tyto informace, které mají být vidět na jistiny Bob. Politika {Alice ← Bob} znamená, že informace je vlastněna Alice, a že Alice umožňuje, aby byl ovlivněn Bobem. Na etiketě anotací, jako jsou tyto základě, kompilátor Jif analýzy informační toky v rámci programů, aby určuje, zda vynutit důvěrnost a integritu informací.
Komentáře nebyl nalezen