Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень
|
|
| Creator |
Коляденко, Андрій
|
|
| Description |
Розглянуто проблематику застосування засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей. Запропоновано шляхи представлення моделей стандарту ANSI-INCITS 359-2004 Role Based Access Control як теорій першого порядку, дослідження їх властивостей та генерації авторизаційних рішень за допомогою ПЗ EProver. |
|
| Date |
2015-02-12T09:30:08Z
2015-02-12T09:30:08Z 2009 |
|
| Type |
Article
|
|
| Identifier |
Коляденко А. А. Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень / Коляденко А.А. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 28-37.
http://www.ekmair.ukma.edu.ua/handle/123456789/3907 |
|
| Language |
ua
|
|