Epistemic Temporal Logic for Information Flow Security
Musard BalliuMads DamGurvan Le GuernicPublished in: CoRR (2012)
Keyphrases
- information flow
- temporal logic
- computation tree logic
- model checking
- information security
- reactive systems
- temporal epistemic
- epistemic logic
- modal logic
- satisfiability problem
- modal operators
- belief revision
- flow analysis
- concurrent systems
- social networks
- belief change
- verification method
- flow graph
- communication networks
- information flows
- mazurkiewicz traces
- temporal knowledge
- intrusion detection
- linear temporal logic
- bounded model checking
- multi context systems
- supply chain
- temporally extended
- markov chain