Аннотация:
На основе ролевых моделей (RBAC) и ДП-моделей компьютерных систем с дискреционным или мандатным управлением доступом строится базовая ролевая ДП-модель. С учетом фактических ролей, прав доступа и возможных действий недоверенных сессий анализируются правила преобразования состояний системы. Обосновываются условия передачи прав доступа ролей сессиями пользователей.
Ключевые слова:компьютерная безопасность, математические модели безопасности, ролевая модель.
Полный текст:
PDF файл (242 kB)