Servicenavigation

Detailseite

Zurück

Projekt Druckansicht

SPP 1496:  Reliably Secure Software Systems - Zuverlässig sichere Softwaresysteme

Fachliche Zuordnung Informatik, System- und Elektrotechnik
Förderung Förderung von 2010 bis 2018
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 130928089
 
Das bisherige Bild der IT-Sicherheit (im Sinne von IT-Security) wird vor allem durch klare Grenzen zwischen einer vertrauenswürdigen internen und einer potenziell feindlichen äußeren Welt geprägt. Dementsprechend konzentrieren sich viele klassische Sicherheitsmechanismen, wie Firewalls, Zugangskontrollen und Kryptografie, auf den Schutz von Grenzen zwischen diesen Welten. Das Vertrauen in Artefakte gründen sie dabei in erster Linie auf deren Identität und Herkunft. Jedoch führen Aspekte wie Vernetzung, Mobilität und dynamische Erweiterbarkeit dazu, dass Grenzen zwischen "Innen“ und "Außen“ zunehmend verschwimmen, also einer differenzierteren Sicht bedürfen. Das Schwerpunktprogramm zielt daher auf die Entwicklung eines neuen konzeptionellen und technischen Rahmens für Sicherheit, der die Zertifizierung von Sicherheitsgarantien auf ein semantisch fundiertes Verständnis von Programmen und Sicherheitsaspekten abstützt.
Das erste Leitthema des Schwerpunktprogramms ist die Entwicklung präzise definierter (und daher überprüfbarer) Sicherheitseigenschaften. Hierdurch soll eine differenzierte Sicht auf Sicherheit möglich werden, die einerseits von technischen Implementierungsdetails abstrahiert und andererseits die adäquate und präzise Modellierung der vielfältigen Sicherheitsanforderungen und -garantien erlaubt. Das zweite Leitthema ist die Entwicklung von Analysemethoden und -werkzeugen zur zuverlässigen Überprüfung der Einhaltung von Sicherheitseigenschaften. Hierdurch wird die Basis für eine semantisch fundierte (und daher zuverlässige) Zertifizierung von Sicherheitsgarantien für Programme geschaffen. Das dritte Leitthema ist die Entwicklung von Konzepten, um Sicherheitsaspekte auch in komplexen Softwaresystemen erfassen und zertifizieren zu können, also für Sicherheit im Großen. Insbesondere sollen die in der Informatik gängigen Techniken der Abstraktion, Dekomposition und schrittweisen Verfeinerung für den Sicherheitsbereich adaptiert werden.
Dieses Forschungsprogramm erfordert die Kombination von Ideen, Technologien und Werkzeugen, die unterschiedlichen Teildisziplinen der Informatik zuzuordnen sind. Mit dem Schwerpunktprogramm soll eine interdisziplinäre Kooperation von Wissenschaftlerinnen und Wissenschaftlern aus den Bereichen IT-Sicherheit, Programmanalyse und formale Verifikation etabliert werden, um die notwendigen Rahmenbedingungen für einen Paradigmenwechsel in der Softwaresicherheit zu schaffen. Die ultimative Vision ist ein fundamental besserer Umgang mit der Sicherheitsproblematik in Softwaresystemen, der nicht nur endlich ein angemessenes Sicherheitsniveau bietet, sondern auch eine weitgehende Automatisierung von sicherheitsrelevanten Entscheidungen erlaubt.
DFG-Verfahren Schwerpunktprogramme

Projekte

 
 

Zusatzinformationen

© 2024 DFG Kontakt / Impressum / Datenschutz

Textvergrößerung und Kontrastanpassung