Формальна специфікація моделі управлення доступом в реляційних базах даних з використанням мови UML та OCL
Loading...
Date
2011
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Львівської політехніки
Abstract
Робота присвячена першому етапу автоматизації
процесу налаштування механізмів управління доступом на
рівні СУБД - формалізації вимог з управління доступом з
використанням мови графічних специфікацій UML і мови
текстових специфікацій OCL.
Description
Keywords
база даних, управління доступом, RBAC, UML, OCL, Model Checking, MDA, MDS
Citation
Сауд І. Формальна специфікація моделі управлення доступом в реляційних базах даних з використанням мови UML та OCL / Ібаа Сауд // Комп'ютерні науки та інженерія : матеріали V Міжнародної конференції молодих вчених CSE-2011, 24–26 листопада 2011 р., Україна, Львів / Національний університет "Львівська політехніка". – Львів : Видавництво Львівської політехніки, 2011. – C. 68–69. – (3-й Міжнародний молодіжний фестиваль науки "Litteris et Artibus"). – Титульний аркуш та текст паралельно англійською. – Бібліографія: 6 назв.