Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants.
Hyoukjun KwonWilliam HarrisHadi EsmaeilzadehPublished in: CSF (2017)
Keyphrases
- intrusion detection
- database language
- network security
- security requirements
- logic programming
- information security
- relational data
- automatically generated
- security issues
- security policies
- proof theory
- moment invariants
- multi relational
- databases
- information flow
- security systems
- data model
- statistical databases
- cyber security
- security protocols
- security analysis
- computer security
- security mechanisms
- access control
- knowledge representation
- relational databases