Stack-based access control and secure information flow.

Anindya Banerjee David A. Naumann

Published in: J. Funct. Program. (2005)

Keyphrases

information flow
social networks
communication networks
flow analysis
functional modules
multi threaded
supply chain
information flows
flow graph
multi context systems
information security
key management
reactive systems
database
decision makers