Durchsetzung von Privacy für Drittanbieter-Software (B01)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2016 bis 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 272573906

Der Schutz der Nutzerdaten wird von Softwareanwendungen Dritter oft nicht beachtet. Wir streben einen Mechanismus an, der präzise Einschränkungen des Informationsflusses durchsetzt, zum Beispiel ¿Übermittle keine Audiodaten bevor ein Anruf getätigt wird und nachdem ein Anruf beendet wurde¿. Diese Einschränkungen sollen als temporale Hypereigenschaften formalisiert werden, und wir werden eine entsprechend ¿enforcebare¿ Sublogik von HyperCTL* identifizieren. Wir werden das breite Spektrum von Enforcement-Algorithmen untersuchen, Anwendungen für effizienteres Enforcement anhand ¿least privilege¿ partitionieren, und unsere Enforcement Mechanismen an repräsentativen mobilen und Web-Anwendungen mit komplexen Informationsflusseigenschaften und Datenschutzgarantien testen.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 1223: Methoden und Instrumente zum Verständnis und zur Kontrolle von Datenschutz
• Antragstellende Institution: Universität des Saarlandes
• Teilprojektleiter: Professor Dr. Bernd Finkbeiner; Professor Dr.-Ing. Christian Hammer