We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a set of Or-BAC security rules, our method derives corresponding AspectJ aspects. Derived aspects modify the behaviour of the underlying program so as to meet the policy. Then, these aspects are weaved into the target ...

Currently envisaged mitigation of greenhouse gases (GHG) emissions will be insufficient to appreciably limit climate change and its impacts. Adaptation holds the promise of ameliorating the impacts on a small subset of systems being affected. There is no question that both will be needed. However, climate change is only part of a broader multi-stress setting of global through to local changes. ...