JFlow: Practical Mostly-Static Information Flow Control

Andrew C. Myers. JFlow: Practical Mostly-Static Information Flow Control. In POPL. pages 228-241, 1999. [doi]

Abstract

Abstract is missing.