Abstract: In this paper, we provide a formal framework for the security of distributed active objects. Active objects com-municate 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.

Florian Kammuller, “Confinement for Active Objects” International Journal of Advanced Computer Science and Applications(IJACSA), 6(2), 2015. http://dx.doi.org/10.14569/IJACSA.2015.060236

@article{Kammuller2015,
title = {Confinement for Active Objects},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2015.060236},
url = {http://dx.doi.org/10.14569/IJACSA.2015.060236},
year = {2015},
publisher = {The Science and Information Organization},
volume = {6},
number = {2},
author = {Florian Kammuller}
}