Анализ теории моделей КУД показывает, что широкий класс моделей КУД основан на представлении системы в виде автомата: элементами таких моделей являются состояния и переходы между нами. Основу средств защиты современных ОС составляют вариации дискреционного контроля и управления доступом, базирующиеся также на представлении системы с помощью машины и состоянии.
Несмотря на количество предложенных моделей безопасности, а также их реализаций в современных ИС, не существует общепринятого метода построения их представления, позволяющего унифицировать средства моделирования и исследования. Проведенный анализ моделей КУД, их структур и особенностей направлен на определение общих характеристик и компонентов моделей.
Современные направления по выработке методов моделирования ПБ не предлагают решения удобного, практичного и полностью независимого по отношению к объектам оценки. Рассмотрение методов, существующих сегодня для описания ПБ, позволяет утверждать, что наибольшие перспективы открываются для применения логического подхода.
Будет использован способ, основанный на анализе и использовании системы (набора) логических предикатов для представления системных, состояний и переходов между ними, а также правил ПБ.
