JP2024503602A - エッジデバイスのための鍵無効化 - Google Patents

エッジデバイスのための鍵無効化 Download PDF

Info

Publication number
JP2024503602A
JP2024503602A JP2023540166A JP2023540166A JP2024503602A JP 2024503602 A JP2024503602 A JP 2024503602A JP 2023540166 A JP2023540166 A JP 2023540166A JP 2023540166 A JP2023540166 A JP 2023540166A JP 2024503602 A JP2024503602 A JP 2024503602A
Authority
JP
Japan
Prior art keywords
key
instructions
software
instruction
revocation
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
Application number
JP2023540166A
Other languages
English (en)
Inventor
ジョナサン・ノア・サイモン
ツェ・レイ・プー
Original Assignee
アナログ ディヴァイスィズ インク
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by アナログ ディヴァイスィズ インク filed Critical アナログ ディヴァイスィズ インク
Publication of JP2024503602A publication Critical patent/JP2024503602A/ja
Pending legal-status Critical Current

Links

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/08—Key distribution or management, e.g. generation, sharing or updating, of cryptographic keys or passwords
    • H04L9/0891—Revocation or update of secret information, e.g. encryption key update or rekeying
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00—Network architectures or network communication protocols for network security
    • H04L63/12—Applying verification of the received information
    • H04L63/123—Applying verification of the received information received data contents, e.g. message integrity
    • 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
    • H04W—WIRELESS COMMUNICATION NETWORKS
    • H04W12/00—Security arrangements; Authentication; Protecting privacy or anonymity
    • H04W12/04—Key management, e.g. using generic bootstrapping architecture [GBA]
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/602—Providing cryptographic facilities or services

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computing Systems (AREA)
  • Stored Programmes (AREA)
  • Storage Device Security (AREA)

Abstract

本明細書では、デバイスのローカルネットワークの外では通信できないデバイス上で鍵無効化を遠隔で行う技術が説明される。技術は、デバイスに送信されるソフトウェア更新命令に鍵無効化命令を含めることを包含する。デバイスは、デバイス上で実行するのに安全かどうかを判定するために、１つ以上の鍵を使用してソフトウェア更新命令を検証し得る。例えば、デバイスは、ソフトウェア更新命令が信頼できるソフトウェアプロバイダによって送信されたことを検証し得る。デバイスは、ソフトウェア更新命令に含まれる鍵無効化命令を実行して、鍵のうちの１つの鍵の使用を無効化し、無効化された鍵の代わりに新しい鍵の使用を開始し得る。

Description

