Stateless Code Model Checking of Information Flow Security.
Elaheh GhassabaniMohammad Abdollahi AzgomiPublished in: CoRR (2016)
Keyphrases
- information flow
- model checking
- reactive systems
- temporal logic
- information security
- formal verification
- temporal properties
- automated verification
- symbolic model checking
- social networks
- information flows
- formal specification
- model checker
- timed automata
- verification method
- communication networks
- reachability analysis
- computation tree logic
- dynamic analysis
- pspace complete
- source code
- epistemic logic
- formal methods
- process algebra
- transition systems
- linear temporal logic
- bounded model checking
- asynchronous circuits
- binary decision diagrams
- intrusion detection system
- intrusion detection
- supply chain
- information systems