A sound type system for secure flow analysis. (1996)

by D Volpano, G Smith, C Irvine
Venue:J. Computer Security,