Java + információáramlás (Jif röviden) egy biztonsági tipizált programozási nyelv, amely kiterjeszti a Java támogatással információáramlás ellenőrzése és hozzáférés-vezérlés, mind fordítási időben és a futási időben.
A forráskód a Jif fordító és futásidejű rendszer már letölthető. Jif Java nyelven íródott, és épül az Polyglot bővíthető Java fordító keretet.
Statikus információáramlás ellenőrzés titkosságának védelme és az információk integritása manipulálta számítástechnikai rendszerek. A fordító pályák közötti levelezés információk a politikák, amelyek korlátozzák a használatát, érvényesítése biztonsági tulajdonságok end-to-end a rendszeren belül. Miután ellenőrizte belüli információáramlást Jif programok, a Jif fordító fordítja őket, hogy Java programokat és használ egy közönséges Java fordító termelni biztonságos végrehajtható programokat.
Jif kiterjeszti Java címkék hozzáadásával, hogy kifejezze vonatkozó korlátozások információt fel lehet használni. Például, a következő változódeklaráció kijelenti, hogy nemcsak az x változó értéke int, de azt is, hogy az információt x szabályozza a biztonságpolitika:
int {Alice → Bob} x;
Ebben az esetben a biztonsági politika azt mondja, hogy az információ x vezérli a fő Alice, és hogy Alice megengedi ezt az információt, amit az a fő Bob. A politika {Alice ← Bob} azt jelenti, hogy az információ tulajdonosa az Alice, és hogy Alice lehetővé teszi, hogy befolyásolja Bob. Alapuló címkén megjegyzések, mint ezek, a Jif fordító elemzi információáramlás programok keretein belül, hogy határozza meg, hogy érvényesítsék a titoktartási és az információk integritása.
Hozzászólás nem található