Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures.
Michele BarlettaSilvio RaniseLuca ViganòPublished in: CSE (3) (2009)
Keyphrases
- service oriented architecture
- loosely coupled
- access control policies
- business process
- web services
- business processes
- service oriented
- role based access control
- access control
- workflow management systems
- dynamic access control
- service discovery
- service oriented computing
- conflict resolution
- artifact centric
- model checking
- fine grained
- loose coupling
- lightweight
- model driven
- distributed systems
- process model
- optimal policy
- service composition
- access control systems
- scientific workflows
- digital campus
- mobile services
- model driven development
- semantic web services
- case study
- peer to peer
- petri net
- data driven
- data flow
- real world