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

Abstract

В роботи розглянуто системи надання повноважень, які можуть мати різноманітну інтерпретацію, починаючи від представлення їх у вигляді матриць повноважень до представлення їх у вигляді приписування тих чи інших ролей користувачам, що звертаються за наданням повноважень. А саме проведено аналіз параметрів, що характеризують інформаційні системи типу з метою вибору найбільш адекватних формальних засобів для їх опису. Сформульовано ряд положень та визначень, які спрощують подібний аналіз в подальшому та визначена низка обов’язкових вимог щодо проведення цього аналізу. А саме дане визначення важливостіданих як параметру, який характеризує частоту використання даних за заданий період, на протязі якого відповідні дані використовуються. Також визначено мірутаємності даних через міру небезпеки, до якої може привести не санкціоноване використання даних при розв’язуванні задачі. Розглянуто поняття ано-малії і доведено взаємозв’язок предметної області інтерпретації деякої системи на структурному рівні.