Managing policy updates in security-typed languages (2006)

by N Swamy, M Hicks, S Tse, S Zdancewic
Venue:In CSFW