- Registre à décalage à rétroaction linéaire
-
Un registre à décalage à rétroaction linéaire, ou LFSR (acronyme de l'anglais linear feedback shift register), est un dispositif électronique ou logiciel qui produit une suite récurrente linéaire, initialement sur le corps fini à 2 élements (0 et 1), mais la notion a été généralisée à n'importe quel corps fini.
Réalisé électroniquement, pour le corps à 2 éléments F2, c'est un registre à décalage (de type SIFO, Serial In - Parallel Out) avec rétroaction linéaire, ce qui dans ce cas signifie que le bit entrant est le résultat d'un OU exclusif (ou XOR) entre plusieurs bits du registre.
La suite récurrente produite par un LFSR est nécessairement périodique à partir d'un certain rang, étant définie sur un corps fini. Les LFSR sont utilisés en cryptographie pour engendrer des suites de nombres pseudo-aléatoires. La fonction de rétraction est choisie de façon à obtenir une période la plus grande possible. Ils interviennent comme composants de certains chiffrements à flot comme par exemple A5/1, chiffre du GSM, ou plus récemment SOSEMANUK (en) proposé dans le cadre du projet européen eSTREAM (en).
Sommaire
Description mathématique
Représentation par les suites
Les suites de bits pouvant être produites par un registre à décalage à rétroaction linéaire sont simples à décrire mathématiquement : ce sont les suites récurrentes linéaires. Autrement dit, on peut obtenir le terme à partir des termes par une équation linéaire du type
où les valent 0 ou 1.
Représentation polynômiale
Il est également possible de les décrire en utilisant les séries formelles :
si à une suite on associe la série alors l'équation ci-dessus peut se mettre sous la forme suivante :
où
Le polynôme correspond à l'initialisation du registre, alors que le polynôme P, appelé polynôme de rétroaction, caractérise le registre.
Périodicité
Il est facile de voir qu'une suite produite par un tel registre est nécessairement périodique : le nombre de possibilités combinatoires pour un n-uplet est au plus de 2n, donc est surjective, soit . Mais, clairement on a et i, . En prenant i = max(t0 − t1,t1 − t0) on a donc un multiple de la période de la suite.
La période maximale est 2n − 1 car si le n-uplet tout à zéro est atteint, la suite est nécessairement constante égal à zéro. On sait prévoir lorsque cette valeur atteinte, une condition nécessaire et suffisante étant que le polynôme de rétroaction soit primitif -- i.e. est irréductible et tel que, dans l'anneau F2[X] des polynômes à coefficients binaires, le plus petit t tel que ce polynôme divise Xt − 1 est 2n − 1 (c'est le polynôme minimal d'un élément d'ordre multiplicatif 2n − 1 dans le corps à 2n éléments).
Une suite de période maximale est appelée m-sequence dans la terminologie anglo-saxonne.
Notion de complexité linéaire
Tout m-uplet de bits peut être généré par un LFSR. Plus précisément, il existe toujours un LFSR -- i.e. un polynôme de rétroaction ainsi qu'une initialisation -- tel que les m premières sorties de ce LFSR correspondent au m-uplet. Dans le pire des cas on prend un registre de longueur m, le polynôme de rétroaction important peu dans ces conditions.
Ceci donne lieu à la définition de la complexité linéaire d'une suite (finie) comme la longueur minimale d'un LFSR généré cette suite. Comme le prouve la remarque ci-dessus cette complexité est bornée supérieurement par la longueur de la suite.
Cette notion intervient notamment en cryptographie à cause de l'existence de l'algorithme de Berlekamp-Massey.
Registre à décalage et cryptographie
Génération de pseudo-aléatoire
Un problème fondamental en cryptologie est la production de suites de bits «aussi aléatoires que possible». Un exemple évident étant la génération des clefs de chiffrement (symétrique ou asymétrique).
Ce problème se décompose en fait en deux parties : d'une part la génération de bits par des procédés physiques -- mesure de temps entre frappes de touches sur un clavier, déplacement de la souris, ... --, et d'autre part l'expansion d'une courte suite aléatoire de bits en une suite beaucoup plus grande. Dans ce dernier cas, on parle de suite pseudo-aléatoire.
Le chiffrement par masque jetable illustre bien les enjeux. Dans ce chiffrement, le texte chiffré est produit par addition bit à bit (modulo 2) de la clef de chiffrement. Le déchiffrement est également effectué par addition bit à bit de la clef. Le problème est qu'il est alors nécessaire de partager une donnée secrète, à savoir la clef, de la même taille que le message à échanger. C'est très souvent impraticable. Vient alors l'idée d'engendrer la clef à partir d'un procédé déterministe -- il faut pouvoir le faire au chiffrement et au déchiffrement -- utilisant une donnée secrète plus petite. C'est probablement un peu de là l'origine du chiffrement par flot.
Une première possibilité consiste à choisir un LFSR et à utiliser la donnée secrète partagée comme initialisation du registre. Toutefois, l'algorithme de Berlekamp-Massey met vite fin à cette tentative : une connaissance même très partielle de la suite produite permet de retrouver toutes les informations voulues.
Dans la pratique, les LFSRs ne sont donc pas utilisés de manière isolée, mais essentiellement sous la forme des registres combinés ou filtrés.
Algorithme de Berlekamp-Massey
Un LFSR de taille n produisant des suites récurrentes linéaires d'ordre n, la connaissance de n termes consécutifs d'une suite et de l'équation linéaire -- ou bien de manière équivalente le polynôme de rétroaction -- détermine toute la suite.
Si maintenant on ne suppose plus connu le polynôme de rétroaction, que peut-on déduire de l'observation d'une partie de la sortie du LFSR, par exemple les termes ? L'algorithme de Berlekamp-Massey répond à cette question de la façon suivante : si L est supérieur où égal à deux fois la taille du plus petit LFSR générant la suite (ui) alors on peut retrouver le polynôme de rétroaction et l'initialisation du registre. En abrégé : tout. On voit ainsi apparaître la complexité linéaire comme le paramètre permettant d'estimer la quantité d'information nécessaire pour recréer une suite sous forme de LFSR.
L'algorithme de Berlekamp-Massey fut introduit en 1969 par James Massey (Massey, J. L. "Shift-Register Synthesis and BCH Decoding." IEEE Trans. Information Th. 15, 122-127, 1969.). C'est une adaptation d'un algorithme, dû à Elwyn Berlekamp, de décodage de codes correcteurs -- les codes de Bose-Chaudhuri-Hocquenghem.
Voir aussi
Articles connexes
Bibligraphie
- (en) Rudolf Lidl et Harald Niederreiter (de), Finite Fields, Cambridge University Press, 1997, 2e éd. (ISBN 978-0-521-39231-0)
Liens externes
- Registres à rétroaction linéaire sur apprendre-en-ligne.net
- Shift generator sur inria.fr
- (en) Simple VHDL coding for Galois and Fibonacci LFSR.
- Portail de l’informatique
- Portail de la cryptologie
- Portail de l’électricité et de l’électronique
Wikimedia Foundation. 2010.