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 Neue interaktive Software: Maschinelles Lernen macht Autodesigns aerodynamischer
14.08.2018 | Institute of Science and Technology Austria

nachricht Sicherheitslücken im Internetprotokoll „IPsec“ identifiziert
14.08.2018 | Ruhr-Universität Bochum

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Neue interaktive Software: Maschinelles Lernen macht Autodesigns aerodynamischer

Neue Software verwendet erstmals maschinelles Lernen um Strömungsfelder um interaktiv designbare 3D-Objekte zu berechnen. Methode wird auf der renommierten SIGGRAPH-Konferenz vorgestellt

Wollen Ingenieure oder Designer die aerodynamischen Eigenschaften eines neu gestalteten Autos, eines Flugzeugs oder anderer Objekte testen, lassen sie den...

Im Focus: New interactive machine learning tool makes car designs more aerodynamic

Scientists develop first tool to use machine learning methods to compute flow around interactively designable 3D objects. Tool will be presented at this year’s prestigious SIGGRAPH conference.

When engineers or designers want to test the aerodynamic properties of the newly designed shape of a car, airplane, or other object, they would normally model...

Im Focus: Der Roboter als „Tankwart“: TU Graz entwickelt robotergesteuertes Schnellladesystem für E-Fahrzeuge

Eine Weltneuheit präsentieren Forschende der TU Graz gemeinsam mit Industriepartnern: Den Prototypen eines robotergesteuerten CCS-Schnellladesystems für Elektrofahrzeuge, das erstmals auch das serielle Laden von Fahrzeugen in unterschiedlichen Parkpositionen ermöglicht.

Für elektrisch angetriebene Fahrzeuge werden weltweit hohe Wachstumsraten prognostiziert: 2025, so die Prognosen, wird es jährlich bereits 25 Millionen...

Im Focus: Robots as 'pump attendants': TU Graz develops robot-controlled rapid charging system for e-vehicles

Researchers from TU Graz and their industry partners have unveiled a world first: the prototype of a robot-controlled, high-speed combined charging system (CCS) for electric vehicles that enables series charging of cars in various parking positions.

Global demand for electric vehicles is forecast to rise sharply: by 2025, the number of new vehicle registrations is expected to reach 25 million per year....

Im Focus: Der „TRiC” bei der Aktinfaltung

Damit Proteine ihre Aufgaben in Zellen wahrnehmen können, müssen sie richtig gefaltet sein. Molekulare Assistenten, sogenannte Chaperone, unterstützen Proteine dabei, sich in ihre funktionsfähige, dreidimensionale Struktur zu falten. Während die meisten Proteine sich bis zu einem bestimmten Grad ohne Hilfe falten können, haben Forscher am Max-Planck-Institut für Biochemie nun gezeigt, dass Aktin komplett von den Chaperonen abhängig ist. Aktin ist das am häufigsten vorkommende Protein in höher entwickelten Zellen. Das Chaperon TRiC wendet einen bislang noch nicht beschriebenen Mechanismus für die Proteinfaltung an. Die Studie wurde im Fachfachjournal Cell publiziert.

Bei Aktin handelt es sich um das am häufigsten vorkommende Protein in höher entwickelten Zellen, das bei Prozessen wie Zellstabilisation, Zellteilung und...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Das Architekturmodell in Zeiten der Digitalen Transformation

14.08.2018 | Veranstaltungen

EEA-ESEM Konferenz findet an der Uni Köln statt

13.08.2018 | Veranstaltungen

Digitalisierung in der chemischen Industrie

09.08.2018 | Veranstaltungen

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

Kleine Helfer bei der Zellreinigung

14.08.2018 | Biowissenschaften Chemie

Neue Oberflächeneigenschaften für holzbasierte Werkstoffe

14.08.2018 | Materialwissenschaften

Fraunhofer IPT unterstützt Zweitplatzierten bei SpaceX-Wettbewerb

14.08.2018 | Förderungen Preise

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