A monadic analysis of information flow security with mutable state.

Karl Crary Aleksey Kliger Frank Pfenning

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

Keyphrases

information flow
flow analysis
information security
social networks
data analysis
access control
data mining
case study
information technology
shortest path
communication networks
process management
multi threaded