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 Das Start-up inveox will Krebsdiagnosen durch Automatisierung im Labor zuverlässiger machen
15.06.2018 | Technische Universität München

nachricht Fußball durch die Augen des Computers
14.06.2018 | Universität Konstanz

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: AchemAsia 2019 in Shanghai

Die AchemAsia geht in ihr viertes Jahrzehnt und bricht auf zu neuen Ufern: Das International Expo and Innovation Forum for Sustainable Chemical Production findet vom 21. bis 23. Mai 2019 in Shanghai, China statt. Gleichzeitig erhält die Veranstaltung ein aktuelles Profil: Die elfte Ausgabe fokussiert auf Themen, die für Chinas Prozessindustrie besonders relevant sind, und legt den Schwerpunkt auf Nachhaltigkeit und Innovation.

1989 wurde die AchemAsia als Spin-Off der ACHEMA ins Leben gerufen, um die Bedürfnisse der sich damals noch entwickelnden Iindustrie in China zu erfüllen. Seit...

Im Focus: AchemAsia 2019 will take place in Shanghai

Moving into its fourth decade, AchemAsia is setting out for new horizons: The International Expo and Innovation Forum for Sustainable Chemical Production will take place from 21-23 May 2019 in Shanghai, China. With an updated event profile, the eleventh edition focusses on topics that are especially relevant for the Chinese process industry, putting a strong emphasis on sustainability and innovation.

Founded in 1989 as a spin-off of ACHEMA to cater to the needs of China’s then developing industry, AchemAsia has since grown into a platform where the latest...

Im Focus: Li-Fi erstmals für das industrielle Internet der Dinge getestet

Mit einer Abschlusspräsentation im BMW Werk München wurde das BMBF-geförderte Projekt OWICELLS erfolgreich abgeschlossen. Dabei wurde eine Li-Fi Kommunikation zu einem mobilen Roboter in einer 5x5m² Fertigungszelle demonstriert, der produktionsübliche Vorgänge durchführt (Teile schweißen, umlegen und prüfen). Die robuste, optische Drahtlosübertragung beruht auf räumlicher Diversität, d.h. Daten werden von mehreren LEDs und mehreren Photodioden gleichzeitig gesendet und empfangen. Das System kann Daten mit mehr als 100 Mbit/s und fünf Millisekunden Latenz übertragen.

Moderne Produktionstechniken in der Automobilindustrie müssen flexibler werden, um sich an individuelle Kundenwünsche anpassen zu können. Forscher untersuchen...

Im Focus: First real-time test of Li-Fi utilization for the industrial Internet of Things

The BMBF-funded OWICELLS project was successfully completed with a final presentation at the BMW plant in Munich. The presentation demonstrated a Li-Fi communication with a mobile robot, while the robot carried out usual production processes (welding, moving and testing parts) in a 5x5m² production cell. The robust, optical wireless transmission is based on spatial diversity; in other words, data is sent and received simultaneously by several LEDs and several photodiodes. The system can transmit data at more than 100 Mbit/s and five milliseconds latency.

Modern production technologies in the automobile industry must become more flexible in order to fulfil individual customer requirements.

Im Focus: ALMA entdeckt Trio von Baby-Planeten rund um neugeborenen Stern

Neuartige Technik, um die jüngsten Planeten in unserer Galaxis zu finden

Zwei unabhängige Astronomenteams haben mit ALMA überzeugende Belege dafür gefunden, dass sich drei junge Planeten im Orbit um den Säuglingsstern HD 163296...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Simulierter Eingriff am virtuellen Herzen

18.06.2018 | Veranstaltungen

Künstliche Intelligenz – Schafft der Mensch seine Arbeit ab?

15.06.2018 | Veranstaltungen

Internationale Konferenz zur Asteroidenforschung in Garching

13.06.2018 | Veranstaltungen

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

Neuer Abwehrmechanismus gegen Sauerstoffradikale entdeckt

18.06.2018 | Biowissenschaften Chemie

Umwandlung von nicht-neuronalen Zellen in Nervenzellen

18.06.2018 | Biowissenschaften Chemie

Im Fußballfieber: Rittal Cup verspricht Spannung und Spaß

18.06.2018 | Unternehmensmeldung

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