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

by W L Harrison, J Hook
Venue:In Proceedings of the 18th IEEE workshop on Computer Security Foundations, CSFW’05