%0 Conference Proceedings
%T Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces
%+ Danmarks Tekniske Universitet = Technical University of Denmark (DTU)
%+ Japan Advanced Institute of Science and Technology (JAIST)
%+ Department of Mathematical Informatics (University of Tokyo)
%A Yang, Fan
%A Aotani, Tomoyuki
%A Masuhara, Hidehiko
%A Nielson, Flemming
%A Nielson, Hanne, Riis
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 13th Conference on Coordination Models and Languages (COORDINATION)
%C Reykjavik, Iceland
%Y Wolfgang Meuter
%Y Gruia-Catalin Roman
%I Springer
%3 Coordination Models and Languages
%V LNCS-6721
%P 202-218
%8 2011-06-06
%D 2011
%R 10.1007/978-3-642-21464-6_14
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01582991/document
%2 https://inria.hal.science/hal-01582991/file/978-3-642-21464-6_14_Chapter.pdf
%L hal-01582991
%U https://inria.hal.science/hal-01582991
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-6721