Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud.
Yosr JarrayaArash EghtesadiMourad DebbabiYing ZhangMakan PourzandiPublished in: SSS (2012)
Keyphrases
- virtual machine
- formal verification
- cloud computing environment
- java card
- cloud computing
- model checking
- operating system
- cloud services
- data center
- application level
- windows xp
- network access
- distributed computing
- computing resources
- model checker
- automated verification
- symbolic model checking
- bounded model checking
- low latency
- information security
- byte code
- intrusion detection
- computer systems
- data processing
- databases
- software engineering
- data management
- open architecture
- network security
- load balancing
- java virtual machine
- low cost
- service providers
- security policies
- temporal logic