JP2019020872A5 - - Google Patents

Description

上記課題を解決するために、本発明の電子制御装置（１００、２００）は、
プログラムを分割したｍ個の分割プログラム、および検証用認証子を記憶する記憶部（１１、１５）と、
暗号演算により前記ｍ個の分割プログラムそれぞれのｍ個の部分認証子を生成する暗号演算部（１２、１３、３０、２２４）と、
１乃至ｎ−１番目の部分認証子を用いた論理演算を行って生成されたｎ−１番目の演算認証子と、ｎ番目の部分認証子とを用いた論理演算を行って、ｎ番目の演算認証子を生成する認証子演算部（１４、３０、２２４）、と、
前記ｎ番目の演算認証子を保存する認証子保存部（２２）と、
ｎ＋１番目の部分認証子を生成する分割プログラムを特定する情報を保存する次回生成対象保存部（２１）と、
前記検証用認証子と前記演算認証子とが一致するか否かによって前記プログラムの改ざんを検証する検証部（３０、２２４）と、
を有する。

Claims (10)

1. プログラムを分割したｍ個の分割プログラム、および検証用認証子を記憶する記憶部（１１、１５）と、
   暗号演算により前記ｍ個の分割プログラムそれぞれのｍ個の部分認証子を生成する暗号演算部（１２、１３、３０、２２４）と、
   １乃至ｎ−１番目の部分認証子を用いた論理演算を行って生成されたｎ−１番目の演算認証子と、ｎ番目の部分認証子とを用いた論理演算を行って、ｎ番目の演算認証子を生成する認証子演算部（１４、３０、２２４）、と、
   前記ｎ番目の演算認証子を保存する認証子保存部（２２）と、
   ｎ＋１番目の部分認証子を生成する分割プログラムを特定する情報を保存する次回生成対象保存部（２１）と、
   前記検証用認証子とｍ番目の演算認証子とが一致するか否かによって前記プログラムの改ざんを検証する検証部（３０、２２４）と、
   を有する電子制御装置。
2. 前記暗号演算部は、前記認証子演算部が前記ｎ−１番目の演算認証子を生成した後に、前記ｎ番目の部分認証子を生成し、
   前記認証子演算部は、前記認証子保存部に保存された前記ｎ−１番目の演算認証子と、前記ｎ番目の部分認証子とを用いた論理演算を行って、前記ｎ番目の演算認証子を生成し、
   前記認証子保存部は、前記ｎ−１番目の演算認証子に前記ｎ番目の演算認証子を上書きして保存する、
   請求項１に記載の電子制御装置。
3. 前記記憶部（１１）に記憶されている前記検証用認証子が一つであり、
   前記認証子演算部が、すべての前記部分認証子を用いた論理演算を行って一つの演算認証子を生成し、
   前記検証部は、前記一つの検証用認証子と前記一つの演算認証子とが一致するか否かによって前記プログラムの改ざんを検証する、
   請求項１または２に記載の電子制御装置。
4. 前記認証子演算部が行う前記論理演算が、排他的論理和（ＸＯＲ演算）または排他的論理和の否定（ＸＮＯＲ演算）である、
   請求項１乃至３のいずれか１項に記載の電子制御装置。
5. プログラムを分割したｍ個の分割プログラムそれぞれのｍ個の部分認証子を生成する暗号演算ステップ（Ｓ２０、Ｓ５０）と、
   前記暗号演算ステップ（Ｓ２０、Ｓ５０）により得られた１乃至ｎ−１番目の部分認証子を用いた論理演算を行って生成されたｎ−１番目の演算認証子と、ｎ番目の部分認証子とを用いた論理演算を行って、ｎ番目の演算認証子を生成する認証子演算ステップ（Ｓ６０）と、
   前記ｎ番目の演算認証子を保存する保存ステップ（Ｓ７０）と、
   ｎ＋１番目の部分認証子を生成する分割プログラムを特定する情報を保存する保存ステップ（Ｓ４０）と、
   前記演算認証子と、あらかじめ求めた検証用認証子とが一致するか否かを判定する検証ステップ（Ｓ９０、Ｓ１００）と、
   を有するプログラム改ざん検知方法。
6. 電子制御装置が起動する際に前記各ステップを実行する、
   請求項５に記載のプログラム改ざん検知方法。
7. 電子制御装置の低消費電力モードから通常モードに移行する際に前記各ステップを実行する、
   請求項５に記載のプログラム改ざん検知方法。
8. プログラムを分割したｍ個の分割プログラムそれぞれのｍ個の部分認証子を生成する暗号演算ステップ（Ｓ２０、Ｓ５０）と、
   前記暗号演算ステップ（Ｓ２０、Ｓ５０）により得られた１乃至ｎ−１番目の部分認証子を用いた論理演算を行って生成されたｎ−１番目の演算認証子と、ｎ番目の部分認証子とを用いた論理演算を行って、ｎ番目の演算認証子を生成する認証子演算ステップ（Ｓ６０）と、
   前記ｎ番目の演算認証子を保存する保存ステップ（Ｓ７０）と、
   ｎ＋１番目の部分認証子を生成する分割プログラムを特定する情報を保存する保存ステップ（Ｓ４０）と、
   前記演算認証子と、あらかじめ求めた検証用認証子とが一致するか否かを判定する検証ステップ（Ｓ９０、Ｓ１００）と、
   を有するプログラム改ざん検知方法、をコンピュータに実行させるプログラム。
9. プログラムを分割したｍ個の分割プログラムそれぞれのｍ個の部分認証子を生成する暗号演算ステップ（Ｓ２０、Ｓ５０）と、
   前記暗号演算ステップ（Ｓ２０、Ｓ５０）により得られた１乃至ｎ−１番目の部分認証子を用いた論理演算を行って生成されたｎ−１番目の演算認証子と、ｎ番目の部分認証子とを用いた論理演算を行って、ｎ番目の演算認証子を生成する認証子演算ステップ（Ｓ６０）と、
   前記ｎ番目の演算認証子を保存する保存ステップ（Ｓ７０）と、
   ｎ＋１番目の部分認証子を生成する分割プログラムを特定する情報を保存する保存ステップ（Ｓ４０）と、
   前記演算認証子と、あらかじめ求めた検証用認証子とが一致するか否かを判定する検証ステップ（Ｓ９０、Ｓ１００）と、
   を有するプログラム改ざん検知方法、を電子制御装置が起動する際にコンピュータに実行させるプログラム。
10. プログラムを分割したｍ個の分割プログラムそれぞれのｍ個の部分認証子を生成する暗号演算ステップ（Ｓ２０、Ｓ５０）と、
    前記暗号演算ステップ（Ｓ２０、Ｓ５０）により得られた１乃至ｎ−１番目の部分認証子を用いた論理演算を行って生成されたｎ−１番目の演算認証子と、ｎ番目の部分認証子とを用いた論理演算を行って、ｎ番目の演算認証子を生成する認証子演算ステップ（Ｓ６０）と、
    前記ｎ番目の演算認証子を保存する保存ステップ（Ｓ７０）と、
    ｎ＋１番目の部分認証子を生成する分割プログラムを特定する情報を保存する保存ステップ（Ｓ４０）と、
    前記演算認証子と、あらかじめ求めた検証用認証子とが一致するか否かを判定する検証ステップ（Ｓ９０、Ｓ１００）と、
    を有するプログラム改ざん検知方法、を電子制御装置の低消費電力モードから通常モードに移行する際にコンピュータに実行させるプログラム。