A declarative approach for global network security configuration verification and evaluation.

Mohammad Ashiqur Rahman, Ehab Al-Shaer

Browse the full IM paper archive.