Specification and Verification of Authorization Policies for Web Services Composition.
Mohsen RouachedClaude GodartPublished in: CAiSE Forum (2007)
Keyphrases
- web services composition
- process algebra
- formal verification
- web service composition
- asynchronous circuits
- access control policies
- access control
- composition of web services
- role based access control
- concurrent systems
- service composition
- protocol specification
- web services
- formal methods
- model checking
- highly reliable
- colored petri nets
- conflict resolution
- service selection
- petri net
- optimal policy
- transactional properties
- formal specification
- composite web services
- security policies
- quality of service
- service oriented
- fine grained
- security requirements
- service discovery
- case study
- specification language
- distributed environment
- smart card
- lightweight
- search space
- search algorithm