A Theorem Proving Approach to Analysis of Secure Information Flow.
Ádám DarvasReiner HähnleDavid SandsPublished in: SPC (2005)
Keyphrases
- information flow
- theorem proving
- flow analysis
- decision procedures
- consequence finding
- term rewriting
- inference rules
- automated deduction
- predicate calculus
- parallel search
- flow graph
- information flows
- combinatorial search
- knowledge management
- automated reasoning
- theorem prover
- communication networks
- business intelligence