1 Department of Applied Mathematics and Computer Science, Technical University of Denmark2 Language-Based Technology, Department of Applied Mathematics and Computer Science, Technical University of Denmark3 Department of Informatics and Mathematical Modeling, Technical University of Denmark4 Imperial College London5 Imperial College London
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