Verifying Information Flow Control over Unbounded Processes.

William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps

Browse the full FM paper archive.