Automated Analysis of Infinite State Workflows with Access Control Policies.
Alessandro ArmandoSilvio RanisePublished in: STM (2011)
Keyphrases
- automated analysis
- access control policies
- access control
- conflict resolution
- access control systems
- distributed environment
- security policies
- data processing
- biomedical imaging
- fine grained
- web services
- security mechanisms
- visual analysis
- virtual enterprise
- business processes
- loosely coupled
- trust negotiation
- video analysis
- workflow management systems
- business process
- security issues
- security requirements
- information flow
- multimedia
- distributed systems
- vocal cord