Verifying information flow control over unbounded processes (2009)

by William R Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W Reps
Venue:In FM