Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus.
Martin PettaiPeeter LaudPublished in: NordSec (2013)
Keyphrases
- information flow
- higher order
- collective behavior
- lambda calculus
- flow analysis
- communication networks
- functional modules
- information flows
- supply chain
- high order
- pairwise
- information security
- markov random field
- dynamic aspects
- social networks
- information propagation
- reactive systems
- multi threaded
- information systems
- information technology
- flow graph
- database query languages
- software engineering