Appendix A: Formal Mathematical Privacy Model
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.
Unable to display preview. Download preview PDF.