Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень
Loading...
Date
2009
Authors
Коляденко, Андрій
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Розглянуто проблематику застосування засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей. Запропоновано шляхи представлення моделей
стандарту ANSI-INCITS 359-2004 Role Based Access Control як теорій першого порядку, дослідження
їх властивостей та генерації авторизаційних рішень за допомогою ПЗ EProver.
Description
Keywords
Citation
Коляденко А. А. Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень / Коляденко А.А. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 28-37.