Java + fluxul de informații (Jif pe scurt) este un limbaj de programare, securitate tastat care se extinde Java cu suport pentru controlul fluxului de informații și de control al accesului, atât la compilare și în timpul rulării.
Codul sursă pentru compilator Jif și sistemul run-time este acum disponibil pentru descărcare. Jif este scris în Java și este construit folosind cadrul extensibila poliglot Java compilator.
Static de control al fluxului de informații pot proteja confidențialitatea și integritatea informațiilor manipulate de sistemele de calcul. Compilatorul urmărește corespondența dintre informațiile politicile care restricționează utilizarea acestuia, aplicarea proprietăți de securitate end-to-end în cadrul sistemului. După verificarea fluxului de informații în cadrul programelor JIF, compilatorul Jif le traduce la programe Java si foloseste un compilator obișnuit Java pentru a produce programe executabile sigure.
Jif extinde Java prin adăugarea de etichete care exprimă restricțiile privind modul în care pot fi utilizate informații. De exemplu, următoarea declarație variabila declara nu numai că variabila x este un int, dar de asemenea, că informațiile din X este guvernat de o politică de securitate:
int {Alice → Bob} x;
În acest caz, politica de securitate a declarat că informațiile din X este controlată de principal Alice, și că Alice permite ca aceste informații să fie văzuți de principalul Bob. Politica {Alice ← Bob} înseamnă că informația este deținută de Alice, și că Alice îi permite să fie afectate de Bob. Pe baza adnotărilor etichetă ca acestea, analize compilatorul Jif fluxurilor informaționale în cadrul programelor, a determina dacă acestea aplica confidențialitatea și integritatea informațiilor.
Comentariile nu a fost găsit