R11 — GET CHALLENGE et santé RNG¶

Statut : NON EXÉCUTÉ sur matériel — T2B1 et T3B1.

Appliquer le registre commun et conserver une ligne par modèle/OS requis. Les sorties des tests hôte/émulateur restent des preuves séparées.

Préconditions¶

Lecteur PC/SC réel reconnu, firmware sans debuglink, état RNG visible depuis Cryptographie → Aléa ; instrumentation d’injection réservée à un build de test distinct.

Étapes¶

Sans vérification d’un PIN applicatif, envoyer opensc-tool -s 0084000001 puis opensc-tool -s 0084000020 ; compter respectivement1 et32 octets avant9000.
Essayer longueur33 (opensc-tool -s 0084000021), longueur absente et une rafale ; vérifier refus/anti-abus conformément au profil AES/RNG.
Relever état et informations RNG sur l’écran, déclencher l’autotest après authentification et recommencer GET CHALLENGE. Répéter après coupure et après changements de modes.
Avec le banc d’injection dédié, simuler une source bloquée/échec santé et vérifier sortie refusée sans retour de bytes, y compris pour les appels qui génèrent des clés ; documenter injection et binaire séparé. Confirmer ensuite le comportement normal avec le vrai binaire candidat.

Résultat attendu¶

Tailles respectées, bytes issus du chemin matériel, échec santé bloquant, limites et anti-abus appliqués. Un histogramme ou des sorties différentes ne prouvent pas à eux seuls l’entropie physique.

Preuves à conserver¶

APDU/réponses et longueurs, état écran/autotest, méthode d’injection et messages d’échec, hashes distincts des builds candidat/instrumenté.