Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines.
Nuno SantosNuno P. LopesPublished in: HotDep (2014)
Keyphrases
- model checking
- virtual machine
- remote attestation
- trusted computing
- cloud computing
- temporal logic
- cloud computing environment
- operating system
- data center
- formal verification
- formal specification
- model checker
- computing platform
- distributed computing
- formal methods
- computing environments
- verification method
- computation tree logic
- computer security
- cost effective
- database
- cloud services
- fault tolerant
- data management