A Formal Approach for the Identification of Authorization Policy Conflicts within Multi-Cloud Environments.
Ehtesham ZahoorAsim IkramSabina AkhtarOlivier PerrinPublished in: J. Grid Comput. (2022)
Keyphrases
- conflict resolution
- access control policies
- formal language
- access control
- resolve conflicts
- fine grained
- cloud computing
- data sets
- trust negotiation
- resolving conflicts
- cooperative
- virtual machine
- asymptotically optimal
- formal methods
- long run
- optimal policy
- dynamic environments
- multi agent
- reinforcement learning
- learning algorithm