SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices).
Pengbo YanToby MurrayPublished in: CoRR (2021)
Keyphrases
- access control
- intrusion detection
- classical logic
- computer security
- information security
- security issues
- security requirements
- security protocols
- security policies
- statistical databases
- network security
- logical framework
- logic programming
- predicate logic
- security problems
- derivation rules
- data flow
- database systems
- functional requirements
- key management
- modal logic
- concurrency control
- asynchronous circuits
- concurrent execution