V rabote predlozhen formal'nyj podhod k analizu bezopasnosti rolewoj modeli razgranicheniq dostupa s prawilami awtomaticheskogo naznacheniq rolej, opisanie kotoroj wklüchaet w sebq model' raspredelennogo administrirowaniq naznacheniq pol'zowatelej na roli. Priwedeno wysokourownewoe opisanie algoritma prowerki bezopasnosti. Pokazano, chto pri wwedenii ogranichenij na prawila naznacheniq rolej wremq raboty algoritma linejno po moschnosti mnozhestwa politik razgranicheniq dostupa. Dany rekomendacii po predstawleniü älementow proektiruemoj sistemy, pozwolqüschie optimizirowat' ee sowmestimost' s shirokim klassom raspredelennyh awtomatizirowannyh informacionnyh sistem krupnyh predpriqtij, s uchetom specifiki ih biznes-processow. Rezul'taty dannoj raboty mogut byt' ispol'zowany pri proektirowanii sistem rolewogo razgranicheniq dostupa AIS, pred#qwlqüschih powyshennye trebowaniq k bezopasnosti.