Linear-Time Verification of Firewalls.

Hrishikesh B. Acharya, Mohamed G. Gouda

Browse the full ICNP paper archive.