摘要:
L'invention concerne un procédé et un système de vérification du caractère atomique d'au moins une commande exécutée par un microprocesseur (4) d'un élément électronique comprenant au moins une mémoire non volatile réinscriptible (6), consistant à : choisir une commande (31) incluant au moins une mise à jour d'au moins une donnée (DATA) dans la mémoire non volatile ; exécuter plusieurs fois cette commande ; interrompre (24) chaque exécution à un instant (t i ) différent de son déroulement ; et vérifier, après chaque interruption, la cohérence de la donnée dans la mémoire non volatile par rapport à au moins un état autorisé prédéterminé.
摘要:
La présente description concerne un procédé de génération d'un secret partagé ( S ) entre un premier dispositif et un deuxième dispositif (102, 104) comprenant : - la réception, par le premier dispositif et en provenance du deuxième dispositif, d'une première clef publique ( P B ) ; - une première multiplication, par un circuit cryptographique (208) du premier dispositif, de la première clef publique par un premier scalaire ( c ), la première multiplication résultant sur un résultat intermédiaire ( Q ) ; - la détermination de si le résultat intermédiaire est égal à la valeur d'un point O ; et - si le résultat intermédiaire est différent de la valeur du point O , une deuxième multiplication, par le circuit cryptographique, du résultat intermédiaire par un deuxième scalaire, résultant sur le secret partagé.
摘要:
L'invention concerne un procédé de protection d'une génération, par un circuit électronique, d'au moins un nombre premier (p) en testant le caractère premier de nombres candidats (a) successifs, comportant : pour chaque nombre candidat : le calcul (41, 46) d'un nombre témoin (w) faisant intervenir au moins un premier nombre aléatoire (r 2 ), et au moins un test de primalité (38) basé sur des calculs d'exponentiation modulaire ; et pour un nombre candidat ayant satisfait audit test de primalité : un test de cohérence (44) entre le nombre candidat et son nombre témoin.
摘要:
The invention relates to a counting method and to a counter (2) that uses an integrated circuit memory area, comprising at least one step consisting in storing partial values in several words (W1, W2, W3, ..., Wm) of identical sizes from the memory, the result of the count (VAL) being obtained by arithmetically adding (211) the values contained in the different words (W1, W2, W3, ...,Wm)
摘要:
The invention relates to a counting method and to a counter (2) that uses an integrated circuit memory area, comprising at least one step consisting in storing partial values in several words (W1, W2, W3, ..., Wm) of identical sizes from the memory, the result of the count (VAL) being obtained by arithmetically adding (211) the values contained in the different words (W1, W2, W3, ...,Wm)
摘要:
L'invention concerne un procédé et un système de vérification du caractère atomique d'au moins une commande exécutée par un microprocesseur (4) d'un élément électronique comprenant au moins une mémoire non volatile réinscriptible (6), consistant à : choisir une commande (31) incluant au moins une mise à jour d'au moins une donnée (DATA) dans la mémoire non volatile ; exécuter plusieurs fois cette commande ; interrompre (24) chaque exécution à un instant (t i ) différent de son déroulement ; et vérifier, après chaque interruption, la cohérence de la donnée dans la mémoire non volatile par rapport à au moins un état autorisé prédéterminé.