AspectKE*:Security Aspects with Program Analysis for Distributed Systems

Fan Yang (Author), Hidehiko Masuhara (Author), Tomoyuki Aotani (Author), Flemming Nielson (Author), Hanne Riis Nielson (Author)

    Research output: Non-textual formInteractive productionResearch


    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.
    Original languageEnglish
    Publication date2010
    Place of PublicationDemonstration track of the 9th International Conference on Aspect-Oriented Software Development (AOSD'10), Rennes and Saint Malo, France
    Publication statusPublished - 2010


    • Aspect Oriented Programming
    • Program Analysis
    • Distributed Systems
    • Security Policies
    • Tuple Spaces


    Dive into the research topics of 'AspectKE*:Security Aspects with Program Analysis for Distributed Systems'. Together they form a unique fingerprint.

    Cite this