Updatable Security Views (2009)

by J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic