Property Verification for Generic Access Control Models

Created December 20, 2008, Updated September 05, 2014