US 11,914,682 B2
Software verification device
Teruyoshi Yamaguchi, Tokyo (JP); and Nobuhiro Kobayashi, Tokyo (JP)
Assigned to MITSUBISHI ELECTRIC CORPORATION, Tokyo (JP)
Filed by Mitsubishi Electric Corporation, Tokyo (JP)
Filed on Mar. 3, 2021, as Appl. No. 17/191,369.
Application 17/191,369 is a continuation of application No. PCT/JP2018/038210, filed on Oct. 12, 2018.
Prior Publication US 2021/0192014 A1, Jun. 24, 2021
Int. Cl. G06F 21/10 (2013.01); G06F 21/44 (2013.01); H04L 9/32 (2006.01)
CPC G06F 21/105 (2013.01) [G06F 21/44 (2013.01); H04L 9/3236 (2013.01); H04L 9/3247 (2013.01)] 4 Claims
OG exemplary drawing
 
4. The software verification device according to claim 3,
wherein the processing circuitry
acquires update software and signature of the update software, computes a hash value of activation software before update when signature verification and version check for the update software are successful, and outputs the hash value of the activation software before the update and the MAC of the activation software, which is stored in the storage, before the update,
computes the MAC of the activation software before the update based on the hash value, which is output from the processing circuitry, and the configuration verification key, and compares with the MAC output from the processing circuitry, MAC computed,
writes the update software and signature when the MAC computed and the MAC output from the processing circuitry all match, computes the hash value of the update software, and outputs the hash value,
regenerates the configuration verification key, and computes the MAC of the update software using a regenerated configuration verification key and the hash value of the update software, and
stores in the storage, the MAC of the update software.