S.: Updatable security views (2009)

by J Foster, B Pierce, Zdancewic
Venue:In