Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization.
Yannis JuglaretCatalin HritcuArthur Azevedo de AmorimBenjamin C. PiercePublished in: CoRR (2016)
Keyphrases
- low level
- high level
- high level abstractions
- higher level
- low level features
- intrusion detection
- information security
- security issues
- computer security
- security policies
- statistical databases
- network security
- visual cues
- security management
- mid level
- access control
- information assurance
- security problems
- data security
- visual features
- security systems
- security properties
- theoretical guarantees
- encryption scheme