Privacy by flexible parameterization with Erlang active objects.
Full text is not in this repository.
Official URL: http://www.iariajournals.org/software/index.html
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 how secure services can be realized based on the classical service triangle and prove its security based on a formal definition of information flow security for functional active objects.
|Research Areas:||A. Middlesex University Schools and Centres > School of Science and Technology > Computer Science|
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
|Deposited On:||02 Mar 2011 08:09|
|Last Modified:||28 Oct 2014 17:58|
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