Java + przepływ informacji (Jif w skrócie) to język programowania, który wpisany bezpieczeństwa rozciąga Java z obsługi kontroli przepływu informacji i kontroli dostępu, zarówno w czasie kompilacji iw czasie wykonywania.
Kod źródłowy kompilatora JIF i systemu run-time jest już dostępna do pobrania. Jif jest napisany w Javie i jest zbudowany przy użyciu ramy rozszerzalny Polyglot kompilator Javy.
Statyczna kontrola przepływu informacji ochrony poufności i integralności informacji manipulowane przez systemy komputerowe. Kompilator śledzi zgodność pomiędzy informacje polityki, które ograniczają jego zastosowanie, egzekwowanie właściwości zabezpieczeń end-to-end w systemie. Po sprawdzeniu przepływu informacji w ramach programów JIF, kompilator tłumaczy je do Jif programów Java i używa zwykłego kompilatora Java do produkcji bezpiecznych programów wykonywalnych.
Jif rozciąga Java dodając etykiety, które wyrażają ograniczenia w sposobie wykorzystania informacji. Na przykład, po deklaracji zmiennej oświadcza, że nie tylko zmienna x jest int, ale także, że informacje w x reguluje polityki bezpieczeństwa:
int {Alice → Bob} x;
W tym przypadku mówi, że polityka bezpieczeństwa informacji w x kontrolowany jest przez głównego Alice, i że te informacje Alice pozwala być postrzegane przez dyrektora Bob. Polityka {Alice ← Bob} oznacza, że informacja jest w posiadaniu Alice, i że to Alice pozwala mieć wpływ Boba. Na podstawie opisów etykiet takich jak te, kompilator Jif analizuje przepływ informacji w ramach programów, do określa czy egzekwować poufności i integralności informacji.
Komentarze nie znaleziono