Hrishikesh B. Acharya, Mohamed G. Gouda. Firewall verification and redundancy checking are equivalent. In INFOCOM 2011. 30th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 10-15 April 2011, Shanghai, China. pages 2123-2128, IEEE, 2011. [doi]
Abstract is missing.