Просмотр кода страницы Bell-LaPadula Model


<span>[[Категория: компьютеры]]</span> <span>[[Категория: безопасность]]</span><span style="color: indigo;">модель Белла-ЛаПадулла</span><br/><span style="color: darkslategray;"> Формальная модель описания политики безопасности с использованием теории автоматов, описывающая множество правил управления доступом. В этой модели компоненты системы делятся на объекты и субъекты. Вводится понятие безопасного состояния и доказывается, что если каждый переход сохраняет безопасное состояние (то есть переводит систему из безопасного состояния в безопасное), то согласно принципу индукции система является безопасной. Состояние системы считается безопасным, если в соответствии с политикой безопасности субъектам разрешены только определённые типы доступа к объектам (в <i>т. ч.</i> отсутствие доступа). Для определения, разрешён субъекту доступ к объекту или нет, его уровень прозрачности ([[Transparency]]) сравнивается с меткой объекта (уровнем безопасности объекта) и для запрашиваемого типа доступа принимается решение — разрешить доступ или нет. Принятие решения осуществляется на основе двух правил: простого условия безопасности (simple security condition) и *-свойства (*-property, или «star property»). Простое условие безопасности разрешает доступ, если уровень прозрачности субъекта не ниже метки критичности объекта. *-условие разрешает доступ, если:<br/> • для чтения или выполнения — текущий уровень субъекта не ниже метки критичности объекта;<br/> • для записи или модификации — текущий уровень субъекта не выше метки критичности объекта.</span><br/><i>Смотри также</i> [[Mandatory Access Control]]<br/><br/>— [[Участник:Игорь Мостицкий|Игорь Мостицкий]] ([[Обсуждение участника:Игорь Мостицкий|обсуждение]]) 11:41, 9 января 2026 (MSK)