💻 computer science

Integrating Random Number Generation with the Rabin Cryptosystem for a Robust Two-Way Authentication in RFID

Ce document propose un protocole d'authentification bidirectionnelle rentable et robuste pour les systèmes RFID à bas coût dans les environnements IoT qui intègre le cryptosystème de Rabin avec la génération de nombres aléatoires afin de renforcer la confidentialité, d'empêcher les attaques par rejeu et par force brute, et d'assurer la fraîcheur de l'information.

Auteurs originaux : Yuanjia Ma, Jikun Guo, Canpeng Zheng, Qiujin Zhang, Yang Zhang

Publié 2026-08-24

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Yuanjia Ma, Jikun Guo, Canpeng Zheng, Qiujin Zhang, Yang Zhang

Article original sous licence CC BY 4.0 (https://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

Dans le réseau invisible qui connecte notre monde moderne, de minuscules dispositifs appelés étiquettes d'identification par radiofréquence agissent comme les sentinelles silencieuses du commerce et de la logistique. Ces petites puces, souvent pas plus grandes qu'un timbre-poste, permettent de suivre tout, des conteneurs de transport au bétail, sans contact physique. Elles sont l'épine dorsale de l'Internet des Objets, permettant aux chaînes d'approvisionnement de se déplacer avec rapidité et précision. Cependant, cette commodité s'accompagne d'une vulnérabilité significative. Parce que ces étiquettes communiquent via des ondes aériennes ouvertes, elles sont exposées à l'écoute clandestine, où des auditeurs invisibles peuvent intercepter leurs messages, ou au détournement, où un criminel prétend être un scanner légitime pour voler des données. Le défi pour les ingénieurs est de construire un système de sécurité suffisamment robuste pour arrêter ces intrus, mais assez simple pour fonctionner sur un dispositif doté de presque aucune batterie ou puissance de calcul. Les méthodes de sécurité traditionnelles utilisées sur les ordinateurs sont souvent trop lourdes et complexes pour ces minuscules puces, laissant un fossé entre le besoin de sécurité et la réalité du matériel.

Des chercheurs de l'Université de technologie pétrochimique de Guangdong ont comblé ce fossé en concechant une nouvelle façon pour ces étiquettes de prouver leur identité à un scanner. Leur travail se concentre sur un type spécifique de chiffrement connu sous le nom de système de Rabin, qui repose sur une astuce mathématique impliquant le carré de nombres. Alors que le chiffrement standard nécessite souvent des calculs complexes qui épuisent l'énergie de l'étiquette, cette méthode utilise une opération plus simple, beaucoup plus rapide et moins exigeante. L'équipe a combiné ce chiffrement efficace avec une utilisation habile de nombres aléatoires pour créer un échange de clés (handshake) bidirectionnel. Dans ce processus, le scanner et l'étiquette échangent des codes secrets qui changent à chaque fois qu'ils communiquent. Cela garantit que même si un criminel enregistre une conversation entre une étiquette et un scanner, cet enregistrement devient inutile dès que la conversation suivante commence, car les codes secrets ont déjà changé.

Le cœur de leur amélioration réside dans la manière dont ils génèrent ces codes changeants. Dans les tentatives précédentes pour sécuriser ces étiquettes, les minuscules puces elles-mêmes devaient générer des nombres aléatoires, une tâche qui nécessitait des circuits supplémentaires et augmentait le coût et la taille de l'étiquette. Le nouveau protocole transfère entièrement cette charge au scanner. Le scanner génère deux nombres aléatoires à l'aide d'un registre à décalage à rétroaction linéaire (LFSR) et les envoie à l'étiquette sous une forme brouillée. L'étiquette, qui détient une clé secrète partagée uniquement avec le scanner, peut alors déchiffrer ces nombres pour prouver qu'elle est bien l'originale. Puisque l'étiquette n'a plus besoin de générer ses propres nombres aléatoires, les chercheurs ont pu supprimer entièrement le composant de générateur de nombres aléatoires de la conception de l'étiquette. Cette réduction de la complexité se traduit directement par une étiquette moins chère, plus petite et plus économe en énergie.

Pour s'assurer que ce nouveau système était véritablement sécurisé, les chercheurs l'ont soumis à un test logique rigoureux appelé analyse BAN. Cette méthode permet aux scientifiques de prouver formellement qu'un protocole fonctionne comme prévu, en vérifiant si l'étiquette et le scanner peuvent réellement se faire confiance mutuellement. L'analyse a confirmé que la nouvelle méthode empêche avec succès plusieurs attaques courantes. Elle bloque les attaques par rejeu, où un criminel tente de réutiliser un ancien message pour tromper le système, car les nombres aléatoires garantissent que chaque message est inédit. Elle empêche également les attaques par désynchronisation, où un criminel tente de forcer l'étiquette et le scanner à perdre la trace de leurs secrets partagés, en veillant à ce que les mises à jour de clés ne se produisent que lorsque les deux parties se sont vérifiées avec succès. De plus, le système résiste aux attaques par force brute, où un intrus tente toutes les combinaisons possibles de nombres pour deviner le secret, car la manière dont les données sont brouillées rend un tel tâtonnement mathématiquement impraticable.

L'étude a également comparé les performances de ce nouveau protocole par rapport aux méthodes existantes. Les résultats ont montré que, bien que la quantité de mémoire requise sur l'étiquette soit restée la même, l'effort de calcul nécessaire pour traiter la vérification de sécurité était nettement inférieur. En remplaçant une fonction de hachage standard par la méthode de chiffrement de Rabin, les chercheurs ont réduit le nombre d'opérations logiques que l'étiquette devait effectuer. Cette efficacité est cruciale pour les applications à bas coût où chaque bit de puissance de traitement compte. Les chercheurs ont démontré que leur approche offre non seulement une protection plus forte contre le traçage et l'usurpation d'identité, mais qu'elle le fait aussi avec une empreinte matérielle plus légère. En prouvant qu'un système de sécurité robuste peut être construit avec moins de composants électroniques, ce travail offre une voie pratique pour sécuriser le vaste réseau d'appareils connectés qui soutiennent nos vies quotidiennes, rendant le réseau invisible de l'Internet des Objets à la fois plus rapide et plus sûr.

Résumé Technique : Intégration de la génération de nombres aléatoires avec le cryptosystème de Rabin pour une authentification bidirectionnelle robuste dans l'RFID

Énoncé du problème
L'adoption généralisée de l'identification par radiofréquence (RFID) dans les environnements de l'Internet des Objets (IoT) est entravée par d'importantes vulnérabilités en matière de sécurité et de confidentialité, notamment l'écoute clandestine, la falsification de messages, l'usurpation d'identité, les attaques par rejeu et le traçage. Ces risques sont exacerbés par les fortes contraintes de ressources des étiquettes RFID, qui possèdent une puissance de calcul, un stockage et une énergie limités. Bien que des protocoles légers basés sur des fonctions de hachage et des opérations bit à bit aient été proposés pour répondre à l'efficacité, des analyses récentes indiquent qu'ils sont sensibles à la divulgation de secrets et aux attaques par force brute. Inversement, la cryptographie à clé publique offre une sécurité plus forte mais est souvent jugée trop complexe sur le plan computationnel pour les étiquettes passives. Spécifiquement, les protocoles existants (tels que celui de la référence [12]) souffrent de vulnérabilités où les nombres aléatoires sont transmis en clair ou générés via des circuits complexes sur l'étiquette, augmentant ainsi les coûts et exposant le système à des attaques par force brute et à la désynchronisation.

Méthodologie
Les auteurs proposent un protocole d'authentification bidirectionnelle amélioré qui intègre la génération de nombres aléatoires au cryptosystème de Rabin pour répondre à ces limitations. La méthodologie centrale implique les changements architecturaux et algorithmiques suivants :

Génération centralisée de nombres aléatoires : Pour réduire la complexité et le coût de l'étiquette, le protocole élimine la nécessité de générateurs de nombres pseudo-aléatoires (PRNG) sur l'étiquette. Au lieu de cela, le lecteur (unifié avec la base de données dorsale) génère deux nombres aléatoires, $R_1$ et $R_2$ , en utilisant un registre à décalage à rétroaction linéaire (LFSR).
Intégration du cryptosystème de Rabin : Le protocole remplace les fonctions de hachage traditionnelles par l'algorithme de chiffrement de Rabin. Rabin est choisi pour sa preuve mathématique que l'inversion de la fonction à trappe est aussi difficile que la factorisation d'entiers, tandis que son processus de chiffrement ne nécessite que le carré modulaire, ce qui est peu coûteux sur le plan computationnel.
Opérations bit à bit pour la transmission : Les nombres aléatoires $R_1$ et $R_2$ ne sont pas transmis directement. Au lieu de cela, ils sont combinés par l'opération XOR avec les segments d'identifiants de l'étiquette ( $ID_L$ et $ID_R$ ) avant la transmission. Cela empêche les attaquants de deviner les nombres aléatoires ou la clé par des méthodes exhaustives, car l'attaquant ne peut pas ascertainer les valeurs exactes de $R_1$ et $R_2$ sans la connaissance préalable de $ID_L$ et $ID_R$ .
Flux d'authentification :
- Du lecteur vers l'étiquette : Le lecteur envoie une commande de requête accompagnée de $A = ID_L \oplus R_1$ et $B = ID_R \oplus R_2$ .
- De l'étiquette vers le lecteur : L'étiquette récupère $R_1$ et $R_2$ , puis calcule $C = [(KEY \& R_2 \& R_1)^2 \mod M]_k$ (en prenant les $K$ premiers chiffres) et le renvoie.
- Vérification par le lecteur : Le lecteur vérifie $C$ par rapport à sa base de données. Si elle est valide, il envoie $D = [KEY^2 \mod M]_k \& R_2$ à l'étiquette.
- Mise à jour de la clé : Les deux parties mettent à jour leurs clés secrètes partagées ( $K_{old} = K_{new}$ ; $K_{new} = [KEY^2 \mod M]_k$ ) pour assurer la sécurité ascendante et prévenir la désynchronisation.
Vérification formelle : Les propriétés de sécurité du protocole sont analysées formellement à l'aide de la logique BAN (Burrows-Abadi-Needham) pour vérifier l'authentification mutuelle et la croyance en la fraîcheur des messages.

Principales contributions

Sécurité accrue contre les attaques par force brute et par rejeu : En effectuant le XOR des nombres aléatoires avec les identifiants uniques de l'étiquette ( $ID_L$ et $ID_R$ ) et en utilisant la propriété à sens unique de l'algorithme de Rabin, le protocole empêche les attaquants de déduire la clé partagée ou les nombres aléatoires. Spécifiquement, sans la connaissance préalable de $ID_L$ et $ID_R$ , un attaquant est incapable d'ascertainer les valeurs exactes de $R_1$ et $R_2$ par des méthodes de force brute, même s'il intercepte les messages.
Optimisation du coût et de l'efficacité : Le protocole réduit considérablement les exigences matérielles des étiquettes RFID. En déplaçant la génération de nombres aléatoires vers le lecteur et en remplaçant les fonctions de hachage par l'algorithme de Rabin optimisé, le nombre de portes logiques requises est diminué.
Authentification mutuelle robuste : La conception garantit que l'étiquette et le lecteur s'authentifient mutuellement. L'étiquette vérifie le lecteur via le message $D$ , et le lecteur vérifie l'étiquette via le message $C$ , garantissant qu'aucune des deux parties ne peut être usurpée sans la clé secrète partagée et les identifiants uniques.
Résistance à la désynchronisation : Le protocole intègre des mécanismes pour gérer les mises à jour de clés en toute sécurité. Le lecteur vérifie un triplet valide en utilisant la clé actuelle ( $K_{new}$ ) ; si cela échoue, il examine si une paire existe en utilisant la clé précédente ( $K_{old}$ ). Si la clé précédente est trouvée, le système revient à celle-ci pour maintenir la synchronisation, garantissant que le protocole est résilient face aux attaques de désynchronisation.

Résultats
L'article présente une analyse comparative par rapport aux protocoles existants (spécifiquement la référence [12] et d'autres [16-18]) :

