Privacy enforcement and analysis for functional active objects

Authors:
Florian Kammüller
Affiliations:
Middlesex University, London and Technische Universität Berlin
Venue:
DPM'10/SETOP'10 Proceedings of the 5th international Workshop on data privacy management, and 3rd international conference on Autonomous spontaneous security
Year:
2010

Citing 11
Cited 0

JFlow: practical mostly-static information flow control

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Protecting privacy using the decentralized label model

ACM Transactions on Software Engineering and Methodology (TOSEM)
A Theory of Objects

A Theory of Objects
Possibilistic Definitions of Security - An Assembly Kit

CSFW '00 Proceedings of the 13th IEEE workshop on Computer Security Foundations
On the Composition of Secure Systems

SP '02 Proceedings of the 2002 IEEE Symposium on Security and Privacy
A Theory of Distributed Objects

A Theory of Distributed Objects
Dynamic security labels and static information flow control

International Journal of Information Security
Relational Analysis of Correlation

SAS '08 Proceedings of the 15th international symposium on Static Analysis
Functional Active Objects: Typing and Formalisation

Electronic Notes in Theoretical Computer Science (ENTCS)
Implementing Privacy with Erlang Active Objects

ICIMP '10 Proceedings of the 2010 Fifth International Conference on Internet Monitoring and Protection
Language-based information-flow security

IEEE Journal on Selected Areas in Communications

Quantified Score

Hi-index	0.01

Visualization

Abstract

In this paper we present an approach for the enforcement of privacy in distributed active object systems, illustrate its implementation in the language ASPfun, and formally prove privacy based on information flow security.