Quantitative Analysis of Secure Information Flow via Probabilistic Semantics.
Chunyan MuDavid ClarkPublished in: ARES (2009)
Keyphrases
- quantitative analysis
- information flow
- qualitative analysis
- social networks
- qualitative evaluation
- flow graph
- flow analysis
- formal semantics
- qualitative and quantitative analysis
- information security
- communication networks
- information flows
- supply chain
- dynamic aspects
- bayesian networks
- functional modules
- multi context systems
- information propagation
- method invocation
- reactive systems
- multi threaded
- nonmonotonic logics
- logic programming
- model checking
- multi agent systems