A Simple View of Type-Secure Information Flow in the p-Calculus.

François Pottier

Published in: CSFW (2002)

Keyphrases

information flow
flow analysis
databases
functional modules
multi threaded
information flows
database
social networks
communication networks
type checking
information propagation
data mining
information systems
social network analysis
multi context systems