Stochastic Model Checking

Self-Adaptive Role-Based Access Control for Business Processes
We present an approach for dynamically reconfiguring the role-based access control (RBAC) of information systems running business …
PDF Cite DOI