Compile-Time Enforcement of Dynamic Security Policies | IEEE Conference Publication | IEEE Xplore