Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints.
Weiqiang KongKazuhiro OgataKokichi FutatsugiPublished in: Int. J. Softw. Eng. Knowl. Eng. (2007)
Keyphrases
- formal verification
- high level
- access control
- grid workflow
- asynchronous circuits
- formal methods
- data processing
- constraint satisfaction
- global constraints
- protocol specification
- role based access control
- formal specification
- control flow
- exception handling
- resource constraints
- constraint language
- access control mechanism
- concurrent systems
- empirical comparisons
- distributed systems