From policies to aspects in KLAIM

Luke Thomas Herbert; Einar Egilsson

From policies to aspects in KLAIM

Luke Thomas Herbert
, Einar Egilsson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

220 Downloads (Orbit)

Abstract

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 language	English
Title of host publication	Proceedings of The 13. Nordic Workshop on Secure IT Systems : NordSec 2008
Place of Publication	Kgs. Lyngby
Publisher	Technical University of Denmark
Publication date	2008
Edition	13
Pages	39-53
Publication status	Published - 2008
Event	The 13th Nordic Workshop on Secure IT Systems - Technical University of Denmark, Kgs. Lyngby, Denmark Duration: 9 Oct 2008 → 10 Oct 2008 Conference number: 13

Workshop

Workshop	The 13th Nordic Workshop on Secure IT Systems
Number	13
Location	Technical University of Denmark
Country/Territory	Denmark
City	Kgs. Lyngby
Period	09/10/2008 → 10/10/2008

Keywords

AspectK
Static Analysis
KLAIM
Aspects

Access to Document

From policies to aspects in KLAIM - Luke Herbert Einar EgilssonFinal published version, 327 KB

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{e41e50c3b5dd4bcf98ff432ac0848bcf,

title = "From policies to aspects in KLAIM",

abstract = "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.",

keywords = "AspectK, Static Analysis, KLAIM, Aspects",

author = "Herbert, \{Luke Thomas\} and Einar Egilsson",

year = "2008",

language = "English",

pages = "39--53",

booktitle = "Proceedings of The 13. Nordic Workshop on Secure IT Systems",

publisher = "Technical University of Denmark",

edition = "13",

note = "The 13th Nordic Workshop on Secure IT Systems, Nordsec 2008 ; Conference date: 09-10-2008 Through 10-10-2008",

}

TY - GEN

T1 - From policies to aspects in KLAIM

AU - Herbert, Luke Thomas

AU - Egilsson, Einar

N1 - Conference code: 13

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

KW - AspectK

KW - Static Analysis

KW - KLAIM

KW - Aspects

M3 - Article in proceedings

SP - 39

EP - 53

BT - Proceedings of The 13. Nordic Workshop on Secure IT Systems

PB - Technical University of Denmark

CY - Kgs. Lyngby

T2 - The 13th Nordic Workshop on Secure IT Systems

Y2 - 9 October 2008 through 10 October 2008

ER -

From policies to aspects in KLAIM

Abstract

Workshop

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this