Implementing privacy with Erlang active objects

Fleck, Andreas and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2010) Implementing privacy with Erlang active objects. In: Internet Monitoring and Protection (ICIMP), 2010 Fifth International Conference. IEEE, pp. 141-146. ISBN 9781424467266. [Book Section] (doi:10.1109/ICIMP.2010.27)

[img]
Preview
PDF
Download (237kB) | Preview

Abstract

Functional active objects are a new paradigm for the implementation of services. They offer safe distributed eval- uation 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 by concrete examples how secure services can be realized.

Item Type: Book Section
Additional Information: Conference held in Barcelona on 9-15 May 2010.
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: 6855
Notes on copyright: Post refereed version as permitted by publisher.
Useful Links:
Depositing User: Dr Florian Kammueller
Date Deposited: 02 Mar 2011 10:52
Last Modified: 05 Sep 2021 17:16
URI: https://eprints.mdx.ac.uk/id/eprint/6855

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
307Downloads
460Hits

Additional statistics are available via IRStats2.