Confinement for active objects

Kammueller, Florian ORCID logoORCID: (2015) Confinement for active objects. International Journal of Advanced Computer Science and Applications, 6 (2) . pp. 246-261. ISSN 2158-107X [Article] (doi:10.14569/IJACSA.2015.060236)

PDF - Published version (with publisher's formatting)
Available under License Creative Commons Attribution 4.0.

Download (1MB) | Preview


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.

Item Type: Article
Keywords (uncontrolled): Distributed active objects, formalization, security type systems
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 15188
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 23 Apr 2015 11:04
Last Modified: 29 Nov 2022 23:00

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.