A Privacy-Preserving Approach to Conformance Checking
Cet article propose une approche de vérification de conformité préservant la confidentialité, utilisant le chiffrement homomorphe et des algorithmes de traitement de chaînes pour identifier de manière sécurisée les écarts entre un modèle de processus et un journal d'événements sans révéler l'un à l'autre, bien que cela se fasse au prix d'exigences élevées en matière de calcul et de mémoire.
Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète
La vue d'ensemble : Vérifier une recette sans voir les ingrédients
Imaginez que vous êtes un client ayant commandé un gâteau personnalisé. Vous voulez vous assurer que le boulanger suit votre recette spécifique (le Modèle de Processus) et que les étapes qu'il exécute réellement en cuisine correspondent à ce que vous avez demandé (le Journal d'Événements).
Habituellement, pour vérifier cela, le boulanger devrait vous montrer son livre de recettes secret, et vous devriez lui montrer votre bon de commande secret. Mais que faire si le boulanger craint que vous ne voliez sa recette secrète, ou si vous craignez qu'il ne voie les détails secrets de votre commande ?
Ce document propose un moyen de vérifier si le gâteau est fabriqué correctement sans qu'aucune des deux parties ne voie jamais les informations secrètes de l'autre.
Le problème : Vie privée contre Vérification
Dans le monde des logiciels d'entreprise, la « Vérification de Conformité » est le processus de comparaison d'un flux de travail planifié (comme une recette) avec un enregistrement de ce qui s'est réellement produit (comme un journal de cuisine).
- Le Modèle : Le chemin « Attendu » (la recette).
- Le Journal : Le chemin « Réel » (ce que le chef a réellement fait).
Traditionnellement, un tiers (ou le propriétaire des données) examine les deux pour trouver des erreurs. Mais dans des industries sensibles (comme la fabrication de haute technologie), les entreprises ne veulent pas partager leurs plans secrets, et les clients ne veulent pas partager les détails privés de leurs commandes.
La solution : Une « Boîte Magique » et un « Moteur de Recherche »
Les auteurs ont créé un système utilisant deux outils principaux pour résoudre cette énigme de confidentialité :
1. La Boîte Magique (Chiffrement Homomorphe)
Imaginez le Chiffrement Homomorphe comme une « Boîte Magique » spéciale.
- Vous pouvez mettre un nombre secret à l'intérieur de la boîte.
- Vous pouvez demander à quelqu'un d'ajouter 5 à ce nombre sans qu'il ouvre jamais la boîte ou ne voie le nombre.
- Il effectue le calcul sur le nombre « chiffré » à l'intérieur de la boîte et vous le rend.
- Lorsque vous ouvrez la boîte, le résultat est la bonne réponse (Nombre Original + 5).
Dans ce document, le « Client » (la personne possédant la trace) met ses données dans cette Boîte Magique. Le « Serveur » (le propriétaire du modèle) effectue les calculs de vérification à l'intérieur de la boîte sans jamais voir les données réelles.
2. Le Moteur de Recherche (FM-Index et Traitement de Chaînes)
Pour vérifier si les étapes correspondent, le système transforme l'ensemble du modèle de processus en une seule gigantesque chaîne de texte (comme transformer une recette en une longue phrase). Il construit ensuite un Moteur de Recherche ultra-rapide (appelé FM-Index) sur ce texte.
Normalement, un moteur de recherche vous permet de taper un mot et de trouver instantanément où il apparaît dans le texte. Ici, le système utilise ce moteur de recherche pour voir si les « étapes » du journal du client existent dans les « étapes » du texte du modèle.
Comment cela fonctionne : Le jeu de la « Recherche en Arrière »
Le document décrit un jeu spécifique joué entre le Client et le Serveur pour vérifier la correspondance :
- Préparation : Le Serveur prend son modèle secret, le transforme en une longue chaîne de texte et construit le Moteur de Recherche (FM-Index) dessus. Il garde cela secret.
- La Requête : Le Client possède une liste secrète d'étapes (une trace). Il veut savoir si ces étapes s'adaptent au modèle.
- La Recherche Secrète :
- Le Client regarde sa liste d'étapes à l'envers (de la dernière étape à la première).
- Au lieu d'envoyer l'étape directement, le Client envoie une requête « verrouillée » au Serveur.
- Le Serveur utilise le Moteur de Recherche pour chercher cette étape dans le modèle.
- Crucialement : Le Serveur effectue ce calcul à l'intérieur de la « Boîte Magique ». Le Serveur ne voit que des nombres brouillés, pas les noms réels des étapes.
- Le Serveur renvoie le résultat au Client.
- Le Client déverrouille le résultat pour voir si l'étape a été trouvée.
- Gestion des erreurs (Déplacements de Journal) : Si une étape dans la liste du Client ne correspond pas au modèle, le système permet un « saut » (appelé Déplacement de Journal). C'est comme dire : « D'accord, cette étape n'était pas dans la recette, mais voyons si l'étape suivante correspond. » Le système se souvient de l'endroit où il était avant l'erreur pour pouvoir réessayer sans révéler l'erreur au Serveur.
Le hic : C'est lent et lourd
Le document admet que bien qu'il s'agisse d'une solution de confidentialité brillante, elle a un prix élevé : Vitesse et Mémoire.
- L'Analogie : Imaginez résoudre un problème mathématique simple sur un papier. Cela prend une seconde. Maintenant, imaginez que vous devez mettre ce papier dans un coffre blindé de plomb, l'envoyer à un ami, le faire calculer à travers une vitre épaisse, et le renvoyer. Cela prend beaucoup plus de temps.
- Le Résultat : Les auteurs ont testé cela sur des données réelles et fictives. Ils ont constaté que la vérification d'un processus prenait environ 1,12 minute par trace. Bien que précise, c'est beaucoup plus lent que la vérification sans chiffrement. La « Boîte Magique » (chiffrement) nécessite beaucoup de puissance de calcul et de mémoire.
Résumé des affirmations
- Ce qu'ils ont fait : Ils ont construit un système pour vérifier si un journal de processus correspond à un modèle de processus sans qu'aucune des deux parties ne voie les données de l'autre.
- Comment ils l'ont fait : En combinant un algorithme de recherche de texte rapide (FM-Index) avec une méthode de chiffrement de type « Boîte Magique » (Chiffrement Homomorphe).
- Ce qu'ils ont découvert : Cela fonctionne ! Vous pouvez vérifier de manière sécurisée les incohérences.
- La Limitation : C'est actuellement très lent et consomme beaucoup de mémoire car les calculs de chiffrement sont lourds. De plus, il ne gère pour l'instant que les « Déplacements de Journal » (sauter des étapes dans le journal) et non les « Déplacements de Modèle » (sauter des étapes dans le modèle).
En bref, le document prouve que l'on peut vérifier une recette secrète contre une commande secrète sans révéler l'une ou l'autre, mais que cela prend actuellement beaucoup de temps pour faire les calculs.
Noyé(e) sous les articles dans votre domaine ?
Recevez des digests quotidiens des articles les plus récents correspondant à vos mots-clés de recherche — avec des résumés techniques, dans votre langue.