関連出願
本願は、弁護士整理番号Ｇ０７６６．７０３３８ＵＳ００で２０２０年１２月３１日に出願された「ＫＥＹ ＲＥＶＯＣＡＴＩＯＮ ＦＯＲ ＥＤＧＥ ＤＥＶＩＣＥＳ」と題された米国仮出願第６３／１３２，９９２号の３５ＵＳＣ§１１９（ｅ）に基づく利益を主張するものであり、その全体が参照により本明細書に組み込まれる。
本明細書に記載の実施形態は、デバイスのローカルネットワーク内の通信に限定されているデバイス上で鍵無効化を遠隔で行うことに関する。
デバイスは、データを暗号化及び／又は復号化するなどの暗号動作を行うために鍵を使用し得る。デバイスによって使用される鍵は、動作から取り除かれる必要がある場合がある。例えば、デバイスは、暗号化及び／又は復号化のために１つの鍵を使用することを停止し、その鍵を新しい鍵に置き換える必要があり得る。デバイスは、１つの鍵の使用を無効化し、無効化された鍵の代わりに新しい鍵の使用を開始するための鍵無効化のプロセスを行い得る。
本明細書では、デバイスのローカルネットワークの外では通信できないデバイス上で鍵無効化を遠隔で行う技術が説明される。技術は、デバイスに送信されるソフトウェア更新命令に鍵無効化命令を含めることを包含する。デバイスは、デバイス上で実行するのに安全かどうかを判定するために、１つ以上の鍵を使用してソフトウェア更新命令を検証し得る。例えば、デバイスは、ソフトウェア更新命令が信頼できるソフトウェアプロバイダによって送信されたことを検証し得る。デバイスは、ソフトウェア更新命令に含まれる鍵無効化命令を実行して、鍵のうちの１つの鍵の使用を無効化し、無効化された鍵の代わりに新しい鍵の使用を開始し得る。
いくつかの実施形態では、デバイスは、各々が異なる当事者に関連付けられた複数の鍵を使用してソフトウェア更新命令を検証し得る。例えば、１つの鍵は、ソフトウェアプロバイダの署名を検証するために使用され得、別の鍵は、デバイスのユーザの署名を検証するために使用され得る。デバイスは、両方の鍵を使用してソフトウェア更新命令が検証されたときに、ソフトウェア更新命令に含まれる無効化命令を実行するように構成され得る。複数の鍵を使用すると、敵対者は、鍵無効化を開始するために２人の異なる当事者からの２つの別個の鍵にアクセスする必要があるので、不適切な鍵無効化がデバイスによって行われることに対する追加のセキュリティ層が提供される。
いくつかの実施形態によれば、デバイスのローカルネットワーク内の通信に限定されたデバイス上で鍵無効化を行うための方法が提供される。デバイスは、第１の鍵及び第２の鍵を記憶する。方法は、デバイスのプロセッサを使用して、デバイスのローカルネットワーク内のホストシステムから、デバイスにインストールされたソフトウェアを更新するための命令を受信することであって、命令は第１の鍵の無効化のための命令を含む、受信することと、命令を実行することであって、命令の実行は、デバイスに、第１の鍵の使用を無効化させ、かつ第１の鍵の代わりに第３の鍵の使用を開始させる、実行することと、を行うことを含む。
いくつかの実施形態によれば、ローカルネットワークの一部を形成し、かつローカルネットワーク内の通信に限定されたデバイスが提供される。デバイスは、無線通信回路と、第１の鍵及び第２の鍵を記憶するように構成されたメモリと、プロセッサであって、無線通信回路を使用してローカルネットワーク内のホストシステムから、デバイスにインストールされたソフトウェアを更新するための命令を受信することであって、命令は第１の鍵の無効化のための命令を含む、受信することと、命令を実行することであって、命令の実行は、デバイスに、第１の鍵の使用を無効化させ、かつ第１の鍵の代わりに第３の鍵の使用を開始させる、実行することと、を行うように構成されたプロセッサと、を備える。
デバイスへの接続を有さずにデバイス上で鍵無効化を行うためのシステム。デバイスは、第１の鍵を有する。システムは、無線通信回路と、プロセッサであって、デバイスのローカルネットワーク内のホストシステムに、デバイスにインストールされたソフトウェアを更新するための命令を送信することであって、命令は、デバイスによって実行されると、デバイスに、デバイスの第１の鍵の使用を無効化させ、かつ第１の鍵の代わりに第２の鍵の使用を開始させる、送信することを行うように構成されたプロセッサと、を備える。
デバイスのローカルネットワーク内の通信に限定されたデバイス。デバイスは、無線通信回路と、第１の鍵を記憶するように構成されたメモリと、プロセッサであって、無線通信回路を使用してローカルネットワーク内のホストシステムから、デバイスにインストールされたソフトウェアを更新するための命令を受信することであって、命令は第１の鍵の無効化のための命令を含む、受信することと、第１の鍵を使用して命令を検証することと、鍵を使用して命令を検証した後に命令を実行することであって、命令の実行は、デバイスに、第１の鍵の使用を無効化させ、かつ第１の鍵の代わりに第２の鍵の使用を開始させる、実行することと、を行うように構成されたプロセッサと、を備える。
本明細書に記載の技術のいくつかの実施形態が実装され得る例示的なシステムを示す。 本明細書に記載の技術のいくつかの実施形態による、デバイスの例示的なソフトウェアアーキテクチャを示す。 本明細書に記載の技術のいくつかの実施形態による、例示的なソフトウェア更新命令セットを示す。 本明細書に記載の技術のいくつかの実施形態による、デバイスに第１の鍵を配置するソフトウェアプロバイダシステムを示す。 本明細書に記載の技術のいくつかの実施形態による、デバイスに第２の鍵を配置する図２Ａのデバイスのユーザに関連付けられたシステムを示す。 本明細書に記載の技術のいくつかの実施形態による、デバイスが鍵無効化を行うための例示的なプロセスを示す。 本明細書に記載の技術のいくつかの実施形態による、ソフトウェア更新命令を検証する例示的なプロセスを示す。 本明細書に記載の技術のいくつかの実施形態による、システムがデバイス上で鍵無効化を開始するための例示的なプロセスを示す。 本明細書に記載の技術のいくつかの実施形態を実装するために使用され得る例示的なコンピュータシステムを示す。
「エッジデバイス」と称されることもある特定のコンピューティングデバイスは、ローカルネットワーク外で通信することができず、したがって、ローカルネットワーク外で通信するためにホストシステムに依存する。例えば、エッジデバイスは、インターネットを介してシステムと通信するために、エッジデバイスに近接して位置するホストシステムに依存し得る。ローカルネットワークへのアクセスのないシステム（「外部システム」）又はエッジデバイスへの物理的アクセスのないシステムは、ホストシステムを通してエッジデバイスと通信することに限定される。説明用実施例として、エッジデバイスは、バッテリバック内に密封されているバッテリ監視デバイスであり得る。バッテリ監視デバイスは、バッテリが製品（例えば、自動車）に設置され使用されている間、バッテリの状態を監視し得る。バッテリ監視デバイスが製品上に配備されている間、バッテリ監視デバイスは、インターネットを介して通信することができない場合があり、したがって、製造業者のコンピュータシステムは、バッテリ監視デバイスに近接するホストシステムを通して（例えば、監視データを回収するために）バッテリ監視デバイスと通信することに限定され得る。
エッジデバイスは、暗号動作を行う際に使用するための１つ以上の鍵を記憶し得る。暗号動作は、データを暗号化すること及び／又はデータを復号化することを含み得る。例えば、エッジデバイスは、デジタル署名のデータを復号化するための鍵を使用して、デジタル署名を検証し得る。別の実施例として、エッジデバイスは、デバイスのデジタル署名としてデータを暗号化するための鍵を使用し得る。エッジデバイスはまた、デバイスにインストールされたソフトウェアを検証するための鍵を使用し得る。エッジデバイスにインストールされたソフトウェアは、ソフトウェアプロバイダのシステム、エッジデバイスのユーザのシステム、及び／又は別の外部システムなどの１つ以上の外部システムによって、鍵を使用してデジタル署名されている場合がある。エッジデバイスは、ソフトウェアにデジタル署名するために使用される鍵に対応する鍵を記憶し得、その記憶された鍵を使用して、ソフトウェアが信頼できるソースから、例えばソフトウェアプロバイダからであることを検証し得る。説明用実施例として、デバイスは、デバイスにインストールされたソフトウェアにデジタル署名するために使用された秘密鍵に対応する公開鍵を記憶し得る。この実施例では、デバイスは、その記憶された公開鍵を使用してソフトウェアのデジタル署名を検証してから、ソフトウェアがデバイスを動作させることを可能にし得る。
エッジデバイスの寿命を通して、エッジデバイスによる鍵の使用が停止され（「無効化され」）、新しい鍵の使用が開始される鍵無効化を行うことが望ましいか、又は必要でさえあり得る。例えば、ソフトウェアプロバイダのコンピュータシステムに記憶された秘密鍵がセキュリティ破壊された場合、製造業者のコンピュータシステムから無許可の通信を受信することに対して易受容性であることからデバイスを保護するために、デバイス上の対応する鍵は無効化される必要があり得る。例えば、敵対エンティティは、セキュリティ破壊された秘密鍵を使用してソフトウェアをデバイスに送信し、デバイスの無許可の制御を得る可能性がある。秘密鍵に対応する鍵を無効化しなければ、デバイスは、敵対エンティティによって提供されたソフトウェアは使用が無許可であることを検出できないであろう。エッジデバイスは、各々が鍵を使用してデバイス上のソフトウェアを検証する多くのエッジデバイスのうちの１つであり得るので、この問題は更に増大され得る。したがって、鍵は、一団のユーザデバイスに記憶され得る。一団のデバイスからの鍵を無効化しなければ、敵対エンティティは、一団の全てのデバイスに対して無許可の制御を得る可能性がある。説明用実施例として、一団の車両センサの各々は、センサにインストールされたソフトウェアのプロバイダの秘密鍵に対応する公開鍵を記憶し、その鍵を使用して、ソフトウェアがロードされるときにソフトウェアを検証してから、ソフトウェアがセンサを制御することを可能にし得る。敵対者がソフトウェアプロバイダの秘密鍵へのアクセスを得ようとした場合、敵対者は、秘密鍵を使用して署名された車両センサに自身のソフトウェアを送信できる可能性がある。車両センサはまだ秘密鍵に対応する鍵を使用しているので、車両センサは、敵対者のソフトウェアをロードし、それがセンサを制御することを可能にするであろう。
本発明者らは、エッジデバイスとの通信における制限の故に、エッジデバイス上で遠隔鍵無効化を行うことが困難であることを認識した。鍵無効化を開始する必要があるシステム（例えば、ソフトウェアプロバイダシステム）は、そうするためにエッジデバイスと直接通信することができない。代わりに、エッジデバイス上での鍵無効化は、（例えば、ローカルネットワークを介して）エッジデバイスと通信することができる中間ホストシステムによって開始されるであろう。しかしながら、ホストシステムから鍵無効化命令を受信するエッジデバイスは、エッジデバイスが要求の妥当性を検証するために第三者検証機関と通信することができないので、鍵無効化要求が有効であることを検証することができない。例えば、エッジデバイスは、信頼できるソフトウェアプロバイダシステムによって鍵無効化要求が生成されたことを検証するために、独立した第三者認証機関にインターネットを通してアクセスすることはできない。エッジデバイスは、要求を送信したホストシステムがセキュリティ破壊されているか、又はホストシステムから受信した鍵無効化要求が敵対エンティティによって開始された場合、気付かないであろう。従来の技術では、第三者検証機関なしにエッジデバイス上で遠隔鍵無効化を安全に行うことは可能でない。
本発明者らは、第三者検証機関を必要とせずに、エッジデバイス上で遠隔鍵無効化を安全に行うための技術を開発した。技術は、遠隔鍵無効化を開始するためにホストシステムに依存しない遠隔鍵無効化プロセスを提供する。これにより、セキュリティ破壊されたホストシステム、又はホストシステムと通信するセキュリティ破壊されたシステムが、エッジデバイス上で無許可の鍵無効化を行うのを防ぐ。技術は、安全なソフトウェア更新プロセスを活用して、鍵無効化を行う。
本明細書に記載の技術のいくつかの実施形態は、安全なソフトウェア更新手順を使用して、デバイスのローカルネットワーク内の通信に限定されているデバイス上で鍵無効化を行う。技術は、鍵無効化を行うためのソフトウェア命令を、デバイスに提供されたソフトウェア更新命令内に埋め込む。デバイスがソフトウェア更新命令を受信すると、デバイスは、ソフトウェア命令を検証して実行し、結果として、鍵の使用を無効化し、無効化された鍵の代わりに新しい鍵の使用を開始し得る。技術は、エッジデバイス上での鍵無効化の開始を、エッジデバイス上のソフトウェアを更新するために使用される安全なソフトウェア更新手順に限定し、したがって、ホストシステムが鍵無効化を開始することを許可しない。いくつかの実施形態では、デバイスのローカルネットワークには、デバイスによって受信された命令を検証するためにデバイスが使用することができる第三者検証機関が欠けている。したがって、デバイスは、いかなるそのような第三者検証機関とも通信できない場合がある。鍵無効化命令をソフトウェア更新命令内に埋め込むことによって、いくつかの実施形態は、デバイスが鍵無効化を要求するために（例えば、チャレンジ応答プロトコルにおいて）通信に参加する必要性を排除する。これにより、デバイスによって送信された鍵無効化を行う要求を傍受することにより、敵対者が無効化された鍵の代わりに使用する自身の新しい鍵を提供する機会が排除される。代わりに、デバイスは、その鍵のうちの１つ以上を使用して、デバイスに提供されたソフトウェア更新命令を検証する。鍵無効化は、ソフトウェア更新命令が検証されれば行われ、そうでなければ実行されない。
本明細書に記載の技術のいくつかの実施形態は、エッジデバイスの信頼できるソフトウェアプラットフォームを使用して遠隔鍵無効化を行う。信頼できるソフトウェアプラットフォームは、デバイスの鍵がセキュリティ破壊されている場合でも、デバイスが鍵無効化を行うことを可能にし得る。デバイスの信頼できるソフトウェアプラットフォームは、各々が別個の当事者によって提供された２つの鍵を使用して、デバイスにロードされたソフトウェアを検証する。信頼できるソフトウェアプラットフォームは、連続してロードされる複数のソフトウェア層を含む。ソフトウェア層は、２つの鍵を使用してソフトウェアを検証してからソフトウェアがデバイスを動作させることを可能にする、１つ以上の信頼できるブートローダを含み得る。
したがって、本明細書に記載の技術は、鍵無効化が安全な様態で行われることを可能にすることによって、エッジデバイスの安全性を改善する。エッジデバイスが第三者検証機関と通信することができないことにより、従来の技術は、命令が信頼できるソース（例えば、デバイス製造業者及び／又はデバイスにインストールされたソフトウェアのプロバイダ）によって送信されたことを検証することなく、無効化命令を実行することをエッジデバイスに要求するか、あるいは、そうでなければ、エッジデバイスに鍵無効化機能を含まず、したがって、デバイスの鍵に対応する鍵へのアクセスを得る敵対者（例えば、デバイスに記憶された公開鍵に対応する秘密鍵を取得する敵対者）に対して易受容性である。本明細書に記載の技術は、セキュリティ破壊された外部システムからの通信に対する保護のための鍵無効化機能と、鍵無効化命令が信頼できるソースからのものであることを検証する能力とを含む、より安全なエッジデバイスを提供する。
いくつかの実施形態は、１回限りの無効化を可能にし得、その場合、エッジデバイスは、鍵が無効化されたかどうかを示すフラグを記憶する。いくつかの実施形態は、所定の数の鍵無効化を可能にし得、その場合、エッジデバイスは各無効化の間、一組の鍵から選択する。いくつかの実施形態は、無制限の数の無効化を可能にし得、各無効化は鍵を更新する。本明細書に記載の技術のいくつかの実施形態は、１つの鍵を使用することを停止し、別の鍵の使用を開始するようにエッジデバイスに示す鍵選択メカニズムを含む。安全な鍵メカニズムは、鍵が無効化されたことを示すフラグと、新しい鍵の指示とを使用し得る。
図１は、本明細書に記載の技術のいくつかの実施形態が実装され得る例示的なシステム１００を示す。システム１００は、ローカルネットワーク１１０内のデバイス１０２及びホストシステム１０４と、ネットワーク１０８を通してホストシステム１０４と通信するソフトウェアプロバイダシステム１０６とを含む。デバイス１０２は、エッジデバイスである。図１に示されたように、デバイス１０２は、デバイスのローカルネットワーク１１０内のデバイスとの通信に限定される。デバイス１０２は、ネットワーク１０８を通してソフトウェアプロバイダシステム１０６と通信することができないか、又は、そうでなければ、ソフトウェアプロバイダシステム１０６と直接通信することはできない。
ネットワーク１０８は、ソフトウェアプロバイダシステム１０６がホストシステム１０４とそれを通して通信し得る任意の好適な通信ネットワークであり得る。いくつかの実施形態では、ネットワーク１０８は、１つ以上の車両ネットワークを含み得る。例えば、ネットワーク１０８は、ソフトウェアプロバイダシステム１０６がホストシステム１０６とそれを通して通信し得るコントローラエリアネットワーク（ＣＡＮ）を含み得る。ネットワーク１０８は、ＣＡＮを通してホストシステム１０４及びソフトウェアプロバイダシステム１０６と通信する電子制御ユニット（ＥＣＵ）を含み得る。いくつかの実施形態では、ネットワーク１０８は、ローカルエリアネットワーク（ＬＡＮ）を含み得る。いくつかの実施形態では、ネットワーク１０８は、リモートネットワーク（例えば、インターネット）を含み得る。いくつかの実施形態では、ネットワーク１０８は、ソフトウェアプロバイダシステム１０６とホストシステム１０４との間のローカル接続であり得る。
デバイス１０２は、様々な構成要素を含む。図１に示されたように、デバイス１０２は、プロセッサ１０２Ａ、無線通信回路１０２Ｂ、及びメモリ１０２Ｃを含む。いくつかの実施形態では、デバイス１０２は、プロセッサ１０２Ａ、無線通信回路１０２Ｂ、及びメモリ１０２Ｃを含むシステムオンチップ（ＳｏＣ）を含み得る。
プロセッサ１０２Ａは、ソフトウェア命令を実行するように構成された電子回路を備える。例えば、プロセッサ１０２Ａは、マイクロコントローラ、マイクロプロセッサ、埋め込みプロセッサ、デジタル信号プロセッサ（ＤＳＰ）、グラフィック処理ユニット（ＧＰＵ）、ニューラルプロセッシングユニット（ＮＰＵ）、及び／又は別の好適なプロセッサを備え得る。
プロセッサ１０２Ａは、鍵無効化を行うように構成され得る。プロセッサ１０２Ａは、デバイス１０２に（例えば、メモリ１０２Ｃ内に）記憶されたソフトウェア命令を実行することによって無効化を行い得る。プロセッサ１０２Ａは、デバイス１０２のローカルネットワーク１１０内のホストシステム１０４から、デバイス１１０にインストールされたソフトウェアを更新するための命令を受信することによって鍵無効化を行うように構成され得る。デバイス１１０にインストールされたソフトウェアを更新するための命令は、デバイスにインストールされたソフトウェアの更新のためのソフトウェア命令を含み得る。例えば、ソフトウェア命令は、デバイスにインストールされたソフトウェアアプリケーションのための更新されたソフトウェアイメージを含み得る。命令は、（例えば、メモリ１０２Ｃ内に記憶された）鍵の無効化のための命令を更に含み得る。プロセッサ１０２Ａが鍵無効化命令を実行するとき、それらは、デバイス１０２に、１つの鍵の使用を無効化させ、かつ無効化された鍵の代わりに別の鍵の使用を開始させる。いくつかの実施形態では、無効化命令は、プロセッサ１０２Ａによって実行されると、プロセッサ１０２Ａに、デバイス１０２のメモリ１０２Ｃからの新しい鍵にアクセスさせ、第１の鍵の代わりに後続の動作で新しい鍵を使用するようにデバイス１０２を構成し得る。例えば、無効化命令は、プロセッサ１０２Ａに、デバイス１０２のフラッシュメモリからの新しい鍵にアクセスさせ得る。いくつかの実施形態では、無効化命令は、新しい鍵を含み得る。そのような実施形態では、プロセッサ１０２Ａは、無効化命令からの新しい鍵をそのメモリ１０２Ｃ内にコピーし、第１の鍵の代わりに後続の動作で新しい鍵を使用し得る。
説明用実施例として、デバイス１０２は、車両（例えば、車両の気候システム制御、クルーズ制御、自動運転、ブレーキ、及び／又は別の態様）を電子制御するためにそこにインストールされたソフトウェアを有する車両コントローラデバイスであり得る。ホストシステム１０４は、デバイス１０２がソフトウェア更新をそれを通して受信する、車両の中央電子制御ユニット（ＥＣＵ）であり得る。この実施例では、車両コントローラデバイスは、鍵無効化命令も含むその制御ソフトウェアの更新を受信し得る。例えば、車両コントローラデバイスは、敵対者がデバイス１０２の以前の鍵に対応する秘密鍵へのアクセスを得たというソフトウェアプロバイダシステム１０６の違反に起因して、鍵無効化命令を含む更新を受信し得る。したがって、敵対者は、秘密鍵を用いて署名されたデバイス１０２に自身のソフトウェア命令を送信できる可能性がある。車両コントローラデバイスは、（例えば、インターネットを通しての）第三者検証機関へのアクセスを有さないので、車両コントローラデバイスは、ソフトウェア命令が敵対者によって送信されたと判定することができないであろう。
図１に再び戻ると、無線通信回路１０２Ｂは、デバイス１０２がデバイス１０２のある範囲内の１つ以上の外部システム（例えば、ホストシステム１０４）と通信することを可能にする送受信機を備え得る。例えば、送受信機は、ＢＬＵＥＴＯＯＴＨ送受信機、赤外線（ＩＲ）送受信機、無線送受信機、又は他の好適なタイプの送受信機であり得る。無線通信回路１０２Ｂは、デバイス１０２のローカルネットワーク（例えば、ネットワーク１１０）内で通信するように構成され得る。デバイス１０２は、無線通信回路１０２Ｂを使用して、データを送信すること及び／又は外部システムから受信することができる。例えば、デバイス１０２は、無線通信回路１０２Ｂを使用して、データをパケットで送受信し得る。いくつかの実施形態では、無線通信回路は、デバイス１０２のローカルネットワーク１１０内の通信に限定され得る。ローカルネットワーク１１０は、無線通信回路１０２Ｂの近傍内にある境界を有し得る。例えば、無線通信回路１０２Ｂは、無線通信回路１０２Ｂの閾値距離内の外部システムと通信することに限定され得る。閾値距離は、無線通信回路１０２Ｂから１０フィート、２０フィート、３０フィート、４０フィート、５０フィート、１００フィート、２００フィート、又は他の好適な距離であり得る。いくつかの実施形態では、ローカルネットワーク１１０は、無線ローカルネットワーク（ＷＬＡＮ）であり得、例えば、ＷＬＡＮは、無線周波数でデータを送受信するように構成されたルータを含み得る。いくつかの実施形態では、ローカルネットワーク１１０は、無線通信回路１０２Ｂと１つ以上の外部システムとの間の通信ネットワークであり得る。
メモリ１０２Ｃは、情報を記憶するように構成することができるハードウェアを備え得る。例えば、メモリ１０２Ｃは、情報を記憶するために使用される集積回路を備え得る。メモリ１０２Ｃは、フラッシュメモリ、ワンタイムプログラマブル（ＯＴＰ）メモリ、読み取り専用メモリ（ＲＯＭ）、プログラマブル読み取り専用メモリ（ＰＲＯＭ）、消去可能プログラマブル読み取り専用メモリ（ＥＰＲＯＭ）、及び／又は電気的に消去可能なプログラマブル読み取り専用メモリ（ＥＥＰＲＯＭ）などの不揮発性メモリを含み得る。メモリ１０２Ｃは、スタティックランダムアクセスメモリ（ＳＲＡＭ）及び／又はダイナミックランダムアクセスメモリ（ＤＲＡＭ）などの揮発性メモリを含み得る。
図１に示されたように、メモリ１０２Ｃは、１つ以上の鍵を記憶するように構成されている。鍵は、データの認証、データの暗号化、データの復号化、署名の生成及び／若しくは検証、ソフトウェア命令の検証、並びに／又は他の暗号動作を含む暗号動作を行うために使用される暗号鍵であり得る。いくつかの実施形態では、鍵は、文字セットからなり得る。例えば、鍵は、ランダムに生成された文字列であり得る。いくつかの実施形態では、鍵は、鍵生成アルゴリズムを使用して生成され得る。例えば、鍵は、ランダム値を取得するための決定論的乱数生成器（ＤＲＢＧ）又は擬似乱数生成器（ＰＲＮＧ）を使用して生成され得る。いくつかの実施形態では、鍵は、鍵生成アルゴリズムを使用してランダム値から生成され得る。別の実施例では、鍵は、高度暗号化標準（ＡＥＳ）鍵生成アルゴリズム、又はＲｉｖｅｓｔ Ｓｈａｍｉｒ Ａｄｌｅｍａｎ（ＲＳＡ）鍵生成アルゴリズムなどの鍵生成アルゴリズムを使用して、ランダム値から生成され得る。いくつかの実施形態では、鍵は、非対称鍵を含み得る。メモリ１０２Ｃ内に記憶された非対称鍵は、秘密鍵に対応する公開鍵であり得る。いくつかの実施形態では、鍵は、対称鍵を含み得る。メモリ１０２Ｃ内に記憶された対称鍵は、別のシステムに記憶された鍵と同一であり得る。
いくつかの実施形態では、鍵は、複数の外部システムによって生成された複数の鍵を含み得る。複数の鍵の各々は、それぞれの外部システムによって生成され得る。いくつかの実施形態では、第１の鍵が、ソフトウェアプロバイダシステム１０６によって生成され得、第２の鍵が、デバイス１０２のユーザに関連付けられたシステムによって生成され得る。デバイス１０２のユーザに関連付けられたシステムは、本明細書では「ユーザシステム」と称されることもある。例示するために、ソフトウェアプロバイダシステム１０６は、デバイスの製造業者に関連付けられる場合がある。デバイス１０２が製造業者とともにあるとき、製造業者は、ソフトウェアプロバイダシステム１０６を使用して、その後にメモリ１０２Ｃに記憶される鍵（例えば、対称鍵、又は公開鍵）を生成し得る。デバイス１０２のユーザ（例えば、デバイス１０２を購入するエンティティ）は、ユーザシステムを使用して、メモリ１０２Ｃに記憶される鍵（例えば、対称鍵、又は公開鍵）を生成し得る。
いくつかの実施形態では、鍵は、外部システムによって生成された単一の鍵を含み得る。いくつかの実施形態では、鍵は、ソフトウェアプロバイダシステム１０６によって生成され得る。例えば、ソフトウェアプロバイダシステム１０６は、デバイス１０２が製造業者とともにある間に、鍵を生成し、鍵をメモリ１０２Ｃに記憶し得る。いくつかの実施形態では、鍵は、ユーザシステムによって生成され得る。例えば、鍵は、デバイス１０２の配備の前に、ユーザシステムによって生成され、デバイス１０２のメモリ１０２Ｃ内に記憶され得る。
いくつかの実施形態では、鍵は、無効化後に使用するための１つ以上の鍵を含み得る。無効化を行った後に使用される鍵は、本明細書では「無効化鍵」と称されることもある。例えば、鍵は、デバイスが暗号動作のために使用するように構成されている第１の鍵と、デバイスが第１の鍵の無効化後に使用するように構成されている無効化鍵と、を含み得る。デバイスによって無効化が行われたとき、デバイスは、第１の鍵の使用を停止し、暗号動作を行うために無効化鍵の使用を開始し得る。いくつかの実施形態では、鍵は、複数の無効化鍵を含み得る。そのような実施形態では、デバイス１０２が無効化を行うたびに、デバイス１０２は、以前の鍵の使用を無効化し、複数の無効化鍵のうちの１つの使用を開始し得る。例えば、鍵は、２つ、３つ、４つ、５つ、又はそれ以上の無効化鍵を含み得る。いくつかの実施形態では、鍵は、単一の無効化鍵を含み得る。そのような実施形態では、デバイス１０２は、１つの無効化を行うことに限定され得る。いくつかの実施形態では、無効化鍵は、使用のために、デバイス１０２の配備の前に、メモリ１０２Ｃ内に記憶され得る。例えば、無効化鍵は、デバイス１０２の製造中にメモリ１０２Ｃ内に記憶され得る。別の実施例では、無効化鍵は、使用のために、デバイス１０２を配備する前に、デバイスのユーザによってメモリ１０２Ｃ内に記憶され得る。いくつかの実施形態では、メモリ１０２Ｃ内の記憶スペースの量は、その中に記憶することができる鍵の数を制限し得る。例えば、メモリ１０２Ｃ内の記憶スペースの量は、鍵の数を２つ、３つ、４つ、又は５つの鍵に制限し得る。
図２は、本明細書に記載の技術のいくつかの実施形態による、デバイス１０２の例示的なソフトウェアアーキテクチャ２００を示す。図２に示されたように、ソフトウェアアーキテクチャ２００は、第１のブートローダ２０２、第２のブートローダ２０４、動作ソフトウェア２０６、通信ソフトウェア２０８、及び無線（ＯＴＡ）処理ソフトウェア２１４を含む。いくつかの実施形態では、第１のブートローダ２０２は、（例えば、ＲＯＭ内の）不変ハードウェアブートローダであり得、第２のブートローダ２０４は、追加検証を行う任意選択的な後続ブートローダであり得る。いくつかの実施形態では、第２のブートローダ２０４は、フラッシュメモリ内に記憶され得る。
デバイス１０２は、動作ソフトウェア２０６をデバイス１０２にロードするときに、第１のブートローダ２０２及び第２のブートローダ２０４を使用するように構成され得る。ブートローダ２０２、２０４の各々は、動作ソフトウェア２０６をデバイス１０２のメモリ内にロードするために実行される、デバイス１０２のメモリ１０２Ｃ内に記憶された命令セットを含み得る。例えば、第１のブートローダ２０２は、読み取り専用メモリ（ＲＯＭ）内に記憶され得、第２のブートローダ２０４は、フラッシュメモリ内に記憶され得る。デバイス１０２は、ブートローダ２０２、２０４を使用して、段階的に動作ソフトウェア２０６を順次ロードするように構成され得る。いくつかの実施形態では、ブートローダ２０２、２０４の各々は、それぞれの自身の鍵を使用して動作ソフトウェア２０６を検証するように構成され得る。例えば、第１のブートローダ２０２は、第１の鍵を使用して動作ソフトウェア２０６の第１の署名を検証し得、第２のブートローダ２０４は、第２の鍵を使用して動作ソフトウェア２０６の第２の署名を検証し得る。第１の署名は、ソフトウェアプロバイダシステムによって生成され得、第２の署名は、ユーザシステムによって生成され得る。第１のブートローダ２０２及び第２のブートローダ２０４の各々が、それぞれの自身の鍵を使用して動作ソフトウェア２０６を検証するように構成されている実施形態では、敵対者が動作ソフトウェアをデバイス１０２にロードするためには、敵対者は、２人の異なる当事者（例えば、ソフトウェアプロバイダ及びユーザ）の２つの別個の鍵を使用して生成された２つの別個の署名を含むソフトウェアをデバイス１０２に送信する必要があろう。
図２に示されたように、動作ソフトウェア２０６は、通信ソフトウェア２０８を使用して、デバイスの無線通信回路２１０を動作させ得る。無線通信回路２１０は、図１を参照して本明細書で説明された無線通信回路１０２Ｂであり得る。通信ソフトウェア２０８は、デバイス１０２がデータを送信すること及びホストシステム１０４から受信することを可能にし得る。通信ソフトウェア２０８は、無線通信回路２１０を使用して、ホストシステム１０４からソフトウェア更新命令２１２を受信するように構成され得る。ソフトウェア更新命令は、鍵無効化命令を含み得る。図２に示されたように、ソフトウェア更新命令処理２１４は、第２のブートローダ２０４によって行われる。ソフトウェア更新はブートローダ２０２、２０４の更新を含み得るので、ソフトウェア更新命令処理２１４は、第２のブートローダによって行われる。いくつかの実施形態では、動作ソフトウェア２０６は、ブートローダ２０２、２０４を変更することが制限され得る。動作ソフトウェア２０６がブートローダ２０２、２０４を変更することを制限することは、ブートローダ２０２、２０４が、いかなる敵対者からも保護され、したがって、信頼して、デバイス１０２上のソフトウェアの更新を任せられることを保証し得る。そのような実施形態では、ソフトウェア更新は、動作ソフトウェア２０６によって行われなくてもよい。
図２の例示的な実施形態は２つのブートローダを含むが、いくつかの実施形態では、デバイスのソフトウェアアーキテクチャは１つのブートローダを含み得る。そのブートローダは、本明細書に記載のブートローダ２０２、２０４の処理を行うように構成され得る。いくつかの実施形態では、ブートローダは、不変ハードウェアブートローダであり得る。例えば、その不変ハードウェアブートローダは、ＲＯＭブートローダであり得る。いくつかの実施形態では、ソフトウェアアーキテクチャは、追加の検証を行うように構成され得る１つ以上の後続の任意選択的ブートローダを含み得る。そのような実施形態では、任意選択的ブートローダは、動作ソフトウェアをデバイスにロードすること、又は（例えば、鍵無効化命令を含む）ソフトウェア命令を検証することを要求されない場合がある。
ホストシステム１０４は、ローカルネットワーク１１０内の１つ以上のコンピューティングデバイスを備え得る。ホストシステム１０４は、デバイス１０２が（例えば、無線通信回路１０２Ｂを使用して）ホストシステムと通信することができるデバイス１０２の近傍内に位置し得る。ホストシステム１０４は、デバイスのローカルネットワーク１１０の外にあるネットワーク１０８を通して通信するように構成され得る。図１に示されたように、ホストシステム１０４は、ネットワーク１０８を通してソフトウェアプロバイダシステム１０６と通信することができる。例えば、ホストシステム１０４は、ホストシステム１０４がインターネットを通して通信することを可能にする無線通信回路を含み得る。説明用実施例として、ホストシステム１０４は、車両の中央電子制御ユニット（ＥＣＵ）であり得、一方、デバイス１０２は、車両の特定の構成要素（例えば、気候制御、クルーズ制御、自動運転、及び／又はブレーキ）のための車両コントローラデバイスであり得る。
ソフトウェアプロバイダシステム１０６は、デバイス１０２のローカルネットワーク１１０の外にある１つ以上のコンピューティングデバイスを備え得る。いくつかの実施形態では、ソフトウェアプロバイダシステム１０６は、デバイス１０２の製造業者と関連付けられ得る。ソフトウェアプロバイダシステム１０６は、デバイス１０２の動作のためのソフトウェアを提供し得る。例えば、デバイス１０２は、車両コントローラデバイスであり得、ソフトウェアプロバイダシステム１０６は、デバイス１０２がその車両制御動作を行うためのソフトウェアアプリケーションを提供し得る。別の実施例では、デバイス１０２はセンサであり得、ソフトウェアプロバイダシステム１０６は、測定値を収集するようにセンサを動作させるソフトウェアアプリケーションを提供し得る。別の実施例では、デバイス１０２はカメラであり得、ソフトウェアプロバイダシステム１０６は、画像を獲得する際にカメラによって使用される、画像の処理及び増強を行うためのソフトウェア命令を提供し得る。
ソフトウェアプロバイダシステム１０６は、デバイス１０２上で鍵無効化を遠隔で行うように構成され得る。ソフトウェアプロバイダシステム１０６は、鍵無効化命令を含むソフトウェア更新命令を生成することによって、デバイス１０２上で鍵を遠隔で無効化するように構成され得る。ソフトウェアプロバイダシステム１０６は、デバイス１０２への送信のために、ソフトウェア更新命令をホストシステム１０４にネットワーク１０８を通して送信し得る。いくつかの実施形態では、ソフトウェアプロバイダシステム１０６は、（１）デバイス１０２にインストールされたソフトウェアの更新及び鍵無効化命令を含むようにソフトウェア更新命令を生成することと、（２）生成されたソフトウェア命令セットとともに認証情報を含むことと、を行うように構成され得る。いくつかの実施形態では、認証情報は、デジタル署名であり得る。いくつかの実施形態では、認証情報は、対称アルゴリズムを使用して生成された認証コードであり得る。いくつかの実施形態では、認証情報は、ソフトウェアプロバイダシステム１０６によって暗号化されたソフトウェア更新命令の暗号化ハッシュであり得る。デバイス１０２にインストールされたソフトウェアの更新は、ソフトウェアイメージであり得、鍵無効化命令は、デバイス１０２のプロセッサによって実行されると、デバイスに、鍵の使用を停止させ、かつ無効化された鍵の代わりに暗号動作のための新しい鍵の使用を開始させるソフトウェア命令を含み得る。ソフトウェアプロバイダシステム１０６によって送信された情報及び命令を検証するためにデバイス１０２によって現在使用されている鍵を使用して、ソフトウェア更新命令を検証してもよい。例えば、ソフトウェアプロバイダシステム１０６は、デバイス１０２によって記憶されている公開鍵に対応する秘密鍵を使用して、ソフトウェア更新命令にデジタル署名し得る。別の実施例では、ソフトウェアプロバイダシステム１０６は、やはりデバイス１０２によって記憶されている対称鍵を使用して、ソフトウェア更新命令にデジタル署名し得る。いくつかの実施形態では、ソフトウェアプロバイダシステム１０６は、デバイス１０２が、無効化命令を実行した結果として使用される対応する新しい鍵（例えば、新しい公開鍵）を使用してソフトウェア更新を検証できるように、新しい鍵（例えば、新しい秘密鍵）を使用してソフトウェア更新に署名するように構成され得る。デバイス１０２は、（例えば、ソフトウェアをデバイス１０２にロードしたときに）その新しい鍵を使用して更新されたソフトウェアを検証するように構成され得る。
図３は、本明細書に記載の技術のいくつかの実施形態による、例示的なソフトウェア更新命令セット３００を示す。ソフトウェア更新命令３００は、図１のソフトウェアプロバイダシステム１０６によって生成され得る。
ソフトウェア更新命令３００は、鍵無効化命令セット３０２を含む。鍵無効化命令３０２は、デバイス１０２のプロセッサによって実行可能であり得る。実行されると、鍵無効化命令３０２は、デバイス１０２に、暗号動作のための第１の鍵の使用を停止させ、かつ後続の暗号動作のための新しい鍵の使用を開始させ得る。例えば、鍵無効化命令３０２は、プロセッサに、第１の鍵がもはや使用されないことを示す、メモリ内に記憶されている第１の鍵に関連付けられたフラグを更新させ、かつ／又は新しい鍵が使用されることを示す、メモリ内の新しい鍵に関連付けられたフラグを更新させ得る。別の実施例では、鍵無効化命令３０２は、デバイス１０２に、デバイスのメモリ１０２Ｃから第１の鍵を除去させ得る。別の実施例では、鍵無効化命令３０２は、デバイス１０２が暗号動作で使用するための鍵をそこから取得する、新しい鍵を記憶するデバイス１０２のメモリ内の位置を識別し得る。別の実施例では、無効化命令３０２は、デバイス１０２に第１の鍵の代わりに新しい鍵を使用させる、デバイス１０２のメモリ１０２Ｃ内の変数を変更し得る。ソフトウェア更新命令３００は、ソフトウェアイメージ３０４を含む。ソフトウェアイメージ３０４は、デバイスにインストールされたソフトウェアの更新されたソフトウェアイメージであり得る。例えば、ソフトウェアイメージ３０４は、デバイス１０２によって行われる動作を更新したり、デバイス１０２のソフトウェア内のバグを解決したり、又は、そうでなければ、デバイス１０２のソフトウェアを変更し得る。
図３のソフトウェア更新命令３００は、第１の鍵を使用してソフトウェアプロバイダシステム１０６によって生成された第１の署名３００Ａと、第２の鍵を使用してユーザシステムによって生成された第２の署名３００Ｂとの、２つの署名を用いて署名されている。デバイス１０２は、（例えば、図６を参照して本明細書で説明されるプロセス６００で行われるように）両方の署名を使用してソフトウェア更新命令３００を検証するように構成され得る。この実施形態では、敵対者がソフトウェアイメージ及び／又は鍵無効化命令をデバイス１０２に送信できるためには、敵対者は、２つの署名を生成するために、第１の鍵及び第２の鍵の両方にアクセスする必要があろう。第２の鍵を使用して生成された署名３００Ｂの周りの点線によって示されるように、いくつかの実施形態では、ソフトウェア更新命令３００は、第１の鍵を使用して生成された署名３００Ａのみを用いて署名されてもよい。そのような実施形態では、ソフトウェア更新命令３００は、ソフトウェアプロバイダシステム１０６によって署名されているが、ユーザシステムによっては署名されていない場合がある。
図３に示されたように、ソフトウェアイメージ３０２は、デバイス１０２が鍵無効化命令３０２を実行した後に使用される新しい鍵を使用して生成された署名３０４Ａを用いて署名されている。デバイス１０２は、新しい鍵を使用して新しいソフトウェアイメージ３０４を検証し得る。例えば、デバイス１０２は、電源投入後にソフトウェアをロードするときに、新しい鍵を使用して新しいソフトウェアイメージ３０４を検証し得る。ソフトウェアイメージ３０４はまた、（例えば、ユーザシステムの）第２の鍵を使用して生成された署名３０４Ｂを用いて署名されている。デバイス１０２は、新しい鍵を使用して生成された署名３０４Ａに加えて、署名３０４Ｂを使用して、ソフトウェアイメージ３０４を検証し得る。いくつかの場合では、新しいソフトウェアイメージ３０４は、現在デバイス上にあるソフトウェアイメージと機能的に同一であり得る。そのような場合には、新しいソフトウェアイメージ３０４は、新しい鍵及び／又は署名３０４Ｂを提供するために提供され得る。したがって、ソフトウェア更新命令３００は、ソフトウェアの機能を更新することなく鍵無効化を行うために使用され得る。
署名３０４Ｂの点線によって示されるように、いくつかの実施形態では、ソフトウェアイメージ３０４は、署名３０４Ｂなしで署名３０４Ａを用いて署名され得る。例えば、ユーザシステムは、ソフトウェアイメージ３０４に署名しなくてもよい。別の実施例では、ユーザシステムは、ソフトウェア更新命令３００に署名し得るが、ソフトウェアプロバイダシステムは署名しない場合がある。いくつかの実施形態では、ソフトウェア更新命令１００は、１つのエンティティ（例えば、ソフトウェアプロバイダシステム又はユーザシステム）によって署名され、ソフトウェア更新命令１００に署名していない別のエンティティ（例えば、ユーザシステム又はソフトウェアプロバイダシステム）によって（例えば、ホストシステムに）配信される。例えば、ソフトウェアプロバイダシステムが、ソフトウェア命令３００に署名し得、ユーザシステムが、ソフトウェア更新命令３００をホストシステムに配信し得る。そのような実施形態では、敵対者は、デバイスに鍵無効化命令を提供することができるためのアクセスを得るために、依然として２つの別個のシステム（すなわち、署名システム及び配信システム）にアクセスする必要がある。
図４Ａは、本明細書に記載の技術のいくつかの実施形態による、デバイス４１０に第１の鍵を配置するソフトウェアプロバイダシステム４００を示す。いくつかの実施形態では、ソフトウェアプロバイダシステム４００は、図１のソフトウェアプロバイダ１０６であり得、デバイス４１０は、図１のデバイス１０２であり得る。
ソフトウェアプロバイダシステム４００は、鍵生成４０２を行う。図４Ａの実施例では、ソフトウェアプロバイダシステム４００は、ソフトウェアプロバイダシステム４００が秘密鍵４０２Ａ及び対応する公開鍵４０２Ｂからなる鍵ペアを生成する秘密鍵／公開鍵ペア生成を行う。秘密鍵４０２Ａは、ソフトウェアプロバイダシステム４００の外で共有され得ず、一方、対応する公開鍵４０２Ｂは、ソフトウェアプロバイダシステム４００の外で配布され得る。いくつかの実施形態では、ソフトウェアプロバイダシステム４００は、鍵生成４０２を使用して、署名アルゴリズムのための非対称鍵ペアを生成するように構成され得る。例えば、ソフトウェアプロバイダシステム４００は、Ｒｉｖｅｓｔ－Ｓｈａｍｉｒ Ａｄｌｅｍａｎ（ＲＳＡ）、楕円曲線デジタル署名アルゴリズム（ＥＣＤＳＡ）、デジタル署名アルゴリズム（ＤＳＡ）、又は他のデジタル署名スキームのための非対称鍵ペアを生成し得る。別の実施例では、ソフトウェアプロバイダシステム４００は、鍵生成４０２を行って対称鍵を生成し得る。
ソフトウェアプロバイダシステム４００は、公開鍵４０２Ｂ及び署名をデバイス４１０に送信する。図４Ａに示されたように、ソフトウェアプロバイダシステム４００は、デバイス４１０のメモリ４４０内に記憶するために、公開鍵４０２Ｂ及び／又は署名をデバイス４１０に送信する。いくつかの実施形態では、ソフトウェアプロバイダシステム４００は、物理的接続を通して公開鍵４０２Ｂをデバイス４１０に送信し得る。例えば、ソフトウェアプロバイダシステム４００は、ジョイントテストアクショングループ（ＪＴＡＧ）接続、シリアルペリフェラルインターフェイス（ＳＰＩ）、Ｉ２Ｃ接続、ｌｏｗ ｐｉｎｔ ｃｏｕｎｔ（ＬＰＣ）インターフェース、ユニバーサルシリアルバス（ＵＳＢ）接続、イーサネット接続、ファイアワイヤ接続、シリアルポート接続、又は他の好適な物理的接続を使用してデバイス４１０に接続され得る。いくつかの実施形態では、ソフトウェアプロバイダシステム４００は、無線接続を通して公開鍵４０２Ｂをデバイス４１０に送信し得る。例えば、ソフトウェアプロバイダシステム４００は、ＢＬＵＥＴＯＯＴＨ、赤外線、Ｗｉ－Ｆｉ、又は他の好適な無線接続を使用してデバイス４１０に接続され得る。いくつかの実施形態では、ソフトウェアプロバイダシステム４００は、製造中に公開鍵４０２Ｂをデバイス４１０に送信するように構成され得る。ソフトウェアプロバイダシステム４００は、デバイス４１０の製造業者に関連付けられ得る。デバイス４１０をユーザに発送する前に、ソフトウェアプロバイダシステム４００は、公開鍵４０２Ｂをデバイス４１０に送信し得る。
図４Ａに示されたように、ソフトウェアプロバイダシステム４００は、秘密鍵４０２Ａを使用して署名生成４０８を更に行って署名を生成する。ソフトウェアプロバイダシステム４００は、メモリ４４０内に記憶するために、生成された署名をデバイス４１０に送信する。署名を生成するために使用された秘密鍵４０２Ａに対応する公開鍵４０２Ｂは、続いて、デバイス４１０のメモリ４４０内にロードされた署名がソフトウェアプロバイダの有効な署名であることを検証するために、ユーザシステムによって使用され得る。いくつかの実施形態では、ソフトウェアプロバイダシステム４００は、秘密鍵４０２Ａを使用してデータを暗号化して暗号化データを取得することによって署名を生成するように構成され得る。デバイス４１０のメモリ４４０内に記憶された公開鍵４０２Ｂは、（例えば、ＲＳＡ、ＥＣＤＳＡ、又は他の好適なデジタル署名スキームを使用して）デバイス４１０内に記憶されている署名が有効であることを検証するために、ユーザシステムによって使用され得る。
図４Ａの実施例では、ソフトウェアプロバイダシステム４００は秘密鍵／公開鍵ペアを生成するが、いくつかの実施形態では、ソフトウェアプロバイダシステム４００は、対称鍵を生成するように構成され得る。そのような実施形態では、システム４００は、メモリ４４０内に記憶するためにデバイス４１０に送信される単一の鍵を生成し得る。ソフトウェアプロバイダシステム４００は、同じ鍵を使用して、メッセージ認証タグを暗号化し得る。ユーザシステムは、鍵を使用して、メッセージ認証タグが変更されていないことを検証し得る。
図４Ｂは、本明細書に記載の技術のいくつかの実施形態による、デバイス４１０に第２の鍵を配置する、図２Ａのデバイス４１０のユーザに関連付けられたユーザシステム４３０を示す。図４Ｂの実施例では、ユーザシステム４３０は、ユーザシステム４３０が秘密鍵４３２Ａ及び対応する公開鍵４３２Ｂからなる鍵ペアを生成する秘密鍵／公開鍵ペア生成４３２を行う。秘密鍵４３２Ａは、ユーザシステム４３０の外で共有され得ず、一方、対応する公開鍵４３２Ｂは、ユーザシステム４３０の外で配布され得る。いくつかの実施形態では、ユーザシステム４３０は、鍵生成４３２を行って署名アルゴリズムのための非対称鍵ペアを取得するように構成され得る。例示的なアルゴリズムは、図４Ａを参照して本明細書で説明されている。いくつかの実施形態では、ユーザシステム４３０は、鍵生成４３２を行って対称鍵を生成するように構成され得る。
図４Ａに示されたように、ユーザシステム４３０は、デバイス４１０のメモリ４４０内に記憶するために、公開鍵４３２Ｂをデバイス４１０に送信する。いくつかの実施形態では、ユーザシステム４３０は、物理的接続を通して公開鍵４０２Ｂをデバイス４１０に送信するように構成され得る。例えば、ユーザシステム４３０は、ユニバーサルシリアルバス（ＵＳＢ）接続、イーサネット接続、ファイアワイヤ接続、シリアルポート接続、又は他の好適な物理的接続を通して、公開鍵４３２Ｂをデバイス４１０に送信し得る。いくつかの実施形態では、ユーザシステム４３０は、無線接続を通して公開鍵４０２Ｂをデバイス４１０に送信するように構成され得る。例えば、ユーザシステム４３０は、ＢＬＵＥＴＯＯＴＨ接続、赤外線接続、Ｗｉ－Ｆｉ接続、又は他の好適な無線接続を使用して、公開鍵４３２Ｂをデバイス４１０に送信し得る。いくつかの実施形態では、ユーザシステム４３０は、配備前に公開鍵４３２Ｂをデバイス４１０に送信するように構成され得る。例えば、デバイス４１０は、製造業者から取得され得る。ユーザシステム４３０は、デバイス４１０が製造業者から取得された後に公開鍵４３２Ｂをデバイス４１０に送信してもよい。ユーザシステム４３０は、図４Ａを参照して本明細書で説明されたように、デバイス４１０のメモリ４４０内に記憶されているソフトウェアプロバイダシステムの公開を検証するように更に構成され得る。
図４Ｂの実施例では、ユーザシステム４３０は秘密鍵／公開鍵ペアを生成するが、いくつかの実施形態では、ユーザシステム４３０は、対称鍵を生成するように構成され得る。そのような実施形態では、システム４３０は、メモリ４４０内に記憶するためにデバイス４１０に送信される単一の鍵を生成するように構成され得る。
図５は、本明細書に記載の技術のいくつかの実施形態による、デバイスが鍵無効化を行うための例示的なプロセス５００を示す。プロセス５００は、図２を参照して本明細書で説明されたデバイス１０２によって行われ得る。いくつかの実施形態では、プロセス５００は、別のシステムから鍵無効化を要求する必要なしに、デバイスが鍵無効化を行うことを可能にし得る。例えば、プロセス５００は、デバイスが鍵無効化を行うという要求をシステムに伝達することなく行われ得る。
プロセス５００はブロック５０２で開始し、そこでデバイスは、ホストシステム（例えば、図１を参照して本明細書で説明されたホストシステム１０４）から、デバイスにインストールされたソフトウェアを更新するための命令を受信する。例示的な命令セットが、図３を参照して本明細書で説明されている。命令は、ソフトウェアプロバイダシステム（例えば、ソフトウェアプロバイダシステム１０６）からホストシステムに提供されていてもよい。デバイスは、デバイスのローカルネットワーク内のホストシステムとの接続を通して、ソフトウェアを更新するための命令を受信するように構成され得る。いくつかの実施形態では、デバイスは、ホストシステムとの物理的接続を通して、デバイスにインストールされたソフトウェアを更新するための命令を受信し得る。例えば、デバイスは、車両に埋め込まれ得、ホストシステムは、有線接続を通してデバイスに接続されている車両のＥＣＵであり得る。いくつかの実施形態では、デバイスは、無線接続を通して、デバイスにインストールされたソフトウェアを更新するための命令を受信し得る。例えば、デバイスは、デバイスのローカルネットワーク内のホストシステムと無線で通信することができ得る。
次に、プロセス５００はブロック５０４に進み、そこでデバイスは、１つ以上の鍵を使用して、ブロック５０２で受信された命令を検証する。デバイスは、鍵を使用して、命令が信頼できるソースから受信されたことを検証するように構成され得る。例えば、デバイスは、鍵を使用して、命令が（例えば、デバイスの製造業者の）ソフトウェアプロバイダシステムによって生成された命令であることを検証し得る。いくつかの実施形態では、デバイスは、鍵を使用して命令を検証するように構成され得る。例えば、デバイスは、鍵を使用して、デジタル署名スキーム（例えば、ＲＳＡ、ＥＣＤＳＡ、又は他のデジタル署名スキーム）を使用して命令に含められたデジタル署名を検証し得る。この実施例では、検証は、（１）鍵を使用して動作を行うことと、（２）動作の結果に基づいてデジタル署名を検証することと、を包含し得る。デバイスは、結果が予想結果と一致するかどうかを判定することによって、動作の結果に基づいてデジタル署名を検証し得る。別の実施例では、デバイスは、（例えば、鍵が対称鍵である場合）鍵を使用してメッセージ認証タグを検証し得る。
いくつかの実施形態では、デバイスは、複数の鍵を使用して命令を検証するように構成され得る。複数の鍵は、使用のために、デバイスを配備する前にデバイスに記憶されていてもよい。例えば、デバイスは、ソフトウェアプロバイダ（例えば、デバイス製造業者）によってデバイスに記憶された鍵と、デバイスのユーザによってデバイスに記憶された鍵とを使用して、命令を検証し得る。鍵は、図４Ａ及び図４Ｂを参照して本明細書で説明されたように、デバイスに記憶されていてもよい。プロセス６００は、デバイスが複数の鍵を使用して命令を検証するために行い得る例示的なプロセスを表している。
次に、プロセス５００はブロック５０６に進み、そこでデバイスは、命令を実行する。デバイスのプロセッサは、命令を実行するように構成され得る。いくつかの実施形態では、デバイスは、デバイスのブートローダを使用して命令を実行するように構成され得る。例えば、デバイスは、図２の参照番号２１４に関して説明されたように、ブートローダを使用して命令を実行し得る。
次に、プロセス５００はブロック５０８に進み、そこでデバイスは、第１の鍵の使用を無効化し、第１の鍵の代わりに新しい鍵の使用を開始する。デバイスは、ブロック５０６で命令を実行した結果として、ブロック５０８のステップを行い得る。命令は、デバイスに無効化を行わせる。いくつかの実施形態では、デバイスは、デバイスに第１の鍵の使用を無効化させ、かつデバイスのメモリ内に記憶された新しい鍵の使用を開始させるフラグを設定し得る。例えば、フラグは、実行されると、デバイスに第１の鍵の使用を無効化させ、かつ新しい鍵の使用を開始させるソフトウェア機能を起動させ得る。いくつかの実施形態では、命令は新しい鍵を含み得、デバイスは、命令に含まれる新しい鍵で第１の鍵を置き換え得る。いくつかの実施形態では、デバイスは、デバイスのメモリから新しい鍵を読み取り、新しい鍵で第１の鍵を置き換え得る。いくつかの実施形態では、デバイスは、（例えば、検証、暗号化、及び／又は他のプロセスを行う際に）第１の鍵がもはや使用されないことを示すために、第１の鍵に関連付けられたフラグを変更し得る。いくつかの実施形態では、デバイスは、その値がデバイスのメモリ内に記憶されている複数の鍵のそれぞれの１つを示す指数を更新し得る。更新された指数は、第１の鍵の代わりに新しい鍵を示し得る。例えば、デバイスは、指数を増分することによって指数を更新し得る。別の実施例では、デバイスは、指数をその現在の値とは異なる値にランダムに設定することによって指数を更新し得る。
いくつかの実施形態では、デバイスは、第１の鍵を無効化することの一部として、第１の鍵に関連付けられたデータの使用を無効化し得る。データは、検証を行うために第１の鍵と併せてデバイスによって使用され得る。いくつかの実施形態では、データは、デジタル署名を検証するために使用されるデータセットのハッシュであり得る。例えば、デバイスは、第１の鍵を使用して取得されたデジタル署名の復号化体をデータ（例えば、データセットのハッシュ）と比較して、デジタル署名を検証し得る。デバイスは、第１の鍵に関連付けられたデータの使用を無効化し、新しい鍵に関連付けられた新しいデータの使用を開始し得る。デバイスは、第１の鍵に関連付けられたデータを新しい鍵に関連付けられた新しいデータに置き換えてもよいし、又はそうでなければ、デバイスにその後新しい鍵を有する新しいデータを使用させる指示（例えば、指数又はフラグ）を更新してもよい。
図６は、本明細書に記載の技術のいくつかの実施形態による、ソフトウェア更新命令を検証する例示的なプロセス６００を示す。プロセス６００は、図１を参照して本明細書で説明されたデバイス１０２によって行われ得る。いくつかの実施形態では、プロセス６００は、図５を参照して本明細書で説明されたプロセス５００のブロック５０８の一部として行われ得る。いくつかの実施形態では、プロセス６００はまた、ソフトウェアをロードする前にインストールされたソフトウェアを検証するために、起動するたびにデバイスによって行われ得る。
プロセス６００を行うデバイスは、（例えば、図２を参照して本明細書で説明されたような）マルチブートローダソフトウェアアーキテクチャで構成され得る。デバイスは、第１のブートローダ及び第２のブートローダを有し得る。第１及び第２のブートローダは、本明細書では、それぞれ一次ブートローダ及び二次ブートローダと称されることもある。ブートローダの各々は、検証を行う際にそれぞれの鍵を使用するように構成され得る。第１のブートローダは、第１の鍵（例えば、ソフトウェアプロバイダによって提供された鍵）を使用するように構成され得、第２のブートローダは、第２の鍵（例えば、デバイスのユーザによって提供された鍵）を使用するように構成され得る。いくつかの実施形態では、第１及び第２のブートローダの各々は、第１及び第２の鍵の両方を使用するように構成され得る。ソフトウェア命令は、第１の鍵及び第２の鍵に対応する２つの鍵を使用して暗号化され得る。いくつかの実施形態では、命令は、２つの鍵を使用してデジタル署名され得る。例えば、第１及び第２の鍵は、公開鍵であり得、ソフトウェア命令は、第１及び第２の公開鍵に対応する第１及び第２の秘密鍵を使用してデジタル署名され得る。ソフトウェアプロバイダシステムは、第１の秘密鍵を使用して命令に署名し得、ユーザシステムは、第２の秘密鍵を使用して命令に署名し得る。
プロセス６００はブロック６０２で開始し、そこでデバイスは、第１のブートローダを使用して、第１の鍵を使用して命令を検証する。デバイスは、デバイスのメモリ（例えば、ＲＯＭ又はフラッシュ）から第１のブートローダをロードし得る。第１のブートローダは、第１の鍵（例えば、第１の公開鍵、又は第１の対称鍵）を使用して命令を検証するように構成され得る。第１のブートローダは、第１の鍵を使用して、命令に含まれる第１のデジタル署名を検証するように構成され得る。この実施例では、第１のブートローダは、（１）第１の鍵を使用して第１のデジタル署名の暗号化データを復号化して、暗号化データの復号化体を取得することと、（２）復号化体に基づいて第１のデジタル署名を検証することとによって、鍵を使用して第１のデジタル署名を検証し得る。第１のブートローダは、復号化体が復号化の予想出力と一致するかどうかを判定することによって、復号化体に基づいて第１のデジタル署名を検証し得る。例えば、暗号化データは、データセットのハッシュの暗号化体であり得る。この実施例では、第１のブートローダは、暗号化データの復号化体がデータセットのハッシュと一致するかどうかを判定してデジタル署名を検証し得る。復号化体がデータセットのハッシュと一致する場合、次いで第１のブートローダは、第１のデジタル署名が有効であると判定し得る。復号化体がデータセットのハッシュと一致しない場合、次いで第１のブートローダは、第１のデジタル署名が無効であると判定し得る。
次に、プロセス６００はブロック６０４に進み、そこでデバイスは、ブロック６０２で命令が検証されたかどうかを判定する。ブロック６０２で命令の検証が失敗した場合、次いでプロセス６００はブロック６１２に進み、そこでデバイスは、命令の実行を防ぐ。ブロック６１２で、デバイスは、命令の実行を停止し得る。したがって、デバイスは、いかなる鍵無効化又はソフトウェア更新も行わない場合がある。デバイスは、ソフトウェアの以前のバージョンを継続し、検証のために現在の鍵を使用し続け得る。
（例えば、第１のデジタル署名が有効であると判定することによって）ブロック６０２でデバイスが命令を検証した場合、次いでプロセス６００はブロック６０６に進み、そこでデバイスは、第２のブートローダを使用して、第２の鍵を使用して命令を検証する。デバイスは、デバイスのメモリ（例えば、ＲＯＭ又はフラッシュ）から第２のブートローダをロードし得る。第２のブートローダは、第２の鍵（例えば、第２の公開鍵、又は第２の対称鍵）を使用して命令を検証するように構成され得る。第２のブートローダは、第２の鍵を使用して、命令に含まれる第２のデジタル署名を検証するように構成され得る。この実施例では、第２のブートローダは、（１）第２の鍵を使用して第２のデジタル署名の暗号化データを復号化して、暗号化データの復号化体を取得することと、（２）復号化体に基づいて第２のデジタル署名を検証することとによって、鍵を使用して第２のデジタル署名を検証し得る。第２のブートローダは、復号化体が復号化体の予想出力と一致するかどうかを判定することによって、復号化体に基づいて第２のデジタル署名を検証し得る。例えば、暗号化データは、データセットのハッシュの暗号化体であり得る。この実施例では、第２のブートローダは、暗号化データの復号化体がデータセットのハッシュと一致するかどうかを判定してデジタル署名を検証し得る。復号化体がデータセットのハッシュと一致する場合、次いで第２のブートローダは、第２のデジタル署名は有効であると判定し得る。復号化体がデータセットのハッシュと一致しない場合、次いで第２のブートローダは、第２のデジタル署名が無効であると判定し得る。
次に、プロセス６００はブロック６０８に進み、そこでデバイスは、ブロック６０６で命令が検証されたかどうかを判定する。ブロック６０６で命令の検証が失敗した場合、次いでプロセス６００はブロック６１２に進み、そこでデバイスは、上述されたように命令の実行を防ぐ。ブロック６０６で命令が検証された場合、次いでプロセス６００はブロック６１０に進み、そこでデバイスは、命令の実行を許可する。例えば、命令は、第２のブートローダによって又はデバイスの動作ソフトウェアによって、実行され得る。命令は、図５を参照して本明細書で説明されたプロセス５００のブロック５０６及び５０８で説明されたように実行され得る。
図７は、本明細書に記載の技術のいくつかの実施形態による、システムがデバイス上で鍵無効化を行うための例示的なプロセス７００を示す。いくつかの実施形態では、プロセス７００は、図１を参照して本明細書で説明されたようなデバイス１０２上で鍵を無効化するために、ソフトウェアプロバイダシステム１０６によって行われ得る。
プロセス７００はブロック７０２で開始し、そこでシステムは、鍵無効化命令を取得する。鍵無効化命令は、デバイスによって実行されると、図５を参照して本明細書で説明されたプロセス５００のブロック５０６～５０８で説明されたように、デバイスに、第１の鍵の使用を無効化させ、それを新しい鍵に置き換えさせ得る。例えば、システムは、鍵無効化命令を符号化するコードを含むファイルを生成し得る。
次に、プロセス７００はブロック７０４に進み、そこでシステムは、ソフトウェア更新を取得する。システム更新は、デバイスにインストールされたソフトウェアのための更新されたソフトウェアイメージであり得る。いくつかの実施形態では、システムは、ソースコードを実行可能なソフトウェアイメージにコンパイルすることによってソフトウェアイメージを取得するように構成され得る。例えば、システムは、ソースコードを、デバイスによってロード及び実行されることができるバイナリファイルにコンパイルし得る。いくつかの実施形態では、システムは、別のシステムからソフトウェアイメージを受信することによってソフトウェアイメージを取得するように構成され得る。例えば、ソフトウェアイメージは、別のシステム上でソースコードをコンパイルすることによって生成され、次いで、プロセス７００を行うシステムに送信されていてもよい。
次に、プロセス７００はブロック７０６に進み、そこでシステムは、新しい鍵を使用してソフトウェア更新にデジタル署名する。新しい鍵は、無効化が行われた後に、第１の鍵の代わりにデバイスによって使用されるための新しい鍵に対応し得る。いくつかの実施形態では、新しい鍵は、デバイス上で使用される新しい公開鍵に対応する新しい秘密鍵であり得る。いくつかの実施形態では、新しい鍵は、やはりデバイス上で使用される新しい対称鍵であり得る。システムは、ソフトウェア更新に含まれるデジタル署名を生成することによって、ソフトウェア更新にデジタル署名するように構成され得る。システムは、（１）データのセットを取得することと、（２）新しい鍵を使用してデータセットを暗号化して暗号化データセットをデジタル署名として取得することとによって、デジタル署名を生成するように構成され得る。いくつかの実施形態では、システムは、データ（例えば、テキストデータ）をハッシングしてデータセットを取得することによって、データセットを取得するように構成され得る。システムは、新しい鍵を使用してハッシングされたデータセットを暗号化し得る。新しい鍵を使用してソフトウェア更新にデジタル署名することによって、ソフトウェア更新は、無効化命令の実行後に、デバイスの対応する新しい鍵を使用してデバイスによって検証され得る。
次に、プロセス７００はブロック７０８に進み、そこでシステムは、無効化命令及びソフトウェア更新を含むソフトウェア更新命令を生成する。いくつかの実施形態では、システムは、ソフトウェア更新及び無効化命令を含む１つ以上のファイルを生成するように構成され得る。例えば、システムは、ソフトウェア更新（例えば、ソフトウェアイメージ）を含むファイルと無効化命令を含むファイルとを生成し得る。システムは、２つのファイルを単一のデータパッケージ内にソフトウェア更新命令として記憶し得る。システムによって生成され得る例示的なソフトウェア更新命令セットが、図３を参照して本明細書で説明されている。
次に、プロセス７００はブロック７１０に進み、そこでシステムは、デバイスが検証のために現在使用するように構成されている鍵に対応する第１の鍵を使用して、ソフトウェア更新命令にデジタル署名する。システムは、ソフトウェア更新命令とともに含まれるデジタル署名を生成することによって、ソフトウェア更新命令にデジタル署名し得る。鍵を使用してデジタル署名を生成する技術は、本明細書で説明されている。デバイスは、第１の鍵に対応する鍵を使用してソフトウェア更新命令を検証するように構成され得る。例えば、デバイスは、第１の鍵に対応する公開鍵を使用してソフトウェア更新命令を検証し得る。別の実施例では、第１の鍵は対称鍵であり得、デバイスは、第１の対称鍵を使用してソフトウェア更新命令を検証し得る。
次に、プロセス７００はブロック７１２に進み、そこでシステムは、ソフトウェア更新命令を送信する。いくつかの実施形態では、システムは、ソフトウェア更新命令をユーザシステムに送信するように構成され得る。ユーザシステムは、ソフトウェア更新命令にデジタル署名し得る。いくつかの実施形態では、ユーザシステムは、プロセス７００を行うシステムのデジタル署名を検証し得、デジタル署名が有効であるとユーザシステムが判定した場合、ユーザシステムは、自身のデジタル署名を生成することによって、ソフトウェア更新命令にデジタル署名し得る。次いで、ユーザシステムは、デバイスへの送信のために、ソフトウェア更新命令をホストシステム（例えば、ホストシステム１０４）に送信し得る。いくつかの実施形態では、ユーザシステムは、ソフトウェア更新命令にデジタル署名することなく、ソフトウェア更新命令をホストシステムに送信し得る。そのような実施形態では、ソフトウェア更新命令は、単一のエンティティ（例えば、プロセス７００を行うシステム）によって署名され得る。デバイスは、ソフトウェア更新命令に含まれる両方のデジタル署名を検証することによって、ソフトウェア更新命令を検証し得る。いくつかの実施形態では、プロセス７００を行うシステムは、ソフトウェア更新命令をユーザシステムに送信することなく、それらをホストシステムに送信するように構成され得る。デバイスは、ソフトウェア更新命令に含まれるシステムのデジタル署名を検証することによって、ソフトウェア更新命令を検証し得る。デバイスへのソフトウェア更新命令の送信は、デバイスに、図５を参照して本明細書で説明されたプロセス５００を行わせ得る。デバイスは、鍵の使用を無効化し、無効化された鍵の代わりに別の鍵の使用を開始し得る。
いくつかの実施形態では、システムは、デバイスによって生成されたいかなる要求も受信することなく、鍵無効化命令を含むソフトウェア更新命令を送信するように構成され得る。例えば、システムは、デバイスとの任意の通信プロトコルに参加することなく、ソフトウェア更新命令を送信し得る。図４を参照して本明細書で説明されたように、デバイスは、命令を要求することなく（例えば、ホストシステムを通して）命令を受信し得る。これにより、敵対者がそのような要求を傍受したり、かつ／又は自身の鍵をデバイスに送信する機会が排除され得る。
図８は、本明細書に記載の技術の実施形態を実装するために使用され得る例示的なコンピュータシステム８００のブロック図を示す。コンピューティングデバイス８００は、１つ以上のコンピュータハードウェアプロセッサ８０２並びに非一時的なコンピュータ可読記憶媒体（例えば、メモリ８０４及び１つ以上の不揮発性記憶デバイス８０６）を含み得る。プロセッサ８０２は、（１）メモリ８０４、及び（２）不揮発性記憶デバイス８０６へのデータの書き込み並びにこれらからのデータの読み出しを制御し得る。本明細書に記載の機能のうちのいずれかを行うために、プロセッサ８０２は、プロセッサ８０２による実行のためのプロセッサ実行可能命令を記憶する非一時的なコンピュータ可読記憶媒体の役割を果たし得る、１つ以上の非一時的なコンピュータ可読記憶媒体（例えば、メモリ８０４）内に記憶された１つ以上のプロセッサ実行可能命令を実行し得る。
「プログラム」又は「ソフトウェア」という用語は、本明細書では一般的な意味で使用され、上記で検討されたような実施形態の様々な態様を実装するためにコンピュータ又は他のプロセッサ（物理的又は仮想的）をプログラムするために使用することができる任意のタイプのコンピュータコード又はプロセッサ実行可能命令セットを指す。加えて、１つの態様によれば、実行されると、本明細書で提供される開示の方法を行う１つ以上のコンピュータプログラムは、単一のコンピュータ又はプロセッサ上に存在する必要はなく、本明細書で提供される開示の様々な態様を実装するために、異なるコンピュータ又はプロセッサ間にモジュール方式で分散されてもよい。
プロセッサ実行可能命令は、１つ以上のコンピュータ又は他のデバイスによって実行される、プログラムモジュールなどの多くの形態であり得る。一般に、プログラムモジュールは、タスクを行うか、又は抽象的データタイプを実装するルーチン、プログラム、オブジェクト、構成要素、データ構造、その他を含む。典型的には、プログラムモジュールの機能は、組み合わされてもよいし、又は分散されてもよい。
１００ システム
１０２ デバイス
１０２Ａ プロセッサ
１０２Ｂ 無線通信回路
１０２Ｃ メモリ
１０４ ホストシステム
１０６ ソフトウェアプロバイダシステム
１０８ ネットワーク
１１０ ローカルネットワーク
２００ ソフトウェアアーキテクチャ
２０２ 第１のブートローダ
２０４ 第２のブートローダ
２０６ 動作ソフトウェア
２０８ 通信ソフトウェア
２１０ 無線通信回路
２１２ ソフトウェア更新命令
２１４ ソフトウェア更新命令処理
３００ ソフトウェア更新命令セット
３００Ａ 第１の署名
３００Ｂ 第２の署名
３００ ソフトウェア命令
３０２ 鍵無効化命令セット
３０４ ソフトウェアイメージ
３０４Ａ 署名
４００ ソフトウェアプロバイダシステム
４０２ 鍵生成
４０２Ａ 秘密鍵
４０２Ｂ 公開鍵
４０８ 署名生成
４１０ デバイス
４３０ ユーザシステム
４３２ 秘密鍵／公開鍵ペア生成
４３２Ａ 秘密鍵
４３２Ｂ 公開鍵
４４０ メモリ
５００ プロセス
６００ プロセス
７００ プロセス
８００ コンピュータシステム
８０２ コンピュータハードウェアプロセッサ
８０４ メモリ
８０６ 不揮発性記憶デバイス

