Mohammed Noraden Alsaleh, Ehab Al-Shaer, Adel El-Atawy. Towards a Unified Modeling and Verification of Network and System Security Configurations. In Ehab Al-Shaer, Xinming Ou, Geoffrey G. Xie, editors, Automated Security Management [papers from SafeConfig 2012, Baltimore Inner Harbor, MD, USA]. pages 3-19, Springer, 2012. [doi]
Abstract is missing.