Property Verification for Generic Access Control Models

Created December 20, 2008, Updated February 17, 2017