Relational Test Tables: A Practical Specification Language for Evolution and Security.
Alexander WeiglMattias UlbrichSuhyun ChaBernhard BeckertBirgit Vogel-HeuserPublished in: CoRR (2019)
Keyphrases
- specification language
- formal specification
- description language
- programming language
- statistical databases
- information security
- relational databases
- relational data
- databases
- security requirements
- intrusion detection
- access control
- database
- real world
- software environment
- requirements specification
- security policies
- symbolic execution
- model checking
- data model
- artificial intelligence
- relational tables