Формальная верификация правил межсетевого экрана: границы возможного
«Правила фильтрации, это не просто список, а многомерная логическая система, где интуиция ломается о комбинаторную сложность. Формальная верификация здесь, это не простая проверка, а математическая задача, упирающаяся в фундаментальные границы вычислимости. Большинство доступных методов либо не справляются с реальным масштабом, либо игнорируют то, что делает файрвол файрволом: состояние сессий, трансляции и сетевой контекст.» Почему правила … Читать далее