Procédé et système de vérification de l'atomicité de commandes exécutées par un microprocesseur
    1.
    发明公开
    Procédé et système de vérification de l'atomicité de commandes exécutées par un microprocesseur 审中-公开
    的方法和装置,用于检查指令的原子中的微处理器

    公开(公告)号:EP1603042A3

    公开(公告)日:2009-12-16

    申请号:EP05104815.5

    申请日:2005-06-02

    IPC分类号: G06F11/28

    CPC分类号: G06F11/28

    摘要: 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é.

    PROTECTION D'UNE CLEF SECRETE
    3.
    发明公开

    公开(公告)号:EP4246880A1

    公开(公告)日:2023-09-20

    申请号:EP23161401.7

    申请日:2023-03-13

    IPC分类号: H04L9/30 H04L9/00

    摘要: 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é.

    COMPTEUR D'EVENEMENTS
    5.
    发明授权
    COMPTEUR D'EVENEMENTS 有权
    事件计数器

    公开(公告)号:EP1932121B1

    公开(公告)日:2009-05-06

    申请号:EP06806980.6

    申请日:2006-10-04

    IPC分类号: G07F7/00

    CPC分类号: G07C3/04 G11C16/349

    摘要: 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)

    COMPTEUR D'EVENEMENTS
    6.
    发明公开
    COMPTEUR D'EVENEMENTS 有权
    事件计数器

    公开(公告)号:EP1932121A1

    公开(公告)日:2008-06-18

    申请号:EP06806980.6

    申请日:2006-10-04

    IPC分类号: G07F7/00

    CPC分类号: G07C3/04 G11C16/349

    摘要: 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)

    Procédé et système de vérification de l'atomicité de commandes exécutées par un microprocesseur
    7.
    发明公开
    Procédé et système de vérification de l'atomicité de commandes exécutées par un microprocesseur 审中-公开
    的方法和装置,用于检查指令的原子中的微处理器

    公开(公告)号:EP1603042A2

    公开(公告)日:2005-12-07

    申请号:EP05104815.5

    申请日:2005-06-02

    IPC分类号: G06F11/28

    CPC分类号: G06F11/28

    摘要: 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é.

    摘要翻译: 该方法涉及选择具有到数据的更新用在可重写非易失性存储器的命令,并且执行所述命令多次,其中的电子单元的操作darstellt的命令E.G. 芯片卡。 每个执行在在瞬时中断。 存储在所述存储器中的数据的一致性验证相对于预定授权状态下,每个中断后。 因此独立claimsoft包括用于验证由一个芯片卡型电子装置执行的命令的原子性的系统。