Formal Verification of Liferay RBAC.
Stefano CalzavaraAlvise RabittiMichele BugliesiPublished in: ESSoS (2015)
Keyphrases
- formal verification
- role based access control
- access control
- model checking
- model checker
- bounded model checking
- symbolic model checking
- automated verification
- rbac model
- multi domain
- program slicing
- role based access control model
- security mechanisms
- access control mechanism
- temporal logic
- formal specification
- access control policies
- domain specific