Achieving information flow security through precise control of effects (2005)

by W L Harrison, J Hook
Venue:In Proc. IEEE Computer Sec. Foundations Workshop. IEEE Computer Society