公开(公告)号：US09979703B2

公开(公告)日：2018-05-22

申请号：US14569588

申请日：2014-12-12

Applicant: NXP B.V.

Inventor： Dimitri Warnez ,  Thierry Gouraud ,  Rafael Jan Josef Meeusen ,  Andreas Lessiak ,  Frank Siedel ,  Ernst Haselsteiner ,  Bruce Murray

IPC: H04L29/06 ,  H04L29/08 ,  H04L9/32 ,  G06F9/445 ,  H04W12/02 ,  H04W12/04 ,  G06F21/57 ,  H04W4/00 ,  H04W8/20

CPC classification number: H04L63/0428 ,  G06F8/65 ,  G06F21/572 ,  H04L9/32 ,  H04L9/3247 ,  H04L67/34 ,  H04L2463/062 ,  H04W4/50 ,  H04W8/205 ,  H04W12/02 ,  H04W12/04

Abstract: There is disclosed a method of providing a software update to a secure element comprised in a host device, comprising converting the software update into a sequence of ciphertext blocks using a chained encryption scheme, and transmitting said sequence of ciphertext blocks to the host device. Furthermore, there is disclosed a method of installing a software update on a secure element comprised in a host device, comprising receiving, by the host device, a sequence of ciphertext blocks generated by a method of providing a software update of the kind set forth, converting said sequence of ciphertext blocks into the software update, and installing the software update on the secure element. Furthermore, corresponding computer program products and a corresponding host device are disclosed.

公开(公告)号：US20140289565A1

公开(公告)日：2014-09-25

申请号：US14188147

申请日：2014-02-24

Applicant: NXP B.V.

Inventor： Reinhard Berlach ,  Johannes Loinig ,  Ernst Haselsteiner

IPC: G06F11/36

CPC classification number: G06F11/3688 ,  G06F8/60 ,  G06F9/44589 ,  G06F11/3648 ,  G06F11/3664 ,  G06F21/577 ,  G06F21/77 ,  G06F2221/033

Abstract: According to an aspect of the invention, a process for verifying a computer program on a smart card is conceived, the process comprising: identifying, within said computer program, one or more instruction sequences that have a single start point and one or more end points in the program flow; identifying, in each instruction sequence, one or more basic blocks that have a single start point and a single end point in the program flow; and verifying the instruction sequences by verifying each basic block identified in said instruction sequences.

Abstract translation: 根据本发明的一个方面，构思了用于验证智能卡上的计算机程序的过程，该过程包括：在所述计算机程序内识别一个或多个具有单个起始点和一个或多个端点的指令序列 在程序流程中 在每个指令序列中识别在程序流中具有单个起始点和单个终点的一个或多个基本块; 以及通过验证在所述指令序列中识别的每个基本块来验证指令序列。

公开(公告)号：US20150172255A1

公开(公告)日：2015-06-18

申请号：US14569588

申请日：2014-12-12

Applicant: NXP B.V.

Inventor： Dimitri Warnez ,  Thierry Gouraud ,  Rafael Jan Josef Meeusen ,  Andreas Lessiak ,  Frank Siedel ,  Ernst Haselsteiner ,  Bruce Murray

IPC: H04L29/06 ,  G06F9/445

CPC classification number: H04L63/0428 ,  G06F8/65 ,  G06F21/572 ,  H04L9/32 ,  H04L9/3247 ,  H04L67/34 ,  H04L2463/062 ,  H04W4/50 ,  H04W8/205 ,  H04W12/02 ,  H04W12/04

Abstract: There is disclosed a method of providing a software update to a secure element comprised in a host device, comprising converting the software update into a sequence of ciphertext blocks using a chained encryption scheme, and transmitting said sequence of ciphertext blocks to the host device. Furthermore, there is disclosed a method of installing a software update on a secure element comprised in a host device, comprising receiving, by the host device, a sequence of ciphertext blocks generated by a method of providing a software update of the kind set forth, converting said sequence of ciphertext blocks into the software update, and installing the software update on the secure element. Furthermore, corresponding computer program products and a corresponding host device are disclosed.

Abstract translation: 公开了一种向包含在主机设备中的安全元件提供软件更新的方法，包括使用链接加密方案将软件更新转换成密码块序列，并将所述密文块序列发送到主机设备。 此外，公开了一种在包含在主机设备中的安全元件上安装软件更新的方法，包括由主机设备接收通过提供所述类型的软件更新的方法生成的密码块序列， 将所述密文块序列转换成软件更新，以及将所述软件更新安装在所述安全元件上。 此外，公开了相应的计算机程序产品和相应的主机设备。