Java + זרימת מידע (Jif בקיצור) היא שפת תכנות-הקלדת ביטחון שמרחיבה Java עם תמיכה לבקרת זרימת מידע ובקרת גישה, הן בזמן הידור ובזמן ריצה.
קוד המקור של מערכת זמן הריצה מהדר וJif זמין כעת להורדה. Jif נכתב ב- Java ונבנה באמצעות מסגרת מהדר Java להרחבה Polyglot.
בקרת זרימת מידע סטטי יכולה להגן על הסודיות והשלמות של מידע שהופעל על ידי מערכות מחשוב. מהדר עוקב ההתכתבות בין מידע המדיניות המגבילה את השימוש בו, אכיפת מאפייני אבטחה מקצה לקצה במערכת. לאחר בדיקת זרימת מידע בתוך תוכניות Jif, מהדר Jif מתרגם אותם לתוכניות Java ומשתמש מהדר Java רגיל לייצר תוכניות הפעלה מאובטחת.
Jif משתרע Java על ידי הוספת תוויות המבטאות הגבלות על אופן בו מידע עשוי לשמש. לדוגמא, ההצהרה משתנה הבאה מצהירה כי לא רק שx משתנה הוא int, אלא גם שהמידע בx נשלט על ידי מדיניות אבטחה:
int x {אליס → בוב};
במקרה זה, מדיניות הביטחון אומרת כי המידע בx נשלט על ידי קרן אליס, ושאליס מאפשרת במידע זה כדי להיראות על ידי הקרן בוב. מדיניות {אליס ← בוב} אומרת שמידע נמצא בבעלות אליס, ושאליס מאפשרת לה להיות מושפעת מבוב. בהתבסס על הסברים תווית כמו אלה, מהדר Jif מנתחת מידע זורם בתוך תוכניות, לקובע אם הם לאכוף את הסודיות ושלמות של מידע.
תגובות לא נמצא