Updatable security views (2009)

by J Foster, B Pierce, S Zdancewic
Venue:In Computer Security Foundations Symposium