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