Verifying the Safety of Xen Security Modules.
Wei HanYeping HeLiping DingPublished in: SSIRI (Companion) (2011)
Keyphrases
- information security
- information assurance
- statistical databases
- intrusion detection
- access control
- building blocks
- security issues
- security requirements
- computer security
- data security
- model checking
- security vulnerabilities
- security policies
- human operators
- security analysis
- modular structure
- sensitive data
- security management
- security level
- security systems
- authentication protocol
- data integrity
- security mechanisms
- data sets
- network security
- fault tolerant
- database systems