Implementing Privacy with Erlang Active Objects

Functional active objects are a new paradigm for the implementation of services. They offer safe distributed evaluation with futures and immutable objects guaranteeing efficient implementation of privacy while offering verified quality assurance based on the functional paradigm and a development in...

Full description

Saved in:
Bibliographic Details
Published in2010 Fifth International Conference on Internet Monitoring and Protection pp. 141 - 146
Main Authors Fleck, Andreas, Kammüller, Florian
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2010
Subjects
Alzheimer's disease
Cardiology
Chemical technology
Clinical diagnosis
Control engineering
Control engineering computing
Dementia
Hospitals
Privacy
System testing
Online AccessGet full text

Cover

More Information
Summary:Functional active objects are a new paradigm for the implementation of services. They offer safe distributed evaluation 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.
ISBN:9781424467266
1424467268
DOI:10.1109/ICIMP.2010.27