A holistic approach for access control policies: from formal specification to aspect-based enforcement.
Slim KallelAnis CharfiMira MeziniMohamed JmaielAndreas SewePublished in: Int. J. Inf. Comput. Secur. (2009)
Keyphrases
- formal specification
- access control policies
- access control
- conflict resolution
- distributed environment
- security policies
- model checking
- access control systems
- object oriented design
- fine grained
- process algebra
- security mechanisms
- formal language
- formal methods
- reverse engineering
- security requirements
- databases
- trust negotiation
- role based access control
- information flow
- network security
- case study
- temporal logic
- building blocks