Date Added: Jun 2010
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. The authors begin with basic consideration of the privacy problem in the general setting of database enquiries. From there, they develop a simple solution, which they illustrate with a simple implementation in the programming language Erlang. They first provide an informal security analysis that is then developed into a formal definition of a type system for noninterference.