Achieving information flow security through precise control of effects. Pages 16–30 of (2005)

by William L Harrison
Venue:In 18th IEEE Computer Security Foundations Workshop. IEEE Computer Society