The paper Automatically Proving Purpose Limitation in Software Architectures by Kai Bavendiek et al. has been accepted for publication at the 34th International Conference on Information Security and Privacy Protection (<link https: www.ifipsec.org _blank>IFIP SEC2019) in Lisbon.
The interdisciplinary paper proposes an approach for automatically verifying the violation of purpose limitation in software systems. A real-life medical data register serves as a case study to demonstrate how the compatibility of purposes can be determined. The paper is a result of the cooperation between the TUHH, the University of Hamburg, and the Hans-Bredow-Institute for Media Research as part of the interdisciplinary Information Government Technologies (IGT) project.
