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

Simple item page
dc.contributor.authorАнтонюк, Анатолій
dc.date.accessioned2016-02-02T15:12:59Z
dc.date.available2016-02-02T15:12:59Z
dc.date.issued2005
dc.descriptionThe 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.identifier.citationАнтонюк Анатолій Олександрович. Моделювання диспетчера доступу в захищених комп'ютерних системах / Анатолій Олександрович Антонюк // Наукові записки НаУКМА : Комп'ютерні науки. - 2005. - Т. 36. - С. 14-21.uk
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/8073
dc.language.isoukuk
dc.relation.sourceНаукові записки НаУКМА : Комп'ютерні наукиuk
dc.statuspublished earlieruk
dc.subjectмоделювання диспетчера доступуuk
dc.subjectформалізмuk
dc.subjectмножина можливих політикuk
dc.titleМоделювання диспетчера доступу в захищених комп'ютерних системахuk
dc.title.alternativeModeling the Dispatcher of Access for the Protected Computer Systemsen
dc.typeArticleuk
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Antoniuk_Modeliuvannia_dyspetchera.pdf
Size:
349.29 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
036: Комп'ютерні науки