Facebook pixel tracking

The Science and Information (SAI) Organization publishes open-access peer-reviewed journals in computer science and artificial intelligence.

Contact Info
Email info@thesai.org
Website thesai.org
Follow Us
Contact Info
Email info@thesai.org
Follow Us
Research Article | Open Access |

Confinement for Active Objects

Author 1: Florian Kammuller
International Journal of Advanced Computer Science and Applications (IJACSA) · Vol. 6, No. 2 · Published 2015

DOI: https://doi.org/10.14569/IJACSA.2015.060236

Download PDF Cite Call for Papers

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.

Keywords

Distributed active objects formalization security type systems

How to Cite this Article

Kammuller, F. (2015). Confinement for Active Objects. International Journal of Advanced Computer Science and Applications, 6(2). https://doi.org/10.14569/IJACSA.2015.060236

Kammuller, Florian. "Confinement for Active Objects." International Journal of Advanced Computer Science and Applications, vol. 6, no. 2, 2015, https://doi.org/10.14569/IJACSA.2015.060236.

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

Open Access — licensed under a Creative Commons Attribution 4.0 International License. Unrestricted use, distribution, and reproduction in any medium, even commercially, as long as the original work is properly cited.

Back to Issue
IJACSA Journal Cover

IJACSA