Implementing privacy with Erlang active objects

Fleck, Andreas and Kammueller, Florian (2010) Implementing privacy with Erlang active objects. In: Internet Monitoring and Protection (ICIMP), 2010 Fifth International Conference. IEEE, pp. 141-146. ISBN 9781424467266

Download (237kB)


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: 13 Oct 2016 14:21

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year