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:||A. Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Foundations of Computing group|
A. Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Artificial Intelligence group
|Permissions granted by publisher:||Post refereed version as permitted by publisher.|
|Deposited On:||02 Mar 2011 10:52|
|Last Modified:||04 Mar 2015 14:32|
Repository staff 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