Reasoning About Firewall Policies Through Refinement and Composition.

Ultan Neville, Simon N. Foley

Browse the full DBSEC paper archive.