Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces
Enforcing security policies to distributed systems is difficult, in particular, to a system containing untrusted components. The authors 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 run-time values at the same time, those functions and predicates enable the users to specify security policies in a uniform manner.