This project explores practical ways of integrating program analysis techniques into aspect specification and execution, aimed at an AOP system that is both flexible and powerful to enforce a number of challenge security policies (e.g. policies regarding the restriction of data usage). It involves design and implementation of a tuple space based AOP language AspectKE* and its runtime system AspectKlava.
This is a joint project with the Language Based Technology group at the Technical University of Denmark, which also belongs to a Danish project “Aspects of Security for Citizens”. http://www.imm.dtu.dk/English/Research/Language-Based_Technology/Projects/Aspects.aspx
- Fan Yang, Hidehiko Masuhara, Tomoyuki Aotani, Flemming Nielson, and Hanne Riis Nielson, “Combining static analysis and runtime checking in security aspects for distributed tuple spaces”, In Proceeding of the 13th International Conference on Coordination Models and Languages (COORDINATION’11), June 6-8 2011. to appear. PDF
- Fan Yang, Hidehiko Masuhara, Tomoyuki Aotani, Flemming Nielson, and Hanne Riis Nielson, “AspectKE*: Security Aspects with Program Analysis for Distributed Systems”, In Proceedings of 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), pp.27-31, March 16, 2010
- Fan Yang, Hidehiko Masuhara, Tomoyuki Aotani, Flemming Nielson, and Hanne Riis Nielson, “AspectKE*: Security aspects with program analysis for distributed systems”, Demonstration presentation at Aspect-Oriented Software Development (AOSD’10), 17 and 18 March 2010
AspectKE* compiler suite (source code and sample programs)