Using functional active objects to enforce privacy
Florian Kammueller · Middlesex University Research Repository (Middlesex University Of London) · 2010
In this paper we present an important step towards a language based modular assembly kit for security. This kit aims at supporting analysis of information flow security for distributed systems. As a distributed language we use functional active objects in ASPfun. The contribution of the paper is an implementation concept based on ASPfun for information.