Моделювання диспетчера доступу в захищених комп'ютерних системах
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Моделювання диспетчера доступу в захищених комп'ютерних системах
Modeling the Dispatcher of Access for the Protected Computer Systems |
|
| Creator |
Антонюк, Анатолій
|
|
| Subject |
моделювання диспетчера доступу
формалізм множина можливих політик |
|
| 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. Розглянуто підхід щодо моделювання диспетчера доступу для захищених комп'ютерних систем. У рамках запропонованого формалізму описано деякі аспекти його функціонування, зокрема безпечну обробку запитів. Визначено і вивчено множину можливих політик безпечної обробки запитів. |
|
| Date |
2016-02-02T15:12:59Z
2016-02-02T15:12:59Z 2005 |
|
| Type |
Article
|
|
| Identifier |
Антонюк Анатолій Олександрович. Моделювання диспетчера доступу в захищених комп'ютерних системах / Анатолій Олександрович Антонюк // Наукові записки НаУКМА : Комп'ютерні науки. - 2005. - Т. 36. - С. 14-21.
http://ekmair.ukma.edu.ua/handle/123456789/8073 |
|
| Language |
ua
|
|
| Relation |
Наукові записки НаУКМА : Комп'ютерні науки
|
|