Towards a Formally Verified Security Monitor for VM-based Confidential Computing.
Wojciech OzgaPublished in: HASP@MICRO (2023)
Keyphrases
- statistical databases
- confidential information
- inference control
- sensitive data
- information security
- virtual machine
- intrusion detection
- security management
- security requirements
- information assurance
- security vulnerabilities
- security systems
- real time
- security policies
- databases
- security level
- security problems
- monitoring system
- data mining