Формальные модели безопасности

В статье излагается подход к построению формальной модели информационной безопасности, основанный на использовании алгебры предикатов. Модель представляется в виде дерева решений. Разработан и исследован алгоритм его построения, основанный на использовании дедуктивного метода поиска ответов.