Eliminating Covert Flows with Minimum Typings (1997)

by Dennis Volpano, Geoffrey Smith
Venue:In Proc. 10th IEEE Computer Security Foundations Workshop