Specification and Verification of Access Control Policies in EB3SEC: Work in Progress.
Pierre KonopackiHakim BelhaouariMarc FrappierRégine LaleauPublished in: FPS (2011)
Keyphrases
- access control policies
- access control
- conflict resolution
- formal verification
- formal language
- access control systems
- security policies
- distributed environment
- extended logic programs
- model checking
- fine grained
- automated trust negotiation
- security mechanisms
- virtual enterprise
- trust negotiation
- role based access control
- data mining
- loosely coupled
- privacy preserving
- low cost