Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень
| dc.contributor.author | Коляденко, Андрій | |
| dc.date.accessioned | 2015-02-12T09:30:08Z | |
| dc.date.available | 2015-02-12T09:30:08Z | |
| dc.date.issued | 2009 | |
| dc.description.abstract | Розглянуто проблематику застосування засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей. Запропоновано шляхи представлення моделей стандарту ANSI-INCITS 359-2004 Role Based Access Control як теорій першого порядку, дослідження їх властивостей та генерації авторизаційних рішень за допомогою ПЗ EProver. | uk |
| dc.identifier.citation | Коляденко А. А. Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень / Коляденко А.А. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 28-37. | uk |
| dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/3907 | |
| dc.language.iso | uk | uk |
| dc.status | published earlier | uk |
| dc.title | Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень | uk |
| dc.type | Article | uk |