Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods.
Mark SlaymakerDavid J. PowerAndrew SimpsonPublished in: ASM (2010)
Keyphrases
- lightweight
- formal methods
- access control
- role based access control
- access control policies
- multi domain
- fine grained
- formal specification
- safety critical
- knowledge based systems
- artificial intelligence
- model checking
- formal analysis
- software engineering
- data security
- security policies
- security mechanisms
- wireless sensor networks
- development lifecycle
- markup language
- formal specification language
- security requirements
- conflict resolution
- information systems