From policies to aspects in KLAIM

Luke Thomas Herbert, Einar Egilsson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    91 Downloads (Pure)


    The aspect oriented programming paradigm facilitates the separation of cross cutting concerns in system development. Security policies are a typical such concern and in this paper we present a simple policy language, LUNAR, and show how it can be translated into aspect definitions. We perform the development for KLAIM, a small kernel language for agent interaction and mobility, and show how static analysis can be used to reduce the number of aspect definitions. This technique has been applied to a larger case study, namely the electronic invoice system at DTU.
    Original languageEnglish
    Title of host publicationProceedings of The 13. Nordic Workshop on Secure IT Systems : NordSec 2008
    Place of PublicationKgs. Lyngby
    PublisherTechnical University of Denmark
    Publication date2008
    Publication statusPublished - 2008
    EventNordsec : The 13th Nordic Workshop on Secure IT Systems - Kgs. Lyngby
    Duration: 1 Jan 2008 → …
    Conference number: 13


    ConferenceNordsec : The 13th Nordic Workshop on Secure IT Systems
    CityKgs. Lyngby
    Period01/01/2008 → …


    • AspectK
    • Static Analysis
    • KLAIM
    • Aspects


    Dive into the research topics of 'From policies to aspects in KLAIM'. Together they form a unique fingerprint.

    Cite this