Claims (20)

  1. デバイスのローカルネットワーク内の通信に限定された前記デバイス上で鍵無効化を行うための方法であって、前記デバイスは第１の鍵及び第２の鍵を記憶しており、前記方法は、
    前記デバイスのプロセッサを使用して、
    前記デバイスの前記ローカルネットワーク内のホストシステムから、前記デバイスにインストールされたソフトウェアを更新するための命令を受信することであって、前記命令は、前記第１の鍵の無効化のための命令を含む、受信することと、
    前記命令を実行することであって、前記命令の実行は、前記デバイスに、
    前記第１の鍵の使用を無効化させ、かつ
    前記第１の鍵の代わりに第３の鍵の使用を開始させる、実行することと、を行うことを含む、方法。
  2. 前記デバイスは、インターネット接続を有さない、請求項１に記載の方法。
  3. 前記デバイスは、第三者検証機関と通信できない、請求項１に記載の方法。
  4. 前記プロセッサを使用して、
    前記デバイスの前記第１の鍵及び前記第２の鍵を使用して前記命令を検証することと、
    前記デバイスの前記第１の鍵及び前記第２の鍵を使用して前記命令を検証した後に前記命令を実行することと、を行うことを更に含む、請求項１に記載の方法。
  5. 前記デバイスの前記第１の鍵及び前記第２の鍵を使用して前記命令を検証することは、
    前記デバイスの第１のブートローダを使用して、前記第１の鍵を使用して前記命令を検証することと、
    前記デバイスの第２のブートローダを使用して、前記第２の鍵を使用して前記命令を検証することと、を含む、請求項４に記載の方法。
  6. 前記命令を実行することは、前記第２のブートローダを使用して前記命令を実行することを含む、請求項５に記載の方法。
  7. 前記命令は、前記第１の鍵を使用して生成された第１の署名と、前記第２の鍵を使用して生成された第２の署名とを含み、
    前記命令を検証することは、前記第１及び第２の鍵を使用して前記第１及び第２の署名を検証することを含む、請求項４に記載の方法。
  8. 前記第１の鍵は、前記デバイスにインストールされた前記ソフトウェアのプロバイダに関連付けられたシステムによって生成され、前記第２の鍵は、前記デバイスのユーザに関連付けられたシステムによって生成される、請求項１に記載の方法。
  9. 前記第１の鍵の無効化は、所定の回数まで行われることができる、請求項１に記載の方法。
  10. 前記所定の回数は１回である、請求項９に記載の方法。
  11. 前記デバイスの前記ローカルネットワーク内の前記ホストシステムから、前記デバイスにインストールされたソフトウェアを更新するための別の命令セットを受信することであって、前記別の命令セットは、前記第２の鍵の無効化のための命令を含む、受信することと、
    前記追加の命令セットを実行することであって、前記追加の命令セットの実行は、前記デバイスに、
    前記第２の鍵の使用を無効化させ、かつ
    前記第２の鍵の代わりに第４の鍵の使用を開始させる、実行することと、を更に含む、請求項１に記載の方法。
  12. ローカルネットワークの一部を形成し、かつ前記ローカルネットワーク内の通信に限定されたデバイスであって、
    無線通信回路と、
    第１の鍵及び第２の鍵を記憶するように構成されたメモリと、
    プロセッサであって、
    前記無線通信回路を使用して前記ローカルネットワーク内のホストシステムから、前記デバイスにインストールされたソフトウェアを更新するための命令を受信することであって、前記命令は、前記第１の鍵の無効化のための命令を含む、受信することと、
    前記命令を実行することであって、前記命令の実行は、前記デバイスに、
    前記第１の鍵の使用を無効化させ、かつ
    前記第１の鍵の代わりに第３の鍵の使用を開始させる、実行することと、を行うように構成されたプロセッサと、を備える、デバイス。
  13. 前記デバイスは、インターネット接続を有さない、請求項１２に記載のデバイス。
  14. 前記デバイスは、第三者検証機関と通信できない、請求項１２に記載のデバイス。
  15. 前記命令は、前記プロセッサに、
    前記デバイスの前記第１の鍵及び前記第２の鍵を使用して前記命令を検証することを更に行わせ、前記デバイスの前記第１の鍵及び前記第２の鍵を検証した後に、前記命令の実行が行われる、請求項１２に記載のデバイス。
  16. 前記メモリは、前記デバイスにインストールされた前記ソフトウェアをロードするための第１のブートローダ及び第２のブートローダのための命令を記憶するように構成され、
    前記デバイスの前記第１の鍵及び前記第２の鍵を使用して前記命令を検証することは、
    前記第１のブートローダを使用して、前記第１の鍵を使用して前記命令を検証することと、
    前記第２のブートローダを使用して、前記第２の鍵を使用して前記命令を検証することと、を含む、請求項１５に記載のデバイス。
  17. デバイスへの接続を有さずに前記デバイス上で鍵無効化を行うためのシステムであって、前記デバイスは第１の鍵を有し、前記システムは、
    無線通信回路と、
    プロセッサであって、
    前記無線通信回路を使用して、前記デバイスのローカルネットワーク内のホストシステムに、前記デバイスにインストールされたソフトウェアを更新するための命令を送信することであって、前記命令は、前記デバイスによって実行されると、前記デバイスに、
    前記デバイスの前記第１の鍵の使用を無効化させ、かつ
    前記第１の鍵の代わりに第２の鍵の使用を開始させる、送信することを行うように構成されたプロセッサと、を備える、システム。
  18. 前記プロセッサは、前記第１の鍵を使用して前記命令に署名するように更に構成されている、請求項１７に記載のシステム。
  19. 前記命令はソフトウェアイメージを含み、前記プロセッサは、前記第２の鍵を使用して前記ソフトウェアイメージに署名するように更に構成されている、請求項１７に記載のシステム。
  20. 前記プロセッサは、前記命令に、鍵無効化命令及び更新されたソフトウェアイメージを含めることによって前記命令を生成するように更に構成されている、請求項１７に記載のシステム。
