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

Document Versions

Eliminating Covert Flows with Minimum Typings –Dennis Volpano, Geoffrey Smith — 1997 — In Proc. 10th IEEE Computer Security Foundations Workshop
Eliminating covert flows with minimum typings –Dennis Volpano, Geoffrey Smith — 1997 — In Proceedings10thIEEE Computer Security Foundations Workshop
Eliminating Covert Flows with Minimum Typings –Dennis Volpano, Geoffrey Smith — 1997 — In Proc. 10th IEEE Computer Security Foundations Workshop
Eliminating covert flows with minimum typings –Dennis Volpano — 1997 — In Proc. 10th IEEE Computer Security Foundations Workshop