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