Коляденко, Андрій2015-02-122015-02-122009Коляденко А. А. Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень / Коляденко А.А. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 28-37.https://ekmair.ukma.edu.ua/handle/123456789/3907Розглянуто проблематику застосування засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей. Запропоновано шляхи представлення моделей стандарту ANSI-INCITS 359-2004 Role Based Access Control як теорій першого порядку, дослідження їх властивостей та генерації авторизаційних рішень за допомогою ПЗ EProver.ukArticle