Proof-Carrying Services (B04)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen ; Rechnerarchitektur, eingebettete und massiv parallele Systeme ; Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme
• Förderung: Förderung von 2011 bis 2023
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 160364472

Dieses Teilprojekt beschäftigt sich mit der Erforschung von Qualitätssicherungsmaßnahmen für die auf Märkten beschafften und „on-the-fly“ eingebauten Einzelservices. Die Maßnahmen dienen der Absicherung der von Providern versprochenen Eigenschaften von Services. Ziel ist die Entwicklung von Methoden und Konzepten, die den Provider in die Lage versetzen, einen Nachweis der gewünschten Funktionalität seiner Services zu liefern, und dem Nutzer eine schnelle Prüfung des Nachweises ermöglichen. In der dritten Förderphase sollen u.a. Zertifizierungsverfahren für Hyperproperties (notwendig für Security-Eigenschaften), die PCH-zertifizierte Security für rekonfigurierbare Hardware sowie die hierarchische Analyse und Beweiswiederverwendung untersucht werden.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten
• Antragstellende Institution: Universität Paderborn
• Teilprojektleiterinnen / Teilprojektleiter: Professor Dr. Eric Bodden, seit 4/2017; Professor Dr. Marco Platzner; Professorin Dr. Heike Wehrheim