Formal methods for security in the Xenon hypervisor.
Leo FreitasJohn P. McDermottPublished in: Int. J. Softw. Tools Technol. Transf. (2011)
Keyphrases
- formal methods
- security properties
- formal analysis
- formal specification
- safety critical
- knowledge based systems
- artificial intelligence
- model checking
- operating system
- provably correct
- information security
- process algebra
- security issues
- model checker
- virtual machine
- security requirements
- intrusion detection
- software engineering
- formal model
- development lifecycle
- access control
- security policies
- security mechanisms
- protocol specification
- formal specification language
- security protocols
- key management
- network security
- natural language