Verification of SGAC Access Control Policies Using Alloy and ProB.
Nghi HuynhMarc FrappierAmel MammarRégine LaleauPublished in: HASE (2017)
Keyphrases
- access control policies
- conflict resolution
- access control
- access control systems
- security policies
- distributed environment
- extended logic programs
- fine grained
- model checking
- security mechanisms
- trust negotiation
- distributed systems
- sensitive data
- loosely coupled
- query processing
- intelligent agents
- peer to peer
- data management
- multi agent systems
- database