Geheimhaltung und Informationsfluss in gemeinsam benutzten Dokumentbasen

• Antragsteller: Professor Dr. Bernd Finkbeiner; Professor Dr. Helmut Seidl
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen ; Theoretische Informatik
• Förderung: Förderung von 2010 bis 2017
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 183818583

Wir untersuchen die Spezifikation und automatische Verifikation von Geheimnis- und Informationsfluss in Anwendungen, bei denen sich mehrere Benutzer eine gemeinsame Dokumentenbasis teilen und sich Zugriffsrechte über die Zeit hinweg ändern können. In der dritten Phase des Projekts wollen wir die semantische Genauigkeit und die algorithmische Effizienz unserer Verifikationstechniken so verbessern, dass sie Informationsflusseigenschaften größerer und realistischerer Systeme bewältigen können. Kernziele sind die Entwicklung automatischer Verifikationstechniken, die parametrische Systemmodelle behandeln können mit beliebig vielen teilnehmenden Agenten und Abstraktionstechniken, die genügend präzise und effizient sind, um komplexe web-bsierte Workflow Management Systeme zu analysieren.

• DFG-Verfahren: Schwerpunktprogramme
• Teilprojekt zu: SPP 1496: Reliably Secure Software Systems - Zuverlässig sichere Softwaresysteme