Confinement for Active Objects
This work addresses security challenges for distributed systems using active objects, but it appears incremental as it builds on existing models and programming paradigms.
The paper tackles the problem of ensuring security in distributed active objects by introducing a formal framework and a security type system for the ASPfun programming model, resulting in proven type safety and a confinement property that enables secure down calls.
In this paper, we provide a formal framework for the security of distributed active objects. Active objects communicate asynchronously implementing method calls via futures. We base the formal framework on a security model that uses a semi-lattice to enable multi-lateral security crucial for distributed architectures. We further provide a security type system for the programming model ASPfun of functional active objects. Type safety and a confinement property are presented. ASPfun thus realizes secure down calls.