Home // International Journal On Advances in Software, volume 3, numbers 3 and 4, 2010 // View article

Privacy by Flexible Parameterization with Erlang Active Objects

Authors:
Andreas Fleck
Florian Kammueller

Keywords: Active object, future, Erlang, privacy, service com- puting

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 guid- ing 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.

Pages: 461 to 473

Copyright: Copyright (c) to authors, 2010. Used with permission.

Publication date: April 6, 2011

Published in: journal

ISSN: 1942-2628