Quantitative Information Flow - Verification Hardness and Possibilities.
Hirotoshi YasuokaTachio TerauchiPublished in: CSF (2010)
Keyphrases
- information flow
- model checking
- flow analysis
- communication networks
- flow graph
- social networks
- multi threaded
- supply chain
- information security
- information flows
- functional modules
- knowledge discovery
- worst case
- np complete
- case study
- real world
- phase transition
- formal methods
- information propagation
- multi context systems
- online social networks
- data warehouse
- np hard
- computational complexity