Privacy by flexible parameterization with Erlang active objects.

Fleck, Andreas and Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488 (2010) Privacy by flexible parameterization with Erlang active objects. International Journal on Advances in Software, 3 (3-4) . pp. 461-473. ISSN 1942-2628 [Article]

Abstract

Functional active objects are a new paradigm for the implementation of services. They offer safe distributed evaluation with futures and immutable objects guaranteeing efficient implementation of privacy while offering verified quality assurance based on the functional paradigm and a
development in an interactive theorem prover.
In this paper, we present a novel and highly performant implementation of functional active objects in Erlang. Besides outlining the guiding principles of the interpreter, we show how secure services can be realized based on the classical service triangle and prove its security based on a formal definition of information flow security for functional active objects.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
A. > School of Science and Technology > Computer Science > Artificial Intelligence group
Item ID: 6843
Useful Links:
Depositing User: Dr Florian Kammueller
Date Deposited: 02 Mar 2011 08:09
Last Modified: 13 Oct 2016 14:21
URI: https://eprints.mdx.ac.uk/id/eprint/6843

Actions (login required)

View Item View Item

Statistics

Activity Overview
6 month trend
0Downloads
6 month trend
485Hits

Additional statistics are available via IRStats2.