Моделювання диспетчера доступу в захищених комп'ютерних системах
Loading...
Date
2005
Authors
Антонюк, Анатолій
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Розглянуто підхід щодо моделювання диспетчера доступу для захищених комп'ютерних систем. У рамках запропонованого формалізму описано деякі аспекти його функціонування, зокрема безпечну обробку запитів. Визначено і вивчено множину можливих політик безпечної обробки запитів.
Description
The 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.
Keywords
моделювання диспетчера доступу, формалізм, множина можливих політик
Citation
Антонюк Анатолій Олександрович. Моделювання диспетчера доступу в захищених комп'ютерних системах / Анатолій Олександрович Антонюк // Наукові записки НаУКМА : Комп'ютерні науки. - 2005. - Т. 36. - С. 14-21.