idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
idw - Informationsdienst
Wissenschaft
2,93 Billionen US-Dollar wurden 2018 weltweit im Online-Einzelhandel umgesetzt. Sogenannte Sicherheitsprotokolle bilden dafür das Fundament. Christoph Weidenbach, Informatik-Professor der Saar-Universität und Leiter einer Forschungsgruppe am Max-Planck-Institut für Informatik, hat bereits 1999 dazu einen wissenschaftlichen Beitrag geleistet, für den er nun mit dem internationalen Thoralf-Skolem-Preis ausgezeichnet wurde. ie Pressestelle (0681/302-3610).
Sicherheitsprotokolle werden auch heute noch von Menschen entworfen. „Allerdings haben die letzten 30 Jahre gezeigt, dass Menschen die Phantasie fehlt, wie man diese Protokolle knacken kann“, erklärt Christoph Weidenbach, der die Forschungsgruppe „Automatisierung der Logik“ am Max-Planck-Institut für Informatik in Saarbrücken leitet. Daher setzte man dazu Computer ein, die durch systematisches Überprüfen am Ende nachweisen können, dass das Protokoll wirklich sicher ist. Als grundlegende Arbeiten zu dieser automatischen Analyse von Sicherheitsprotokollen gelten die Forschungsergebnisse von Catherine Meadows, Naval Research Laboritory, Washington, USA, Larry Paulson, University of Cambridge, Großbritannien, und eben von Weidenbach. Alle wurden Ende der 1990er Jahre publiziert.
Für seine Arbeit „Towards an Automatic Analysis of Security Protocols in First-Order Logic“ aus dem Jahr 1999 hat Weidenbach den Thoralf-Skolem-Preis erhalten. Diese Auszeichnung ist ein sogenannter „test-of-time“-Preis. Er wird während der „Conference on Automated Deduction“, kurz CADE, der führenden, internationalen Konferenz auf dem Gebiet des maschinellen Beweisens, verliehen. Das Besondere: Die internationale Jury zeichnet damit kein aktuelles Forschungsergebnis aus, sondern den Einfluss der veröffentlichten Arbeit auf das Gebiet des maschinellen Beweisens in den vergangenen zehn Jahren.
Insbesondere zwei Aspekte von Weidenbachs Arbeit lobte die Jury: Der Aufsatz beschrieb erstmals, wie man Techniken des maschinengestützten Beweisens auf Sicherheitsprotokolle für den Schlüsselaustausch anwenden kann. Zudem lieferte Christoph Weidenbach darin neue Ergebnisse zur Entscheidbarkeit und Unentscheidbarkeit von so genannten Horn-Formeln, die zur Beschreibung von Sicherheitsprotokollen, aber auch von Programmen im Allgemeinen, eine wichtige Rolle spielen.
Damit erhält Weidenbach nach 2017 bereits zum zweiten Mal den Thoralf-Skolem-Preis. Dieser Preis wird seit 2014 vergeben und geht an Wissenschaftlerinnen und Wissenschaftler, die ihre Forschungsergebnisse auf der Konferenz präsentierten und damit in den vergangenen zehn bis 40 Jahren das Forschungsgebiet geprägt haben. Als Namensgeber dient der norwegische Mathematiker Albert Thoralf Skolem, der bereits aufgrund seiner Doktorarbeit 1926 so viel Beachtung fand, dass sogar der norwegische König davon erfuhr. Neben philosophischen Schriften schuf Skolem die mathematischen Grundlagen, die heute mit das Fundament der Computerwissenschaften bilden.
Redaktion:
Gordon Bolduan
Kompetenzzentrum Informatik Saarland
Universität des Saarlandes
Saarland Informatics Campus E1.7
Tel.: 0681/302-70741
E-Mail: bolduan@mmci.uni-saarland.de
Hinweis für Hörfunk-Journalisten: Sie können Telefoninterviews in Studioqualität mit Wissenschaftlern der Universität des Saarlandes führen, über Rundfunk-Codec (IP-Verbindung mit Direktanwahl oder über ARD-Sternpunkt 106813020001). Interviewwünsche bitte an d
Professor Christoph Weidenbach
Universität des Saarlandes
Saarland Informatics Campus E1.4
Tel.: 0681 9325 900
E-Mail: weidenbach@mpi-inf.mpg.de
http://cadeinc.org/Skolem-Award
Prof. Dr. Christoph Weidenbach
Universität des Saarlandes
None
Merkmale dieser Pressemitteilung:
Journalisten
Informationstechnik
regional
Wettbewerbe / Auszeichnungen
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
