Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Ein Klick und seine Folgen - TU-Informatiker koordiniert DFG-Programm zur Sicherheit von Software-Systemen

19.10.2010
Für die Sicherheit von Softwaresystemen sorgen gemeinhin Firewalls, Zugangskontrollen oder die Kryptographie.

Diese Mechanismen haben in den letzten Jahren enorme Fortschritte gemacht, reichen aber bei immer komplexer werdenden und sich weiter vernetzenden Softwaresystemen nicht mehr aus, um die Gesamtsicherheit der Softwaresysteme „im Großen“ zu garantieren.

Hier setzt das Schwerpunktprogramm "Reliably Secure Software Systems” der DFG an, das im Oktober 2010 unter der Koordination des Darmstädter Informatik-Professors Heiko Mantel startet. Übergeordnetes Ziel des Programms ist es, die Sicherheit von komplexen Softwaresystemen zuverlässig überprüfbar zu machen.

Wer mit modernen Softwaresystemen arbeitet, wird zuweilen vor Entscheidungen gestellt, über deren Konsequenzen er sich nicht in angemessener Weise informieren kann – etwa bei der Frage: „Wollen Sie dem Programm browser.exe den LAN-Zugriff erlauben?“. Hier wird weder klar, ob bei einer Zustimmung persönliche Daten gefährdet sind oder etwa Dritte Zugang zum Rechner erhalten.

Das DFG-Schwerpunktprogramm „Reliably Secure Software Systems” (kurz: RS3) zielt daher darauf ab, die Grenzen der mechanismenorientierten Sicherheitstechnologie zu überwinden und einen Paradigmenwechsel hin zu einem eigenschaftsorientierten und mathematisch fundierten Zugang in der Sicherheitsforschung einzuleiten.

Dem Nutzer würden dann nicht nur die zur Verfügung stehenden Handlungsoptionen, sondern auch deren mögliche Konsequenzen mitgeteilt. Im konkreten Fall könnte die Anfrage zukünftig begleitet werden durch die Garantie „Die hierbei versendeten Daten sind unabhängig von Ihren persönlichen Daten in den Verzeichnissen myDocuments, myPictures und myMusic“ oder auch die Warnung „Hierbei werden Daten aus Ihrer Browserhistorie versendet“. Eine zuverlässige Zertifizierung derartig aussagekräftiger Sicherheitsgarantien soll durch die Verwendung mathematisch fundierter Methoden und Analysewerkzeuge möglich werden.

Unter der Koordination von Prof. Dr. Heiko Mantel, Leiter des Fachgebiets Modellierung und Analyse von Informationssystemen an der TU Darmstadt, stellen sich namhafte Forscher aus ganz Deutschland gemeinsam der Herausforderung, die Grundlagen für eine zuverlässige Zertifizierung sicherheitskritischer Software zu erforschen. Am Schwerpunktprogramm beteiligt sind Universitäten und Technische Universitäten in Augsburg, Darmstadt, Dortmund, Erlangen, Freiburg, Kaiserslautern, Karlsruhe, Mannheim, München, Münster, Rostock, Saarbrücken und Trier, sowie das Deutsche Forschungszentrum für Künstliche Intelligenz und das Max-Planck Institut für Informatik.

Pressekontakt:
Prof. Dr. Heiko Mantel
Telefon: 06151/16-6651
E-Mail: mantel@mais.informatik.tu-darmstadt.de

Jörg Feuck | idw
Weitere Informationen:
http://www.tu-darmstadt.de/

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Intel und Universität Luxemburg kooperieren, um selbstfahrende Autos sicherer zu machen
24.11.2017 | Universität Luxemburg - Université du Luxembourg

nachricht Europäisches Konsortium baut effizientestes Rechenzentrum der Welt
22.11.2017 | Fraunhofer-Institut für Optronik, Systemtechnik und Bildauswertung IOSB

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Metamaterial mit Dreheffekt

Mit 3D-Druckern für den Mikrobereich ist es Forschern des Karlsruher Instituts für Technologie (KIT) gelungen ein Metamaterial aus würfelförmigen Bausteinen zu schaffen, das auf Druckkräfte mit einer Rotation antwortet. Üblicherweise gelingt dies nur mit Hilfe einer Übersetzung wie zum Beispiel einer Kurbelwelle. Das ausgeklügelte Design aus Streben und Ringstrukturen, sowie die zu Grunde liegende Mathematik stellen die Wissenschaftler in der aktuellen Ausgabe der renommierten Fachzeitschrift Science vor.

„Übt man Kraft von oben auf einen Materialblock aus, dann deformiert sich dieser in unterschiedlicher Weise. Er kann sich ausbuchten, zusammenstauchen oder...

Im Focus: Proton-Rekord: Magnetisches Moment mit höchster Genauigkeit gemessen

Hochpräzise Messung des g-Faktors elf Mal genauer als bisher – Ergebnisse zeigen große Übereinstimmung zwischen Protonen und Antiprotonen

Das magnetische Moment eines einzelnen Protons ist unvorstellbar klein, aber es kann dennoch gemessen werden. Vor über zehn Jahren wurde für diese Messung der...

Im Focus: New proton record: Researchers measure magnetic moment with greatest possible precision

High-precision measurement of the g-factor eleven times more precise than before / Results indicate a strong similarity between protons and antiprotons

The magnetic moment of an individual proton is inconceivably small, but can still be quantified. The basis for undertaking this measurement was laid over ten...

Im Focus: Reibungswärme treibt hydrothermale Aktivität auf Enceladus an

Computersimulation zeigt, wie der Eismond Wasser in einem porösen Gesteinskern aufheizt

Wärme aus der Reibung von Gestein, ausgelöst durch starke Gezeitenkräfte, könnte der „Motor“ für die hydrothermale Aktivität auf dem Saturnmond Enceladus sein....

Im Focus: Frictional Heat Powers Hydrothermal Activity on Enceladus

Computer simulation shows how the icy moon heats water in a porous rock core

Heat from the friction of rocks caused by tidal forces could be the “engine” for the hydrothermal activity on Saturn's moon Enceladus. This presupposes that...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Mathematiker-Jahrestagung DMV + GDM: 5. bis 9. März 2018 an Uni Paderborn - Über 1.000 Teilnehmer

24.11.2017 | Veranstaltungen

Forschungsschwerpunkt „Smarte Systeme für Mensch und Maschine“ gegründet

24.11.2017 | Veranstaltungen

Schonender Hüftgelenkersatz bei jungen Patienten - Schlüssellochchirurgie und weniger Abrieb

24.11.2017 | Veranstaltungen

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

Mathematiker-Jahrestagung DMV + GDM: 5. bis 9. März 2018 an Uni Paderborn - Über 1.000 Teilnehmer

24.11.2017 | Veranstaltungsnachrichten

Maschinen über die eigene Handfläche steuern: Nachwuchspreis für Medieninformatik-Student

24.11.2017 | Förderungen Preise

Treibjagd in der Petrischale

24.11.2017 | Biowissenschaften Chemie