Here you can't: context-aware security

Adaptive systems improve their eciency by modifying their behaviour to respond to changes of their operational environment. Also, security must adapt to these changes and policy enforcement becomes dependent on the dynamic contexts. We address some issues of context- aware security from a language-based perspective. More precisely, we extend a core adaptive functional language, recently introduced by some of the authors, with primitives to enforce security policies on the code execution. Then, we accordingly extend the existing static analysis in order to insert checks in a program. The introduced checks guarantee that no violation occurs of the required security policies.