The dejure administration rules are considered in mandatory entity-role DP-model for security of access and information flows control in OS of Linux set (MROSL DP-model). These rules are intended for administrating registration records of users, access permissions, sets of roles and administration roles, hierarchies of roles and administration roles, mandatory and integrity labels of entities, subjects (sessions), roles and administration roles. They allow to define detailed specifications of access control functions in secure OS Astra Linux Special Edition which, in turn, makes it possible to verify MROSL DP-model realization in software.

Рассматриваются де-юре правила администрирования параметров механизма управления доступом системы, заданной в рамках мандатной сущностно-ролевой ДП-модели и ориентированной на реализацию в отечественной защищённой операционной системе Astra Linux Special Edition. Данные правила позволяют администрировать учётные записи пользователей, права доступа, множество ролей, иерархию ролей и административных ролей, уровни конфиденциальности и целостности сущностей, субъект-сессий, ролей и административных ролей.