Verification of Workflow processes under multilevel security considerations.
Kamel BarkaouiRahma Ben AyedHanifa BouchenebAwatef HicheurPublished in: CRiSIS (2008)
Keyphrases
- multilevel security
- workflow processes
- grid workflow
- business processes
- multilevel secure
- transaction model
- database security
- workflow management systems
- dynamically changing
- temporal constraints
- database systems
- control flow
- databases
- database design
- transaction management
- service oriented
- business process
- database