Securing Web Service Compositions: Formalizing Authorization Policies Using Event Calculus.
Mohsen RouachedClaude GodartPublished in: ICSOC (2006)
Keyphrases
- event calculus
- web service compositions
- access control
- role based access control
- access control policies
- temporal reasoning
- situation calculus
- service composition
- reasoning about actions and change
- web services
- web service composition
- partially ordered
- deductive databases
- reasoning tasks
- domain specific knowledge
- transitive closure
- quality of service
- optimal policy
- directed acyclic graph
- temporal databases
- initial state
- theorem prover
- temporal information
- domain knowledge