Java + məlumat axını (qısa Jif) tərtib zamanda və run zamanda, informasiya axını nəzarət və kontrol dəstəyi ilə Java uzanan bir təhlükəsizlik tipli proqramlaşdırma dilidir.
Jif compiler və run-time sistemi üçün mənbə kodu download üçün mövcuddur. Jif Java yazılı və Polyglot genişlənən Java compiler çərçivəsində istifadə inşa edilmişdir.
Statik məlumat axını nəzarət məxfiliyini və sistemləri hesablama ilə manipulyasiya məlumat bütövlüyünü qoruya bilər. compiler informasiya təhlükəsizliyi xassələri son-to-end sistemi çərçivəsində həyata, onun istifadə məhdudlaşdırmaq siyasətini arasında yazışma izler. Jif proqramları çərçivəsində informasiya axını yoxlanılması sonra, Jif compiler Java proqramları onları çevirir və təhlükəsiz yürütülebilir proqramları istehsal adi Java compiler istifadə edir.
Jif məlumat istifadə edilə bilər necə məhdudiyyətlər ifadə yazıları əlavə Java uzanır. Məsələn, aşağıdakı dəyişən bəyanat yalnız dəyişən x bir int ki, həm də x informasiya təhlükəsizlik siyasəti ilə tənzimlənir ki, bəyan edir:
int {Alice → Bob} x;
Bu halda, təhlükəsizlik siyasəti x informasiya əsas Alice tərəfindən nəzarət olunur ki, Alice əsas Bob tərəfindən görülə bu məlumatları verir edir. siyasət {Alice ← Bob} məlumat Alice məxsus o deməkdir ki, Alice Bob təsir üçün imkan verir ki,. Bu kimi etiket notları əsasən, Jif compiler informasiya onlar məlumatın məxfiliyini və bütövlüyünü tətbiq olub ki, proqramları çərçivəsində axır təhlil edir.
Şərhlər tapılmadı