会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 6. 发明公开
    • Système et procédé de protection de circuit
    • 系统与Verfahren zum Schutz von Schaltkreisen
    • EP2983156A1
    • 2016-02-10
    • EP14306247.9
    • 2014-08-06
    • Secure-IC SAS
    • Guilley, SylvainPorteboeuf, ThibaultDanger, Jean-Luc
    • G09C1/00H04L9/00
    • G06F21/75G06F11/22G06F11/263G06F21/55G06F21/56G06F21/71G06F2221/034G09C1/00H04L9/002H04L2209/046H04L2209/12
    • L'invention propose un procédé de protection d'un circuit booléen associé à une description structurelle du circuit comprenant des variables booléennes élémentaires, chacune représentée par un bit, le procédé comprenant les étapes consistant à:
      - sélectionner un ensemble de k variables booléennes élémentaires du circuit en fonction de critères de sélection prédéfinis,
      - construire une variable x représentée par k bits par concaténation des k variables sélectionnées, selon un ordre choisi,
      - déterminer un code binaire C, comprenant un ensemble de mots de code et appartenant à un espace vectoriel donné, et le code supplémentaire D du code binaire C, en fonction d'une condition portant sur la distance duale du code supplémentaire D, le code binaire C ayant une longueur n et une taille 2 k , où k désigne le nombre de bits représentant la variable x ;
      - substituer la variable x dans la description structurelle du circuit booléen par une variable protégée z représentée par n bits de telle sorte que :
      - toute opération d'écriture sur la variable x dans le circuit soit substituée par une opération d'écriture sur la variable z, la variable z étant générée par ajout de la variable x encodée par ledit code C à un vecteur de bit d'aléas y encodé par le code supplémentaire D, et
      - toute opération de lecture de la variable x dans le circuit soit substituée par une opération de lecture de la valeur de la variable protégée z et d'une opération de décodage de ladite valeur lue de la variable protégée z en utilisant une matrice de décodage J de taille ( n × k ) déterminée à partir du code binaire C et du code supplémentaire D du code binaire C.
    • 本发明提出了一种保护布尔电路的方法,该布尔电路与包括基本布尔变量的电路的结构描述相关联,每个基本布尔变量由一个位表示,该方法包括以下步骤: - 选择电路的一组k个基本布尔变量 作为预定义的选择标准的函数, - 根据所选择的顺序,通过连接k个所选变量来构造由k个比特表示的变量x, - 确定包含一组码字并属于给定向量空间的二进制码C 以及所述二进制码C的补码D作为与所述补码D的双距离有关的条件的函数,所述二进制码C具有长度n和大小2k,其中k表示表示所述补码 变量x - 用布尔电路的结构描述中的变量x替换由n位表示的保护变量z,使得: - 对在电路中的变量x进行写入的任何操作都被写入变量z的操作所替代, 通过将由所述代码C编码的变量x添加到由补充代码D编码的随机位矢量y来生成变量z,并且 - 读取电路中的变量x的任何操作被读取 使用从二进制码C和二进制码C的补充码D确定的大小(nxk)的解码矩阵J来解码受保护变量z的所述读取值的操作。
    • 7. 发明公开
    • A computer implemented method and a system for controlling dynamically the execution of a code
    • 计算机应用程序版本和系统zur dynamischen Steuerung derAusführungeines代码
    • EP2958044A1
    • 2015-12-23
    • EP14305954.1
    • 2014-06-20
    • Secure-IC SAS
    • Guilley, SylvainPorteboeuf, Thibault
    • G06F21/54
    • According to the invention, there is provided a computer implemented method for controlling dynamically the execution of a code by a processing system, said execution being described by a control flow graph comprising a plurality of basic blocks composed of at least an input node and an output node, a transition in the control flow graph corresponding to a link between an output node of origin belonging to a first basic block and an input node of a second basic block, a plurality of initialization vectors being associated to the output nodes at the time of generating the code, an a priori control word being associated to each input node which is linked to the same output node of origin according the control flow graph, said a priori control word being precomputed at the time of generating the code by applying a predefined deterministic function F to the initialization vector associated to its output node of origin, the following steps being applied once the execution of the output node belonging to a first basic block is terminated and at the time of executing the input node of a second basic block: providing (300) the a priori control word associated to the input node of the second basic block; providing (301) the initialization vector associated to the output node of the first basic block; determining (302) an a posteriori control word by applying to the provided initialization vector the same function F which has been used for generating the a priori control word; determining (303, 304) if the a priori control word matches with the a posteriori control word, a forbidden transition in respect to the control flow graph being otherwise detected (305).
    • 根据本发明,提供了一种用于由处理系统动态地控制代码的执行的计算机实现的方法,所述执行由包括至少由输入节点和输出组成的多个基本块的控制流程图描述 节点,对应于属于第一基本块的源的输出节点与第二基本块的输入节点之间的链接的控制流程图中的转换,多个初始化向量与第一基本块的输出节点相关联 生成所述代码,所述先验控制字与根据所述控制流程图链接到相同的原始输出节点的每个输入节点相关联,所述先验控制字在通过应用预定义的确定性方式在生成所述代码时被预先计算 函数F到与其输出节点的原始关联的初始化向量,执行输出节点后应用以下步骤 属于第一基本块的终端,并且在执行第二基本块的输入节点时:提供(300)与第二基本块的输入节点相关联的先验控制字; 提供(301)与第一基本块的输出节点相关联的初始化向量; 通过向所提供的初始化向量应用已经用于产生先验控制字的相同函数F来确定(302)后验控制字; 如果先验控制字与后验控制字相匹配,则确定(303,304)相对于另外检测到的控制流程图的禁止转换(305)。