Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

DFG-Schwerpunktprogramm zu Software-Sicherheit RS3 startet in zweite Phase

25.09.2012
Das Schwerpunktprogramm „Reliably Secure Software Systems“ (RS3) der Deutschen Forschungsgemeinschaft (DFG) startet im Oktober 2012 nach erfolgreicher Begutachtung in die zweite Phase.
Übergeordnetes Ziel des vom Darmstädter Informatik-Professor Heiko Mantel koordinierten Programms ist es, die Sicherheit von komplexen Softwaresystemen zuverlässig überprüfbar zu machen. Zum Auftakt der zweiten Phase findet das Jahrestreffen des Schwerpunktprogramms vom 09.10. bis zum 12.10.2012 in München statt.

Bei der Verwendung üblicher Sicherheitsmechanismen (Kryptographie, Zugriffskontrolle etc.) in modernen Softwaresystemen sind die resultierenden Sicherheitsgarantien häufig unklar. Zum Beispiel wird aus der Zugriffsberechtigung eines Programms auf ein Adressbuch nicht deutlich, ob es die darin enthaltenden Daten an Dritte weitersendet.

Die vollständigen Konsequenzen der Zugriffsberechtigung sind somit für einen Nutzer oft nicht ersichtlich. Das DFG-Schwerpunktprogramm „Reliably Secure Software Systems“ hat daher den Wechsel von mechanismenorientierter Sicherheitstechnologie hin zu einem eigenschaftsorientierten und mathematisch fundierten Zugang zur Sicherheitsforschung zum Ziel.

Hierzu werden neue Werkzeuge und Methoden für die Analyse und Entwicklung sicherer Software entwickelt sowie theoretische Grundlagen erforscht. Die entwickelten Resultate werden in Anwendungsszenarien evaluiert. Zum Beispiel werden im Szenario „Softwaresicherheit für mobile Endgeräte“ Analysewerkzeuge verwendet, um Apps hinsichtlich des sicheren Gebrauchs von vertraulichen Daten zu zertifizieren. Ein weiteres Anwendungsszenario stellt sich den Sicherheitsproblemen eines E-Voting-Systems, wie den Diebstahl von Stimmen. Hierbei werden die erarbeiteten Resultate des Schwerpunktprogramms angewandt, um ein voll funktionsfähiges E-Voting-System zu zertifizieren.

An RS3 beteiligen sich Forscher aus ganz Deutschland von Universitäten und Technischen Universitäten aus Augsburg, Darmstadt, Dortmund, Erlangen, Freiburg, Kaiserslautern, Karlsruhe, Mannheim, München, Münster, Rostock, Saarbrücken und Trier sowie vom Deutschen Forschungszentrum für Künstliche Intelligenz und von den Max-Planck Instituten für Informatik und für Softwaresysteme. Die Koordination liegt bei Prof. Dr. Heiko Mantel, Leiter des Fachgebiets Modellierung und Analyse von Informationssystemen an der TU Darmstadt. In der zweiten Phase von RS3 werden 13 Projekte durch die Deutsche Forschungsgemeinschaft gefördert.
Pressekontakt
Dr. Artem Starostin
Telefon: 06151/16-6802
E-Mail: starostin@mais.informatik.tu-darmstadt.de

Jörg Feuck | idw
Weitere Informationen:
http://www.dfg.de
http://www.reliably-secure-software-systems.de/

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Industrie 4.0: Fremde Eindringlinge im Unternehmensnetz erkennen
16.04.2018 | Fraunhofer-Institut für Sichere Informationstechnologie SIT

nachricht Die Thermodynamik des Rechnens
11.04.2018 | Eidgenössische Technische Hochschule Zürich (ETH Zürich)

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Moleküle brillant beleuchtet

Physiker des Labors für Attosekundenphysik, der Ludwig-Maximilians-Universität und des Max-Planck-Instituts für Quantenoptik haben eine leistungsstarke Lichtquelle entwickelt, die ultrakurze Pulse über einen Großteil des mittleren Infrarot-Wellenlängenbereichs generiert. Die Wissenschaftler versprechen sich von dieser Technologie eine Vielzahl von Anwendungen, unter anderem im Bereich der Krebsfrüherkennung.

Moleküle sind die Grundelemente des Lebens. Auch wir Menschen bestehen aus ihnen. Sie steuern unseren Biorhythmus, zeigen aber auch an, wenn dieser erkrankt...

Im Focus: Molecules Brilliantly Illuminated

Physicists at the Laboratory for Attosecond Physics, which is jointly run by Ludwig-Maximilians-Universität and the Max Planck Institute of Quantum Optics, have developed a high-power laser system that generates ultrashort pulses of light covering a large share of the mid-infrared spectrum. The researchers envisage a wide range of applications for the technology – in the early diagnosis of cancer, for instance.

Molecules are the building blocks of life. Like all other organisms, we are made of them. They control our biorhythm, and they can also reflect our state of...

Im Focus: Metalle verbinden ohne Schweißen

Kieler Prototyp für neue Verbindungstechnik wird auf Hannover Messe präsentiert

Schweißen ist noch immer die Standardtechnik, um Metalle miteinander zu verbinden. Doch das aufwändige Verfahren unter hohen Temperaturen ist nicht überall...

Im Focus: Software mit Grips

Ein computergestütztes Netzwerk zeigt, wie die Ionenkanäle in der Membran von Nervenzellen so verschiedenartige Fähigkeiten wie Kurzzeitgedächtnis und Hirnwellen steuern können

Nervenzellen, die auch dann aktiv sind, wenn der auslösende Reiz verstummt ist, sind die Grundlage für ein Kurzzeitgedächtnis. Durch rhythmisch aktive...

Im Focus: Der komplette Zellatlas und Stammbaum eines unsterblichen Plattwurms

Von einer einzigen Stammzelle zur Vielzahl hochdifferenzierter Körperzellen: Den vollständigen Stammbaum eines ausgewachsenen Organismus haben Wissenschaftlerinnen und Wissenschaftler aus Berlin und München in „Science“ publiziert. Entscheidend war der kombinierte Einsatz von RNA- und computerbasierten Technologien.

Wie werden aus einheitlichen Stammzellen komplexe Körperzellen mit sehr unterschiedlichen Funktionen? Die Differenzierung von Stammzellen in verschiedenste...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Fraunhofer eröffnet Community zur Entwicklung von Anwendungen und Technologien für die Industrie 4.0

23.04.2018 | Veranstaltungen

Mars Sample Return – Wann kommen die ersten Gesteinsproben vom Roten Planeten?

23.04.2018 | Veranstaltungen

Internationale Konferenz zur Digitalisierung

19.04.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Moleküle brillant beleuchtet

23.04.2018 | Physik Astronomie

Sauber und effizient - Fraunhofer ISE präsentiert Wasserstofftechnologien auf Hannover Messe

23.04.2018 | HANNOVER MESSE

Fraunhofer IMWS entwickelt biobasierte Faser-Kunststoff-Verbunde für Leichtbau-Anwendungen

23.04.2018 | Materialwissenschaften

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics