Implementing privacy with Erlang active objects
Conference paper
Fleck, A. and Kammueller, F. 2010. Implementing privacy with Erlang active objects. International Conference on Internet Monitoring and Protection. Barcelona 09 - 15 May 2010 IEEE. pp. 141-146 https://doi.org/10.1109/ICIMP.2010.27
Type | Conference paper |
---|---|
Title | Implementing privacy with Erlang active objects |
Authors | Fleck, A. and Kammueller, F. |
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. |
Research Group | Foundations of Computing group |
Artificial Intelligence group | |
Conference | International Conference on Internet Monitoring and Protection |
Page range | 141-146 |
ISBN | |
Hardcover | 9781424467266 |
Publisher | IEEE |
Publication dates | |
2010 | |
Publication process dates | |
Deposited | 02 Mar 2011 |
Output status | Published |
Copyright Statement | Post refereed version as permitted by publisher. |
Additional information | Conference held in Barcelona on 9-15 May 2010. |
Digital Object Identifier (DOI) | https://doi.org/10.1109/ICIMP.2010.27 |
Language | English |
Book title | Internet Monitoring and Protection (ICIMP), 2010 Fifth International Conference |
File |
Permalink -
https://repository.mdx.ac.uk/item/83125
Download files
32
total views8
total downloads0
views this month0
downloads this month