Формальна специфікація моделі управлення доступом в реляційних базах даних з використанням мови UML та OCL
| dc.contributor.author | Сауд, Ібаа | |
| dc.date.accessioned | 2014-01-21T09:05:35Z | |
| dc.date.available | 2014-01-21T09:05:35Z | |
| dc.date.issued | 2011 | |
| dc.description.abstract | Робота присвячена першому етапу автоматизації процесу налаштування механізмів управління доступом на рівні СУБД - формалізації вимог з управління доступом з використанням мови графічних специфікацій UML і мови текстових специфікацій OCL. | uk_UA |
| dc.identifier.citation | Сауд І. Формальна специфікація моделі управлення доступом в реляційних базах даних з використанням мови UML та OCL / Ібаа Сауд // Комп'ютерні науки та інженерія : матеріали V Міжнародної конференції молодих вчених CSE-2011, 24–26 листопада 2011 р., Україна, Львів / Національний університет "Львівська політехніка". – Львів : Видавництво Львівської політехніки, 2011. – C. 68–69. – (3-й Міжнародний молодіжний фестиваль науки "Litteris et Artibus"). – Титульний аркуш та текст паралельно англійською. – Бібліографія: 6 назв. | uk_UA |
| dc.identifier.uri | https://ena.lpnu.ua/handle/ntb/22564 | |
| dc.language.iso | ua | uk_UA |
| dc.publisher | Видавництво Львівської політехніки | uk_UA |
| dc.subject | база даних | uk_UA |
| dc.subject | управління доступом | uk_UA |
| dc.subject | RBAC | uk_UA |
| dc.subject | UML | uk_UA |
| dc.subject | OCL | uk_UA |
| dc.subject | Model Checking | uk_UA |
| dc.subject | MDA | uk_UA |
| dc.subject | MDS | uk_UA |
| dc.title | Формальна специфікація моделі управлення доступом в реляційних базах даних з використанням мови UML та OCL | uk_UA |
| dc.type | Article | uk_UA |