Verifying Information Flow Control Over Unbounded Processes

by William R. Harris, Nicholas A. Kidd, Sagar Chaki, Somesh Jha, Thomas Reps, Grammatech Inc