AspectKE* is the first distributed AOP language based on a tuple space system. It is designed to enforce security policies to applications containing untrusted processes. One of the key features is the high-level predicates that extract results of static program analysis. These predicates provide users an easy way to define aspects by providing information about future behavior of processes, which are shown to be useful to implement security policies such as secrecy and integrity. The users of AspectKE* do not need to write low-level analysis by themselves. In the demonstration, we show basic features of AspectKE* and a case study of building a secure distributed chat application that contains a malicious process.
|Place of Publication||Demonstration track of the 9th International Conference on Aspect-Oriented Software Development (AOSD'10), Rennes and Saint Malo, France|
|Publication status||Published - 2010|
- Aspect Oriented Programming
- Program Analysis
- Distributed Systems
- Security Policies
- Tuple Spaces
Yang, F. (Author), Masuhara, H. (Author), Aotani, T. (Author), Nielson, F. (Author), & Nielson, H. R. (Author). (2010). AspectKE*:Security Aspects with Program Analysis for Distributed Systems. Interactive production, Demonstration track of the 9th International Conference on Aspect-Oriented Software Development (AOSD'10), Rennes and Saint Malo, France: .