Secure Information Flow in a Multi-Threaded Imperative Language.

Geoffrey Smith Dennis M. Volpano

Published in: POPL (1998)

Keyphrases

multi threaded
information flow
social networks
information flows
programming language
communication networks
supply chain
information security
information systems
flow graph
operating system
computer systems