hash_file: Hash del archivo del que se quiere verificar la integridad
token o challenge: Habría que decidir que es lo más adecuado
En primer lugar, habría que recuperar el archivo y el hash buscándolo en la estructura de datos.
Una vez recuperado el archivo y el hash, comparar con el hash_file.
Si es distinto, devolver HASH_VERIFICATION_FAIL.
Si es igual, devolver MAC(archivo, token, challenge). Si el token lo pasa el cliente, el challenge lo debe conocer el servidor y viceversa.
Los parámetros de entrada son:
En primer lugar, habría que recuperar el archivo y el hash buscándolo en la estructura de datos. Una vez recuperado el archivo y el hash, comparar con el hash_file.