JP2023540166A 2020-12-31 2021-12-10 エッジデバイスのための鍵無効化 Pending JP2024503602A (ja)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US202063132992P 2020-12-31 2020-12-31
US63/132,992 2020-12-31
PCT/US2021/062879 WO2022146657A1 (en) 2020-12-31 2021-12-10 Key revocation for edge devices

Publications (1)

Publication Number Publication Date
JP2024503602A true JP2024503602A (ja) 2024-01-26

Family

ID=79287947

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2023540166A Pending JP2024503602A (ja) 2020-12-31 2021-12-10 エッジデバイスのための鍵無効化

Country Status (5)

Country Link
US (1) US20220209946A1 (ja)
EP (1) EP4272365A1 (ja)
JP (1) JP2024503602A (ja)
CN (1) CN116710914A (ja)
WO (1) WO2022146657A1 (ja)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11652626B2 (en) * 2020-02-18 2023-05-16 International Business Machines Corporation Safeguarding cryptographic keys from modification or deletion

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB9925227D0 (en) * 1999-10-25 1999-12-22 Internet Limited Data storage retrieval and access system
US10033534B2 (en) * 2015-12-01 2018-07-24 Intel Corporation Methods and apparatus to provide for efficient and secure software updates

Also Published As

Publication number Publication date
WO2022146657A1 (en) 2022-07-07
EP4272365A1 (en) 2023-11-08
CN116710914A (zh) 2023-09-05
US20220209946A1 (en) 2022-06-30

