A type-based approach to program security (1997)

by D Volpano, G Smith
Venue:In Proc. TAPSOFT’97, volume 1214 of LNCS