Managing policy updates in security-typed languages,” (2006)

by N Swamy, M Hicks, S Tse, S Zdancewic
Venue:in 19th IEEE Computer Security Foundations Workshop (CSFW),