Projection and Division: Linear-Space Verification of Firewalls.

Hrishikesh B. Acharya, Mohamed G. Gouda

Browse the full ICDCS paper archive.