LOCKS: a property specification language for security goals.
Rajesh KumarArend RensinkMariëlle StoelingaPublished in: SAC (2018)
Keyphrases
- specification language
- description language
- formal specification
- programming language
- information security
- blind signature scheme
- symbolic execution
- security issues
- access control
- intrusion detection
- software environment
- security requirements
- databases
- requirements specification
- software architecture
- security policies
- concurrency control
- data management
- general purpose
- search algorithm
- database