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 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.

[1]  Douglas C. Schmidt.  An Object Behavioral Pattern for Concurrent Programming , 1999 .

[2]  Ludovic Henrio,et al.  Functional Active Objects: Typing and Formalisation , 2009, FOCLASA.

[3]  Andrew C. Myers,et al.  Protecting privacy using the decentralized label model , 2000, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].

[4]  Joe Armstrong,et al.  Programming Erlang: Software for a Concurrent World , 1993 .

[5]  Denis Caromel,et al.  A Theory of Distributed Objects , 2005 .

[6]  Martín Abadi,et al.  A Theory of Objects , 1996, Monographs in Computer Science.

[7]  Uwe Kastens,et al.  Active Objects and Futures: A Concurrency Abstraction Implemented for C♯ and .NET , 2008 .

[8]  Theo D'Hondt,et al.  A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks , 2009, TOOLS.

[9]  Florian Kammüller,et al.  Enhancing Privacy Implementations of Database Enquiries , 2009, 2009 Fourth International Conference on Internet Monitoring and Protection.

[10]  Carl Hewitt,et al.  The incremental garbage collection of processes , 1977, Artificial Intelligence and Programming Languages.