Abstract
The development of reliable software requires formal models as a basis for the specification process. This paper presents the use of a formal model suitable for the specification of protection problems.
The Erlangen Cancer Registry is a centralized collection of personal data of several participating hospitals. As these data are stored in a data base, a reconstruction of terms is presented first. It is then shown how the protection problem of the Cancer Registry is specified and how the protection mechanisms to solve the problem are realized.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Friedl, A.: “Eine Methode zur Konstruktion zuverlässiger Software-Systeme für den Einsatz im Produktionsbereich”, Dissertation, Universität Erlangen-Nürn-berg, 1984
Gotzhein, R., Handtrack, D., Horbach, L.: “Aufgaben, Aufbau und Funktionen des klinischen Krebsregisters Erlangen”, Verhandlungen der Deutschen Gesellschaft für innere Medizin, pp. 1724-1726, J. F. Bergmann Verlag München, 1984
Harrison, M. A., Ruzzo, W. L., Ulimann, J. D.: “Protection in Operating Systems”, Communications of the ACM, Vol. 19, 8 (1976), pp. 461–471
Harrison, M. A., Ruzzo, W. L.: “Monotonic Protection Systems”, Foundations of Secure Computation, Academic Press, New York 1978, pp. 337–366
Horbach, L.: “Privacy and Data Protection in Medicine”, Lecture Notes in Computer Science edit. by G. Goos and J. Hartmanis 149 Cryptography, Proceed. Workshop on Cryptography, Burg Feuerstein, Germany, March 29 — April 2, 1982, pp. 228-232, edit. by Th. Beth
Reitenspieß, M.: “Sprachkonstrukte zur Spezifikation und korrekten Implementation von Schutzproblemen”, Arbeitsberichte des IMMD Bd. 16, Nr. 8, Universität Erlangen-Nürnberg, 1984
Wedekind, H.: “Datenbanksysteme I”, Bibliographisches Institut, Zürich 1981
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gotzhein, R., Horbach, L. (1985). Specification and Realization of Protection Problems as Applied to the Erlangen Cancer Registry. In: Spies, P.P. (eds) Datenschutz und Datensicherung im Wandel der Informationstechnologien. Informatik-Fachberichte, vol 113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70865-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-70865-7_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16036-6
Online ISBN: 978-3-642-70865-7
eBook Packages: Springer Book Archive