Certification of Programs for Secure Information Flow.

Dorothy E. Denning Peter J. Denning

Published in: Commun. ACM (1977)

Keyphrases

information flow
social networks
flow analysis
information security
information flows
third party
communication networks
functional modules
supply chain
reactive systems
multi threaded
flow graph
real world
data model
unsupervised learning
information propagation