A Library for Secure Multi-threaded Information Flow in Haskell.

Ta-Chung Tsai Alejandro Russo John Hughes

Published in: CSF (2007)

Keyphrases

multi threaded
information flow
social networks
programming language
communication networks
information security
information flows
supply chain
highly efficient
flow graph
real time
data model
low cost
distributed environment