Розглянуто підхід щодо моделювання диспетчера доступу для захищених комп'ютерних систем. У межах запропонованого формалізму описано деякі аспекти його функціонування, зокрема безпечну обробку запитів. Визначено і вивчено множину можливих політик безпечної обробки запитів.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"