Аннотация:Работа посвящена автоматизации анализа и проектирования межсетевых экранов.
Предложен язык спецификации политики безопасности межсетевых экранов.
Разработан алгоритм определения соответствия конфигураций межсетевых экранов
спецификации поведения и политики безопасности. Этот же механизм позволяет
определять эквивалентность конфигурации межсетевых экранов друг другу.