Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows.
John HatcliffPublished in: ICFEM (2008)
Keyphrases
- information flow
- supply chain
- grid workflow
- cryptographic protocols
- integrity verification
- flow analysis
- information flows
- information security
- social networks
- third party
- model checking
- data processing
- access control policies
- multi threaded
- functional modules
- business processes
- web services
- security analysis
- communication networks
- optimal policy
- flow graph
- business process
- formal methods
- reactive systems
- manufacturing enterprises