Verifying Secure Information Flow in Federated Clouds.
Wen ZengMaciej KoutnyPaul WatsonPublished in: CloudCom (2014)
Keyphrases
- information flow
- flow analysis
- social networks
- information flows
- information security
- digital libraries
- supply chain
- cloud computing
- model checking
- flow graph
- communication networks
- multi context systems
- multi threaded
- temporal logic
- identity management
- functional modules
- distributed systems
- information systems
- object oriented