Information-flow security for interactive programs (2006)

by K R O’Neill, M R Clarkson, S Chong
Venue:In: CSFW ’06: Proceedings of the 19th IEEE workshop on Computer Security Foundations