A sound type system for secure ow analysis (1996)

by Dennis Volpano, Geo rey Smith, Cynthia Irvine
Venue:Journal of Computer Security