ENCoVer: Symbolic Exploration for Information Flow Security.
Musard BalliuMads DamGurvan Le GuernicPublished in: CSF (2012)
Keyphrases
- information flow
- information security
- flow analysis
- information flows
- social networks
- communication networks
- information propagation
- supply chain
- flow graph
- symbolic representation
- security issues
- functional modules
- multi threaded
- multi context systems
- information diffusion
- computer networks
- smart card
- social network analysis
- data analysis