Запис Детальніше

Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень

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