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
Official URL: http://dx.doi.org/10.1109/ICIMP.2010.27
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|
Conference held in Barcelona on 9-15 May 2010.
|Research Areas:||Science & Technology > Science & Technology|
|Permissions granted by publisher:||Post refereed version as permitted by publisher.|
|Deposited On:||02 Mar 2011 10:52|
|Last Modified:||04 Jun 2013 14:17|
Repository Staff Only: item control page
Downloads per month over past year