, C.
, Kuhn, D.
, Xie, T.
and Hwang, J.
(2011),
Model Checking for Verification of Mandatory Access Control Models and Properties, International Journal of Software Engineering and Knowledge Engineering, [online], https://doi.org/10.1142/S021819401100513X
(Accessed November 1, 2024)