Automatic Conformance Checking of Role-Based Access Control Policies via Alloy
Year: 2011
Type: conference-paper
Authors: David Power, Mark Slaymaker, Andrew Simpson
Institution: University of Oxford
Language: English
Topic: Access Control and Trust
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4234929969
