Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.
Nicoletta De FrancescoAntonella SantoneLuca TeseiPublished in: Fundam. Informaticae (2003)
Keyphrases
- model checking
- concurrent systems
- information flow
- abstract interpretation
- temporal logic
- verification method
- formal specification
- process algebra
- transition systems
- reactive systems
- model checker
- formal verification
- social networks
- communication networks
- information security
- supply chain
- dynamic analysis
- information systems
- e government
- databases