Mingyi Zhao, Peng Liu. Modeling and Checking the Security of DIFC System Configurations. In Ehab Al-Shaer, Xinming Ou, Geoffrey G. Xie, editors, Automated Security Management [papers from SafeConfig 2012, Baltimore Inner Harbor, MD, USA]. pages 21-38, Springer, 2012. [doi]
Abstract is missing.