专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08082450B2 Method for creating a secure counter on an on-board computer system comprising a chip card 有权
标题翻译：用于在包括芯片卡的车载计算机系统上创建安全计数器的方法
公开(公告)号：US08082450B2
公开(公告)日：2011-12-20
申请号：US12158991
申请日：2006-12-14
申请人： Alexandre Frey , Dominique Bolignano , Axelle Apvrille
发明人： Alexandre Frey , Dominique Bolignano , Axelle Apvrille
IPC分类号： G06F11/30
CPC分类号： H04L9/3247 , H04L2209/603 , H04L2209/80
摘要： According to the inventive method, the chip card, a counting function (FC), a counter (Cpt) and a private key (Cf) stored in the write-only part of the memory region are stored in a persistent memory, the counter and the private key (Cf) being accessible only by the counting function (FC). When the chip card receives a counter request emitted by an requesting entity (ER), the counting function (FC) performs a modification of the counter (Cpt) and a calculation of a signature, and sends a response to the applicant entity (ER). When the on-board system receives the response to the counter request, the signature contained in the response is checked.
摘要翻译：根据本发明的方法，存储在存储器区域的只写部分中的芯片卡，计数功能（FC），计数器（Cpt）和私钥（Cf）被存储在持久存储器中，计数器和私钥（Cf）只能由计数功能（FC）访问。当芯片卡接收到请求实体（ER）发出的计数器请求时，计数功能（FC）执行计数器（Cpt）的修改和签名的计算，并向应用实体（ER）发送响应，。当车载系统收到对计数器请求的响应时，将检查包含在响应中的签名。

2. 发明申请

US20080320315A1 Method for Creating a Secure Counter on an On-Board Computer System Comprising a Chip Card 有权
标题翻译：在包含芯片卡的车载计算机系统上创建安全计数器的方法
公开(公告)号：US20080320315A1
公开(公告)日：2008-12-25
申请号：US12158991
申请日：2006-12-14
申请人： Alexandre Frey , Dominique Bolignano , Axelle Apvrille
发明人： Alexandre Frey , Dominique Bolignano , Axelle Apvrille
IPC分类号： H04L9/06 , H04L21/00
CPC分类号： H04L9/3247 , H04L2209/603 , H04L2209/80
摘要： According to the inventive method, the chip card, a counting function (FC), a counter (Cpt) and a private key (Cf) stored in the write-only part of the memory region are stored in a persistent memory, the counter and the private key (Cf) being accessible only by the counting function (FC). When the chip card receives a counter request emitted by an requesting entity (ER), the counting function (FC) performs a modification of the counter (Cpt) and a calculation of a signature, and sends a response to the applicant entity (ER). When the on-board system receives the response to the counter request, the signature contained in the response is checked.
摘要翻译：根据本发明的方法，存储在存储器区域的只写部分中的芯片卡，计数功能（FC），计数器（Cpt）和私钥（Cf）被存储在持久存储器中，计数器和私钥（Cf）只能由计数功能（FC）访问。当芯片卡接收到请求实体（ER）发出的计数器请求时，计数功能（FC）执行计数器（Cpt）的修改和签名的计算，并向应用实体（ER）发送响应，。当车载系统收到对计数器请求的响应时，将检查包含在响应中的签名。

3. 发明授权

US09501383B2 Method for securing a program 有权
标题翻译：确保程序的方法
公开(公告)号：US09501383B2
公开(公告)日：2016-11-22
申请号：US13777524
申请日：2013-02-26
申请人： Dominique Bolignano
发明人： Dominique Bolignano
IPC分类号： G06F9/44 , G06F11/36 , G06F9/30 , G06F9/45 , G06F9/38
CPC分类号： G06F11/3608 , G06F8/443 , G06F8/452 , G06F8/75 , G06F9/30178 , G06F9/3808 , G06F9/4484 , G06F11/362 , G06F11/3664
摘要： A method for securing a first program, the first program including a finite number of program points and evolution rules associated to program points and defining the passage of a program point to another, the method including defining a plurality of exit cases and, when a second program is used in the definition of the first program, for each exit case, definition of a branching toward a specific program point of the first program or a declaration of branching impossibility, defining a set of properties to be proven, each associated with one of the constitutive elements of the first program, said set of properties comprising the branching impossibility as a particular property and establishment of the formal proof of the set of properties.
摘要翻译：一种用于确保第一程序的方法，所述第一程序包括与程序点相关联的有限数量的程序点和演进规则，并且将程序点定义为另一程序点，所述方法包括定义多个退出情况，以及当第二程序程序用于第一个程序的定义，对于每个退出情况，定义向第一程序的特定程序点分支或者分支不可能性的声明，定义要验证的一组属性，每个与第一个程序的构成要素，所述的一组属性包括分支不可能性作为一个特定的属性，并建立一组属性的形式证明。

