Cloud calculus: Security verification in elastic cloud computing platform.
Yosr JarrayaArash EghtesadiMourad DebbabiYing ZhangMakan PourzandiPublished in: CTS (2012)
Keyphrases
- cloud computing platform
- cloud computing
- cloud computing environment
- security issues
- cloud storage
- high security
- java card
- cloud services
- intrusion detection
- load balancing
- data center
- virtual machine
- computing resources
- integrity verification
- computing infrastructure
- distributed computing
- cryptographic protocols
- access control
- service providers
- data management
- business models
- information security
- smart card
- network security
- computing platform
- model checking
- open architecture
- limited resources
- security systems
- sensitive data
- security requirements
- databases
- digital libraries
- database systems