Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation.
Yannis JuglaretCatalin HritcuArthur Azevedo de AmorimBoris EngBenjamin C. PiercePublished in: CSF (2016)
Keyphrases
- information security
- security issues
- access control
- intrusion detection
- information assurance
- network security
- security policies
- security systems
- security level
- risk assessment
- human operators
- security vulnerabilities
- security analysis
- outsourced databases
- data sets
- security management
- security model
- security mechanisms
- security requirements
- neural network