Eliminating Covert Flows with Minimum Typings (1997)

by Dennis Volpano , Geoffrey Smith
Venue:In Proc. 10th IEEE Computer Security Foundations Workshop
Citations:67 - 6 self