HyperForce: Hypervisor-enForced Execution of Security-Critical Code.
Francesco GadaletaNick NikiforakisJan Tobias MühlbergWouter JoosenPublished in: CoRR (2014)
Keyphrases
- operating system
- windows xp
- code generation
- virtual machine
- information security
- java virtual machine
- data flow
- intrusion detection
- statistical databases
- source code
- control flow
- network security
- access control
- security requirements
- java card
- static analysis
- encryption scheme
- security mechanisms
- network resources
- key management
- cyber security
- security issues
- security level
- execution model
- critical information
- countermeasures
- protection scheme
- security policies