Model Checking for Verification of Mandatory Access Control Models and Properties

Created February 28, 2011, Updated February 19, 2017