Формализация модели безопасности

Формализация модели безопасности заключается в том, что представляются логические выражения, связывающие множества субъектов-объектов с множествами видов доступа (операций) в сети. Эта связь управляется и контролируется администраторами, иызывающими те или иные сервисы/механизмы безопасности.

Рассмотрим наиболее часто встречающиеся операции, характерные для АС масштаба подразделения. При этом будем придерживаться таких обозначений: Comm(S) 0 означает, что субъект S выполняет команду Сотт над объектом О под управлением (при разрешении) администратора А.