SecRSL: security separation logic for C11 release-acquire concurrency.
Pengbo YanToby MurrayPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- multi valued
- information security
- computer security
- intrusion detection
- statistical databases
- security problems
- access control
- security requirements
- security issues
- software systems
- network security
- security policies
- information assurance
- database systems
- security level
- security threats
- security management
- data flow
- concurrency control
- sensitive data
- fine grained
- knowledge representation
- elliptic curve
- security systems
- database