D.: A per model of secure information flow in sequential programs (2001)

by A Sabelfeld, Sands
Venue:Higher-Order and Symbolic Computation