Implementing privacy with Erlang active objects
Fleck, Andreas and Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488
(2010)
Implementing privacy with Erlang active objects.
In:
Internet Monitoring and Protection (ICIMP), 2010 Fifth International Conference.
IEEE, pp. 141-146.
ISBN 9781424467266.
[Book Section]
(doi:10.1109/ICIMP.2010.27)
|
PDF
Download (237kB) | Preview |
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: | 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: | 30 Nov 2022 01:11 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/6855 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)