4. 发明授权

US09275236B2 Method for securing a program 有权
标题翻译：确保程序的方法
公开(公告)号：US09275236B2
公开(公告)日：2016-03-01
申请号：US13930580
申请日：2013-06-28
申请人： Dominique Bolignano
发明人： Dominique Bolignano
IPC分类号： G06F7/04 , G06F21/60 , G06F11/36 , G06F9/45 , G06F9/445
CPC分类号： G06F21/60 , G06F8/443 , G06F9/44589 , G06F11/3608
摘要： A method for securing a first program with a second program, a third program and a fourth program, each program comprising constitutive elements having a finite number of program points and evolution rules associated with the program points and defining the passage from one program point to another program point, and each program comprising a definition of a set of properties each property being associated with one or more of the constitutive elements of the program. The fourth program constructed by defining at least one relation between at least one constitutive element of the second program and at least one constitutive element of the third program, said relation being named a correspondence relation, and at least one property of the third program being proven, propagate the proof of said property to at least one property of the first program by exploitation of the correspondence relation.
摘要翻译：一种用于利用第二程序，第三程序和第四程序来保护第一程序的方法，每个程序包括具有有限数量的程序点和与程序点相关联的进化规则的组成元件，并定义从一个程序点到另一程序段的通道程序点，并且每个程序包括一组属性的定义，每个属性与程序的一个或多个构成要素相关联。第四程序是通过定义第二程序的至少一个构成要素与第三程序的至少一个构成要素之间的至少一个关系，所述关系被命名为对应关系，并且第三程序的至少一个属性被证明通过利用对应关系将所述财产的证明传播到第一程序的至少一个属性。

5. 发明申请

US20170075788A1 METHOD FOR SECURING A PROGRAM 审中-公开
标题翻译：保护程序的方法
公开(公告)号：US20170075788A1
公开(公告)日：2017-03-16
申请号：US15342698
申请日：2016-11-03
申请人： Dominique Bolignano
发明人： Dominique Bolignano
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/3608 , G06F8/443 , G06F8/452 , G06F8/75 , G06F9/30178 , G06F9/3808 , G06F9/4484 , G06F11/362 , G06F11/3664
摘要： A method for securing a first program, the first program including a finite number of program points and evolution rules associated to program points and defining the passage of a program point to another, the method including defining a plurality of exit cases and, when a second program is used in the definition of the first program, for each exit case, definition of a branching toward a specific program point of the first program or a declaration of branching impossibility, defining a set of properties to be proven, each associated with one of the constitutive elements of the first program, said set of properties comprising the branching impossibility as a particular property and establishment of the formal proof of the set of properties.
摘要翻译：一种用于确保第一程序的方法，所述第一程序包括与程序点相关联的有限数量的程序点和演进规则，并且将程序点定义为另一程序点，所述方法包括定义多个退出情况，以及当第二程序程序用于第一个程序的定义，对于每个退出情况，定义向第一程序的特定程序点分支或者分支不可能性的声明，定义要验证的一组属性，每个与第一个程序的构成要素，所述的一组属性包括分支不可能性作为一个特定的属性，并建立一组属性的形式证明。

6. 发明申请

US20150007333A1 METHOD FOR SECURING A PROGRAM 审中-公开
标题翻译：保护程序的方法
公开(公告)号：US20150007333A1
公开(公告)日：2015-01-01
申请号：US13930580
申请日：2013-06-28
申请人： Dominique Bolignano
发明人： Dominique Bolignano
IPC分类号： G06F21/60
CPC分类号： G06F21/60 , G06F8/443 , G06F9/44589 , G06F11/3608
摘要： A method for securing a first program with a second program, a third program and a fourth program, each program comprising constitutive elements having a finite number of program points and evolution rules associated with the program points and defining the passage from one program point to another program point, and each program comprising a definition of a set of properties each property being associated with one or more of the constitutive elements of the program. The fourth program constructed by defining at least one relation between at least one constitutive element of the second program and at least one constitutive element of the third program, said relation being named a correspondence relation, and at least one property of the third program being proven, propagate the proof of said property to at least one property of the first program by exploitation of the correspondence relation.
摘要翻译：一种用于利用第二程序，第三程序和第四程序来保护第一程序的方法，每个程序包括具有有限数量的程序点和与程序点相关联的进化规则的组成元件，并定义从一个程序点到另一程序段的通道程序点，并且每个程序包括一组属性的定义，每个属性与程序的一个或多个构成要素相关联。第四程序是通过定义第二程序的至少一个构成要素与第三程序的至少一个构成要素之间的至少一个关系，所述关系被命名为对应关系，并且第三程序的至少一个属性被证明通过利用对应关系将所述财产的证明传播到第一程序的至少一个属性。

7. 发明申请

