Elastispec: Formalizing Enterprise Firewall Management with Informal and Elastic Specifications
Evaluations show that Elastispec is effective in enabling operators to audit their configurations against vendor documents by producing compliance trees, enabling comparative analysis across parallel application deployments, and detecting configuration errors that permit non-compliant traffic.