Confinement for active objects

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (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)

[img]
Preview
PDF - Published version (with publisher's formatting)
Available under License Creative Commons Attribution.

Download (1MB) | Preview

Abstract

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: 09 Jun 2021 17:17
URI: https://eprints.mdx.ac.uk/id/eprint/15188

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
137Downloads
353Hits

Additional statistics are available via IRStats2.