A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs.

Dorina Ghindici Isabelle Simplot-Ryl Jean-Marc Talbot

Published in: FSEN (2009)

Keyphrases

information flow
flow analysis
multi threaded
memory requirements
social networks
decision making
data analysis
intelligent agents