Java + информационен поток (JIF в кратко) е въведен за сигурност език за програмиране, който се простира Java с поддръжка на информация за контрол на потока и контрол на достъпа, както по време на компилация и по време на изпълнение.
Сорс кодът за компилатора JIF и време на изпълнение системата в момента е достъпна за изтегляне. JIF е написан на Java и е изграден с помощта на Polyglot разтегателен рамка Java компилатор.
Статично контрол на информационния поток може да защити поверителността и целостта на информацията, манипулирани от изчислителни системи. Компилаторът писти съответствието между информацията на политиките, които ограничават употребата му, налагане на имоти за сигурност от край до край в рамките на системата. След проверка на информационния поток в рамките JIF програми, компилаторът JIF ги превежда като Java програми и използва обикновен Java компилатор да произвежда сигурни изпълними програми.
JIF простира Java чрез добавяне на етикети, които изразяват ограничения за това как може да се използва информация. Например, следната променлива декларация декларира не само, че променливата х е инт, но също така, че информацията в х се определя от политиката на сигурност:
INT {Alice → Боб} х;
В този случай, политиката за сигурност се казва, че информацията в х се контролира от главния Алис, и че Alice позволява тази информация, за да се види от принципала Боб. Политиката {Alice ← Bob} означава, че информацията е собственост на Алис, и че Alice позволява тя да бъде засегната от Боб. Въз основа на етикета анотации като тези, компилаторът JIF анализи на информационните потоци в рамките на програми, за да определя дали те прилагат поверителността и целостта на информацията.
Коментари не е намерена