Enhancing Privacy Implementations of Database Enquiries

Abstract

Full bibliographic details must be given when referring to, or quoting from full items including the author's name, the title of the work, publication details where relevant (place, publisher, date), pagination, and for theses or dissertations the awarding institution, the degree type awarded, and the date of the award.

Implementing Privacy with Erlang Active Objects

“…In earlier work, we have used Erlang to support privacy for data enquiries [7]. The current work spells out an alternative approach already discussed in this earlier paper.…”

Mechanical Analysis of Finite Idempotent Relations

“…The Isabelle proof is about 200 lines of proof script (see [8]). The new characterization given by Theorem 4.1 is a refined version of Theorem 2.2.…”

“…The proved algorithm for checking a relation for idempotence can now be used to filter out and count idempotents. To this end, we use a simple function suc rel (see [8]) that enumerates all relations over {1, . .…”

“…The whole set of idempotents with three points as produced by an automatic transformation written in ML into diagrammatic representation in LaTeX picture is contained in Appendix A for illustration purposes. For up to five elements, the corresponding lists may be found on the author's web page [8]. The run time of idemp count 5 is around ten minutes on a Powerbook G4 with 768 MB RAM, 1,5 GHz.…”

“…Some sample output of idempotents for the carrier N 3 created from an automatic ML transformation to LaTeX picture is contained in the Appendix. The full code of the algorithms, the Isabelle/HOL derivations, the LaTeX macros, and further sample output are available at the author's web page [8].…”