Formal verification of secure information flow in cloud computing.
Wen ZengMaciej KoutnyPaul WatsonVasileios GermanosPublished in: J. Inf. Secur. Appl. (2016)
Keyphrases
- information flow
- cloud computing
- formal verification
- security issues
- identity management
- secure manner
- model checking
- cloud storage
- private cloud
- trusted computing
- cloud computing environment
- computing resources
- information security
- distributed computing
- data center
- communication networks
- service providers
- data management
- social networks
- supply chain
- business models
- computing platform
- temporal logic
- cloud services
- databases
- database systems
- cost effective
- decision making
- cloud computing platform