Towards formal specification and verification of a role-based authorization engine using JML.
Tanveer MustafaMichael DrouineaudKarsten SohrPublished in: SESS@ICSE (2010)
Keyphrases
- formal specification
- model checking
- access control
- concurrent systems
- formal methods
- model checker
- role based access control
- temporal logic
- protocol specification
- role assignment
- object oriented design
- process algebra
- specification language
- specification languages
- access control policies
- access control models
- formal verification
- trust negotiation
- access control systems
- fine grained
- security policies
- rbac model
- asynchronous circuits
- data abstraction
- reverse engineering
- conflict resolution
- bounded model checking
- rule base
- access rights
- grid workflow
- open source
- trust management
- multi domain
- computation tree logic
- formal specification language