Brevet FR3141020A1 — publié le 20240419

Procédé de mise en œuvre d’un service d’une chaîne de services et dispositif électronique associé L’invention concerne un procédé de mise en œuvre d’un service, dit service courant, d’une chaîne de n services, le procédé comprenant : la réception, en provenance du service précédent le service courant dans la chaîne, d’un premier jeton de routage comprenant des données de routage de messages entre les services de la chaîne ; la vérification que le service courant est un destinataire légitime du premier jeton de routage ; la mise en œuvre d’une fonction du service courant ; la génération d’un jeton de chaînage, dit jeton de chaînage courant à partir d’une donnée de preuve d’un passage par le service courant ; et, la transmission, à destination du service suivant le service courant dans la chaîne, du jeton de chaînage courant et d’un deuxième jeton de routage déterminé à partir du premier jeton de routage. Figure pour l’abrégé : Fig. 1. Procédé de mise en œuvre d’un service d’une chaîne de services et dispositif électronique associé La présente invention appartient au domaine général des transactions générées en mettant en œuvre une séquence de services chaînés entre eux. Elle concerne plus particulièrement un procédé de mise en œuvre d’un service d’une chaîne de services. Elle concerne également un dispositif électronique de mise en œuvre d’au moins un service, un procédé de vérification d’une chaîne de services, et un dispositif électronique de vérification d’une chaîne de services. Les architectures orientées services permettent de concevoir une transaction comme un ensemble de services interconnectés, accessibles au travers de protocoles standards. Typiquement, pour concevoir cette transaction, un flux de données accède à une chaîne de services dans un ordre particulier, c’est-à-dire à un ensemble de services chaînés entre eux et accessibles au travers d’un réseau de télécommunication. Dès lors, les processus de transmission de données doivent respecter des conditions de certification et de sécurité suffisamment strictes pour garantir la fiabilité du routage des flux de données échangées. Dans ce contexte, des solutions d'ingénierie de trafic sont actuellement connues qui permettent de contrôler et réguler la transmission de données dans un réseau de communications. Certaines, comme les solutions de routage par segment («Segment Routing », selon la terminologie anglo-saxonne) ou de chaînage de fonctions service («Service Function Chaining », selon la terminologie anglo-saxonne) mettent en œuvre des instructions spécifiques qui permettent de garantir le bon acheminement de données vers une destination spécifique. Toutefois, et bien qu’elles permettent d’assurer une fiabilité relative du trafic de données dans un réseau, ces solutions ne permettent pas d’adapter la chaîne de services à la volée, par exemple en remplaçant ou en ajoutant un service à la chaîne, voire en adaptant le dispositif électronique mettant en œuvre un service donné. Un autre inconvénient est que les approches existantes ne permettent pas de prouver de manière fiable que le trafic a effectivement transité par un dispositif électronique donné et à fortiori que ce dispositif a effectivement mis en œuvre un service. Enfin, bien souvent, les dispositifs mettant en œuvre des services sont gérés par des acteurs différents, et ne sont donc pas soumis aux mêmes règles de sécurité. Or, une coopération stricte entre plusieurs acteurs complique le respect de règles et de contrôle uniformes. Il existe donc une nécessiter de proposer une approche plus flexible, mais également qui puisse garantir l’atomicité d’une transaction nécessitant l’application d’une séquence de services, et ce, même si les niveaux de sécurité appliqués par les dispositifs électroniques mettant en œuvre ces services diffèrent. La présente invention a pour objectif de remédier à tout ou partie des inconvénients de l’art antérieur, notamment ceux exposés ci-avant, en proposant une solution qui permette de générer de manière flexible une transaction comme une séquence de plusieurs services, et qui puisse garantir l’atomicité de cette transaction, et ce, même si les niveaux de sécurité appliqués par les dispositifs électroniques mettant en œuvre ces services diffèrent. Au sens de l’invention, la propriété d’atomicité résulte d’une démonstration de la réalisation d’une transaction globale nécessitant l’application d’une chaîne de services, et ce sans altération sur l’orchestration des services planifiés et sur le déroulé du séquencement des enchainements desdits services. À cet effet, et selon un premier aspect, l’invention concerne un procédé de mise en œuvre d’un service, dit service courant, d’une chaîne de n services, le procédé comprenant : - la réception, en provenance du service précédent le service courant dans la chaîne, d’un premier jeton de routage comprenant des données de routage de messages entre les services de la chaîne ; - la vérification que le service courant est un destinataire légitime du premier jeton de routage ; - la mise en œuvre d’une fonction du service courant ; - la génération d’un jeton de chaînage, dit jeton de chaînage courant, à partir d’une donnée de preuve d’un passage par le service courant ; et, - la transmission, à destination du service suivant le service courant dans la chaîne, du jeton de chaînage courant et d’un deuxième jeton de routage déterminé à partir du premier jeton de routage. L’application du procédé selon l’invention empêche, par la non réalisation d’un service, dit service final, toute altération, soit d’étape de traitement ou de données émises ou reçues au niveau de chacun des services chainés suivant un ordre établi à priori. Ainsi, le service est rendu de façon atomique dans le sens où toute altération de celui-ci dans sa réalisation entraine un arrêt ou un déni de service. Et à fortiori, la délivrance du service finalisé prouve que le service a été réalisé sans altération et donc qu’il est bien intègre ou « atomique ». De manière générale, on considère que les étapes d’un procédé ne doivent pas être interprétées comme étant liées à une notion de succession temporelle. Il est également à noter que le procédé selon l’invention est indépendant des protocoles mis en œuvre ou des services (e.g., des fonctions mises en œuvre par lesdits services). Une fonction mises en œuvre par un desdits services peut comprendre un traitement sur des données reçues ou l’exécution complète d’un protocole impliquant lui-même une nouvelle chaîne de services au sens de l’invention. Dans des modes particuliers de mise en œuvre, le procédé selon l’invention peut comporter en outre l’une ou plusieurs des caractéristiques suivantes, prises isolément ou selon toutes les combinaisons techniquement possibles. Dans des modes particuliers de mise en œuvre, le jeton de chaînage courant est généré en fonction du deuxième jeton de routage. Cette caractéristique est avantageuse puisqu’elle permet de prouver, à un service de contrôle, que le service qui génère un jeton de chaînage a bien reçu un jeton de routage qui lui était destiné. Dans des modes particuliers de mise en œuvre, le service courant comprend un identifiant de ce service ; et le procédé comprend en outre l’obtention d’un identifiant de service destinataire par application d’une fonction de déchiffrement au premier jeton de routage, la fonction de déchiffrement utilisant une clef de déchiffrement associée au service courant ; et la vérification que le service courant est un destinataire légitime comprend la comparaison de l’identifiant de service destinataire avec l’identifiant de ce service. Cet identifiant de service correspond par exemple à une API portée par une URL ; une adresse mail ou un identifiant de messagerie ; un port IP d’un dispositif électronique porté par une adresse IP ; un identifiant porté par un système de messagerie ; un numéro de port sur d’autres protocoles de connectivité locale associé à une adresse logique suivant ces protocoles de communication ; une adresse MAC ; une adresse mémoire ou une interruption au sein d’un dispositif électronique ; un certificat électronique, par exemple conforme à la norme X.509. Cette caractéristique est avantageuse puisqu’elle permet au service courant de s’assurer, de manière sécurisée, qu’il est le destinataire légitime du jeton de routage et des données transmises avec ce jeton de routage, et à fortiori qu’il correspond au service devant être appliqué, conformément à une chaîne préalablement définie. Dans des modes particuliers de mise en œuvre, le deuxième jeton de routage est généré par application d’une fonction de déchiffrement au premier jeton de routage, et la fonction de déchiffrement utilise une clef de déchiffrement associée au service courant. Cette caractéristique est avantageuse puisqu’elle permet au service courant de déterminer, de manière sécurisée, le service suivant de la chaîne vers lequel des données doivent être transmises. Dans des modes particuliers de mise en œuvre, le procédé comprend en outre : la génération, par le service courant, de la donnée de preuve d’un passage par le service courant, la donnée étant générée par application d’une fonction de hachage au deuxième jeton de routage ; et, la transmission de la donnée par le service courant à destination du service suivant ou à destination d’un service de contrôle. Cette caractéristique est avantageuse puisque cette donnée de preuve permet au service de contrôle de vérifier le caractère atomique de la transaction, mais également d’identifier le service n’ayant pas été mis en œuvre conformément à la chaîne. Dans des modes particuliers de mise en œuvre, le procédé comprend en outre : la réception, par le service courant, d’une donnée de preuve que le service précédent a effectivement été appliqué ; et, la transmission de la donnée reçue , par le service courant et à destination du service suivant. Dans des modes particuliers de mise en œuvre, des opérations de chiffrement, déchiffrement, signature et identification au niveau du service ( ) sont basées sur des technologies cryptographiques à clef publique, et référent un certificat électronique associé. Selon un deuxième aspect, l’invention concerne un procédé de vérification d’une chaîne de n services, le procédé étant mis en œuvre par un service de contrôle et comprenant : - la réception d’un jeton de routage en provenance du n-ième service de la chaîne, d’un jeton de chaînage en provenance du n-ième service de la chaîne, et de n données ( ) de preuve, chaque donnée étant générée par un service de la chaîne ; - la vérification que le service de contrôle est un destinataire légitime du jeton de routage ; et, - la vérification d’un passage par les n services de la chaîne, par traitement du jeton de chaînage et des n données de preuve. Dans des modes particuliers de mise en œuvre, le service de contrôle comprend un identifiant de ce service de contrôle, et le procédé comprend en outre l’obtention, par le service de contrôle, d’un identifiant de service destinataire par application d’une fonction de déchiffrement au jeton de routage , la fonction de déchiffrement utilisant une clef de déchiffrement associée au service de contrôle ; et, la vérification que le service de contrôle est un destinataire légitime comprend la comparaison de l’identifiant de service destinataire avec l’identifiant de ce service de contrôle. Cette caractéristique est avantageuse puisqu’elle permet au service de contrôle de s’assurer, de manière sécurisée, qu’il est le destinataire légitime du jeton de routage et des données transmises avec ce jeton de routage. Dans des modes particuliers de mise en œuvre, le procédé comprend en outre l’obtention, par le service de contrôle, d’une première valeur secrète utilisée pour la génération d’un jeton de routage préalablement transmis au premier service de la chaîne ; l’obtention, par le service de contrôle, d’une deuxième valeur secrète par application d’une fonction de déchiffrement au jeton de routage , la fonction de déchiffrement utilisant une clef de déchiffrement associée au service de contrôle ; et, la comparaison, par le service de contrôle, de la première valeur secrète et de la deuxième valeur secrète. [R10] Cette caractéristique est avantageuse puisqu’elle permet au service de contrôle de s’assurer que le jeton de routage reçu est issu d’un traitement, par différents services, d’un jeton de routage initial que ce service de contrôle avait initialement généré. Dans des modes particuliers de mise en œuvre, la vérification d’un passage par les n services de la chaîne comprend : le calcul d’un jeton de chaînage en fonction d’une donnée de preuve , pour i = n..0; l’obtention un jeton de référence résultant de l’application d’une fonction de chiffrement à une valeur utilisée pour générer un jeton de chaînage initial préalablement été transmis au premier service de la chaîne, la fonction de chiffrement utilisant une clef de chiffrement associée au service de contrôle ; et, la comparaison entre le jeton calculé pour et le jeton de référence. Dans des modes particuliers de mise en œuvre, le procédé comprend en outre la génération d’un jeton de routage de manière récursive à partir d’un jeton de routage . Selon un troisième aspect, l’invention concerne un dispositif électronique de mise en œuvre d’au moins un service comprenant : un module de réception d’un premier jeton de routage comprenant des données de routage de messages entre les services d’une chaîne de services ; un module de vérification que le au moins un service est un destinataire légitime du premier jeton de routage ; un module de mise en œuvre d’une fonction du service; un module de génération d’un jeton de chaînage à partir d’une donnée de preuve d’un passage par le service courant ; et, un module de transmission, à destination du service suivant ledit service dans la chaîne, du jeton de chaînage courant et d’un deuxième jeton de routage déterminé à partir du premier jeton de routage. Selon un quatrième aspect, l’invention concerne un dispositif électronique de vérification d’une chaîne de n services incluant un service de contrôle comprenant : un module de réception d’un jeton de routage en provenance du n-ième service de la chaîne, d’un jeton de chaînage en provenance du n-ième service de la chaîne, et de n données de preuve, chaque donnée étant générée par un service de la chaîne ; un module de vérification que ledit service de contrôle est un destinataire légitime du jeton de routage ; et, un module de vérification d’un passage par les n services de la chaîne, par traitement du jeton de chaînage et des n données de preuve. Selon un cinquième aspect, l’invention concerne un système comprenant au moins un dispositif électronique de mise en œuvre d’au moins un service, et un dispositif électronique de vérification d’une chaîne de n services. Selon un sixième aspect, l’invention concerne un programme d’ordinateur comportant des instructions pour la mise en œuvre d’un procédé de mise en œuvre d’un service ou d’un procédé de vérification d’une chaîne de services, lorsque ledit programme est exécuté par un processeur. Selon un septième aspect, l’invention concerne un support d’enregistrement lisible par un ordinateur sur lequel est enregistré le programme d’ordinateur selon l’invention. D’autres caractéristiques et avantages de la présente invention ressortiront de la description faite ci-dessous, en référence aux dessins annexés qui en illustrent un exemple de réalisation dépourvu de tout caractère limitatif. Sur les figures : la représente schématiquement un exemple de réalisation d’un système dans lequel l’invention est mise en œuvre ; la représente schématiquement un mode particulier de mise en œuvre d’un dispositif électronique de mise en œuvre d’au moins un service tel que proposé ; la représente schématiquement un mode particulier de mise en œuvre d’un dispositif électronique de vérification d’une chaîne de services tel que proposé ; la représente schématiquement un exemple d’architecture matérielle d’un dispositif électronique de mise en œuvre d’au moins un service ; la représente schématiquement un exemple d’architecture matérielle d’un dispositif électronique de vérification d’une chaîne de services ; la illustre le principe général de l’invention, selon un mode particulier de mise en œuvre ; la figure 5 comprend la et la , et représente, sous forme d’ordinogramme, un premier mode particulier de mise en œuvre d’un procédé général de contrôle d’une transaction résultant du passage par un ensemble de services chaînés tel que proposé, mis en œuvre dans un système comprenant le dispositif électronique de vérification d’une chaîne de services de la , et le dispositif électronique de mise en œuvre d’au moins un service de la ; la figure 6 comprend la et la , et représente, sous forme d’ordinogramme, un deuxième mode particulier de mise en œuvre d’un procédé général de contrôle d’une transaction résultant de l’application d’un ensemble de services chaînés tel que proposé, mis en œuvre dans un système comprenant le dispositif électronique de vérification d’une chaîne de services de la , et le dispositif électronique de mise en œuvre d’au moins un service de la ; la représente un exemple de mise en œuvre de l’invention, conforme au deuxième mode particulier de mise en œuvre illustré par la figure 6, dans le cadre d’une transaction de type « Mobile Connect ». La représente schématiquement un exemple de réalisation d’un système SYS dans lequel l’invention est mise en œuvre. Le système SYS comprend un premier dispositif D ORCH qui comprend un service ORCH d’orchestration de services, aussi nommé orchestrateur, et qui est configuré pour déterminer une chaîne de services à mettre en œuvre, de sorte à générer une transaction. Au sens de l’invention, une chaîne de services (ou séquence de services) est définie comme un ensemble de services chaînés et devant être appliqués dans un ordre prédéterminé, de sorte à générer une transaction. Autrement dit, une transaction peut être définie comme une opération informatique cohérente résultant de la composition de plusieurs services. Cette transaction n’est considérée comme atomique que si tous les services de la chaîne sont parcourus, dans l’ordre établi par cette chaîne de services. Une chaîne de services peut comprendre une séquence de services tous distincts, mais également plusieurs fois un même service (lorsqu’une transaction nécessite un transit plusieurs fois par un même service). Au sens de l’invention, un service peut être défini comme un programme informatique (ou logiciel) comprenant un ensemble d’instructions informatiques interprétables par une machine, ce programme étant utilisé pour réaliser une tâche, ou un ensemble de tâches élémentaires. On rappelle ici que le procédé selon l’invention est indépendant des protocoles mis en œuvre ou des services (e.g., des fonctions mises en œuvre par lesdits services). Cet orchestrateur détermine la chaîne de services à mettre en œuvre, par exemple en fonction des services disponibles et/ou accessibles, mais également en fonction de contraintes prédéterminées. Cette notion d’orchestration est par ailleurs bien connu de l’homme du métier, on peut citer à titre d’exemple les orchestrateurs : OpenStack™ et Kubernetes™, mais aussi les séquenceurs des opérations pour les machines outils dans le monde industriel comme MapexWom ®. Ce premier dispositif D ORCH est directement connecté à un second dispositif D CTRL mettant en œuvre un service CTRL de contrôle. Les fonctionnalités de ce service de contrôle sont décrites plus en détail en référence à la . Ce dispositif D CTRL est connecté à un réseau de télécommunication RES. En variante, ce premier dispositif D ORCH est indirectement connecté au second dispositif D CTRL , au travers d’un réseau de télécommunication, tel que le réseau de télécommunication RES illustré en . Aucune limitation n’est attachée au type du réseau de télécommunication RES, qui est par exemple un réseau Internet, un réseau Wifi, ou un réseau de téléphonie fixe ou mobile. En variante, plusieurs types de réseaux de télécommunication RES peuvent être utilisés pour relier les différents dispositifs du réseau entre eux. Par ailleurs, les connexions entre ces différents dispositifs peuvent être de type filaire ou sans fil. Tel qu’illustré en figure 1, le système SYS comprend en outre huit dispositifs électroniques connectés au réseau de télécommunication RES. Chacun des dispositifs électroniques est configuré pour mettre en œuvre un service . En variante, un même dispositif électronique est configuré pour mettre en œuvre plusieurs services. Ainsi, le dispositif est par exemple configuré pour mettre en œuvre les services et . Parmi ces huit services disponibles, une chaîne pourrait n’en considérer qu’un sous-ensemble. Ainsi, la chaîne est par exemple telle que La illustre également que les services d’orchestration et de contrôle sont mis en œuvre par deux dispositifs distincts, D ORCH et D CTRL . Cependant, aucune limitation n’est attachée à cette architecture, et ces services d’orchestration et de contrôle peuvent également être mis en œuvre par un même dispositif. La représente schématiquement un mode particulier de mise en œuvre d’un dispositif électronique de mise en œuvre d’au moins un service tel que proposé. La représente schématiquement un mode particulier de mise en œuvre d’un dispositif électronique de vérification d’une chaîne de services tel que proposé. La représente schématiquement un exemple d’architecture matérielle d’un dispositif électronique de mise en œuvre d’au moins un service. Tel qu’illustré par la figure 3A, le dispositif électronique de mise en œuvre d’un service dispose de l’architecture matérielle d’un ordinateur. Ainsi, le dispositif comporte, notamment, un processeur 1, une mémoire vive 2, une mémoire morte 3 et une mémoire non volatile 4. Il comporte en outre un module de communication 5. La mémoire morte 3 du dispositif constitue un support d’enregistrement tel que proposé, lisible par le processeur 1 et sur lequel est enregistré un programme d’ordinateur PROG_S conforme à l’invention, comportant des instructions pour l’exécution d’étapes du procédé de mise en œuvre d’un service tel que proposé ci-après. Le programme PROG_S définit des modules fonctionnels du dispositif tels que représentés à la , qui s’appuient ou commandent les éléments matériels 1 à 5 cités précédemment, et qui comprennent notamment : un module de réception (MOD_RX) d’un premier jeton de routage ( comprenant des données de routage de messages entre les services d’une chaîne de services ; un module de vérification (MOD_DEST) que le au moins un service est un destinataire légitime du premier jeton de routage ( ) ; un module de mise en œuvre (MOD_CS) d’une fonction du service ( ; un module de génération (MOD_CT) d’un jeton de chaînage à partir d’une donnée ) de preuve d’un passage par le service courant ( ) ; et, un module de transmission (MOD_TX), à destination du service ( ) suivant ledit service ( ) dans la chaîne, du jeton de chaînage courant ( ) et d’un deuxième jeton de routage ( ) déterminé à partir du premier jeton de routage ( ). Par ailleurs, le dispositif peut encore comporter d’autres modules, notamment pour mettre en œuvre des modes particuliers du procédé de mise en œuvre d’un service, comme cela est décrit plus en détail ultérieurement. Le module de communication 5 du dispositif lui permet notamment de communiquer avec un autre dispositif mettant en œuvre un autre service, et intègre à cet effet les modules de réception MOD_RX et de transmission MOD_TX, ainsi que des moyens matériels et logiciels tels que ceux décrits ci-avant pour mettre en œuvre le procédé de mise en œuvre. La figure 3B représente schématiquement un exemple d’architecture matérielle d’un dispositif électronique de vérification d’une chaîne de services. Tel qu’illustré par la figure 3B, le dispositif électronique de vérification d’une chaîne de services dispose de l’architecture matérielle d’un ordinateur. Ainsi, le dispositif comporte, notamment, un processeur 1, une mémoire vive 2, une mémoire morte 3 et une mémoire non volatile 4. Il comporte en outre un module de communication 5. La mémoire morte 3 du dispositif constitue un support d’enregistrement tel que proposé, lisible par le processeur 1 et sur lequel est enregistré un programme d’ordinateur PROG_CTRL conforme à l’invention, comportant des instructions pour l’exécution d’étapes du procédé de vérification d’une chaîne de services tel que proposé ci-après. Le programme PROG_CTRL définit des modules fonctionnels du dispositif tels que représentés à la , qui s’appuient ou commandent les éléments matériels 1 à 5 cités précédemment, et qui comprennent notamment : un module de réception (MOD_RX) d’un jeton de routage en provenance du n-ième service de la chaîne, d’un jeton de chaînage en provenance du n-ième service de la chaîne, et de n données ( ) de preuve, chaque donnée étant générée par un service de la chaîne ; un module de vérification (MOD_DEST) que ledit service de contrôle est un destinataire légitime du jeton de routage ( ) ; et, un module de vérification (MOD_PROC) d’un passage par les n services de la chaîne, par traitement du jeton de chaînage ( ) et des n données de preuve. Par ailleurs, le dispositif peut encore comporter d’autres modules, notamment pour mettre en œuvre des modes particuliers du procédé de vérification, comme cela est décrit plus en détail ultérieurement. Le module de communication 5 du dispositif lui permet notamment de communiquer avec un autre dispositif mettant en œuvre un service d’une chaine de services, et intègre à cet effet le module de réception MOD_RX, ainsi que des moyens matériels et logiciels tels que ceux décrits ci-avant pour mettre en œuvre le procédé de vérification. Principe de l’invention La illustre le principe général de l’invention, selon un exemple de mode particulier de mise en œuvre . Lors d’une première étape ①, le service ORCH d’orchestration transmet, au service CTRL de contrôle, une chaîne de services à mettre en œuvre afin de générer une transaction . Ce service CTRL de contrôle génère de manière récursive un jeton de routage initial comprenant des données de routage de messages entre les services de la chaîne . Le service CTRL de contrôle génère également un jeton de chaînage initial qui sera ensuite traité par les différents services de la chaîne , de sorte à permettre au service CTRL de contrôle de vérifier le caractère atomique de la transaction. Ces deux jetons et sont transmis lors d’une étape ② au premier service de la chaîne . Ce premier service vérifie qu’il est bien le destinataire légitime par analyse du jeton de routage , met en œuvre une fonction propre audit service , et génère un jeton de chaînage . Le service détermine également le deuxième service de la chaîne par analyse du jeton de routage . Puis, lors d’une étape ③, le service transmet un jeton de routage , et le jeton de chaînage au service suivant . Ce deuxième service vérifie qu’il est bien le destinataire légitime par analyse du jeton de routage , met en œuvre une fonction propre au service , et génère un jeton de chaînage . Le service détermine également le troisième service de la chaîne par analyse du jeton de routage . Puis, lors d’une étape ④, le service transmet un jeton de routage , et le jeton de chaînage au service suivant . De manière relativement similaire, ce troisième service vérifie qu’il est bien le destinataire légitime par analyse du jeton de routage , met en œuvre une fonction propre audit service , et génère un jeton de chaînage . Le service détermine également le quatrième service de la chaîne par analyse du jeton de routage . Puis, lors d’une étape ⑤, le service transmet un jeton de routage , et le jeton de chaînage au service suivant . Ce quatrième service vérifie qu’il est bien le destinataire légitime par analyse du jeton de routage , met en œuvre une fonction propre audit service , et génère un jeton de chaînage . Le service détermine également le service suivant, par analyse du jeton de routage . Ici, il s’agit du service CTRL de contrôle. Lors d’une étape ⑥, le service transmet alors un jeton de routage , et le jeton de chaînage au service CTRL de contrôle. Le service CTRL de contrôle vérifie alors qu’il est bien le destinataire légitime par analyse du jeton de routage puis vérifie le caractère atomique de la transaction en fonction du jeton de chaînage . Cette étape est décrite plus en détail en référence aux figures 5A, 5B, 6A, 6B. En d’autres termes, l’invention concerne un procédé de mise en œuvre d’un service ( ), dit service courant, d’une chaîne de n services, le procédé comprenant : la réception, en provenance du service ( ) précédent le service courant ( ) dans la chaîne, d’un premier jeton de routage ( ) comprenant des données de routage de messages entre les services de la chaîne ; la vérification que le service courant est un destinataire légitime du premier jeton de routage ( ) ; la mise en œuvre d’une fonction du service courant ; la génération d’un jeton de chaînage, dit jeton de chaînage courant ( ), comprenant des données de preuve d’un passage par un service courant ( ) ; et, la transmission, à destination du service ( ) suivant le service courant ( ) dans la chaîne, du jeton de chaînage courant ( ) et d’un deuxième jeton de routage ( ) déterminé à partir du premier jeton de routage. Premier mode de mise en œuvre La figure 5 comprend la figure 5A et la figure 5B, et représente, sous forme d’ordinogramme, un premier mode particulier de mise en œuvre d’un procédé général de contrôle d’une transaction résultant du passage par un ensemble de services chaînés tel que proposé, et inclut un procédé de vérification d’une chaîne de services mis en œuvre par un dispositif de vérification, et un procédé de mise en œuvre d’un service mis en œuvre par chacun des dispositifs . Le service CTRL de contrôle comprend un algorithme de chiffrement symétrique , une clef de chiffrement , un identifiant et une fonction de hachage . Ces données sont par exemples stockées dans la mémoire non volatile 4 du dispositif de vérification. Chaque service comprend également un algorithme de chiffrement symétrique , une clef cryptographique , un identifiant et une fonction de hachage . Ces données sont par exemples stockées dans la mémoire non volatile 4 de chaque dispositif de mise en œuvre d’un service. Selon l’invention, un service est identifié par une information discriminante sur un dispositif, et correspond par exemple à : une API portée par une URL ; une adresse mail ou un identifiant de messagerie ; un port IP porté par une adresse IP ; un identifiant porté par un système de messagerie ; un numéro de port sur d’autres protocoles de connectivité locale associé à une adresse logique suivant ces protocoles de communication ; une adresse MAC une adresse mémoire ou une interruption au sein d’un équipement électronique. Selon l’invention, un service peut également être identifié par son certificat électronique, par exemple conforme à la norme X.509. Tel qu’illustré par la figure 5, le procédé général de contrôle d’une transaction comprend une première étape S100, de réception d’une chaîne de services , ainsi qu’une donnée M 0 sur laquelle les différents services de la chaîne devront appliquer une fonction qui leur est propre, de sorte à générer une transaction . Lors d’une étape S105, le service CTRL de contrôle génère une estampille temporelle . Cette estampille temporelle est particulièrement avantageuse afin d’éviter une attaque par rejeu. En variante, il serait également possible d’utiliser une valeur générée aléatoirement par le service CTRL de contrôle. Lors d’une étape S110, le service CTRL de contrôle génère un identifiant de transaction , puis une valeur secrète de routage ainsi qu’une valeur secrète de chaînage lors d’une étape S115. Le procédé comprend en outre une étape S120, de génération d’un jeton de routage initial de manière récursive à partir d’un jeton de routage ou correspond au nombre de services de la chaîne. Ainsi, est par exemple défini tel que avec | l’opérateur de concaténation, et […] […] Tel qu’illustré par la figure 5, , et donc est calculé de la façon suivante : et donc Le procédé comprend en outre une étape S130 au cours de laquelle le service CTRL de contrôle génère une première donnée de preuve telle que puis calcule un jeton de chaînage initial tel que En variante, est calculée telle que . Puis, lors d’une étape S135, le service CTRL de contrôle transmet l’identifiant de transaction , le jeton de routage , le jeton de chaînage , ainsi qu’une donnée au premier service de la chaîne. Ces données sont ainsi reçues par le premier service lors d’une étape référencée S200-1. Cette étape est mise en œuvre par le module MOD_RX du dispositif de mise en œuvre du service . Lors d’une étape S210-1, le service déchiffre le jeton de routage à l’aide de sa clef de cryptographique et obtient alors un premier identifiant , un deuxième identifiant identifiant le service suivant de la chaîne, et le jeton de routage . Le procédé comprend en outre une étape S220-1 au cours de laquelle le service vérifie si l’identifiant obtenu par déchiffrage du jeton correspond à son propre jeton . Si tel est le cas, cela signifie que le service est le destinataire légitime, et l’étape S230-1 est mise en œuvre. Sinon, de manière optionnelle, le service transmet un message d’erreur ou de refus de traitement au service de contrôle. En variante, le service abandonne la transaction ou transmet au service suivant ( ) un message d’erreur ou de refus de traitement. Cette étape est mise en œuvre par le module MOD_DEST du dispositif de mise en œuvre du service . Lors de l’étape S230-1, le service applique une fonction propre audit service à la donnée , de sorte à générer une donnée . Cette étape est mise en œuvre par le module MOD_CS du dispositif de mise en œuvre du service . Lors d’une étape S240-1, le service génère une estampille temporelle , ainsi qu’une donnée de preuve telle que lors d’une étape S250-1. Le procédé comprend en ouvre une étape S260-1 au cours de laquelle le service génère un jeton de chaînage tel que . Cette étape est mise en œuvre par le module MOD_CT du dispositif de mise en œuvre du service . De façon plus générale, chaque service avec , étant le nombre de services de la chaîne , génère une donnée de preuve telle que ainsi qu’un jeton de chaînage tel que . Enfin, lors d’une étape S270-1, le service transmet l’identifiant de transaction , le jeton de routage , le jeton de chaînage , la donnée de preuve ainsi que la donnée au deuxième service de la chaîne. Cette étape est mise en œuvre par le module MOD_TX du dispositif de mise en œuvre du service . On rappelle ici que ce deuxième service avait été identifié par le premier service au travers de l’identifiant obtenu lors de l’étape S210-1. Ces données sont reçues par le deuxième service lors d’une étape référencée S200-2. Cette étape est mise en œuvre par le module MOD_RX du dispositif de mise en œuvre du service . Lors d’une étape S210-2, le service déchiffre le jeton de routage à l’aide de sa clef de cryptographique et obtient alors un premier identifiant , un deuxième identifiant identifiant le service suivant de la chaîne, et le jeton de routage . Le procédé comprend en outre une étape S220-2 au cours de laquelle le service vérifie si l’identifiant obtenu par déchiffrage du jeton correspond à son propre jeton . Si tel est le cas, cela signifie que le service est le destinataire légitime, et l’étape S230-2 est mise en œuvre. Sinon, le service transmet un message au service CTRL de contrôle l’informant qu’il n’est pas le destinataire légitime. Cette étape est mise en œuvre par le module MOD_DEST du dispositif de mise en œuvre du service . Lors de l’étape S230-2, le service applique une fonction propre audit service à la donnée , de sorte à générer une donnée . Cette étape est mise en œuvre par le module MOD_CS du dispositif de mise en œuvre du service . Lors d’une étape S240-1, le service génère une estampille temporelle , ainsi qu’une donnée de preuve telle que lors d’une étape S250-2. Le procédé comprend en ouvre une étape S260-2 au cours de laquelle le service génère un jeton de chaînage tel que . Cette étape est mise en œuvre par le module MOD_CT du dispositif de mise en œuvre du service . Enfin, lors d’une étape S270-2, le service transmet l’identifiant de transaction , le jeton de routage , le jeton de chaînage , les données de preuve et ainsi que la donnée au troisième service de la chaîne. Cette étape est mise en œuvre par le module MOD_TX du dispositif de mise en œuvre du service . Ces données sont reçues par le troisième service lors d’une étape référencée S200-3. Cette étape est mise en œuvre par le module MOD_RX du dispositif de mise en œuvre du service . Lors d’une étape S210-3, le service déchiffre le jeton de routage à l’aide de sa clef de cryptographique et obtient alors un premier identifiant , un deuxième identifiant identifiant le service suivant de la chaîne, et le jeton de routage . Le procédé comprend en outre une étape S220-3 au cours de laquelle le service vérifie si l’identifiant obtenu par déchiffrage du jeton correspond à son propre jeton . Si tel est le cas, cela signifie que le service est le destinataire légitime, et l’étape S230-3 est mise en œuvre. Sinon, le service transmet un message au service CTRL de contrôle l’informant qu’il n’est pas le destinataire légitime. Cette étape S220-3 est mise en œuvre par le module MOD_DEST du dispositif de mise en œuvre du service . Lors de l’étape S230-3, le service applique une fonction propre audit service à la donnée , de sorte à générer une donnée . Cette étape est mise en œuvre par le module MOD_CS du dispositif de mise en œuvre du service . Lors d’une étape S240-3, le service génère une estampille temporelle , ainsi qu’une donnée de preuve telle que lors d’une étape S250-3. Le procédé comprend en ouvre une étape S260-3 au cours de laquelle le service génère un jeton de chaînage tel que . Cette étape est mise en œuvre par le module MOD_CT du dispositif de mise en œuvre du service . Enfin, lors d’une étape S270-3, le service transmet l’identifiant de transaction , le jeton de routage , le jeton de chaînage , les données de preuve , et ainsi que la donnée au service CTRL de contrôle. Cette étape S270-3 est mise en œuvre par le module MOD_TX du dispositif de mise en œuvre du service . Ces données sont reçues par le service CTRL de contrôle lors d’une étape référencée S140. Cette étape S140 est mise en œuvre par le module MOD_RX du dispositif de vérification d’une chaîne de services. Lors d’une étape S150, le service CTRL de contrôle déchiffre le jeton de routage à l’aide de sa clef cryptographique et obtient alors un premier identifiant , un deuxième identifiant identifiant une transaction, et une valeur secrète de routage . Le procédé comprend en outre une étape S160 au cours de laquelle le service CTRL de contrôle vérifie si l’identifiant obtenu par déchiffrage du jeton correspond à son propre jeton . Si tel est le cas, cela signifie que le service CTRL est le destinataire légitime, et l’étape S165 est mise en œuvre. Cette étape est mise en œuvre par le module MOD_DEST du dispositif de vérification d’une chaîne de services. Lors de l’étape S165, le service CTRL de contrôle vérifie si la valeur secrète de routage est égale à la valeur secrète de routage générée lors de l’étape S115. Si tel est le cas, cela permet au service de contrôle de s’assurer que le jeton de routage reçu est issu d’un traitement, par différents services, d’un jeton de routage que ce service de contrôle avait initialement généré. Le procédé comprend en outre une étape S170 au cours de laquelle le service CTRL de contrôle vérifie le passage par les n services de la chaîne, par traitement du jeton de chaînage et des n données de preuve. Cette étape est mise en œuvre par le module MOD_PROC du dispositif de vérification d’une chaîne de services. Cette étape S170 comprend une première sous-étape S1710 au cours de laquelle le service CTRL calcule de façon itérative le jeton tel que pour . Autrement dit, pour l’exemple illustré par la figure 5, le service CTRL de contrôle calcule tel que Lors d’une sous-étape S1720, le service CTRL de contrôle obtient la valeur utilisée lors de l’étape S130, par exemple en accédant la mémoire non volatile 4 du dispositif de contrôle. Puis, lors de l’étape S1730, le service CTRL recalcule le jeton de chaînage initial tel que , comme lors de l’étape S130. Enfin, lors d’une sous-étape S1740, le service CTRL vérifie si les valeurs et sont égales. Si tel est le cas, cela signifie que la transaction T est une transaction atomique, et que la donnée a effectivement transité entre chacun des services de la séquence dans l’ordre défini par cette séquence. Variante au premier mode de mise en œuvre (« configuration centralisée ») Le premier mode de mise en œuvre illustré par la figure 5 a été décrit dans le cas où un service courant s(i) : reçoit une donnée verif(i-1) de preuve qu’une donnée a effectivement transitée par le service précédent s(i-1) ; génère une donnée verif(i) de preuve qu’une donnée a effectivement transitée par ledit service courant ; et, transmet les données verif(i-1) et verif(i) à destination du service suivant. Cependant, l’invention n’en reste pas moins applicable lorsque, pour chaque service s(i), ladite donnée verif(i) de preuve est directement transmise au service CTRL de contrôle. Deuxième mode de mise en œuvre La figure 6 comprend la figure 6A et la figure 6B, et représente, sous forme d’ordinogramme, un deuxième mode particulier de mise en œuvre d’un procédé général de contrôle d’une transaction résultant de l’application d’un ensemble de services chaînés tel que proposé, et inclut un procédé de vérification d’une chaîne de services mis en œuvre par un dispositif de vérification, et un procédé de mise en œuvre d’un service mis en œuvre par des dispositifs . Le service CTRL de contrôle comprend un algorithme de chiffrement et de déchiffrement , une clef cryptographique , un identifiant et une fonction de hachage . Ces données sont par exemples stockées dans la mémoire non volatile 4 du dispositif de vérification. Chaque service comprend également un algorithme de chiffrement symétrique , une clef cryptographique , un identifiant et une fonction de hachage . Ces données sont par exemples stockées dans la mémoire non volatile 4 de chaque dispositif de mise en œuvre d’un service. Tel qu’illustré par la figure 6, le procédé général de contrôle d’une transaction comprend une première étape S100, de réception d’une chaîne de services . Lors d’une étape S105, le service CTRL de contrôle génère une estampille temporelle . Cette estampille temporelle est particulièrement avantageuse afin d’éviter une attaque par rejeu. En variante, il serait également possible d’utiliser une valeur générée aléatoirement par le service CTRL de contrôle. Lors d’une étape S110, le service CTRL de contrôle génère un identifiant de transaction , puis une valeur secrète de routage ainsi qu’une valeur secrète de chaînage lors d’une étape S115. Le procédé comprend en outre une étape S120, de génération d’un jeton de routage initial de manière récursive à partir d’un jeton de routage ou correspond au nombre de services de la chaîne. Ainsi, est par exemple défini tel que avec | l’opérateur de concaténation, et […] […] Le procédé comprend en outre une étape S130 au cours de laquelle le service CTRL de contrôle calcule un jeton de chaînage initial tel que avec une fonction cryptographique qui combine la fonction de hachage avec la clé secrète . Puis, lors d’une étape S135, le service CTRL de contrôle transmet l’identifiant de transaction , le jeton de routage , le jeton de chaînage au premier service de la chaîne. Ces données sont ainsi reçues par le premier service lors d’une étape référencée S200-1. Cette étape est mise en œuvre par le module MOD_RX du dispositif de mise en œuvre du service . Lors d’une étape S210-1, le service déchiffre le jeton de routage à l’aide de sa clef de cryptographique et obtient alors un premier identifiant , un deuxième identifiant , un troisième identifiant identifiant le service suivant de la chaîne, et le jeton de routage . Le procédé comprend alors une étape S215-1 au cours de laquelle le service vérifie si l’identifiant obtenu par déchiffrage du jeton provient d’une source légitime. Cette étape est par exemple mise en œuvre en comparant l’identifiant avec l’identifiant d’émetteur de la trame Ethernet émise lors de l’étape S135. Le procédé comprend en outre une étape S220-1 au cours de laquelle le service vérifie si l’identifiant obtenu par déchiffrage du jeton correspond à son propre jeton . Si tel est le cas, cela signifie que le service est le destinataire légitime, et l’étape S230-1 est mise en œuvre. Sinon, le service transmet un message au service de contrôle l’informant qu’il n’est pas le destinataire légitime. Cette étape est mise en œuvre par le module MOD_DEST du dispositif de mise en œuvre du service . Lors de l’étape S230-1, le service applique une fonction propre audit service . Cette étape est mise en œuvre par le module MOD_CS du dispositif de mise en œuvre du service . Lors d’une étape S240-1, le service génère une estampille temporelle . Le procédé comprend en ouvre une étape S260-1 au cours de laquelle le service génère un jeton de chaînage tel que avec une fonction cryptographique qui combine la fonction de hachage avec la clé secrète . Cette étape est mise en œuvre par le module MOD_CT du dispositif de mise en œuvre du service . De façon plus générale, chaque service avec , étant le nombre de services de la chaîne , génère un jeton de chaînage tel que avec une fonction cryptographique du service et qui combine la fonction de hachage avec la clé secrète . Enfin, lors d’une étape S270-1, le service transmet l’identifiant de transaction , le jeton de routage , le jeton de chaînage au deuxième service de la chaîne. Cette étape est mise en œuvre par le module MOD_TX du dispositif de mise en œuvre du service . On rappelle ici que ce deuxième service avait été identifié par le premier service au travers de l’identifiant obtenu lors de l’étape S210-1. Ces données sont reçues par le deuxième service lors d’une étape référencée S200-2. Cette étape est mise en œuvre par le module MOD_RX du dispositif de mise en œuvre du service . Lors d’une étape S210-2, le service déchiffre le jeton de routage à l’aide de sa clef de cryptographique et obtient alors un premier identifiant , un deuxième identifiant , un troisième identifiant identifiant le service suivant de la chaîne, et le jeton de routage . Le procédé comprend alors une étape S215-2 au cours de laquelle le service vérifie si l’identifiant obtenu par déchiffrage du jeton provient d’une source légitime, et ce, de manière similaire à l’étape S215-1. Le procédé comprend également une étape S220-2 au cours de laquelle le service vérifie si l’identifiant obtenu par déchiffrage du jeton correspond à son propre jeton . Si tel est le cas, cela signifie que le service est le destinataire légitime, et l’étape S230-2 est mise en œuvre. Sinon, le service transmet un message au service CTRL de contrôle l’informant qu’il n’est pas le destinataire légitime. Cette étape est mise en œuvre par le module MOD_DEST du dispositif de mise en œuvre du service . Lors de l’étape S230-2, le service applique une fonction propre audit service . Cette étape est mise en œuvre par le module MOD_CS du dispositif de mise en œuvre du service . Lors d’une étape S240-1, le service génère une estampille temporelle . Le procédé comprend en ouvre une étape S260-2 au cours de laquelle le service génère un jeton de chaînage tel que avec une fonction cryptographique qui combine la fonction de hachage avec la clé secrète . Cette étape est mise en œuvre par le module MOD_CT du dispositif de mise en œuvre du service . Enfin, lors d’une étape S270-2, le service transmet l’identifiant de transaction , le jeton de routage , le jeton de chaînage au troisième service de la chaîne. Cette étape est mise en œuvre par le module MOD_TX du dispositif de mise en œuvre du service . Ces données sont reçues par le troisième service lors d’une étape référencée S200-3. Cette étape est mise en œuvre par le module MOD_RX du dispositif de mise en œuvre du service . Lors d’une étape S210-3, le service déchiffre le jeton de routage à l’aide de sa clef de cryptographique et obtient alors un premier identifiant , un deuxième identifiant et un troisième identifiant identifiant le service suivant de la chaîne, et le jeton de routage . Le procédé comprend alors une étape S215-3 au cours de laquelle le service vérifie si l’identifiant obtenu par déchiffrage du jeton provient d’une source légitime, et ce, de manière similaire à l’étape S215-1. Le procédé comprend alors une étape S220-3 au cours de laquelle le service vérifie si l’identifiant obtenu par déchiffrage du jeton correspond à son propre jeton . Si tel est le cas, cela signifie que le service est le destinataire légitime, et l’étape S230-3 est mise en œuvre. Sinon, le service transmet un message au service CTRL de contrôle l’informant qu’il n’est pas le destinataire légitime. Cette étape S220-3 est mise en œuvre par le module MOD_DEST du dispositif de mise en œuvre du service . Lors de l’étape S230-3, le service applique une fonction propre audit service . Cette étape est mise en œuvre par le module MOD_CS du dispositif de mise en œuvre du service . Lors d’une étape S240-3, le service génère une estampille temporelle . Le procédé comprend en ouvre une étape S260-3 au cours de laquelle le service génère un jeton de chaînage tel que avec une fonction cryptographique qui combine la fonction de hachage avec la clé secrète . Cette étape est mise en œuvre par le module MOD_CT du dispositif de mise en œuvre du service . Enfin, lors d’une étape S270-3, le service transmet l’identifiant de transaction , le jeton de routage et le jeton de chaînage au service CTRL de contrôle. Cette étape S270-3 est mise en œuvre par le module MOD_TX du dispositif de mise en œuvre du service . Ces données sont reçues par le service CTRL de contrôle lors d’une étape référencée S140. Cette étape S140 est mise en œuvre par le module MOD_RX du dispositif de vérification d’une chaîne de services. Lors d’une étape S150, le service CTRL de contrôle déchiffre le jeton de routage à l’aide de sa clef cryptographique et obtient alors un premier identifiant , un deuxième identifiant identifiant une transaction, et une valeur secrète de routage . Lors d’une étape S155, le service CTRL de contrôle vérifie si l’identifiant obtenu par déchiffrage du jeton correspond à l’identifiant de transaction généré à l’étape S110. Si tel est le cas, l’étape S160 est mise en œuvre. Au cours de l’étape S160, le service CTRL de contrôle vérifie si l’identifiant obtenu par déchiffrage du jeton correspond à son propre jeton . Si tel est le cas, cela signifie que le service CTRL est le destinataire légitime, et l’étape S165 est mise en œuvre. Cette étape est mise en œuvre par le module MOD_DEST du dispositif de vérification d’une chaîne de services. Lors de l’étape S165, le service CTRL de contrôle vérifie si la valeur secrète de routage est égale à la valeur secrète de routage générée lors de l’étape S115. Si tel est le cas, cela permet au service de contrôle de s’assurer que le jeton de routage reçu est issu d’un traitement, par différents services, d’un jeton de routage que ce service de contrôle avait initialement généré. Le procédé comprend en outre une étape S170 au cours de laquelle le service CTRL de contrôle vérifie le passage par les n services de la chaîne, par traitement du jeton de chaînage . Cette étape est mise en œuvre par le module MOD_PROC du dispositif de vérification d’une chaîne de services. Cette étape S170 comprend une première sous-étape S1710 au cours de laquelle le service CTRL calcule de façon itérative le jeton (i) tel que pour et avec une fonction de déchiffrement associée au service pour et une fonction de déchiffrement associée au service de contrôle (pour ). Le service CTRL de contrôle est initialement provisionné avec les fonctions de déchiffrement associée aux services . Par ailleurs, les estampilles temporelles sont par exemple reçues par le service CTRL de contrôle au travers de messages émis par les différents services de la chaîne. Dans un mode particulier de mise en œuvre, le service CTRL de contrôle vérifie la cohérence de tous les paramètres collectés et en particulier la cohérence temporelle des estampilles temporelles . Lors d’une sous-étape S1720, le service CTRL de contrôle obtient la valeur générée lors de l’étape S130, par exemple en accédant la mémoire non volatile 4 du dispositif de contrôle. Enfin, lors d’une sous-étape S1740, le service CTRL vérifie si les valeurs et sont égales. Si tel est le cas, cela signifie que la transaction T est une transaction atomique. La représente un exemple de mise en œuvre de l’invention, conforme au deuxième mode particulier de mise en œuvre illustré par la figure 6, dans le cadre d’une transaction de type « Mobile Connect ». Un contrôleur CTRL est provisionné avec une chaîne de services , les identifiants , , , , les clefs de chiffrement du contrôleur et des services . correspond à une estampille temporelle, et à un message initial de la séquence. correspond à un service de fourniture de service (« Service Provider » selon la terminologie anglo-saxonne), à un service de fourniture d’identité (« Identity Provider » selon la terminologie anglo-saxonne), à un service mettant en œuvre, au niveau d’un serveur, le protocole « Extensible Authentication Protocol » en utilisant un Universal Subscriber Identity Module (USIM), par exemple la carte SIM d’un téléphone portable de l’utilisateur, et à un service mettant en œuvre, au niveau du téléphone portable de l’utilisateur, le protocole « Extensible Authentication Protocol ». Le service requête une identification/authentification sur la chaîne de services au service . Le service sollicite alors le service CTRL de contrôle qui génère une estampille temporelle , un identifiant de transaction , puis une valeur secrète de routage ainsi qu’une valeur secrète de chaînage . Le service CTRL de contrôle calcule alors les jetons de routage suivants : Le service CTRL de contrôle calcule alors le premier jeton de chaînage tel que Le service CTRL de contrôle sauvegarde ensuite les données suivantes afin de pour effectuer les vérifications nécessaires en bout de chaîne : , , , , , et . Le service CTRL de contrôle transmet les données suivantes au premier service de la chaîne : . Ce premier service déchiffre le jeton avec et obtient , , . Ce premier service déchiffre vérifier l’identité de l’émetteur (e.g., le service CTRL de contrôle), son identité, identifie le prochain service et accède à , valeur du jeton de routage à transmettre à . Par ailleurs, génère une estampille temporelle puis calcule tel que Puis le service transmet les données suivantes au service : , . Ce deuxième service déchiffre le jeton avec et obtient , , . Ce deuxième service vérifie l’identité de l’émetteur (e.g., ), son identité, identifie le prochain service et accède à , valeur du jeton de routage à transmettre à . Par ailleurs, génère une estampille temporelle puis calcule tel que Puis le service transmet les données suivantes au service : , . Ce troisième service déchiffre le jeton avec et obtient , , . Ce troisième service vérifie l’identité de l’émetteur (e.g., ), son identité, identifie le prochain service et accède à , valeur du jeton de routage à transmettre à . Par ailleurs, génère une estampille temporelle puis calcule tel que Puis le service transmet les données suivantes au service : , . Le service déchiffre le jeton avec et obtient , , . Puis vérifie l’identité de l’émetteur (e.g., ), son identité, identifie le prochain service et accède à , valeur du jeton de routage à transmettre à . Par ailleurs, génère une estampille temporelle puis calcule tel que Enfin, le service transmet les données suivantes au service : , . Le service reçoit , puis déchiffre le jeton avec et obtient , , . Puis vérifie l’identité de l’émetteur (e.g., ), son identité, identifie le prochain service et accède à , valeur du jeton de routage à transmettre à . Par ailleurs, génère une estampille temporelle puis calcule tel que Enfin, le service transmet les données suivantes au service : , . Le service CTRL de contrôle reçoit , puis accède, avec l’identifiant reçu, aux donnée suivantes : , , , , , et . Le service CTRL de contrôle déchiffre le jeton de routage à l’aide de sa clef cryptographique et obtient alors un identifiant identifiant une transaction, , et une valeur secrète de routage . Comme indiqué précédemment, le service CTRL de contrôle vérifie si l’identifiant obtenu par déchiffrage du jeton correspond à l’identifiant de transaction précédemment généré. Puis le service CTRL de contrôle vérifie si l’identifiant obtenu par déchiffrage du jeton correspond à son propre jeton . Si tel est le cas, cela signifie que le service CTRL est le destinataire légitime. Le service CTRL de contrôle vérifie également si la valeur secrète de routage est égale à la valeur secrète de routage précédemment générée. Enfin, le service CTRL de contrôle vérifie le passage par les services de la chaîne, conformément à ladite chaîne, par traitement du jeton de chaînage . Plus précisément, le service CTRL calcule itérativement … et Le service de contrôle obtient la valeur précédemment générée puis vérifie si les valeurs et sont égales. Si tel est le cas, cela signifie que la transaction T est une transaction atomique. Le service CTRL de contrôle génère alors un message de validation de l’aspect atomique de la transaction à destination du service . Dans un mode particulier de mise en œuvre, le procédé selon l’invention est mis en œuvre de manière simplifiée, par exemple afin d’être mis en œuvre sur des équipements et/ou services à faibles capacités techniques, comme certains objets connectés ayant une mémoire et/ou une capacité de traitement limitée. Dans ce cas, les fonctions de chiffrement « » sont remplacées par des fonctions à sens unique, couramment dénommées « fonction de type hachage « ». Par ailleurs, il importe de noter que bien que le procédé selon l’invention ait été décrit en utilisant un horodatage afin de prévenir une attaque par rejeu, son utilisation reste optionnelle. En outre, l’adhérence entre les deux jetons de chaînage et de routage, et ce, à chaque itération ou uniquement lors de certains itération du procédé reste également optionnelle. L’invention a été décrite jusqu’à présent dans le cas les algorithmes de chiffrement des différents services (e.g., du service CTRL de contrôle et des services S(i=1..n)) sont des algorithmes de chiffrement symétriques, mais l’invention n’en reste pas moins applicable dans le cas particulier où au moins un desdits services utilise un algorithme de chiffrement asymétrique. Enfin, l’invention a été décrite dans le cas général ou des fonctions cryptographiques (e.g., de chiffrement et déchiffrement) sont décrites, mais l’invention n’en reste pas moins applicable dans le cas particulier où ces fonctions se déclinent, au niveau service courant , soit en cryptographie à clef secrète, soit en cryptographie à clef publique. Dans ce dernier cas, il faut alors comprendre les fonctions HMAC ou de hachage comme l’application d’un algorithme de signature électronique à base d’une clef privée associée au certificat du service courant sur le motif à signer (soit une exponentiation clef privée sur un haché du motif). En particulier, si le service CTRL de contrôle et les services disposent de ressources cryptographiques asymétriques, par exemple en disposant de certificats de signature et de chiffrement, alors les opérations de chiffrement et de signature décrites doivent être adaptées à ces ressources. Ainsi les opérations de chiffrement sont mises en œuvre avec la clef publique de chiffrement de l’entité qui le déchiffre, et les opérations de signature sont mises en œuvre avec la clef privée de signature de l’émetteur. Symétriquement les opérations de déchiffrement doivent être mises en œuvre avec la clef privée de chiffrement du destinataire, et les opérations de vérification de signature avec la clef publique de l’émetteur. En référence au deuxième mode de mise en œuvre précédemment décrit, le calcul récursif du jeton de routage en fonction de devient alors : avec une clef publique de chiffrement associée au service , et le calcul cumulatif du jeton de chaînage en fonction du jeton de chaînage devient : avec une clef publique de chiffrement associée au service CTRL de contrôle, une clef privée de chiffrement associée au service , et une fonction de signature associée au service . Procédé de mise en œuvre d’un service ( ), dit service courant, d’une chaîne de n services, le procédé comprenant : la réception (S200-1, S200-2, S200-3), en provenance du service ( ) précédent le service courant ( ) dans la chaîne, d’un premier jeton de routage ( ) comprenant des données de routage de messages entre les services de la chaîne ; la vérification (S220-1, S220-2, S220-3) que le service courant est un destinataire légitime du premier jeton de routage ( ) ; la mise en œuvre (S230-1, S230-2, S3230-3) d’une fonction du service courant ; la génération (S260-1, S260-2, S260-3) d’un jeton de chaînage, dit jeton de chaînage courant ( ) à partir d’une donnée ( ) de preuve d’un passage par le service courant ( ) ; et, la transmission (S270-1, S270-2, S270-3), à destination du service ( ) suivant le service courant ( ) dans la chaîne, du jeton de chaînage courant ( ) et d’un deuxième jeton de routage ( ) déterminé à partir du premier jeton de routage. Procédé de mise en œuvre d’un service selon la revendication 1, dans lequel le jeton de chaînage courant ( ) est généré en fonction du deuxième jeton de routage ( ). Procédé de mise en œuvre d’un service selon la revendication 1 ou 2, dans lequel le service courant comprend un identifiant ( ) de ce service ; le procédé comprenant en outre l’obtention d’un identifiant ( ) de service destinataire par application d’une fonction de déchiffrement au premier jeton de routage, la fonction de déchiffrement utilisant une clef de déchiffrement associée au service courant, et, dans lequel la vérification (S220-1, S220-2, S220-3) que le service courant est un destinataire légitime comprend la comparaison de l’identifiant ( ) de service destinataire avec l’identifiant ( ) de ce service. Procédé de mise en œuvre d’un service selon l’une des revendications 1 à 3, dans lequel le deuxième jeton de routage ( ) est généré par application d’une fonction de déchiffrement au premier jeton de routage ( ), la fonction de déchiffrement utilisant une clef de déchiffrement associée au service courant. Procédé de mise en œuvre d’un service selon l’une des revendications 1 à 4, comprenant en outre : la génération (S250-1, S250-2, S250-3), par le service courant, de la donnée ( ) de preuve d’un passage par le service courant ( ), la donnée ( ) étant générée par application d’une fonction de hachage au deuxième jeton de routage ( ) ; et, la transmission (S270-1, S270-2, S270-3) de la donnée ( ) par le service courant à destination du service suivant ou à destination d’un service (CTRL) de contrôle. Procédé de mise en œuvre d’un service selon l’une des revendications 1 à 5, comprenant en outre : la réception (S200-2), par le service courant, d’une donnée ( ) de preuve que le service précédent ( a effectivement été appliqué ; et, la transmission (S270-2) de la donnée reçue ( ), par le service courant et à destination du service suivant. Procédé de mise en œuvre d’un service selon l’une des revendications 1 à 6, dans lequel des fonctions de chiffrement, déchiffrement, signature et identification au niveau du service ( ) sont basées sur des technologies cryptographiques à clef publique, et référent un certificat électronique associé. Procédé de vérification d’une chaîne de n services, le procédé étant mis en œuvre par un service (CTRL) de contrôle et comprenant : la réception (S140) d’un jeton de routage ( ) en provenance du n-ième service de la chaîne, d’un jeton de chaînage ( ) en provenance du n-ième service de la chaîne, et de n données ( ) de preuve, chaque donnée étant générée par un service de la chaîne ; la vérification (S160) que le service (CTRL) de contrôle est un destinataire légitime du jeton de routage ( ) ; et, la vérification (S170) d’un passage par les n services de la chaîne conformément à ladite chaîne, par traitement du jeton de chaînage ( et des n données de preuve. Procédé de vérification selon la revendication 8, dans lequel le service (CTRL) de contrôle comprend un identifiant ( ) de ce service de contrôle, le procédé comprenant en outre l’obtention, par le service (CTRL) de contrôle, d’un identifiant ( ) de service destinataire par application d’une fonction de déchiffrement au jeton de routage , la fonction de déchiffrement utilisant une clef de déchiffrement ( ) associée au service (CTRL) de contrôle, et, dans lequel la vérification (S160) que le service de contrôle est un destinataire légitime comprend la comparaison de l’identifiant ( ) de service destinataire avec l’identifiant ( ) de ce service de contrôle. Procédé de vérification selon la revendication 8 ou 9, comprenant en outre : l’obtention, par le service (CTRL) de contrôle, d’une première valeur secrète ( ) utilisée pour la génération d’un jeton de routage ( ) préalablement transmis au premier service de la chaîne ; l’obtention, par le service (CTRL) de contrôle, d’une deuxième valeur secrète ( ) par application (S150) d’une fonction de déchiffrement au jeton de routage , la fonction de déchiffrement utilisant une clef de déchiffrement ( ) associée au service (CTRL) de contrôle ; et, la comparaison (S165), par le service (CTRL) de contrôle, de la première valeur secrète ( ) et de la deuxième valeur secrète ( ’). Procédé de vérification selon l’une des revendications 8 à 10, dans lequel la vérification (S170) d’un passage par les n services de la chaîne comprend : le calcul (S1710) d’un jeton de chaînage en fonction d’une donnée de preuve , pour i = n..0; l’obtention (S1720, S1730) un jeton de référence résultant de l’application d’une fonction de chiffrement à une valeur utilisée pour générer un jeton de chaînage initial préalablement été transmis au premier service de la chaîne, la fonction de chiffrement utilisant une clef de chiffrement associée au service (CTRL) de contrôle ; et, la comparaison (S1740) entre le jeton calculé pour et le jeton de référence. Procédé de vérification selon l’une des revendications 8 à 11 comprenant en outre la génération (S120) d’un jeton de routage de manière récursive à partir d’un jeton de routage Dispositif électronique de mise en œuvre d’au moins un service (s(i)) comprenant : un module de réception (MOD_RX) d’un premier jeton de routage ( ) comprenant des données de routage de messages entre les services d’une chaîne de services ; un module de vérification (MOD_DEST) que le au moins un service est un destinataire légitime du premier jeton de routage ( ) ; un module de mise en œuvre (MOD_CS) d’une fonction du service ( ) ; un module de génération (MOD_CT) d’un jeton de chaînage à partir d’une donnée ) de preuve d’un passage par le service courant ( ); et, un module de transmission (MOD_TX), à destination du service ( ) suivant ledit service ( ) dans la chaîne, du jeton de chaînage courant ( ) et d’un deuxième jeton de routage ( ) déterminé à partir du premier jeton de routage ( ). Dispositif électronique de vérification d’une chaîne de n services incluant un service de contrôle (ctrl) comprenant : un module de réception (MOD_RX) d’un jeton de routage en provenance du n-ième service de la chaîne, d’un jeton de chaînage en provenance du n-ième service de la chaîne, et de n données ( ) de preuve, chaque donnée étant générée par un service de la chaîne ; un module de vérification (MOD_DEST) que ledit service (CTRL) de contrôle est un destinataire légitime du jeton de routage ( ) ; et, un module de vérification (MOD_PROC) d’un passage par les n services de la chaîne, conformément à ladite chaîne, par traitement du jeton de chaînage ( ) et des n données de preuve. Programme d’ordinateur comportant des instructions pour la mise en œuvre d’un procédé de mise en œuvre d’un service selon l’une quelconque des revendications 1 à 7, ou d’un procédé de vérification d’une chaîne de services selon l’une quelconque des revendications 8 à 12, lorsque ledit programme est exécuté par un ordinateur.