Predictive access control for distributed computation

Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson

Research output: Contribution to journalJournal articleResearchpeer-review


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.
Original languageEnglish
JournalScience of Computer Programming
Issue number9
Pages (from-to)1264-1277
Publication statusPublished - 2013


  • Coordination languages
  • Security policies
  • Aspect-oriented programming
  • Program analysis
  • Tuple spaces


Dive into the research topics of 'Predictive access control for distributed computation'. Together they form a unique fingerprint.

Cite this