Automated repair by example for firewalls

Hallahan, WT; Zhai, EN; Piskac, R

Piskac, R (corresponding author), Yale Univ, Dept Comp Sci, New Haven, CT 06511 USA.

FORMAL METHODS IN SYSTEM DESIGN, 2020; 56 (1-3): 127

Abstract

Firewalls are widely deployed to manage enterprise networks. Because enterprise-scale firewalls contain hundreds or thousands of rules, ensuring the c......

Full Text Link