Patent WO-2017001872-A1 (WO)
Title: Calcul sécurisé
Inventor: FOTHERINGHAME DAVID
IPC: G06Q10/00
Filed: 2016-07-01
Abstract: La présente invention concerne un procédé de calcul sécurisé pour exécuter des premières instructions émises par un premier correspondant et des secondes instructions émises par un second correspondant, le procédé comprenant les étapes de la génération, par le premier correspondant, d'un circuit booléen tronqué (C'). Ledit procédé comprend également l'envoi de données qui indiquent deux copies du circuit booléen tronqué au second correspondant, la première copie du circuit booléen tronqué (GC 1 ) comportant des fils d'entrée qui définissent les premières instructions et sont associés à une première clef (k[0]) et la seconde copie du circuit booléen tronqué (GC 2 ) comporte des fils d'entrée qui sont conçus pour recevoir les secondes instructions et sont associés à une seconde clef (k[1]). Ledit procédé comprend ensuit l'envoi de la première clef (k[0]) et de la seconde clef (k[1]) du premier correspond au second correspondant en utilisant un transfert équivoque. Ledit procédé comprend également l'obtention, par le second correspondant, d'une sortie du premier circuit booléen tronqué (C') en utilisant la première clef (k [0]) Ledit procédé comprend, par le second correspondant, l'obtention des secondes instructions pour les fils d'entrée de la seconde copie du circuit booléen tronqué (C') et l'obtention d'une sortie de la seconde copie du circuit booléen tronqué (GC 2 ) en utilisant la seconde clef (k [1]). Ledit procédé comprend la fourniture, par le second correspondant, au premier correspondant, de la sortie de la seconde copie du circuit booléen tronqué (GC 2 ). Enfin, ledit procédé comprend l'exécution des premières et secondes instructions si les premier et second correspondants déterminent, à partir des sorties des première et seconde copies des circuits booléen tronqués (GC 2 ,GC 2 ) que les premières et secondes instructions sont compatibles. La présente invention concerne également une architecture de système de négociation qui comprend une interface de communication pour fournir des communications avec un premier correspondant et un second correspondant. La présente invention comprend au moins un processeur. Une mémoire stocke des instructions exécutables conçues pour, lorsqu'elles sont exécutées par le ou les processeurs, faire en sorte que l'architecture de système de négociation reçoive des premières instructions à partir du premier correspondant, reçoive des premières instructions de négociation à partir du second correspondant, échange des données sur l'interface de communication entre le premier correspondant et le second correspondant en utilisant un mécanisme de transfert équivoque en fonction des premières et secondes instructions de négociation, les premier et second correspondants déterminant que les premières instructions de négociation sont compatibles avec les secondes instructions de négociation sans révéler les premières instructions de négociation au second correspondant et sans révéler les secondes instructions de négociation au premier correspondant en utilisant les données échangées. Si les premières instructions de négociation sont déterminées comme étant compatibles avec les secondes instructions de négociation, alors une transaction est exécutée entre le premier correspondant et le second correspondant en correspondance aux premières et secondes instructions de négociation.