Login / Signup
Noninterference for free.
William J. Bowman
Amal Ahmed
Published in:
ICFP (2015)
Keyphrases
</>
real time
security policies
data mining
information systems
viewpoint
computer networks