Hrishikesh B. Acharya, Mohamed G. Gouda. Projection and Division: Linear-Space Verification of Firewalls. In 2010 International Conference on Distributed Computing Systems, ICDCS 2010, Genova, Italy, June 21-25, 2010. pages 736-743, IEEE Computer Society, 2010. [doi]
Abstract is missing.