Kontakt zum IKS
Am Fasanengarten 5
Geb. 50.34
D-76131 Karlsruhe
Tel.: + 49 721 608-44205
Fax: + 49 721 608-55022
E-Mail: info(at)iks.kit.edu
Sichere Mehrparteienberechnung
Das Forschungsgebiet der sicheren Mehrparteienberechnung hat seinen Ursprung in Yaos Millionärsproblem:
Wie können zwei sich gegenseitig misstrauende Millionäre herausfinden, wer von ihnen reicher ist, ohne dass sie sich gegenseitig irgendeine weitergehende Information über den konkreten Wert ihres Besitzes offenlegen?
Abstrakt gesehen, sind zwei Parteien (Alice und Bob) gegeben; Alice kennt eine geheime Zahl x, Bob kennt eine geheime Zahl y und sie wollen berechnen, welche der beiden Zahlen größer ist. Allerdings soll Bob dabei außer der Information, ob x<y oder x≥y, nichts weiter über x lernen und analog Alice nichts weiter über y.
Die Verallgemeinerung dieses Problems ist recht naheliegend: Statt der Information, ob x<y bzw. x≥y, wird eine beliebige Funktion f(x,y) berechnet und es können auch mehr als zwei Parteien an der Berechnung teilnehmen (die Funktion f muss dann natürlich entsprechend viele Argumente haben). Die Sicherheitsforderung besteht in diesem allgemeinen Fall darin, dass keine Partei P, selbst wenn sie sich beliebig bösartig verhält, nichts über die geheimen Eingaben der anderen Parteien lernt, was nicht direkt aus der Eingabe von P und dem öffentlichen Funktionsergebnis f(x,y,...) berechnet werden kann.
In der Literatur finden sich verschiedene Techniken und Lösungsansätze für sichere Mehrparteien-berechnungen, welche auf unterschiedlichen Sicherheitsannahmen beruhen; z.B. dass sich eine Mehrheit der teilnehmenden Parteien ehrlich an alle vorgeschriebenen Abläufe hält, oder dass bereits initial eine Public-Key-Infrastruktur gegeben ist.
Die Arbeit am IKS auf diesem Gebiet befasst sich u.A. mit der Frage, welche 2-Parteien-Primitive vollständig sind; d.h. welche minimalen Bausteine bereits genügen, um damit beliebige Zweiparteienberechnungen sicher realisieren zu können. Außerdem untersuchen wir, inwieweit sich sichere Mehrparteienberechnung mit Hilfe manipulationssicherer Hardware durchführen lässt.
Ansprechpartner