Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version)
Michele BarlettaSilvio RaniseLuca ViganòPublished in: CoRR (2009)
Keyphrases
- service oriented architecture
- loosely coupled
- web services
- access control policies
- service oriented
- business process
- business processes
- access control
- service oriented computing
- role based access control
- service discovery
- conflict resolution
- model driven
- workflow management systems
- semantic web services
- loose coupling
- business process modeling
- dynamic access control
- fine grained
- petri net
- service composition
- model driven development
- process automation
- data flow
- access control systems
- service description
- mobile services
- security policies
- model checking
- data management
- web applications
- process model
- data integration
- optimal policy
- distributed systems
- case study