Program transformations under dynamic security policies

A new static analysis is proposed for programming languages with access control based on stack inspection. This analysis allows for various security-aware program optimizations. A novel feature of our static analysis is that it is parametric with respect to the security policy in force, so it needs not to be recomputed when the access rights are dynamically updated. Keywords: Language-based security, Access control, Static analysis, Compiler optimization