Secure Information Flow in Java via Reachability Analysis of Pushdown System.
Cong SunLiyong TangZhong ChenPublished in: QSIC (2010)
Keyphrases
- information flow
- reachability analysis
- model checking
- multi threaded
- temporal logic
- markov decision processes
- timed automata
- flow analysis
- information flows
- social networks
- communication networks
- incremental algorithms
- supply chain
- state space
- reactive systems
- information security
- flow graph
- real time
- information propagation
- reinforcement learning
- multi context systems