Epistemic temporal logic for information flow security.
Musard BalliuMads DamGurvan Le GuernicPublished in: PLAS (2011)
Keyphrases
- information flow
- temporal logic
- computation tree logic
- model checking
- information security
- reactive systems
- modal logic
- epistemic logic
- temporal epistemic
- social networks
- satisfiability problem
- flow analysis
- modal operators
- concurrent systems
- information flows
- communication networks
- supply chain
- verification method
- temporal knowledge
- linear temporal logic
- flow graph
- bounded model checking
- model checker
- formal verification
- transition systems
- belief revision
- smart card
- mazurkiewicz traces
- temporally extended
- multi context systems
- automata theoretic
- information systems