Compositional Security for Reentrant Applications.
Ethan CecchettiSiqiu YaoHaobin NiAndrew C. MyersPublished in: IEEE Symposium on Security and Privacy (2021)
Keyphrases
- information security
- security issues
- intrusion detection
- security requirements
- access control
- security systems
- database
- security threats
- information assurance
- security measures
- security problems
- data security
- computer security
- statistical databases
- security policies
- network security
- lightweight
- security analysis
- risk analysis
- high security
- data management