Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Générateur physique d’aléa

Le générateur physique d’aléa est conçu pour générer de l’aléa tout au long de la vie du système. Il importe donc de garantir autant que possible la qualité et la fiabilité de cet aléa.

Règle
RègleGénPhysAléa
  1. Le générateur physique d’aléa doit disposer d’une description fonctionnelle. Celle-ci doit notamment indiquer les principes concourant à la génération des sorties qu’il produit.
  2. Des tests statistiques en sortie du générateur physique ne doivent pas faire apparaître de défauts significatifs dans l’aléa généré.
Reco
RecoGénPhysAléa

Il est recommandé qu’un raisonnement permette de justifier la qualité de l’aléa produit par le générateur physique.

i
Information
  • La conception d’un générateur physique ne repose pas simplement sur la juxtaposition de composants physiques, en espérant que l’assemblage obtenu fournisse un aléa satisfaisant. Une certaine réflexion doit guider le concepteur dans ses choix. Ces choix de conception et la réflexion qui les a guidés doivent donc apparaître dans un document. Il s’agit, entre autres, de décrire les sources physiques utilisées et le traitement appliqué à ces sources.
  • Il est souvent recommandé de surveiller la qualité de l’aléa issu d’une source physique au moyen de tests statistiques élémentaires afin de détecter d’éventuels blocages. Ces tests doivent être réalisés avant tout retraitement. Il convient également de spécifier très précisément la conduite à tenir en cas de détection de panne par ces tests.
  • L’étape suivante, qui est une simple recommandation, est de justifier les choix faits par un raisonnement, qu’il soit heuristique ou rigoureux, qualitatif ou quantifié. La forme et le type de raisonnement sont laissés libres. Son but est de convaincre à la fois les concepteurs et les utilisateurs de la qualité de l’aléa que le générateur produit.
  • Force est de constater aujourd’hui qu’il est très difficile de fournir une preuve convaincante concernant la qualité de l’aléa issu d’un générateur physique. Il est donc nécessaire de pratiquer des tests statistiques sur un échantillon représentatif issu directement du générateur physique. Ces tests servent de validation a posteriori des choix de conception. On pourra par exemple utiliser les tests préconisés par le NIST (FIPS 140-2 et SP 800-22), mais tout test paraissant pertinent peut être utilisé.
  • Les tests statistiques concernés par la règle RègleGénPhysAléa.2 sont des tests d’usine ou des tests ponctuels. Il ne s’agit pas d’éventuels tests de panne pouvant être réalisés en fonctionnement, au cours de l’utilisation du générateur physique.