Модель политики безопасности [ Security policy model ] —
Формальное представление политики безопасности, разработанной для системы. Оно должно содержать формальное описание механизмов и процедур, определяющих управление, распределение и защиту информации критической.