Comparaison de sécurité : Le protocole proposé résiste avec succès aux attaques par rejeu, désynchronisation, usurpation (Fake), traçage et force brute, alors que la référence [12] a été jugée vulnérable aux attaques par force brute et que la référence [18] manquait de sécurité ascendante (Backward Security).
Comparaison de performance : Bien que l'espace de stockage reste constant (3K bits) par rapport à la référence [12], la complexité computationnelle est réduite. Le protocole proposé nécessite 2 XOR, 3 XAND et 3 opérations de Rabin, tandis que le protocole de référence nécessite 4 XOR, 1 PRNG et 4 opérations de hachage.
Réduction du nombre de portes : L'élimination du module PRNG sur l'étiquette et l'utilisation de l'algorithme de Rabin (qui nécessite moins de portes que les fonctions de hachage) entraînent un nombre total de portes logiques plus faible pour l'étiquette.

Signification
Les auteurs affirment que ce protocole offre une solution équilibrée pour les systèmes RFID à bas coût dans les environnements IoT. En exploitant l'asymétrie computationnelle du cryptosystème de Rabin et en déchargeant la génération de nombres aléatoires sur le lecteur, le protocole parvient à une authentification bidirectionnelle robuste sans compromettre les contraintes de ressources des étiquettes passives. La vérification formelle via la logique BAN fournit une assurance théorique de la correction du protocole. En fin de compte, l'étude démontre qu'une sécurité et une confidentialité élevées (incluant la résistance au traçage et aux attaques par force brute) peuvent être atteintes dans les systèmes RFID tout en réduisant simultanément le coût de fabrication et la charge computationnelle des étiquettes.

Articles similaires