HyperForce: Hypervisor-enForced Execution of Security-Critical Code.
Francesco GadaletaNick NikiforakisJan Tobias MühlbergWouter JoosenPublished in: SEC (2012)
Keyphrases
- windows xp
- operating system
- code generation
- virtual machine
- information security
- java virtual machine
- security requirements
- intrusion detection
- security issues
- access control
- data flow
- execution model
- security systems
- control flow
- memory management
- security threats
- security policies
- network security
- java card
- security mechanisms
- security analysis
- key management
- network resources
- data integrity
- wireless sensor networks
- static analysis
- response time
- protection scheme
- software engineering