Formal Analysis of Workflow Systems with Security Considerations.
Weiqiang KongKazuhiro OgataKokichi FutatsugiPublished in: SEKE (2005)
Keyphrases
- formal analysis
- workflow systems
- ban logic
- access control
- business processes
- workflow management
- temporal constraints
- formal methods
- widely recognized
- mobile agents
- security policies
- security requirements
- information security
- authentication protocol
- active databases
- process model
- agent model
- workflow management systems
- information systems
- knowledge intensive
- database
- key management
- temporal reasoning
- video sequences
- e learning
- artificial intelligence