Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun Hwang. Model Checking for Verification of Mandatory Access Control Models and Properties. International Journal of Software Engineering and Knowledge Engineering, 21(1):103-127, 2011. [doi]
Abstract is missing.