Advertisement

Appendix A: Formal Mathematical Privacy Model

Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1958)

Abstract

In this Appendix, the formal mathematical privacy model is presented. A definition of a privacy-oriented system will be given, which is partly analogous to the defintion of a secure system given in [Bell LaPadula 76]. It will be formally proven that the system defined by the formal privacy model is privacy-oriented.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Personalised recommendations