Firewall verification and redundancy checking are equivalent.

Hrishikesh B. Acharya, Mohamed G. Gouda

Browse the full INFOCOM paper archive.