Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning.
Jason CramptonMichael HuthJim Huan-Pu KuoPublished in: PAAR@IJCAR (2012)
Keyphrases
- automated reasoning
- access control
- reasoning systems
- theorem proving
- decision procedures
- knowledge representation
- probabilistic reasoning
- theorem prover
- fine grained
- security policies
- access control policies
- data processing
- reasoning tasks
- conflict resolution
- business processes
- automated verification
- role based access control
- web services
- knowledge representation and reasoning
- bayesian networks
- artificial intelligence
- probabilistic inference
- general purpose
- expert systems