METHOD FOR VERIFICATION OF DECRYPTION PROCESSES

The invention relates to a verification method that can be used to check that a decryption process has been carried out honestly by the entity that performed same. The method is characterized in that verification of the correct decryption of a set of encrypted messages is based on proof that the result of operating blocks of encrypted messages with an operation F is equal to the encryption of the result of operating blocks made up of the same messages decrypted with an operation T. To this end, a first proof of incoming integrity is generated for each block of encrypted messages, based on the operation F performed on the set of encrypted messages, and it is verified whether the latter corresponds to the proofs of outgoing integrity based on the operation T of the decrypted messages that make up each block. La presente invención describe un método de verificación que permite corroborar que el proceso de descifrado se ha llevado a cabo honestamente por parte de Ia entidad que ha realizado este proceso. El método descrito en esta invención se caracteriza porque la verificación del correcto descifrado de un conjunto de mensajes cifrados, se basa en la prueba de que el resultado de operar bloques de los mensajes cifrados con una operación F es igual al cifrado del resultado de operar bloques compuestos por los mismos mensajes descifrados con una operación T. Para ello, se genera de una primera prueba de integridad entrante para cada bloque de mensajes cifrados, basada en la operación F realizada sobre el conjunto de los mensajes cifrados y se verifica que ésta se corresponda con las pruebas de integridad saliente basadas en la operación T de los mensajes descifrados que componen cada bloque. La présente invention concerne un procédé de vérification qui permet d'affirmer que le processus de déchiffrement a été effectué honnêtement par l'entité qui a exécuté ledit processus. Le procédé décrit dans l'invention se caractérise en ce que la vérification du déchiffrement correcte d'un ensemble de messages chiffrés, est fondé sur la preuve selon laquelle le résultat de la mise en oeuvre du blocage des messages chiffrés avec une opération F est égale au chiffrement du résultat de la mise en oeuvre de blocages composés par les mêmes messages déchiffrés avec une opération T. Ainsi, il est possible de générer une première preuve d'intégrité entrante pour chaque bloc de messages chiffrés, sur la base de l'opération F réalisée sur l'ensemble des messages chiffrés et il est p