Design, Implementation and Verification of Cloud Architecture for Monitoring a Virtual Machine's Security Health.
Tianwei ZhangRuby B. LeePublished in: IEEE Trans. Computers (2018)
Keyphrases
- virtual machine
- java card
- operating system
- cloud computing environment
- java bytecode
- high assurance
- memory management
- data center
- architectural design
- multi tasking
- monitoring system
- design methodology
- real time
- cloud computing
- cloud infrastructure
- hardware architecture
- software architecture
- platform independent
- remote attestation
- distributed computing
- network access
- computing resources
- java virtual machine
- cloud services
- computing paradigm
- intrusion detection
- hardware implementation
- network security
- information security
- model checking
- e learning