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

[img]
Preview
PDF
237kB

Official URL: http://dx.doi.org/10.1109/ICIMP.2010.27

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:School of Science and Technology > Science & Technology
ID Code:6855
Permissions granted by publisher:Post refereed version as permitted by publisher.
Useful Links:
Deposited On:02 Mar 2011 10:52
Last Modified:04 Jun 2013 14:17

Repository staff and depositor only: item control page

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