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 Original bleibt Original - Neues Produktschutzverfahren für KFZ-Kennzeichenschilder
19.01.2018 | Fraunhofer-Institut für Werkstoff- und Strahltechnik IWS

nachricht Fliegen wird smarter – Kommunikationssystem LYRA im Lufthansa FlyingLab
18.01.2018 | Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, DFKI

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Maschinelles Lernen im Quantenlabor

Auf dem Weg zum intelligenten Labor präsentieren Physiker der Universitäten Innsbruck und Wien ein lernfähiges Programm, das eigenständig Quantenexperimente entwirft. In ersten Versuchen hat das System selbständig experimentelle Techniken (wieder)entdeckt, die heute in modernen quantenoptischen Labors Standard sind. Dies zeigt, dass Maschinen in Zukunft auch eine kreativ unterstützende Rolle in der Forschung einnehmen könnten.

In unseren Taschen stecken Smartphones, auf den Straßen fahren intelligente Autos, Experimente im Forschungslabor aber werden immer noch ausschließlich von...

Im Focus: Artificial agent designs quantum experiments

On the way to an intelligent laboratory, physicists from Innsbruck and Vienna present an artificial agent that autonomously designs quantum experiments. In initial experiments, the system has independently (re)discovered experimental techniques that are nowadays standard in modern quantum optical laboratories. This shows how machines could play a more creative role in research in the future.

We carry smartphones in our pockets, the streets are dotted with semi-autonomous cars, but in the research laboratory experiments are still being designed by...

Im Focus: Fliegen wird smarter – Kommunikationssystem LYRA im Lufthansa FlyingLab

• Prototypen-Test im Lufthansa FlyingLab
• LYRA Connect ist eine von drei ausgewählten Innovationen
• Bessere Kommunikation zwischen Kabinencrew und Passagieren

Die Zukunft des Fliegens beginnt jetzt: Mehrere Monate haben die Finalisten des Mode- und Technologiewettbewerbs „Telekom Fashion Fusion & Lufthansa FlyingLab“...

Im Focus: Ein Atom dünn: Physiker messen erstmals mechanische Eigenschaften zweidimensionaler Materialien

Die dünnsten heute herstellbaren Materialien haben eine Dicke von einem Atom. Sie zeigen völlig neue Eigenschaften und sind zweidimensional – bisher bekannte Materialien sind dreidimensional aufgebaut. Um sie herstellen und handhaben zu können, liegen sie bislang als Film auf dreidimensionalen Materialien auf. Erstmals ist es Physikern der Universität des Saarlandes um Uwe Hartmann jetzt mit Forschern vom Leibniz-Institut für Neue Materialien gelungen, die mechanischen Eigenschaften von freitragenden Membranen atomar dünner Materialien zu charakterisieren. Die Messungen erfolgten mit dem Rastertunnelmikroskop an Graphen. Ihre Ergebnisse veröffentlichen die Forscher im Fachmagazin Nanoscale.

Zweidimensionale Materialien sind erst seit wenigen Jahren bekannt. Die Wissenschaftler André Geim und Konstantin Novoselov erhielten im Jahr 2010 den...

Im Focus: Forscher entschlüsseln zentrales Reaktionsprinzip von Metalloenzymen

Sogenannte vorverspannte Zustände beschleunigen auch photochemische Reaktionen

Was ermöglicht den schnellen Transfer von Elektronen, beispielsweise in der Photosynthese? Ein interdisziplinäres Forscherteam hat die Funktionsweise wichtiger...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Kongress Meditation und Wissenschaft

19.01.2018 | Veranstaltungen

LED Produktentwicklung – Leuchten mit aktuellem Wissen

18.01.2018 | Veranstaltungen

6. Technologie- und Anwendungsdialog am 18. Januar 2018 an der TH Wildau: „Intelligente Logistik“

18.01.2018 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Rittal vereinbart mit dem Betriebsrat von RWG Sozialplan - Zukunftsorientierter Dialog führt zur Einigkeit

19.01.2018 | Unternehmensmeldung

Open Science auf offener See

19.01.2018 | Geowissenschaften

Original bleibt Original - Neues Produktschutzverfahren für KFZ-Kennzeichenschilder

19.01.2018 | Informationstechnologie