Managing policy updates in security-typed languages | IEEE Conference Publication | IEEE Xplore