Similar Documents

Publication Publication Date Title
US11074371B2 (en) Systems, methods and apparatuses for secure storage of data using a security-enhancing chip
EP3458999B1 (en) Self-contained cryptographic boot policy validation
CN107077574B (zh) 用于客户端设备的信任服务
WO2020098377A1 (zh) 可信应用程序的远程证明方法及装置、电子设备
US9806883B2 (en) Secure provision of a key
US8843764B2 (en) Secure software and hardware association technique
US20210012008A1 (en) Method of initializing device and method of updating firmware of device having enhanced security function
JP2010011400A (ja) 共通鍵方式の暗号通信システム
CN107534551B (zh) 提供加密数据的方法、计算设备和计算机可读介质
KR102028197B1 (ko) 하드웨어 보안 모듈, 상기 하드웨어 보안 모듈에 저장된 무결성 검증 값을 업데이트하는 방법, 상기 하드웨어 보안 모듈을 이용하여 단말에 저장된 프로그램을 업데이트하는 방법
US10282549B2 (en) Modifying service operating system of baseboard management controller
US20160028549A1 (en) Information processing system and electronic device
CN110730159B (zh) 一种基于TrustZone的安全和可信混合***启动方法
US11516194B2 (en) Apparatus and method for in-vehicle network communication
JP6387908B2 (ja) 認証システム
EP3641219A1 (en) Puf based securing of device update
US20180365411A1 (en) Method and security module for providing a security function for a device
JP2018117185A (ja) 情報処理装置、情報処理方法
US20160277182A1 (en) Communication system and master apparatus
JP2024503602A (ja) エッジデバイスのための鍵無効化
JP2018194879A (ja) 半導体装置、ブート方法、およびブートプログラム
US10067770B2 (en) Platform key hierarchy
US20240249029A1 (en) Utilizing hardware tokens in conjunction with HSM for code signing
US11526598B2 (en) Microcontroller and semiconductor device
WO2022009464A1 (ja) 制御装置およびプログラム検証方法

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20240722