eKMAIR

Моделювання диспетчера доступу в захищених комп'ютерних системах

Show simple item record

dc.contributor.author Антонюк, Анатолій
dc.date.accessioned 2016-02-02T15:12:59Z
dc.date.available 2016-02-02T15:12:59Z
dc.date.issued 2005
dc.identifier.citation Антонюк Анатолій Олександрович. Моделювання диспетчера доступу в захищених комп'ютерних системах / Анатолій Олександрович Антонюк // Наукові записки НаУКМА : Комп'ютерні науки. - 2005. - Т. 36. - С. 14-21. uk
dc.identifier.uri http://ekmair.ukma.edu.ua/handle/123456789/8073
dc.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. en
dc.description.abstract Розглянуто підхід щодо моделювання диспетчера доступу для захищених комп'ютерних сис­тем. У рамках запропонованого формалізму описано деякі аспекти його функціонування, зокрема безпечну обробку запитів. Визначено і вивчено множину можливих політик безпечної обробки запитів. uk
dc.language.iso uk uk
dc.subject моделювання диспетчера доступу uk
dc.subject формалізм uk
dc.subject множина можливих політик uk
dc.title Моделювання диспетчера доступу в захищених комп'ютерних системах uk
dc.title.alternative Modeling the Dispatcher of Access for the Protected Computer Systems en
dc.type Article uk
dc.status published earlier uk
dc.relation.source Наукові записки НаУКМА : Комп'ютерні науки uk


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics