A Formal Framework for Network Security Design Synthesis.

Mohammad Ashiqur Rahman, Ehab Al-Shaer

Browse the full ICDCS paper archive.