Avtomatizirovannaya Model' Rbac

V rabote predlozhen formal'nyy podkhod k analizu bezopasnosti rolevoy modeli razgranicheniya dostupa s pravilami avtomaticheskogo naznacheniya roley, opisanie kotoroy vklyuchaet v sebya model' raspredelennogo administrirovaniya naznacheniya pol'zovateley na roli. Privedeno vysokourovnevoe opisanie algoritma proverki bezopasnosti. Pokazano, chto pri vvedenii ogranicheniy na pravila naznacheniya roley vremya raboty algoritma lineyno po moshchnosti mnozhestva politik razgranicheniya dostupa. Dany rekomendatsii po predstavleniyu elementov proektiruemoy sistemy, pozvolyayushchie optimizirovat' ee sovmestimost' s shirokim klassom raspredelennykh avtomatizirovannykh informatsionnykh sistem krupnykh predpriyatiy, s uchetom spetsifiki ikh biznes-protsessov. Rezul'taty dannoy raboty mogut byt' ispol'zovany pri proektirovanii sistem rolevogo razgranicheniya dostupa AIS, pred"yavlyayushchikh povyshennye trebovaniya k bezopasnosti.