Современные модели безопасности компьютерных систем

Модель безопасности HRU (модель Харрисона, Руццо, Уллмана) — это модель компьютерной безопасности на уровне операционной системы, которая касается целостности прав доступа в системе. Система основана на идее конечного набора процедур, доступных для редактирования прав доступа субъектов к объекту О. В модели также имеются возможности и ограничения доказательства безопасности системы с использованием алгоритма.
Модель Брюра-Нэша (Китайская стена)
Эта модель предоставляет элементы управления доступом, которые могут динамически изменяться в зависимости от предыдущих действий пользователя. Основная цель этой модели — защита от конфликта интересов при попытках доступа пользователя. Она основана на модели информационного потока, при которой никакая информация не может передаваться между субъектами и объектами таким образом, чтобы это приводило к конфликту интересов.
Модель утверждает, что субъект может записать объект, если и только если субъект не может прочитать другой объект, который находится в другом наборе данных.