1. Mignis: A Semantic Based Tool for Firewall Configuration;Adão,2014
2. Localizing firewall security policies;Adão,2016
3. NetKAT: semantic foundations for networks;Anderson,2014
4. Firmato: a novel firewall management toolkit;Bartal;ACM Trans. Comput. Syst.,2004
5. FWS: analyzing, maintaining and transcompiling firewalls;Bodei;J. Comput. Secur.,2021