Quantitative Information Flow - Verification Hardness and Possibilities
Hirotoshi YasuokaTachio TerauchiPublished in: CoRR (2010)
Keyphrases
- information flow
- social networks
- flow analysis
- information flows
- communication networks
- model checking
- computational complexity
- information security
- information propagation
- supply chain
- information systems
- formal methods
- phase transition
- np complete
- multi threaded
- worst case
- object oriented
- decision making
- flow graph