C. Allan, P. Avgustinov, A. Christensen, L. Hendren, S. Kuzins et al., Adding trace matching with free variables to AspectJ, OOPSLA'05, p.364, 2005.
DOI : 10.1145/1094811.1094839
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.9949

T. Aotani and H. Masuhara, SCoPE, Proceedings of the 6th international conference on Aspect-oriented software development , AOSD '07, pp.161-172, 2007.
DOI : 10.1145/1218563.1218582

L. Bauer, J. Ligatti, and D. Walker, Composing security policies with Polymer, PLDI'05, pp.305-314, 2005.
DOI : 10.1145/1064978.1065047
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.498

L. Bettini and R. Nicola, A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces, FIDJI'02, Int. Workshop on scientific engineering of distributed Java applications, pp.175-184, 2003.
DOI : 10.1007/3-540-36520-6_16

L. Bettini and R. Nicola, Mobile Distributed Programming in X-Klaim, Formal Methods for Mobile Computing, Advanced Lectures, pp.29-68, 2005.
DOI : 10.1007/11419822_2

L. Bettini, R. De-nicola, and R. Pugliese, Klava: a Java package for distributed and mobile applications. Software-Practice and Experience, pp.1365-1394, 2002.
DOI : 10.1002/spe.486

E. Bodden and K. Havelund, Aspect-Oriented Race Detection in Java, IEEE Transactions on Software Engineering, vol.36, issue.4, 2010.
DOI : 10.1109/TSE.2010.25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.2249

E. Bruneton, R. Lenglet, and T. Coupaye, ASM: a code manipulation tool to implement adaptable systems, Proceedings of the ASF (ACM SIGOPS France) Journees Composants 2002: Adaptable and extensible component systems, 2002.

B. Cannon and E. Wohlstadter, Enforcing security for desktop clients using authority aspects, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.255-266, 2009.
DOI : 10.1145/1509239.1509275

S. Chiba and K. Nakagawa, Josh, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.102-111, 2004.
DOI : 10.1145/976270.976284

R. De-nicola, G. L. Ferrari, and R. Pugliese, KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.315-330, 1998.
DOI : 10.1109/32.685256

R. De-nicola, G. L. Ferrari, R. Pugliese, and B. Venneri, Types for access control, Theoretical Computer Science, vol.240, issue.1, pp.215-254, 2000.
DOI : 10.1016/S0304-3975(99)00232-7

D. Nicola, D. Gorla, R. R. Hansen, F. Nielson, H. R. Nielson et al., From flow logic to static type systems for coordination languages, CO- ORDINATION'08, pp.100-116, 2008.

A. S. De-oliveira, E. K. Wang, C. Kirchner, and H. Kirchner, Weaving rewrite-based access control policies, Proceedings of the 2007 ACM workshop on Formal methods in security engineering , FMSE '07, pp.71-80, 2007.
DOI : 10.1145/1314436.1314446
URL : https://hal.archives-ouvertes.fr/inria-00185710

U. Department-of-health, NHS Code of Practice-Confidentiality, 2003.

M. Evered and S. Bögeholz, A case study in access control requirements for a health information system, ACSW Frontiers'04, pp.53-61, 2004.

E. Freeman, K. Arnold, and S. Hupfer, JavaSpaces principles, patterns, and practice, 1999.

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.9679

R. Gorrieri, R. Lucchi, and G. Zavattaro, Supporting secure coordination in SecSpaces, Fundamenta Informaticae, vol.73, issue.4, pp.479-506, 2006.

R. Handorean and G. Roman, Secure Sharing of Tuple Spaces in Ad Hoc Settings, Electronic Notes in Theoretical Computer Science, vol.85, issue.3, pp.122-141, 2003.
DOI : 10.1016/S1571-0661(04)80688-1

G. Kiczales, The fun has just begun, Keynote AOSD, 2003.

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, ECOOP'01, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes et al., Aspect-oriented programming, ECOOP'97, pp.220-242, 1997.

G. Kniesel, T. Rho, and S. Hanenberg, Evolvable pattern implementations need generic aspects, RAM-SE'04, pp.111-126, 2004.

H. Masuhara and K. Kawauchi, Dataflow Pointcut in Aspect-Oriented Programming, APLAS'03, pp.105-121, 2003.
DOI : 10.1007/978-3-540-40018-9_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9560

L. D. Navarro, M. Südholt, W. Vanderperren, B. D. Fraine, and D. Suvée, Explicitly distributed AOP using AWED, Proceedings of the 5th international conference on Aspect-oriented software development , AOSD '06, pp.51-62, 2006.
DOI : 10.1145/1119655.1119665
URL : https://hal.archives-ouvertes.fr/inria-00071386

M. Nishizawa, S. Chiba, and M. Tatsubori, Remote pointcut, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.7-15, 2004.
DOI : 10.1145/976270.976274

K. Ostermann, M. Mezini, and C. Bockisch, Expressive Pointcuts for Increased Modularity, ECOOP'05, pp.214-240, 2005.
DOI : 10.1007/11531142_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.538.6953

H. Sadat-mohtasham and H. Hoover, Transactional pointcuts: designation reification and advice of interrelated join points, GPCE'09, pp.35-44, 2009.

É. Tanter and J. Noyé, A Versatile Kernel for Multi-language AOP, GPCE'05, pp.173-188, 2005.
DOI : 10.1007/11561347_13
URL : https://hal.archives-ouvertes.fr/hal-00457203

J. Vitek, C. Bryce, and M. Oriol, Coordinating processes with secure spaces, Science of Computer Programming, vol.46, issue.1-2, pp.163-193, 2003.
DOI : 10.1016/S0167-6423(02)00090-4
URL : http://doi.org/10.1016/s0167-6423(02)00090-4

B. D. Win, W. Joosen, and F. Piessens, Developing secure applications through aspectoriented programming, Aspect-Oriented Software Development, pp.633-650, 2002.

F. Yang, Aspects with program analysis for security policies, 2010.

F. Yang, C. Hankin, F. Nielson, and H. R. Nielson, Aspect-oriented access control of tuple spaces