Méthode de preuve de temps écoulé entre évènements successifs intervenant dans un nœud d’un réseau asynchrone, ledit nœud comprenant un système embarqué (200) partitionné en une zone de confiance (210) et une zone non sécurisée (220), la zone de confiance comprenant un environnement d’exécution sécurisé ou TEE (213) dans lequel l’intégrité et la confidentialité du code et des données sont assurées, et un composant matériel de confiance ou TPM (215) comportant une première horloge, dit horloge de contrôle donnant le temps écoulé à partir de sa dernière initialisation et un compteur monotone indiquant le nombre d’initialisations de l’horloge de contrôle, l’environnement TEE disposant d’une seconde horloge, dite horloge système, et recevant d’une part l’horloge de contrôle du TPM et d’autre part une troisième horloge, dite horloge de précision , d’un périphérique extérieur au système embarqué, l’horloge de contrôle présentant un degré de sécurité supérieur à l’horloge système et à l’horloge de précision, l’horloge de précision présentant une précision et une stabilité supérieures à celles de l’horloge de contrôle et de l’horloge système, dans laquelle : une application résidant dans l’environnement TEE mesure (410) le temps auquel intervient un évènement observé par le nœud, la mesure étant effectuée à l’aide de la première, de la seconde et de la troisième horloges, pour fournir une première, une seconde et une troisième mesures de temps relatives à l’évènement observé ; ladite application détermine (420), à partir des mesures ainsi obtenues pour l’évènement observé et de celles obtenues pour un évènement précédent, une première, une seconde et une troisième mesures de temps écoulé entre ledit évènement observé et l’évènement précédent ; ladite application vérifie la cohérence (430) des première, seconde et troisième horloges en comparant les mesures de temps écoulé ainsi obtenues et si elles ne diffèrent pas plus d’une marge de tolérance prédéterminée, forme un message de preuve (440) de temps écoulé entre l’évènement observé et l’évènement précédent, le message de temps écoulé comprenant la valeur du compteur monotone, les mesures de temps relatives à l’évènement observé et les dérives des seconde ( ) et troisième horloge ( ) par rapport à la première horloge sur l’intervalle de temps écoulé ; ladite application signe (460) ledit message avec une clé privée du nœud avant de le transmettre sur le réseau asynchrone. Méthode de preuve de temps écoulé entre évènements successifs selon la revendication 1, caractérisée en ce que les dérives de l’horloge de contrôle et de l’horloge système par rapport à l’horloge de précision sont intégrées dans le temps par ladite application et que, lorsque l’une d’elles excède une valeur maximale prédéterminée, celle-ci est corrigée. Méthode de preuve de temps écoulé entre transactions successives émises par un nœud, dit nœud client, à destination d’un registre distribué, caractérisée en ce qu’elle met en œuvre une méthode de preuve de temps écoulé entre évènements successifs selon la revendication 1 ou 2, l’évènement observé étant la formation d’une transaction par ledit nœud client. Méthode de preuve de temps écoulé entre transactions successives selon la revendication 3, caractérisée en ce que la transaction émise par le nœud client comprend en outre un haché du code de l’application au moment où la transaction est formée. Méthode de preuve de temps écoulé entre transactions successives selon la revendication 3 ou 4, caractérisée en ce que la transaction émise par le nœud client comprend en outre la valeur d’un compteur de transactions, ledit compteur étant incrémenté à chaque transaction émise. Méthode de preuve de temps écoulé entre transactions successives selon l’une des revendications 3 à 5, caractérisée en ce que la transaction émise par le nœud client comprend en outre une mesure du temps auquel la transaction précédente a été émise, la mesure ayant été effectuée au moyen de l’horloge de contrôle et étant signée par une clé privée du module TPM. Méthode de preuve de temps écoulé entre transactions successives selon l’une des revendications 3 à 6, caractérisée en ce que, préalablement à l’émission des transactions successives, le nœud client émet une transaction d’enregistrement (510) à destination du registre distribué, ladite transaction d’enregistrement comprenant une valeur initiale du compteur monotone, et indique les valeurs initiales de l’horloge de contrôle, de l’horloge système et de l’horloge de précision. Méthode de vérification du temps écoulé entre transactions successives émises par un nœud client mettant en œuvre la méthode de preuve de temps écoulé selon l’une des revendications 3 à 7, la vérification étant effectuée par un nœud tiers du réseau asynchrone, dit nœud validateur, pour une nouvelle transaction émise par le nœud client, ladite méthode étant caractérisée en ce que le nœud validateur extrait de la transaction courante la valeur du compte monotone et vérifie dans le registre distribué qu’elle est identique à celle de la transaction précédente, puis extrait les dérives des seconde et troisième horloges et les compare à une marge de tolérance prédéterminée pour vérifier la cohérence des horloges du nœud client. Méthode de vérification du temps écoulé entre transactions successives émises par un nœud client selon la revendication 8, caractérisée en ce que, préalablement à la vérification de la cohérence des horloges du nœud client, le nœud vérificateur s’assure à l’aide de la signature de la transaction que celle-ci a bien été émise par le nœud client. Méthode de vérification du temps écoulé entre transactions successives émises par un nœud client selon la revendication 8 ou 9, caractérisée en ce que le nœud vérificateur extrait de la transaction du nœud client la valeur de l’horloge de précision et la compare à la valeur de sa propre horloge de précision à la réception de cette transaction, et vérifie que la différence de la seconde avec la première est supérieure à zéro et inférieure un temps de propagation maximal prédéterminé. Méthode de vérification du temps écoulé entre transactions successives émises par un nœud client selon l’une des revendications 8 à 10, caractérisée en ce que le nœud vérificateur est un nœud présentant un degré de fiabilité supérieur à une valeur prédéterminée, le degré de fiabilité d’un nœud étant une fonction croissante du nombre de transactions validées avec succès et du temps écoulé depuis son enregistrement dans le registre distribué. Méthode de vérification du temps écoulé entre transactions successives émises par un nœud client selon l’une des revendications 8 à 11, caractérisée en ce que, si la vérification a été effectuée avec succès, le nœud validateur émet une transaction, dite de transaction de validation, comprenant un haché de la transaction validée et le temps auquel elle a été reçue, mesurée par l’horloge de précision du nœud validateur. Méthode de vérification du temps écoulé entre transactions successives émises par un nœud client selon la revendication 12, caractérisée en ce que le nœud validateur vérifie préalablement la cohérence de ses première, seconde et troisième horloges avant d’émettre la transaction de validation vers le registre distribué. Méthode de vérification du temps écoulé entre transactions successives émises par un nœud client selon la revendication 13, caractérisée en ce que la transaction de validation comprend les mesures du temps auquel est effectuée la validation au moyen des première, seconde et troisième horloges, la valeur du compteur monotone du nœud validateur ainsi que les dérives des seconde ( ) et troisième horloge ( ) du nœud validateur par rapport à la première horloge du nœud validateur sur l’intervalle de temps écoulé depuis la dernière transaction émise par le nœud validateur. Méthode de vérification du temps écoulé entre transactions successives émises par un nœud client selon la revendication 14, caractérisée en ce que la transaction de validation comprend en outre un haché du code exécutant la vérification dans l’environnement TEE du nœud validateur, au moment où la transaction du nœud client est validée.