JP2022533105A - コンピューティングコンポーネントをインストールするための方法および関連付けられた電子デバイス - Google Patents
コンピューティングコンポーネントをインストールするための方法および関連付けられた電子デバイス Download PDFInfo
- Publication number
- JP2022533105A JP2022533105A JP2021568090A JP2021568090A JP2022533105A JP 2022533105 A JP2022533105 A JP 2022533105A JP 2021568090 A JP2021568090 A JP 2021568090A JP 2021568090 A JP2021568090 A JP 2021568090A JP 2022533105 A JP2022533105 A JP 2022533105A
- Authority
- JP
- Japan
- Prior art keywords
- data processing
- vehicle
- manifest
- processing component
- identifier
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000000034 method Methods 0.000 claims abstract description 35
- 238000012545 processing Methods 0.000 claims description 155
- 238000012795 verification Methods 0.000 claims description 45
- 238000009434 installation Methods 0.000 claims description 19
- 230000004044 response Effects 0.000 claims description 4
- 238000004891 communication Methods 0.000 description 13
- 238000011900 installation process Methods 0.000 description 12
- 230000006870 function Effects 0.000 description 8
- 230000005540 biological transmission Effects 0.000 description 7
- 238000010200 validation analysis Methods 0.000 description 6
- 230000009471 action Effects 0.000 description 3
- 230000001413 cellular effect Effects 0.000 description 3
- 230000008520 organization Effects 0.000 description 3
- 230000008569 process Effects 0.000 description 3
- 238000005538 encapsulation Methods 0.000 description 2
- 238000013475 authorization Methods 0.000 description 1
- 230000006399 behavior Effects 0.000 description 1
- 239000003795 chemical substances by application Substances 0.000 description 1
- 238000004590 computer program Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 239000013589 supplement Substances 0.000 description 1
Images
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3236—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3247—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials involving digital signatures
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L2209/00—Additional information or applications relating to cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00
- H04L2209/84—Vehicles
Landscapes
- Engineering & Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Information Transfer Between Computers (AREA)
- Stored Programmes (AREA)
- Storage Device Security (AREA)
Abstract
車両に備え付けられた電子デバイスにコンピューティングコンポーネント(COMP1)をインストールするための方法であって、- コンピューティングコンポーネントのハッシュ値(H(COMP1)を含むマニフェスト(ECUPACKIND)を含むデバイスパケット(ECUPACKIND)を受信することと、- マニフェストの整合性(ECUPACKIND)をチェックすることと、- コンピューティングコンポーネント(COMP1)を受信することと、- コンピューティングコンポーネントのハッシュ値(H(COMP1))と、受信されたコンピューティングコンポーネント(COMPi)との間の相関性をチェックすることと、- マニフェストの整合性(ECUPACKIND)の肯定的チェック、および相関性の肯定的チェックの場合のみ、コンピューティングコンポーネント(COMP1)をインストールすることとから成るステップを含む、方法。関連付けられた電子デバイスも説明される。【選択図】図2
Description
本発明は、一般に、車両、特に自動車内への、データ処理コンポーネントのインストールに関する。
本発明は、このようなデータ処理コンポーネントを車両内にダウンロードする状況で特に好都合に使用されるが、データ処理コンポーネントが、例えばメモリカードから、車両にローカルにロードされるときにも使用される。
本発明は、より詳細には、データ処理コンポーネントをインストールするための方法および関連付けられた電子機器に関する。
状況によっては、車両に設置された電子機器にデータ処理コンポーネントをインストールすることが望ましい。このことは、電子機器内に実装されるソフトウェア、または電子機器によって操作されるデータをアップデートすることが望ましいときに、特に当てはまる。
このようなデータ処理コンポーネントのインストールは当然、車両のその後の動作に関する影響があり、制御された手法で実行されなければならない。
この状況において、本発明は、車両に設置された電子機器にデータ処理コンポーネントをインストールするための方法であって、
- データ処理コンポーネントのハッシュ値を含む第1のマニフェストを含むデバイスパケットを受信することと、
- 第1のマニフェストの整合性を検証することと、
- データ処理コンポーネントを受信することと、
- データ処理コンポーネントのハッシュ値と、受信されたデータ処理コンポーネントとの間の対応関係を検証することと、
- 第1のマニフェストの整合性の肯定的検証、および対応関係の肯定的検証の場合のみ、データ処理コンポーネントをインストールすることと
を伴うステップを含む、方法を提案する。
- データ処理コンポーネントのハッシュ値を含む第1のマニフェストを含むデバイスパケットを受信することと、
- 第1のマニフェストの整合性を検証することと、
- データ処理コンポーネントを受信することと、
- データ処理コンポーネントのハッシュ値と、受信されたデータ処理コンポーネントとの間の対応関係を検証することと、
- 第1のマニフェストの整合性の肯定的検証、および対応関係の肯定的検証の場合のみ、データ処理コンポーネントをインストールすることと
を伴うステップを含む、方法を提案する。
このように、本発明の結果として、車両は、データ処理コンポーネントに関連付けられ、(ハッシュ値を特に使用した)データ処理コンポーネントの整合性の検証に関与する、データ構造を受信する。提案されるソリューションは、デバイスパケットとデータ処理コンポーネント自体を別々に伝送することをさらに可能にし、車両および車両の電子機器の設計中に、より大きな柔軟性をもたらす。
第1の車両識別子を含めるための上述の第1のマニフェスト、および、以下を伴うステップをさらに含むことになるインストール方法を提供することがさらに可能である:
- 第1の車両識別子を、車両内に格納された第2の車両識別子と比較すること
- 第1の識別子と第2の識別子との肯定的比較の場合のみ、データ処理コンポーネントをインストールすること。
- 第1の車両識別子を、車両内に格納された第2の車両識別子と比較すること
- 第1の識別子と第2の識別子との肯定的比較の場合のみ、データ処理コンポーネントをインストールすること。
本発明による方法の他の有利かつ非限定的特徴は個別に行われるか、全ての技術的に可能な組合せに従って行われ、以下のようなものである。
- デバイスパケットは、第1の署名を含む。
- マニフェストの整合性は、暗号署名検証アルゴリズムを第1の署名および第1のマニフェストに適用することによって検証される。
- データ処理コンポーネントは、デバイスパケットから独立して受信される。
- データ処理コンポーネントは、デバイスパケット内で受信される。
- データ処理コンポーネントは、第2の署名およびコンテンツを含む。
- 方法は、第2の署名を使用してコンテンツの整合性を検証するステップを含む。
方法は、以下を伴うステップをさらに含むことができる:
- デバイスパケットおよび第2のマニフェストを含むコンテナを受信すること
- 第2のマニフェストの整合性を検証すること
- デバイスパケットおよび第2のマニフェストを含むコンテナを受信すること
- 第2のマニフェストの整合性を検証すること
したがって、この第2のマニフェストは、第1の車両識別子を含むことができ、インストール方法は、このケースでは、以下を伴うステップを含むことができる。
- 第1の車両識別子を、車両内に格納された第2の車両識別子と比較すること
- 第1の識別子と第2の識別子との肯定的比較の場合のみ、デバイスパケットを伝送すること。
- 第1の車両識別子を、車両内に格納された第2の車両識別子と比較すること
- 第1の識別子と第2の識別子との肯定的比較の場合のみ、デバイスパケットを伝送すること。
したがってコンテナは、例えば、別の電子機器のための別のデバイスパケットを含むことができる。
このコンテナは、車両によって伝送されたリクエストに応答してリモートサーバから(例えばリモートサーバと車両との間で確立された通信(この通信は、車両とセルラー電話ネットワークとの間の無線リンクを部分的に使用することができる)を介して直接的に)さらに受信されてよく、1つの変形形態では、コンテナは、車両に設置されたリーダに挿入されたメモリカードから受信されてよい。
最後に、本発明は、車両に提供するための電子機器に関し、電子機器は以下を備える:
- データ処理コンポーネントのハッシュ値を含むマニフェストを含むデバイスパケットを受信するためのモジュール
- マニフェストの整合性を検証するためのモジュール
- データ処理コンポーネントを受信するためのモジュール
- データ処理コンポーネントのハッシュ値と、受信されたデータ処理コンポーネントとの間の対応関係を検証するためのモジュール
- マニフェストの整合性の肯定的検証、および対応関係の肯定的検証の場合のみ、データ処理コンポーネントをインストールするように構成されたインストールモジュール。
- データ処理コンポーネントのハッシュ値を含むマニフェストを含むデバイスパケットを受信するためのモジュール
- マニフェストの整合性を検証するためのモジュール
- データ処理コンポーネントを受信するためのモジュール
- データ処理コンポーネントのハッシュ値と、受信されたデータ処理コンポーネントとの間の対応関係を検証するためのモジュール
- マニフェストの整合性の肯定的検証、および対応関係の肯定的検証の場合のみ、データ処理コンポーネントをインストールするように構成されたインストールモジュール。
第1の車両識別子を含めるためのマニフェストをさらに提供することができ、したがって電子機器は、第1の車両識別子と、車両内に格納された車両の第2の識別子とを比較するためのモジュールを備えることができる。
インストールモジュールは、マニフェストの整合性の肯定的検証、第1の識別子と第2の識別子との肯定的比較、および対応関係の肯定的検証の場合のみ、データ処理コンポーネントをインストールするように構成されてよい。
マニフェストの検証がもたらす整合性および信憑性の保護以上に、マニフェスト内の対象の車両識別子を使用すると、合法性の保護を追加することができる。これは、アップデートするオンボード処理が、受信されたイメージが破損しておらず、正式で、かつ特定のハードウェアに対して互換性があることを間違いなく検証できるからであるが、これは、車両がイメージを正当に受信し得ることを必ずしも示唆していない。サイバー攻撃、またはエンドツーエンドの伝送チェーンにおける悪意の処理のイベントでは、ソースイメージの代わりに互換性のある車両イメージが挿入されることがある。したがってマニフェスト内の車両識別子により、本シナリオにおける詐欺のどのような発生も防ぐことができる。
このような電子機器は、例えば、プロセッサと、プロセッサによって実行可能なコンピュータプログラム命令を格納するメモリとを備える電子制御ユニット(またはコンピュータ)である。
上述のモジュールは、例えば、この事例では、(下記で説明されるような)当該のモジュールに帰する機能を実行するように構成された特定の命令がプロセッサによって実行されるとき、プロセッサと特定の命令との協働によって実行される。
当然、本発明の様々な特徴、変形形態、および実施形態は、非互換でないか、相互に排他的でない限り、様々な組合せに従って互いに関連付けられてよい。
添付の図面を参照しながら下記で行われる説明は、非限定的な例として示されており、本発明が含むもの、およびこれをどのように実装可能かについて、十分な理解をもたらすはずである。
図1のシステムは、車両V(例えば自動車)、携帯電話ネットワークN、ワイドエリアネットワークI(インターネット等)、およびリモートサーバSを備える。
車両Vは、通信ユニット2、処理ユニット4、第1の電子制御ユニット6、ゲートウェイ8、および第2の電子制御ユニット10を備える。
図1は本発明を理解するのに有利な車両Vの要素を示しているが、車両Vは当然、実際には他の要素、具体的には他の電子制御ユニットすなわちプロセッサを備える。
上述の電子機器(通信ユニット2、処理ユニット4、第1の電子制御ユニット6、ゲートウェイ8、および第2の電子制御ユニット10)はそれぞれ、実際にはマイクロプロセッサアーキテクチャの形で製造されてよく、特に本文脈では、これらの電子機器のそれぞれは、プロセッサならびに少なくとも1つのメモリ(例えばRAMおよび/または不揮発性メモリ)を備える。
処理ユニット4はそれ自体が、実際には、利用可能であれば、下記で説明される機能以外の機能を有する電子制御ユニットを使用して実行されてよい。
図1に概略的に示しているように、処理ユニット4は、通信ユニット2、第1の電子制御ユニット6、およびゲートウェイ8とデータを交換できるように、これらの種々の電子機器とに接続される。通信ユニット2、処理ユニット4、電子制御ユニット6、およびゲートウェイ8は、例えば、このために、例えばCANバス(「コントローラエリアネットワーク」)など、(同じ)ボード上のデータ処理ネットワーク(図示せず)に接続される。
ゲートウェイ8は、例えば専用バスによって、第2の電子制御ユニット10にさらに接続される。
車両Vは、下記で述べるような、本発明の構造上の変形形態で使用可能なメモリカード20用のリーダ12をさらに備えることができる。
通信ユニット2は、携帯電話ネットワークN内の(接続が例えば3G/4G、Wi-Fi等の物理的なタイプの接続であることを表す連続線で図1に概略的に示されているような)通信Cを実行するように構成され、したがって、(車両Vと、携帯電話ネットワークNの一部であるセルラー電話ネットワークとの間の無線リンクを特に使用することによる)携帯電話ネットワークN、およびワイドエリアネットワークIを介したリモートサーバSとの接続を確立することができ、これにより、処理ユニット4とリモートサーバSは、下記で説明されるような、特に車両V内のデータ処理コンポーネントのインストールの状況において、(接続が論理タイプの接続であることを表す点線で図1に概略的に示されているような)データDを交換することができる。
図2は、本発明の状況で使用可能なデータ編成の例を示す。
これらのデータは、具体的にはデータ処理コンポーネントCOMP1、COMP2、COMPiを備え、この事例では、1つ1つが用語「電子機器」を使用して呼ばれる、具体的には第1の電子制御ユニット6および/または第2の電子制御ユニット10といった、車両Vの1つまたは複数の電子機器にインストールすることが望ましい。
データ処理コンポーネントCOMP1、COMP2、COMPiは、この事例では、以下のように木構造および分岐構造内にカプセル化される。
- ダウンロードパケットDPACKは、それぞれが車両Vの電子機器に関連する1つまたは複数のデバイスパケットECUPACK1、ECUPACK2、ECUPACKnを備える。
- 各デバイスパケットECUPACKは、特定の電子機器のための1つまたは複数のデータ処理コンポーネントCOMP1、COMP2、COMPiに関するデータを含む。
- ダウンロードパケットDPACKは、それぞれが車両Vの電子機器に関連する1つまたは複数のデバイスパケットECUPACK1、ECUPACK2、ECUPACKnを備える。
- 各デバイスパケットECUPACKは、特定の電子機器のための1つまたは複数のデータ処理コンポーネントCOMP1、COMP2、COMPiに関するデータを含む。
ロシア人形型のこのカプセル化方法は、対象コンポーネントごと、つまり本明細書では、電子制御ユニットのソフトウェアをリモートアップデート(またはファームウェアオーバジエアー(FOTA))で修正可能な電子制御ユニット2、4、6、8、および10ごとにコンテンツを分けることを可能にするということの他に、同じ電子コンポーネント内でアップデートの一貫性を保証することも可能なので、特に有利である。さらに、このカプセル化によって、いくつかのステージを含む整合性/信憑性の検証のレベルを達成することができる。より具体的には、通信ユニット2は、ダウンロードパケットDPACKにおける第1のレベルの検証を実行可能になり、この検証が正しいことが証明されるとすぐ、デバイスパケットECUPACKが抽出され、対象コンポーネント2、4、6、8、および10に配布されることになる。したがって対象コンポーネント2、4、6、8、および10は、種々の暗号ハードウェアを用いるレベル2検証を実行可能になり、レベル2検証は、生成されることになるコンポーネントごとにコンテンツの分離を可能にする(コンポーネントの多くのプロバイダが存在し得る)。デバイスパケットECUPACKが認証された後、データ処理コンポーネントCOMP1、COMP2、COMPiが抽出され、次に第3の暗号レベルで正しいことが証明され、肯定的検証の場合、最終的にインストールされてよい。したがってこの処理は、しばしばセキュアなゾーンまたは保護されたゾーン(すなわち信頼できるゾーン)、およびセキュアでないゾーン(すなわち信頼できないゾーン)から成る通信ユニット2のために、2つのレベル(ダウンロードパケットDPACKが、信頼できない接続ゾーン内で検証され、デバイスパケットECUPACKが抽出されて信頼できるゾーンと共有されること、および、その検証が、信頼できるゾーンで実行されることになること)でリモートプロセッサのように検証を実行することをこの方法がこのように可能にするので、対象プロセッサが通信ユニット2の場合、特に有利である。このように、最終的に、対象ECUがローカルであろうとリモート(車両ネットワークの他のECU)であろうと、方法は、いくつかのレベルでの検証を可能にする。コンポーネントCOMPがデバイスパケットECUPACK内にない図2にさらに示されている別の方式では、コンポーネントCOMPは、2次交換処理で受信され、デバイスパケットECUPACK内の第1のインスタンスに収められたハッシュ値H(COMP1)、H(COMP2)、H(COMPi)で正しいことが証明されることになる。コンポーネント内にアップデートコンテンツをカプセル化することは、導入の制御を保証するために、イメージの証明を保証するようにコンストラクタレベルの電子署名が制御されることを可能にする。コンポーネントのこの署名動作は、車両製造業者の敷地で(特定の特権を有する)認定済のセキュリティエージェントによって、例えば手動で、実行されることになる。この動作がないと、破損していないコンテンツを車両に導入することができない。この署名レベルは、例えば手動式であり(特にASSIM署名(ASSIM signing))、導入の認可を制御することができる。このように、サプライヤによって提供された破損していない正式なバイナリアップデートコンテンツは、車両製造業者によって認定されたイメージだけを車両に伝送できることをプロセッサ2、4、6、8、または10に保証できるこの検証レベルがないと、プロセッサ2、4、6、8、または10によって利用されることが不可能になる。これは、導入前に対象ソフトウェアの品質が保証されることをさらに可能にする。
下記で説明されるように、これらのパケットのそれぞれが、データ処理コンポーネントのインストールのために使用されるデジタル署名を収める。下記で想定されるように、デジタル署名の検証は、本明細書で説明されることになる固有の暗号インフラストラクチャを必要とする。
提示を簡素化するために、どのデジタル署名も、単に「署名」と下記で呼ばれる。
以下は、特に下記で使用される:
- メタデータROOT.md、および秘密鍵ROOT.Kprivに関連付けられた公開鍵ROOT.Kpubを収めるルート証明書ROOT.cert
- メタデータCA.md、公開鍵CA.Kpub、および署名CA.sigを収める当局の証明書CA.cert
- メタデータR.md、公開鍵R.Kpub、および署名R.sigを収める製造業者の証明書R.cert
- 秘密鍵BK.Kprivに関連付けられた公開鍵BK.Kpub。
- メタデータROOT.md、および秘密鍵ROOT.Kprivに関連付けられた公開鍵ROOT.Kpubを収めるルート証明書ROOT.cert
- メタデータCA.md、公開鍵CA.Kpub、および署名CA.sigを収める当局の証明書CA.cert
- メタデータR.md、公開鍵R.Kpub、および署名R.sigを収める製造業者の証明書R.cert
- 秘密鍵BK.Kprivに関連付けられた公開鍵BK.Kpub。
秘密鍵CA.Kprivは、公開鍵CA.Kpubに関連付けられる。
同様に、秘密鍵R.Kprivは、公開鍵R.Kpubに関連付けられる。
用語、関連付けられた公開鍵および秘密鍵は、この事例では、「公開鍵インフラストラクチャ」(すなわちPKI)における関連付けられた公開鍵および秘密鍵を指すと理解されることを意図する。
このような文脈では、データのグループは、秘密鍵を使用する(この事例ではRSAタイプの)暗号署名アルゴリズムをデータのこのグループに適用することによって署名されてよく、次に、上述の秘密鍵に関連付けられた公開鍵を使用する(この事例では同様にRSAタイプの)関連付けられた暗号署名検証アルゴリズムを使用して、署名を検証することができる。
当局の証明書CA.certの署名CA.sigは、秘密鍵ROOT.Kprivを使用する暗号署名アルゴリズムを、メタデータCA.mdおよび公開鍵CA.Kpubによって形成されるグループに適用することによって取得される(この動作は、例えば証明当局によって実行される)。
製造業者の証明書R.certの署名R.sigはそれ自体が、秘密鍵CA.Kprivを使用する暗号署名アルゴリズムを、メタデータR.mdおよび公開鍵R.Kpubによって形成されるグループに適用することによって取得される(この動作も、上述の証明当局によって実行されることが可能である)。
図2に示されている様々なデータ構造が、ここで詳細に説明される。
インストールされることになる各データ処理コンポーネントCOMPは以下を含む:
- 当該の電子機器にインストールされることになる(実際には格納されることになる)データを含むコンテンツCONTEN
- 特に、インストールされることになるコンテンツのハッシュ値H(CONTEN)、および利用可能であれば、例えばこのコンポーネントによってアップデートされる機能を記述したものなど、データ処理コンポーネントを記述したものを収めるマニフェストCOMPIND
- マニフェストCOMPINDの署名SIG(COMPIND)。
- 当該の電子機器にインストールされることになる(実際には格納されることになる)データを含むコンテンツCONTEN
- 特に、インストールされることになるコンテンツのハッシュ値H(CONTEN)、および利用可能であれば、例えばこのコンポーネントによってアップデートされる機能を記述したものなど、データ処理コンポーネントを記述したものを収めるマニフェストCOMPIND
- マニフェストCOMPINDの署名SIG(COMPIND)。
インストールされることなるこれらのデータは、ソフトウェアまたはソフトウェアの一部(例えばソフトウェアアップデート)を構成することができる。したがって、このソフトウェアまたはソフトウェアの一部は、当該の電子機器のプロセッサによって少なくとも部分的に実行されるように構成される。1つの変形形態では、インストールされることになるこれらのデータは、当該の電子機器のプロセッサによるその後の操作のために格納されることになるデータ(例えば地図データ)でよい。
ハッシュ値H(CONTEN)は、(例えばタイプSHA-256の)ハッシュ値機能をコンテンツCONTENに適用することによって取得される。
署名SIG(COMPIND)は、秘密鍵BK.Kprivを使用する暗号署名アルゴリズムをマニフェストCOMINDに適用することによって取得される。
例えばこれらの動作は、当該の(例えばソフトウェアの)コンテンツCONTENの証明機関によって実行される。
各デバイスパケットECUPACKは、この事例では、以下を含む:
- 上記で説明されたような1つまたは複数のデータ処理コンポーネントCOMP1、COMP2、COMPi
- デバイスパケットECUPACKに収められたデータ処理コンポーネントCOMP1、COMP2、COMPiのそれぞれのためのハッシュ値H(COMP1)、H(COMP2)、H(COMPi)、ならびに利用可能であれば、車両識別子VIN、および/または、パケットに収められたデータ処理コンポーネントCOMP1、COMP2、COMPiを記述したものを含むマニフェストECUPACKIND
- マニフェストECUPACKINDの署名SIG(ECUPACKIND)。
- 上記で説明されたような1つまたは複数のデータ処理コンポーネントCOMP1、COMP2、COMPi
- デバイスパケットECUPACKに収められたデータ処理コンポーネントCOMP1、COMP2、COMPiのそれぞれのためのハッシュ値H(COMP1)、H(COMP2)、H(COMPi)、ならびに利用可能であれば、車両識別子VIN、および/または、パケットに収められたデータ処理コンポーネントCOMP1、COMP2、COMPiを記述したものを含むマニフェストECUPACKIND
- マニフェストECUPACKINDの署名SIG(ECUPACKIND)。
識別子VINを提供するためのいくつかの変形形態が実行されてよい。上述のようにデバイスパケットECUPACKに識別子VINを含めることによって、電子機器(例えば車両のプロセッサ)にインストールされたデータ処理コンポーネントが本当にこの車両に帰するコンポーネントであることをデバイスパケットECUPACKに保証することができる。これは、1つのコンポーネントが同じタイプの多くの車両に非常に適したものになり、例えば自分の車両のプロセッサを同じタイプの別の車両のプロセッサで置き替えるという可能性をユーザに提供するからである。デバイスパケットECUPACKにVIN識別子を含めることによって、この操作を回避することができる。
1つの変形形態では、それでも、図3に示されている変形形態におけるケースのように、例えば下記で説明されるマニフェストDPACKIND内に車両識別子VINを入れることによって、この操作に権限付与することが、それでもなお可能である。このケースでは、マニフェストDPACKIND内で受信された識別子VINと、(この事例では処理ユニット4内に)格納されているような車両Vの識別子との間の肯定的比較の場合のみ、(処理ユニット4を使用して)デバイスパケットECUPACKを当該の電子機器に伝送することを想定することが可能である。
想定され得る他の実施形態によれば、識別子VINは、例えばナビゲーションシステムの地図データを含むデータ処理コンポーネントなどの、特にいずれの車両とも互換性のあるデータ処理コンポーネントのためのマニフェストDPACKINDとマニフェストECUPACKINDの両方に入れられてよく、またはこれらの2つのマニフェストのどちらにも入れられなくてよい。
この事例では、車両Vの識別子VINは、車両に一意に関連付けられた番号であり、一般にVIN「車両識別番号(Vehicle Identification Number)」と呼ばれる。
ハッシュ値H(COMP1)、H(COMP2)、H(COMPi)は、例えば(当該の機器の要件、特にこの機器のアップデート要件による)デバイスパケットECUPACKの定義中に、当該のデータ処理コンポーネントCOMP1、COMP2、COMPiを構成するデータに(例えばタイプSHA-256の)ハッシュ関数をそれぞれ適用することによって取得される。
署名SIG(ECUPACKIND)は、(製造業者の証明書R.certに関連付けられた)秘密鍵R.Kprivを使用する暗号署名アルゴリズムをマニフェストECUPACKINDに適用することによって取得される。
例えば、これらの動作は、インストールされることになるデータ処理コンポーネントが、(識別子VINを使用して識別された)特定の車両における当該の電子機器のために定義されるとき、車両製造業者によって(または車両製造業者の代わりに)実行される。
実際には、例えば署名SIG(ECUPACKIND)は、例えばcmsフォーマット(「暗号メッセージシンタックス(Cryptographic Message Syntax)」)内のフィールドなど、デバイスパケットECUPACKに専用のフィールドに収められる。このケースでは、このフィールドは、署名SIG(ECUPACKIND)、当局の証明書CA.cert、および製造業者の証明書R.certを含むことができる。
ダウンロードパケットDPACKは、以下を含む:
- 上記で説明されたような、1つまたは複数のデバイスパケットECUPACK1、ECUPACK2、ECUPACKn
- 特にダウンロードパケットDPACKに収められたデバイスパケットECUPACK1、ECUPACK2、ECUPACKnのそれぞれのためのハッシュ値H(ECUPACK1)、H(ECUPACK2)、H(ECUPACKn)、および利用可能であれば、(当該のデバイスパケットの対象電子機器の各デバイスパケットECUPACK1、ECUPACK2、ECUPACKnについての例えば指示と共に)ダウンロードパケットDPACKに収められたデバイスパケットECUPACK1、ECUPACK2、ECUPACKnを記述したものを含むマニフェストDPACKIND
- マニフェストDPACKINDの署名SIG(DPACKIND)。
- 上記で説明されたような、1つまたは複数のデバイスパケットECUPACK1、ECUPACK2、ECUPACKn
- 特にダウンロードパケットDPACKに収められたデバイスパケットECUPACK1、ECUPACK2、ECUPACKnのそれぞれのためのハッシュ値H(ECUPACK1)、H(ECUPACK2)、H(ECUPACKn)、および利用可能であれば、(当該のデバイスパケットの対象電子機器の各デバイスパケットECUPACK1、ECUPACK2、ECUPACKnについての例えば指示と共に)ダウンロードパケットDPACKに収められたデバイスパケットECUPACK1、ECUPACK2、ECUPACKnを記述したものを含むマニフェストDPACKIND
- マニフェストDPACKINDの署名SIG(DPACKIND)。
ハッシュ値H(ECUPACK1)、H(ECUPACK2)、H(ECUPACKn)は、例えば、(対象電子機器、および機器のそれぞれについてのそれぞれの必要性の定義の後)ダウンロードパケットDPACKの定義中に、当該のデバイスパケットECUPACK1、ECUPACK2、ECUPACKnに(例えばタイプSHA-256の)ハッシュ関数をそれぞれ適用することによって取得される。
署名SIG(DPACKIND)は、(製造業者の証明書R.certに関連付けられた)秘密鍵R.Kprivを使用する暗号署名アルゴリズムをマニフェストDPACKINDに適用することによって取得される。
例えば、これらの動作は、当該の電子機器、およびこれらの電子機器にインストールされることになるデータ処理コンポーネントが定義されるとき、車両製造業者によって(または車両製造業者の代わりに)実行される。
実際には、例えば、署名SIG(DPACKIND)は、例えばcmsフォーマット(「暗号メッセージシンタックス」)内のフィールドなど、ダウンロードパケットDPACKの専用フィールドに収められる。このケースでは、このフィールドは、署名SIG(DPACKIND)、当局の証明書CA.cert、および製造業者の証明書R.certを含むことができる。
上記で説明されたアーキテクチャでは、データ処理コンポーネントCOMP1、COMP2、COMPiのそれぞれは、インストールの対象になる車両Vから独立している(また例えば車両全体のために使用され得る)ことに留意されたい。それでもデバイスパケットECUPACK1、ECUPACK2、ECUPACKn(および必然的にダウンロードパケットDPACK)は、車両Vのために特に構成される。
図3は、ダウンロードパケットDPACK内のデータの編成のために想定され得る変形形態を含む。
既に示されたように、この変形形態では、車両識別子VINは、マニフェストDPACKIND内に入れられる。
さらに、特定の電子機器に関するデータ処理コンポーネントCOMP1、COMP2、COMPiは、この電子機器のためのデバイスパケットECUPACK1に含まれないが、代わりに、下記において説明されるように、利用可能であれば、デバイスパケットECUPACK1から別々に伝送可能にするために、電子機器の外部にある。
デバイスパケットECUPACK1は、この事例では、以下を含む:
- 当該の電子機器に関連付けられたデータ処理コンポーネントCOMP1、COMP2、COMPiのそれぞれのためのハッシュ値H(COMP1)、H(COMP2)、H(COMPi)を含むマニフェストECUPACKIND
- マニフェストECUPACKINDの署名SIG(ECUPACKIND)。
- 当該の電子機器に関連付けられたデータ処理コンポーネントCOMP1、COMP2、COMPiのそれぞれのためのハッシュ値H(COMP1)、H(COMP2)、H(COMPi)を含むマニフェストECUPACKIND
- マニフェストECUPACKINDの署名SIG(ECUPACKIND)。
本発明による車両V内にデータ処理コンポーネントをインストールするための方法の例が、図4を参照しながらここで説明される。
この方法はステップE2で始まり、ステップE2の間に、処理ユニット4は、リモートサーバSに向けたリクエストREQを伝送する。このリクエストにより、車両Vは、例えば特定のソフトウェアコンポーネントまたは特定のデータ(地図データなど)をアップデートするために、データ処理コンポーネントが車両V内でのインストールに利用可能かどうかを決定しようとする。
例えば、リクエストREQは、処理ユニット4によって周期的に伝送される。実際には、例えばリモートサーバSの電子座標(coordonnees electroniques)が処理ユニット4内に格納され、リモートサーバSに向けたリクエストREQを伝送するために使用される。電子座標は、SSL(セキュアソケットレイヤ)などのセキュア接続を指すのが好ましい。
リクエストREQは、車両Vの識別子VINを含むことができる。
リモートサーバSはステップE4においてリクエストREQを受信し、データ処理コンポーネントが車両Vのためのダウンロードに利用可能かどうかを(例えばリクエストREQに含まれる識別子VINに基づいて)決定する。
この事例では、データ処理コンポーネントが車両Vでのダウンロードおよびインストールに利用可能であると仮定される。必然的にサーバSは、ステップE6においてグローバルコンテナGLOBを処理ユニット4に伝送する。
このグローバルコンテナGLOBは、マニフェストDPACKIND、関連付けられた署名SIG(DPACKIND)、およびデバイスパケットECUPACK1、ECUPACK2、ECUPACKnを含む。必然的に、実施形態によれば、このグローバルコンテナGLOBは、データ処理コンポーネントCOMP1、COMP2、COMPiを備えるか、備えない。
これは、第1の実施形態によれば、このステップE6において、データ処理コンポーネントCOMP1、COMP2、COMPiの全てまたは一部を伝送することもできるからである(したがって、ステップE6において伝送されたこれらのコンポーネントは、下記で説明されるステップE26では伝送されない)。したがって、これらのデータ処理コンポーネントは、デバイスパケットECUPACK内で(例えば図2に示されているデータ構造のフレームワーク内で)、または、当該のデバイスパケットECUPACK1と共に(例えば図3に示されているデータ構造のフレームワーク内で)伝送されてよい。
第2の実施形態によれば、ステップE6において伝送されたグローバルコンテナGLOBは、データ処理コンポーネントCOMP1、COMP2、COMPiのいずれも収めない(したがって、これらのデータ処理コンポーネントは、下記で説明されるステップE26による1つまたは複数のステップの間に伝送される)。
処理ユニット4は、ステップE8においてグローバルコンテナGLOBを受信し、したがって、グローバルコンテナGLOBを格納することができる。グローバルコンテナGLOBは、この事例では、リモートサーバSと車両Vとの間に確立された通信を介して直接的に受信され、この通信は、この事例では、既に言及された車両Vとセルラー電話ネットワークとの間の無線リンクを部分的に使用する。
1つの変形形態では、上記に示されているように、ステップE8において、リーダ12に挿入された(またこれにより処理ユニット4に接続された)メモリカード20からグローバルコンテナGLOBを(データ処理コンポーネントの有無に関わらず)受信することができる。ステップE2からE6は、このケースでは実行されない。
伝送されるグローバルコンテナGLOBがデータ処理コンポーネントCOMP1、COMP2、COMPi(またはこれらのうちの少なくともいくつか)を収めない実施形態では、受信されたグローバルコンテナGLOBを格納するために処理ユニット4内で必要とされるメモリサイズを削減できることに留意されたい。言い換えれば、ダウンロードパケットDPACKの全てを格納するのに適したバッファメモリを処理ユニット4内に用意する必要はない。
したがって処理ユニット4は、ステップE10において、特に署名を検証するためにその後使用される公開鍵R.Kpubを収める製造業者の証明書R.certの検証を実行する。
上記に示されているように、証明書R.certは、この事例では、ダウンロードパケットDPACKの(およびしたがってステップE8において受信されたグローバルコンテナGLOBの)cmsフォーマットのフィールド内に収められる。
製造業者の証明書R.certを検証するために、公開鍵CA.Kpubを使用する暗号署名検証アルゴリズムが、署名R.sigおよび署名済データ(この事例ではメタデータR.mdおよび公開鍵R.Kpub)に適用される。(公開鍵CA.Kpubは、上述のフォーマットCMSでフィールドにそれ自体が収められた証明書CA.certの一部であることに留意されたい。)実際には、例えば、署名済データのハッシュ値と、公開鍵CA.Kpubを使用する(この事例ではRSAタイプの)暗号アルゴリズムを署名R.sigに適用することによって取得された結果とが比較される。
検証できない場合(つまり上述のハッシュ値と上述の結果を比較するステップにおいて等しくない場合)、インストールプロセスを終了し、利用可能であれば、エラーメッセージをリモートサーバSに送信する。
ステップE10において肯定的検証の場合(つまり上述のハッシュ値と上述の結果を比較するステップにおいて等しい場合)、処理ユニットは、含められたときの日時と、メタデータR.mdに記載された有効期限の日時とを比較することによって、証明書R.certが期限切れになっていないかどうかを検証することができる。
証明書の有効期限が切れている場合、インストールプロセスを終了し、利用可能であれば、エラーメッセージをリモートサーバSに送信する。
証明書が有効な場合、処理ユニット4はステップE12において、(上記で説明されたように使用される公開鍵CA.Kpubを特に収める)当局の証明書CA.certの検証を実行する。
上記に示されているように、証明書CA.certは、この事例では、ダウンロードパケットDPACKの(およびしたがってステップE8において受信されたグローバルコンテナGLOBの)cmsフォーマットのフィールドに収められる。
当局の証明書CA.certを検証するために、公開鍵ROOT.Kpubを使用する暗号署名検証アルゴリズムが、署名CA.sigおよび署名済データ(この事例では、メタデータCA.mdおよび公開鍵CA.Kpub)に適用される。実際には、例えば、署名済データのハッシュ値と、公開鍵ROOT.KPubを使用する(この事例ではRSAタイプの)暗号アルゴリズムを署名CA.sigに適用することによって取得された結果とが比較される。
例えば、公開鍵ROOT.Kpubは、(処理ユニット4の製造中に)処理ユニット4の不揮発性メモリ内に格納される。
検証できない場合(つまり上述のハッシュ値と上述の結果を比較するステップにおいて等しくない場合)、インストールプロセスを終了し、利用可能であれば、エラーメッセージをリモートサーバSに送信する。
ステップE12において肯定的検証の場合(つまり上述のハッシュ値と上述の結果を比較するステップにおいて等しい場合)、処理ユニットは、含められたときの日時と、メタデータCA.mdに記載された有効期限の日時とを比較することによって、証明書CA.certが期限切れになっていないかどうかを検証することができる。
証明書の有効期限が切れている場合、インストールプロセスを終了し、利用可能であれば、エラーメッセージをリモートサーバSに送信する。
証明書が有効な場合、所与の時間の日時と、メタデータROOT.mdに記載されたルート証明書ROOT.certの有効期限の日時とを比較することによって、ルート証明書ROOT.certの有効性を同様に検証することができる。
証明書の有効期限が切れている場合、インストールプロセスを終了し、利用可能であれば、エラーメッセージをリモートサーバSに送信する。
証明書が有効な場合、処理ユニット4はステップE14において、ステップE8において受信されたグローバルコンテナGLOBの特定部分を検証する。
処理ユニットはステップE14において、(グローバルコンテナGLOBの中で受信された)マニフェストDPACKINDの整合性を特に検証する。
このために、処理ユニットは、公開鍵R.Kpubを使用する暗号署名検証アルゴリズムを署名SIG(DPACKIND)およびマニフェストDPACKINDに適用する。実際には、例えば、マニフェストDPACKINDのハッシュ値と、公開鍵R.Kpubを使用する(この事例ではRSAタイプの)暗号アルゴリズムを署名SIG(DPACKIND)に適用することによって取得された結果とが比較される。ステップE10において、公開鍵R.Kpubを収める証明書R.certの有効性が検証されたことに留意されたい。
検証できない場合(つまり上述のハッシュ値と上述の結果を比較するステップにおいて等しくない場合)、インストールプロセスを終了し、利用可能であれば、エラーメッセージをリモートサーバSに送信する。
ステップE14において肯定的検証の場合(つまり上述のハッシュ値と上述の結果を比較するステップにおいて等しくない場合)、ステップE16においてインストールプロセスを続け、ステップE16はここで説明される。
処理ユニット4はステップE16において、データ処理コンポーネントのインストールを担う電子機器(この事例では例えば第1の電子制御ユニット6および/またはゲートウェイ8)に様々なデバイスパケットECUPACKを配布する。
各デバイスパケットECUPACKは、当該の実施形態に応じて、データ処理コンポーネントCOMP1、COMP2、COMPi自体の有無に関わらず、特定の電子機器(この事例では、第1の電子制御ユニット6またはゲートウェイ8)のためのグローバルコンテナGLOBのデータ、つまり、この電子機器のためのデバイスパケットECUPACKnのデータを収める。
既に示されているように、実際には、ステップE6の中で、グローバルコンテナGLOBで伝送されることになる電子コンポーネントの全てまたは一部、およびしたがって、1つまたは複数のデータ処理コンポーネントを含むことになる少なくともいくつかのデバイスパケットECUPACKを提供することができる。
したがって当該の各電子機器は、ステップE18において、デバイスパケットECUPACKを受信する。このような電子機器(この事例では第1の電子制御ユニット6またはゲートウェイ8)のための方法の実装形態が下記で説明されるが、実際にはデバイスパケットECUPACKを受信する他の電子機器のために同様のステップが実行される。
したがって電子機器(この事例では第1の電子制御ユニット6またはゲートウェイ8)は、利用可能であれば、ステップE20において、製造業者の証明書R.certおよび当局の証明書CA.certの検証のステップを実行することができる。この事例で説明される例では、これらの証明書R.certおよびCA.certが、デバイスパケットECUPACKのcmsタイプのフィールドの一部であることに留意されたい。
(当該の電子機器6、8によって実行される)ステップE20の検証は、上記で説明されたステップE10およびE12において処理ユニット4によって実行される検証と同様であり、ここでは詳細に説明されない。
ステップE20において検証できない場合、当該の機器6、8内のインストールプロセスを終了する。さらにエラーメッセージを(例えばリモートサーバSへの伝送の可能性のために)処理ユニット4に送信することができる。
ステップE20において肯定的検証の場合、当該の電子機器6、8は、ステップE22において、(デバイスパケットECUPACKIND内で受信された)マニフェストECUPACKINDの整合性の検証を実行する。
このために、当該の電子機器6、8は、公開鍵R.Kpubを使用する暗号署名検証アルゴリズムを署名SIG(ECUPACKIND)およびマニフェストECUPACKINDに適用する。実際には、例えば、マニフェストECUPACKINDのハッシュ値と、公開鍵R.Kpubを使用する(この事例ではRSAタイプの)暗号アルゴリズムを署名SIG(ECUPACKIND)に適用することによって取得された結果とが比較される。(公開鍵R.Kpubを収める証明書R.certの有効性がステップE20の中で検証されたことに留意されたい。)
検証できない場合(つまり上述のハッシュ値と上述の結果を比較するステップにおいて等しくない場合)、当該の電子機器6、8におけるインストールプロセスを終了し、利用可能であれば、(例えばリモートサーバSへの伝送の可能性のために)エラーメッセージを処理ユニット4に送信する。
ステップE22において肯定的検証の場合(つまり上述のハッシュ値と上述の結果を比較するステップにおいて等しくない場合)、当該の電子機器6、8は、ステップE24において、マニフェストECUPACKINDに含まれる車両Vの識別子VINが電子機器6、8内の(例えば不揮発性メモリに)格納された車両Vの識別子VINに対応するかどうか(つまり実際に等しいかどうか)を検証する。
検証できない場合(つまりマニフェストECUPACKIND内で示された識別子VINと格納された識別子とが等しくない場合)、当該の電子機器6、8におけるインストールプロセスを終了し、利用可能であれば、(例えばリモートサーバSへの伝送の可能性のために)エラーメッセージを処理ユニット4に送信する。
ステップE24において肯定的検証の場合(つまりマニフェストECUPACKIND内で示された識別子VINと格納された識別子とが等しい場合)、インストールは、(ここで説明されるように、データ処理コンポーネントを受信した後)下記で説明されるステップE32において続けることができる。
インストールを担う電子機器6、8内の言及された処理と同時に、リモートサーバSは、ステップE26において、ダウンロードパケットDPACKの少なくとも1つのデータ処理コンポーネントCOMPiを処理ユニット4に伝送する。(これは図4に示されていないが、データ処理コンポーネントCOMPiのこの伝送が、処理ユニット4からの指示がリモートサーバSによって受信された後、開始されてよく、例えばこの指示は、データ処理コンポーネントCOMPiを格納するためのバッファメモリ内の空間が十分であることを示す。)
処理ユニット4は、ステップE28において、データ処理コンポーネントCOMPiを受信する。
1つのデータ処理コンポーネントCOMPiの処理がここで、下記で説明される。実際には、いくつかのデータ処理コンポーネントは、処理ユニット4のバッファメモリの容量に応じて同時にまたは後で受信され、データ処理コンポーネントCOMPiについて説明されたように処理される。
ステップE28において受信されたコンポーネントCOMPIによって、(グローバルコンテナGLOBのデータを使用して)デバイスパケットECUPACKnを補足することが可能になると、処理ユニット4は、利用可能であれば、ステップE29において、例えばマニフェストDPACKINDに収められたハッシュ値H(ECUPACKn)と、受信されたときにデバイスパケットECUPACKnにハッシュ関数(この事例ではSHA256)を適用することによって取得されたハッシュ値とを比較することによって、当該のデバイスパケットECUPACKnのコンテンツの検証を実行することができる。
検証できない場合(つまりマニフェストDPACKINDのハッシュ値H(ECUPACKn)が、受信されたデバイスパケットECUPACKnに基づいて取得されたハッシュ値とは異なる場合)、データ処理コンポーネントCOMPiを当該の電子機器6、8に通信せず、利用可能であれば、エラーメッセージをリモートサーバSに送信することができる。
ステップE29において肯定的検証の場合、つまりマニフェストDPACKINDのハッシュ値H(ECUPACKn)と、受信されたデバイスパケットECUPACKnに基づいて取得されたハッシュ値とが等しい場合、データ処理コンポーネントCOMPiは、ステップE30において、当該の電子機器6、8に配布される。
したがって当該の電子機器6、8は、ステップE32において、データ処理コンポーネントCOMPiを受信する。
したがって電子機器6、8は、このデータ処理コンポーネントCOMPiを検証することができる。
まず第1に、ステップE34において、電子機器6、8は、マニフェストECUPACKINDに収められたハッシュ値H(COMPi)と、受信されたデータ処理コンポーネントCOMPiにハッシュ関数(この事例ではSHA256)を適用することによって取得されたハッシュ値とを比較する。(ステップE22においてマニフェストECUPACKINDの整合性が検証されたことに留意されたい。)
否定的検証の場合(つまりマニフェストECUPACKINDに収められたハッシュ値H(COMPi)が、取得されたハッシュ値とは異なる場合)、データ処理コンポーネントCOMPiのインストールを終了する。
ステップE34において肯定的検証の場合(つまりマニフェストECUPACKINDに収められたハッシュ値H(COMPi)と、取得されたハッシュ値とが等しい場合)、データ処理コンポーネントCOMPiの検証は、ステップE36において続く。
電子機器6、8はまず、ステップE36において、データ処理コンポーネントCOMPiのマニフェストCOMPINDの整合性を検証する。
このために、当該の電子機器6、8は、公開鍵BK.Kpubを使用する暗号署名検証アルゴリズムを署名SIG(COMPIND)およびマニフェストCOMPINDに適用する。実際には、マニフェストCOMPINDのハッシュ値と、(この事例ではRSAタイプの)暗号アルゴリズムの署名SIG(COMPIND)を適用することによって取得された結果とが、例えば、公開鍵BK.KPubを使用して比較される。
例えば公開鍵BK.Kpubは、当該の電子機器6、8の不揮発性メモリに格納される。
検証できない場合(つまり上述のハッシュ値と上述の結果を比較するステップにおいて等しくない場合)、データ処理コンポーネントCOMPiのインストールプロセスを終了し、利用可能であれば、(例えばリモートサーバSへの伝送の可能性のために)エラーメッセージを処理ユニット4に送信する。
署名SIG(COMPIND)の肯定的検証の場合(つまり上述のハッシュ値と上述の結果を比較するステップにおいて等しい場合)、電子機器6、8は、マニフェストCOMPINDに収められたハッシュ値H(CONTEN)と、受信されたデータ処理コンポーネントCOMPiのコンテンツCONTENにハッシュ関数(この事例ではSHA256)を適用することによって取得されたハッシュ値とを比較する。
検証できない場合(つまりマニフェストCOMPINDのハッシュ値H(CONTEN)と取得されたハッシュ値とが等しくない場合)、データ処理コンポーネントCOMPiのインストールプロセスを終了し、利用可能であれば、(例えばリモートサーバSへの伝送の可能性のために)エラーメッセージを処理ユニット4に送信する。
肯定的検証の場合(つまりマニフェストCOMPINDのハッシュ値H(CONTEN)と取得されたハッシュ値とが等しくない場合)、インストール方法は、ここで説明されるように続く。
例えば車両Vが熱機関を有する車両のケースでは、したがって、熱機関の動作を待つステップE38を行うことができる(このステップにより、電子機器全てが動作しており、データ処理コンポーネントCOMPiが当該の電子機器に正しくインストールできることを熱機関に実際に保証することができる)。
熱機関が動作可能なとき(または熱機関のない車両についてはこの条件はない)、当該の電子機器6、8は、その後使用されることを視野に入れて、データ処理コンポーネントCOMPiのインストール、つまり不揮発性(書換え可能)メモリへのデータ処理コンポーネントCOMPiの格納を制御する。
いくつかのケースでは(例えば第1の電子制御ユニット6については)、データ処理コンポーネントCOMPiのインストールは、上記で説明された前の検証ステップE20からE36を実行したことがある電子機器自体(この事例では第1の電子制御ユニット6)の中で実行される。
対照的に他のケースでは(この事例では、ゲートウェイ8については)、インストールを担い、この文脈で前の検証ステップE20からE36を実行したことがある電子機器(この事例ではゲートウェイ8)は、別の電子機器、この事例では第2の電子制御ユニット10内でのデータ処理コンポーネントCOMPiのインストールを制御する。したがってゲートウェイ8は、例えば、第2の電子制御ユニット10の不揮発性(書換え可能な)メモリへのデータ処理コンポーネントCOMPiの格納を制御する。
この事例では、ここで説明されるように、インストールされてもすぐに使用される予定はないが、代わりに他の条件に従うときのデータ処理コンポーネントを提供する。
車両Vが熱機関を有する車両のとき、熱機関の動作が停止するのを待つステップE42を使用することができる。
車両Vの熱機関が停止すると(または車両Vが熱機関を使用しないとき)、処理ユニット4は、データ処理コンポーネントがインストールされ、使用する準備が整ったという指示をユーザインターフェース(例えば車両Vの客室内に配置された画面)に表示する(ステップE44)。
したがって処理ユニット4は、ステップE46において、例えば上述のユーザインターフェース(利用可能であれば、この画面がタッチスクリーンのとき上述の画面)を介して、ユーザ(例えば車両Vのドライバ)からの応答を待つ。
ユーザの否定的応答のケースでは、ステップE40においてインストールされたデータ処理コンポーネントは使用されない。
ステップE46においてユーザの肯定的応答のケースでは、処理ユニット4は、当該の様々な電子機器に(この事例では第1の電子制御ユニット6に、およびゲートウェイ8を介して第2の電子制御ユニット10に)、インストールされたデータ処理コンポーネントをアクティブにするためのコマンドCMDを伝送する(ステップE48)。
次に、インストールされたデータ処理コンポーネントをアクティブにする(ステップE50)。
ソフトウェアデータ処理コンポーネントについては、次に、当該のデータ処理コンポーネントに含まれる命令は、データ処理コンポーネントがインストールされた電子機器6、10のプロセッサによって実行されてよい。
操作可能なデータから形成されたデータ処理コンポーネントについては、当該のデータ処理コンポーネントに含まれるデータは、データ処理コンポーネントがインストールされた電子機器6、10のプロセッサによって操作されてよい。
Claims (13)
- 車両(V)に提供される電子機器(6、10)内にデータ処理コンポーネント(COMP1)をインストールするための方法であって、
- 前記データ処理コンポーネントのハッシュ値(H(COMP1))を含む第1のマニフェスト(ECUPACKIND)を含むデバイスパケット(ECUPACK)を受信すること(E18)と、
- 前記第1のマニフェスト(ECUPACKIND)の整合性を検証すること(E22)と、
- 前記データ処理コンポーネント(COMP1)を受信すること(E32)と、
- 前記データ処理コンポーネントの前記ハッシュ値(H(COMP1))と受信された前記データ処理コンポーネント(COMP1)との間の対応関係を検証すること(E34)と、
- 前記第1のマニフェスト(ECUPACKIND)の前記整合性の肯定的検証、および前記対応関係の肯定的検証の場合のみ、前記データ処理コンポーネント(CCOMP1)をインストールすること(E40)と
を伴うステップを含む、方法。 - 前記第1のマニフェスト(ECUPACKIND)が、第1の車両識別子(VIN)を含み、前記方法が、
- 前記車両の第1の識別子(VIN)を、前記車両(V)内に格納された前記車両の第2の識別子と比較すること(E24)と、
- 前記第1の識別子(VIN)と前記第2の識別子との肯定的比較の場合のみ、前記データ処理コンポーネント(COMP1)をインストールすること(E40)と
を伴うステップを含む、請求項1に記載の方法。 - 前記デバイスパケット(ECUPACK)が、第1の署名(SIG(ECUPACKIND))を含み、前記マニフェスト(ECUPACKIND)の前記整合性が、暗号署名検証アルゴリズムを前記第1の署名(SIG(ECUPACKIND))および前記第1のマニフェスト(ECUPACKIND)に適用することによって検証される、請求項1または2に記載の方法。
- 前記データ処理コンポーネント(COMP1)が、前記デバイスパケット(ECUPACK)から独立して受信される、請求項1から3のいずれか一項に記載の方法。
- 前記データ処理コンポーネント(COMP1)が、前記デバイスパケット(ECUPACK)内で受信される、請求項1から3のいずれか一項に記載の方法。
- - 前記デバイスパケット(ECUPACK)および第2のマニフェスト(DPACKIND)を含むコンテナ(GLOB)を受信すること(E8)と、
- 前記第2のマニフェスト(DPACKIND)の整合性を検証すること(E14)と
を伴うステップを含む、請求項1から5のいずれか一項に記載の方法。 - 前記コンテナ(GLOB)が、別の電子機器のための別のデバイスパケット(ECUPACK2)を含む、請求項6に記載の方法。
- 前記第2のマニフェスト(DPACKIND)が、第1の車両識別子(VIN)を含み、前記方法が、
- 前記第1の車両識別子(VIN)を、前記車両(V)内に格納された第2の車両識別子と比較すること(E12)と、
- 前記第1の識別子(VIN)と前記第2の識別子との肯定的比較の場合のみ、前記デバイスパケット(ECUPACK)を伝送すること(E16)と
を伴うステップを含む、請求項6または7に記載の方法。 - 前記コンテナ(GLOB)が、前記車両(V)によって伝送されたリクエスト(REQ)に応答して、リモートサーバ(S)から受信される、請求項6から8のいずれか一項に記載の方法。
- 前記コンテナ(GLOB)が、前記車両(V)に設置されたリーダ(12)に挿入されたメモリカード(20)から受信される、請求項6から8のいずれか一項に記載の方法。
- 前記データ処理コンポーネント(COMP1)が、第2の署名(SIG(COMPIND))およびコンテンツ(CONTEN)を含み、前記方法が、前記第2の署名(SIG(COMPIND))を使用して前記コンテンツ(CONTEN)の整合性を検証するステップ(E36)を含む、請求項1から10のいずれか一項に記載の方法。
- 車両に提供するための電子機器(6、8)であって、
- データ処理コンポーネントのハッシュ値(H(COMPi))を含むマニフェスト(ECUPACKIND)を含むデバイスパケット(ECUPACK)を受信するためのモジュールと、
- 前記マニフェスト(ECUPACKIND)の整合性を検証するためのモジュールと、
- 前記データ処理コンポーネント(COMPi)を受信するためのモジュールと、
- 前記データ処理コンポーネントの前記ハッシュ値(H(COMPi))と、受信された前記データ処理コンポーネント(COMPi)との間の対応関係を検証するためのモジュールと、
- 前記マニフェスト(ECUPACKIND)の前記整合性の肯定的検証、および前記対応関係の肯定的検証の場合のみ、前記データ処理コンポーネント(COMPi)をインストールするように構成されたインストールモジュールと
を備える、電子機器(6、8)。 - 前記マニフェスト(ECUPACKIND)が、前記車両の第1の識別子(VIN)を含み、前記電子機器が、
- 前記第1の識別子(VIN)を、前記車両(V)内に格納された前記車両(V)の第2の識別子と比較するためのモジュール
を備え、
前記インストールモジュールが、前記マニフェスト(ECUPACKIND)の前記整合性の肯定的検証、前記第1の識別子(VIN)と前記第2の識別子との肯定的比較、および前記対応関係の肯定的検証の場合のみ、前記データ処理コンポーネント(COMPi)をインストールするように構成される、請求項12に記載の電子機器(6、8)。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR1905119 | 2019-05-16 | ||
FR1905119A FR3096160B1 (fr) | 2019-05-16 | 2019-05-16 | Procédé d’installation d’un composant informatique et équipement électronique associé |
PCT/EP2020/060506 WO2020229074A1 (fr) | 2019-05-16 | 2020-04-15 | Procede d'installation d'un composant informatique et equipement electronique associe |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2022533105A true JP2022533105A (ja) | 2022-07-21 |
Family
ID=67875656
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2021568090A Pending JP2022533105A (ja) | 2019-05-16 | 2020-04-15 | コンピューティングコンポーネントをインストールするための方法および関連付けられた電子デバイス |
Country Status (7)
Country | Link |
---|---|
US (1) | US20220303139A1 (ja) |
EP (1) | EP3970315A1 (ja) |
JP (1) | JP2022533105A (ja) |
KR (1) | KR20220007740A (ja) |
CN (1) | CN113841358A (ja) |
FR (1) | FR3096160B1 (ja) |
WO (1) | WO2020229074A1 (ja) |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20130111212A1 (en) * | 2011-10-28 | 2013-05-02 | GM Global Technology Operations LLC | Methods to provide digital signature to secure flash programming function |
US9722781B2 (en) * | 2014-07-09 | 2017-08-01 | Livio, Inc. | Vehicle software update verification |
US9916151B2 (en) * | 2015-08-25 | 2018-03-13 | Ford Global Technologies, Llc | Multiple-stage secure vehicle software updating |
GB2541950B (en) * | 2015-09-07 | 2020-01-08 | Arm Ip Ltd | Methods for verifying data integrity |
-
2019
- 2019-05-16 FR FR1905119A patent/FR3096160B1/fr active Active
-
2020
- 2020-04-15 JP JP2021568090A patent/JP2022533105A/ja active Pending
- 2020-04-15 CN CN202080035832.0A patent/CN113841358A/zh active Pending
- 2020-04-15 US US17/610,888 patent/US20220303139A1/en active Pending
- 2020-04-15 EP EP20717217.2A patent/EP3970315A1/fr active Pending
- 2020-04-15 WO PCT/EP2020/060506 patent/WO2020229074A1/fr active Application Filing
- 2020-04-15 KR KR1020217041238A patent/KR20220007740A/ko unknown
Also Published As
Publication number | Publication date |
---|---|
WO2020229074A1 (fr) | 2020-11-19 |
FR3096160B1 (fr) | 2021-09-10 |
FR3096160A1 (fr) | 2020-11-20 |
US20220303139A1 (en) | 2022-09-22 |
CN113841358A (zh) | 2021-12-24 |
EP3970315A1 (fr) | 2022-03-23 |
KR20220007740A (ko) | 2022-01-18 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN110225063B (zh) | 汽车车载***的升级方法、升级***、服务器及车载终端 | |
US8856536B2 (en) | Method and apparatus for secure firmware download using diagnostic link connector (DLC) and OnStar system | |
WO2015080108A1 (ja) | プログラム更新システム及びプログラム更新方法 | |
US9132790B2 (en) | In-vehicle network system | |
EP1712992A1 (en) | Updating of data instructions | |
US8972736B2 (en) | Fully authenticated content transmission from a provider to a recipient device via an intermediary device | |
US20180060589A1 (en) | Apparatus and associated method for authenticating firmware | |
EP3276876B1 (en) | Management device, vehicle, management method, and computer program | |
EP3399691B1 (en) | Onboard computer system, vehicle, management method, and computer program | |
CN112534793A (zh) | 一种车载设备升级方法及相关装置 | |
WO2021032132A1 (zh) | 车载***安全保护方法及设备 | |
JP6192673B2 (ja) | 鍵管理システム、鍵管理方法およびコンピュータプログラム | |
KR20220065223A (ko) | 추가 하드웨어 모듈을 이용하는 자동차 ecu 업데이트 방법 | |
CN112311799A (zh) | 一种Tbox固件的OTA安全升级方法 | |
JP2022533105A (ja) | コンピューティングコンポーネントをインストールするための方法および関連付けられた電子デバイス | |
JP2018006782A (ja) | データ提供システム、データ提供装置、車載コンピュータ、データ提供方法、及びコンピュータプログラム | |
CN109802929B (zh) | 基于双***的客户端程序升级方法及计算机可读存储介质 | |
US20220209946A1 (en) | Key revocation for edge devices | |
EP4325354A1 (en) | Software upgrade method and related product | |
RU2812276C2 (ru) | Способ установки вычислительного компонента и сопутствующее электронное устройство | |
US8522359B2 (en) | Apparatus and method for automatic update | |
JP6672243B2 (ja) | データ提供システム、データ提供装置、データ提供方法、及びデータ提供プログラム | |
CN111226214B (zh) | 用于确认密码密钥的***和方法 | |
CN112311556B (zh) | 设备认证的方法、设备控制的方法、节点、设备、区块链 | |
JP7464013B2 (ja) | センタ、otaマスタ、方法、プログラム、及び車両 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20230316 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20240313 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20240319 |
|
A601 | Written request for extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A601 Effective date: 20240619 |