US20140245259A1 METHOD FOR SECURING A PROGRAM 审中-公开
标题翻译：保护程序的方法
公开(公告)号：US20140245259A1
公开(公告)日：2014-08-28
申请号：US13777524
申请日：2013-02-26
申请人： Dominique Bolignano
发明人： Dominique Bolignano
IPC分类号： G06F9/44
CPC分类号： G06F11/3608 , G06F8/443 , G06F8/452 , G06F8/75 , G06F9/30178 , G06F9/3808 , G06F9/4484 , G06F11/362 , G06F11/3664
摘要： A method for securing a first program, the first program including a finite number of program points and evolution rules associated to program points and defining the passage of a program point to another, the method including defining a plurality of exit cases and, when a second program is used in the definition of the first program, for each exit case, definition of a branching toward a specific program point of the first program or a declaration of branching impossibility, defining a set of properties to be proven, each associated with one of the constitutive elements of the first program, said set of properties comprising the branching impossibility as a particular property and establishment of the formal proof of the set of properties.
摘要翻译：一种用于确保第一程序的方法，所述第一程序包括与程序点相关联的有限数量的程序点和演进规则，并且将程序点定义为另一程序点，所述方法包括定义多个退出情况，以及当第二程序程序用于第一个程序的定义，对于每个退出情况，定义向第一程序的特定程序点分支或者分支不可能性的声明，定义要验证的一组属性，每个与第一个程序的构成要素，所述的一组属性包括分支不可能性作为一个特定的属性，并建立一组属性的形式证明。

8. 发明授权

US11153302B2 Peering method 有权
公开(公告)号：US11153302B2
公开(公告)日：2021-10-19
申请号：US15512767
申请日：2015-09-18
申请人： Dominique Bolignano
发明人： Dominique Bolignano
IPC分类号： H04L29/06 , H04W12/50 , H04W12/086 , H04W12/04 , H04W12/08 , G06F21/57 , H04W12/06
摘要： Some embodiments are directed to a method for peering between first and second modules each installed in a different device, the device of the first module includes a human-machine interface, and the two devices can be linked by an unsecure communication channel. The method can include: receiving via the human-machine interface a command setting the device of the first module in operating mode so the first module takes control of a part of the communication means of the first device in order to set them in a secure operating mode and takes control of the human-machine interface; establishing a temporarily secure communication between first and second modules; displaying on the human-machine interface a status signaling the set-up of the secure communication; receiving via the human-machine interface a peering acceptance command; and exchanging of keys/secrets between the modules through the temporarily secure communication channel to perform the peering.

9. 发明授权

US09892016B2 Method for securing a program 有权
公开(公告)号：US09892016B2
公开(公告)日：2018-02-13
申请号：US15342698
申请日：2016-11-03
申请人： Dominique Bolignano
发明人： Dominique Bolignano
IPC分类号： G06F9/44 , G06F11/36 , G06F9/45 , G06F9/30 , G06F9/38
CPC分类号： G06F11/3608 , G06F8/443 , G06F8/452 , G06F8/75 , G06F9/30178 , G06F9/3808 , G06F9/4484 , G06F11/362 , G06F11/3664
摘要： A method for securing a first program, the first program including a finite number of program points and evolution rules associated to program points and defining the passage of a program point to another, the method including defining a plurality of exit cases and, when a second program is used in the definition of the first program, for each exit case, definition of a branching toward a specific program point of the first program or a declaration of branching impossibility, defining a set of properties to be proven, each associated with one of the constitutive elements of the first program, said set of properties comprising the branching impossibility as a particular property and establishment of the formal proof of the set of properties.

10. 发明授权

US07882396B2 Method for controlling program execution integrity by verifying execution trace prints 有权
标题翻译：通过验证执行跟踪打印来控制程序执行完整性的方法
公开(公告)号：US07882396B2
公开(公告)日：2011-02-01
申请号：US10585140
申请日：2004-12-16
申请人： Dominique Bolignano , Xavier Leroy , Renaud Marlet
发明人： Dominique Bolignano , Xavier Leroy , Renaud Marlet
IPC分类号： G06F11/00
CPC分类号： G06F11/28
摘要： The inventive method for controlling a program execution integrity by verifying execution trace prints consists in updating the representative print of an execution path and/or data applied for a program execution, comparing the actual print value (dynamically calculated to an expected value (statistically fixed, equal to a value of the print if the program execution is not disturbed) at a determined program spots and in carrying out a particular processing by the program when the actual print differs from the expected value.
摘要翻译：用于通过验证执行跟踪打印来控制程序执行完整性的本发明的方法在于更新执行路径的代表性打印和/或应用于程序执行的数据，将实际打印值（动态计算为预期值（统计上固定的，如果程序执行不受干扰则等于打印的值），并且当实际打印与期望值不同时，执行程序的特定处理。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式