A type-based approach to program security (1997)

by D M Volpano, G Smith
Venue:In TAPSOFT