Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

View graph of relations

Enforcing security policies to distributed systems is difficult, in particular, to a system containing untrusted components. We designed AspectKE*, an aspect-oriented programming language based on distributed tuple spaces to tackle this issue. One of the key features in AspectKE* is the program analysis predicates and functions that provide information on future behavior of a program. With a dual value evaluation mechanism that handles results of static analysis and runtime values at the same time, those functions and predicates enable the users to specify security policies in a uniform manner. Our two-staged implementation strategy gathers fundamental static analysis information at load-time, so as to avoid performing all analysis at runtime. We built a compiler for AspectKE*, and successfully implemented security aspects for a distributed chat system and an electronic healthcare record workflow system.
Original languageEnglish
Title of host publicationCoordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 - Proceedings
Volume6721
PublisherSpringer
Publication date2011
Pages202-218
ISBN (print)878-3-642-21463-9
DOIs
StatePublished

Conference

Conference13th International Conference on Coordination Models and Languages
Number13
CountryIceland
CityReykjavik
Period06/06/1109/06/11
Internet addresshttp://discotec.ru.is/coordination/main
NameLecture Notes in Computer Science
ISSN (Print)0302-9743
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 5624917