Антонюк, Анатолій2016-02-022016-02-022005Антонюк Анатолій Олександрович. Моделювання диспетчера доступу в захищених комп'ютерних системах / Анатолій Олександрович Антонюк // Наукові записки НаУКМА : Комп'ютерні науки. - 2005. - Т. 36. - С. 14-21.https://ekmair.ukma.edu.ua/handle/123456789/8073The approach to modeling the dispatchers of access for the protected computer systems is considered. Within the framework of the offered formalism some aspects of his functioning - safe processing of inquiries are described. The set of possible policies of safe processing of inquiries is defined and studied.Розглянуто підхід щодо моделювання диспетчера доступу для захищених комп'ютерних сис­тем. У рамках запропонованого формалізму описано деякі аспекти його функціонування, зокрема безпечну обробку запитів. Визначено і вивчено множину можливих політик безпечної обробки запитів.ukмоделювання диспетчера доступуформалізммножина можливих політикArticle