Efficient type inference for secure information flow.

Katia Hristova Tom Rothamel Yanhong A. Liu Scott D. Stoller

Published in: PLAS (2006)

Keyphrases

information flow
social networks
lightweight
flow analysis
communication networks
inference mechanism
information flows
association rules
intelligent agents
flow graph
multi context systems