Verification of Access Control Requirements in Web Services Choreography.
Federica PaciMourad OuzzaniMassimo MecellaPublished in: IEEE SCC (1) (2008)
Keyphrases
- access control
- web services
- service oriented architecture
- rbac model
- high assurance
- access control models
- fine grained
- workflow systems
- security policies
- dynamic access control
- data security
- role based access control
- security model
- access control policies
- service oriented
- role based access control model
- service composition
- security mechanisms
- web applications
- security requirements
- business processes
- identity management
- access control mechanism
- access control systems
- database security
- service providers
- security architecture
- data model
- role assignment
- lightweight
- loosely coupled