Improving security in cloud by formal modeling of IaaS resources.
Flora AmatoFrancesco MoscatoVincenzo MoscatoFrancesco ColacePublished in: Future Gener. Comput. Syst. (2018)
Keyphrases
- cloud computing
- computing resources
- computing infrastructure
- cloud computing environment
- cloud services
- data center
- security issues
- cloud infrastructure
- network access
- private cloud
- cloud computing platform
- cloud storage
- security requirements
- resource constraints
- network security
- statistical databases
- modeling language
- distributed computing
- formal methods
- formal models
- cloud platform
- information systems
- multi tenant
- data management
- access control
- privacy preserving
- information security
- virtual machine
- resource management
- security systems