Secure information flow and CPS (2001)

by S Zdancewic, A C Myers
Venue:in Proc. European Symp. Programming, vol. LNCS 2028