Home // International Journal On Advances in Security, volume 2, numbers 2 and 3, 2009 // View article

Security Analysis of Private Data Enquiries in Erlang

Authors:
Florian Kammüller
Reiner Kammüller

Keywords: Privacy; distribution; noninterference; type systems

Abstract:
Privacy is an issue of increasing concern to the Internet user. To ensure the continued success of distributed information systems, a reliable information flow must be established in certified but immediately evident ways. We begin with basic consideration of the privacy problem in the general setting of database enquiries. From there, we develop a simple solution, which we illustrate with a simple implementation in the programming language Erlang. We first provide an informal security analysis that is then developed into a formal definition of a type system for noninterference.

Pages: 242 to 255

Copyright: Copyright (c) to authors, 2009. Used with permission.

Publication date: December 1, 2009

Published in: journal

ISSN: 1942-2636