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 Vernetzte Produktion in Echtzeit: Deutsch-schwedisches Testbed geht in die zweite Phase
11.12.2019 | Fraunhofer-Institut für Produktionstechnologie IPT

nachricht Sensoraufkleber überwacht Lebensmittelproduktion
11.12.2019 | 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: Cheers! Maxwell's electromagnetism extended to smaller scales

More than one hundred and fifty years have passed since the publication of James Clerk Maxwell's "A Dynamical Theory of the Electromagnetic Field" (1865). What would our lives be without this publication?

It is difficult to imagine, as this treatise revolutionized our fundamental understanding of electric fields, magnetic fields, and light. The twenty original...

Im Focus: Hochgeladenes Ion bahnt den Weg zu neuer Physik

In einer experimentell-theoretischen Gemeinschaftsarbeit hat am Heidelberger MPI für Kernphysik ein internationales Physiker-Team erstmals eine Orbitalkreuzung im hochgeladenen Ion Pr9+ nachgewiesen. Mittels einer Elektronenstrahl-Ionenfalle haben sie optische Spektren aufgenommen und anhand von Atomstrukturrechnungen analysiert. Ein hierfür erwarteter Übergang von nHz-Breite wurde identifiziert und seine Energie mit hoher Präzision bestimmt. Die Theorie sagt für diese „Uhrenlinie“ eine sehr große Empfindlichkeit auf neue Physik und zugleich eine extrem geringe Anfälligkeit gegenüber externen Störungen voraus, was sie zu einem einzigartigen Kandidaten zukünftiger Präzisionsstudien macht.

Laserspektroskopie neutraler Atome und einfach geladener Ionen hat während der vergangenen Jahrzehnte Dank einer Serie technologischer Fortschritte eine...

Im Focus: Highly charged ion paves the way towards new physics

In a joint experimental and theoretical work performed at the Heidelberg Max Planck Institute for Nuclear Physics, an international team of physicists detected for the first time an orbital crossing in the highly charged ion Pr⁹⁺. Optical spectra were recorded employing an electron beam ion trap and analysed with the aid of atomic structure calculations. A proposed nHz-wide transition has been identified and its energy was determined with high precision. Theory predicts a very high sensitivity to new physics and extremely low susceptibility to external perturbations for this “clock line” making it a unique candidate for proposed precision studies.

Laser spectroscopy of neutral atoms and singly charged ions has reached astonishing precision by merit of a chain of technological advances during the past...

Im Focus: Ultrafast stimulated emission microscopy of single nanocrystals in Science

The ability to investigate the dynamics of single particle at the nano-scale and femtosecond level remained an unfathomed dream for years. It was not until the dawn of the 21st century that nanotechnology and femtoscience gradually merged together and the first ultrafast microscopy of individual quantum dots (QDs) and molecules was accomplished.

Ultrafast microscopy studies entirely rely on detecting nanoparticles or single molecules with luminescence techniques, which require efficient emitters to...

Im Focus: Wie Graphen-Nanostrukturen magnetisch werden

Graphen, eine zweidimensionale Struktur aus Kohlenstoff, ist ein Material mit hervorragenden mechanischen, elektronischen und optischen Eigenschaften. Doch für magnetische Anwendungen schien es bislang nicht nutzbar. Forschern der Empa ist es gemeinsam mit internationalen Partnern nun gelungen, ein in den 1970er Jahren vorhergesagtes Molekül zu synthetisieren, welches beweist, dass Graphen-Nanostrukturen in ganz bestimmten Formen magnetische Eigenschaften aufweisen, die künftige spintronische Anwendungen erlauben könnten. Die Ergebnisse sind eben im renommierten Fachmagazin Nature Nanotechnology erschienen.

Graphen-Nanostrukturen (auch Nanographene genannt) können, je nach Form und Ausrichtung der Ränder, ganz unterschiedliche Eigenschaften besitzen - zum Beispiel...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Analyse internationaler Finanzmärkte

10.12.2019 | Veranstaltungen

QURATOR 2020 – weltweit erste Konferenz für Kuratierungstechnologien

04.12.2019 | Veranstaltungen

Die Zukunft der Arbeit

03.12.2019 | Veranstaltungen

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

Neue Hefe-Spezies in Braunschweig entdeckt

12.12.2019 | Biowissenschaften Chemie

Humane Papillomviren programmieren ihre Wirtszellen um und begünstigen so die Hautkrebsentstehung

12.12.2019 | Medizin Gesundheit

Urbane Gärten: Wie Agrarschädlinge von Städten profitieren

12.12.2019 | Biowissenschaften Chemie

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