History-sensitive versus future-sensitive approaches to security in distributed systems

Alejandro Mario Hernandez, Flemming Nielson

We consider the use of aspect-oriented techniques as a flexible way to deal with security policies in distributed systems. Recent work suggests to use aspects for analysing the fut…