We show how to use aspect-oriented programming to separate security and trust issues from the logical design of mobile, distributed systems. The main challenge is how to enforce various types of security policies, in particular predictive access control policies — policies based on the future behavior of a program. A novel feature of our approach is that we can define policies concerning secondary use of data.
Science of Computer Programming, 2013, Vol 78, Issue 9, p. 1264-1277
Coordination languages; Security policies; Aspect-oriented programming; Program analysis; Tuple spaces