Обнаружение и разрешение конфликтов в политиках безопасности компьютерных сетей

Предлагается подход к построению системы верификации политик безопасности, предназначенной для обнаружения и разрешения конфликтов в спецификациях политик безопасности компьютерных сетей. Рассмотрена архитектура предлагаемой системы верификации политик безопасности. Представлены модели реализации двух модулей верификации: модуля, основанного на теории доказательств, с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели. Описана текущая реализация программного прототипа системы верификации.