Book
Open access
Aug 2026
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.
Chenan Wen, Yizhan Qing, C. P. Jansen et al.
· Conference on Applications,... · 0 citations