eKMAIR

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

Files in this item

This item appears in the following Collection(s)

Search DSpace


Browse

My Account

Statistics