Матрица управления доступом

Согласно данной модели, состояние защиты компьютерной системы абстрагируется набором объектов ${\displaystyle O}$ — то есть множеством сущностей, требующих защиты (например, процессы, файлы, страницы памяти), а также набором субъектов ${\displaystyle S}$ — всеми активными сущностями (например, пользователи, процессы). Кроме того, существует набор прав ${\displaystyle R}$ вида ${\displaystyle r(s,o)}$, где ${\displaystyle s\in S}$, ${\displaystyle o\in O}$ и ${\displaystyle r(s,o)\subseteq R}$. Право определяет тип доступа, который субъекту разрешено выполнять над объектом.

В следующем примере матрицы существуют два процесса, два ресурса, файл и устройство. Первый процесс является владельцем ресурса 1, может выполнять ресурс 2, читать файл и записывать информацию на устройство, тогда как второй процесс владеет ресурсом 2 и может читать ресурс 1.

Поскольку модель матрицы управления доступом не определяет гранулярность средств защиты, она может использоваться для моделирования статических прав доступа в любой системе управления доступом. Однако она не отражает правила изменения разрешений в конкретной системе, поэтому даёт только неполное описание политики безопасности системы.

Матрица управления доступом служит исключительно абстрактной моделью разрешений в заданный момент времени; прямая реализация в виде двумерного массива была бы чересчур затратной по памяти. Безопасность, основанная на полномочиях и списки управления доступом — примеры реальных механизмов контроля доступа, статические разрешения которых можно смоделировать с помощью матрицы управления доступом. Хотя иногда оба этих механизма рассматривались (например, в статье Батлера Лэмпсона «Protection») как простые реализации матрицы управления доступом по строкам и столбцам, такой подход критиковался как вводящий в заблуждение — он не учитывает динамическое поведение систем^[3].