特許 7224485 ゲートウェイを用いてＴｒｕｓｔｅｄ Ｅｘｅｃｕｔｉｏｎ Ｅｎｖｉｒｏｎｍｅｎｔ（ＴＥＥ）におけるリモート認証を実行するための方法及びシステム

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】特許公報(B2)

(11)【特許番号】

(24)【登録日】2023-02-09

(45)【発行日】2023-02-17

(54)【発明の名称】ゲートウェイを用いてＴｒｕｓｔｅｄ Ｅｘｅｃｕｔｉｏｎ Ｅｎｖｉｒｏｎｍｅｎｔ（ＴＥＥ）におけるリモート認証を実行するための方法及びシステム

(51)【国際特許分類】

   G06F 21/57 20130101AFI20230210BHJP

   G06F 21/74 20130101ALI20230210BHJP

【ＦＩ】

G06F21/57

G06F21/74

【請求項の数】 14

(21)【出願番号】P 2021552628

(86)(22)【出願日】2019-04-30

(65)【公表番号】

(43)【公表日】2022-04-20

(86)【国際出願番号】 EP2019061076

(87)【国際公開番号】W WO2020177879

(87)【国際公開日】2020-09-10

【審査請求日】2021-09-16

(31)【優先権主張番号】19161063.3

(32)【優先日】2019-03-06

(33)【優先権主張国・地域又は機関】EP

(73)【特許権者】

【識別番号】517451940

【氏名又は名称】エヌイーシー ラボラトリーズ ヨーロッパ ゲーエムベーハー

(74)【代理人】

【識別番号】100124811

【弁理士】

【氏名又は名称】馬場 資博

(74)【代理人】

【識別番号】100088959

【弁理士】

【氏名又は名称】境 廣巳

(74)【代理人】

【識別番号】100097157

【弁理士】

【氏名又は名称】桂木 雄二

(74)【代理人】

【識別番号】100187724

【弁理士】

【氏名又は名称】唐鎌 睦

(72)【発明者】

【氏名】カラメ ガッサン

(72)【発明者】

【氏名】ソリエンテ クラウディオ

【審査官】小林 秀和

(56)【参考文献】

【文献】特表２０１３－５０１３００（ＪＰ，Ａ）

【文献】米国特許出願公開第２０１９／００４４９３９（ＵＳ，Ａ１）

【文献】米国特許出願公開第２０１８／０１５０４１１（ＵＳ，Ａ１）

(58)【調査した分野】(Int.Cl.，ＤＢ名)

Ｇ０６Ｆ ２１／５７

Ｇ０６Ｆ ２１／４４

Ｇ０６Ｆ ２１／７４

(57)【特許請求の範囲】

【請求項1】

リモート認証を実行する方法であって、
検証者（１０）と、認証対象であるアプリケーション（２４）が実行されるｔｒｕｓｔｅｄ ｅｘｅｃｕｔｉｏｎ ｅｎｖｉｒｏｎｍｅｎｔ，ＴＥＥ（２２）を含むリモートホスト（２０）と、の間のゲートウェイ（３０）を使用し、
前記ゲートウェイ（３０）が、前記検証者（１０）からの、認証対象である前記アプリケーション（２４）のコードおよび前記リモートホスト（２０）のエンドポイントの情報を含む認証要求を受信し、
前記ゲートウェイ（３０）が、前記リモートホスト（２０）のＴＥＥ（２２）のタイプと、認証対象である前記アプリケーション（２４）の予期される識別情報と、を特定し、前記リモートホスト（２０）の特定されたＴＥＥ（２２）のタイプに基づいて認証プロトコルを選択し、
前記ゲートウェイ（３０）が、前記リモートホスト（２０）と共に選択された認証プロトコルを実行することによって、認証対象であるアプリケーション（２４）の前記予期される識別情報を検証し、認証結果を前記検証者（１０）に送信する、
ことを特徴とする方法。

【請求項2】

前記ゲートウェイ（３０）のプラットフォーム識別モジュール（３２）が、前記リモートホスト（２０）を調べて、前記リモートホスト（２０）上で実行されているＴＥＥ（２２）のタイプを特定する、
ことをさらに含む請求項１に記載の方法。

【請求項3】

前記ゲートウェイ（３０）のコンパイルモジュール（３４）が、前記リモートホスト（２０）のＴＥＥ（２２）の特定されたタイプに応じて、複数のアーキテクチャ依存コンパイラ（３５）から所定のコンパイラを選択して適用することによって、認証対象である前記アプリケーション（２４）のコードをコンパイルする、
ことをさらに含む請求項１又は２に記載の方法。

【請求項4】

前記ゲートウェイ（３０）の識別情報計算モジュール（３６）が、前記アプリケーション（２４）のコンパイルされたコードと、前記リモートホスト（２０）のＴＥＥ（２２）の特定されたタイプと、に基づいて、認証対象である前記アプリケーション（２４）の前記予期される識別情報を計算する、
ことをさらに含む請求項１乃至３のいずれかに記載の方法。

【請求項5】

前記ゲートウェイ（３０）のリモート認証モジュール（３８）が、
前記リモートホスト（２０）から認証対象である前記アプリケーション（２４）の識別情報に付された署名を取得して、当該署名を検証し、
前記リモートホスト（２０）から受信した署名付きの識別情報が、前記アプリケーション（２４）の計算された前記予期される識別情報と一致するかどうかの有効性をチェックする、
ことを含む請求項１乃至４のいずれかに記載の方法。

【請求項6】

前記検証者（１０）に認証結果を送信する際に、
署名の検証と有効性のチェックが成功した場合に、認証が成功したことを示す肯定的なメッセージを検証者（１０）に送信する、
又は、署名の検証及び／又は有効性のチェックが失敗した場合に、認証が失敗したことを示す否定的なメッセージを検証者（１０）に送信する、
ことをさらに含む請求項５に記載の方法。

【請求項7】

リモート認証を実行するためのシステムであり、請求項１乃至６のいずれかに記載の方法を実行するためのシステムであって、
検証者（１０）と、認証対象であるアプリケーション（２４）が実行されるｔｒｕｓｔｅｄ ｅｘｅｃｕｔｉｏｎ ｅｎｖｉｒｏｎｍｅｎｔ，ＴＥＥ（２２）を含むリモートホスト（２０）と、の間のゲートウェイ（３０）を備え、
前記ゲートウェイ（３０）が、
前記検証者（１０）からの、認証対象である前記アプリケーション（２４）のコードおよび前記リモートホスト（２０）のエンドポイントの情報を含む認証要求を受信し、
前記リモートホスト（２０）のＴＥＥ（２２）のタイプと、認証対象である前記アプリケーション（２４）の予期される識別情報と、を特定し、前記リモートホスト（２０）の特定されたＴＥＥ（２２）のタイプに基づいて認証プロトコルを選択し、
前記リモートホスト（２０）と共に選択された認証プロトコルを実行することによって、認証対象であるアプリケーション（２４）の前記予期される識別情報を検証し、認証結果を前記検証者（１０）に送信する、
処理を実行するよう構成されていることを特徴とするシステム。

【請求項8】

前記ゲートウェイ（３０）は、前記リモートホスト（２０）を調べて、前記リモートホスト（２０）上で実行されているＴＥＥ（２２）のタイプを特定するよう構成されたプラットフォーム識別モジュール（３２）を備える、
請求項７に記載のシステム。

【請求項9】

前記ゲートウェイ（３０）は、複数の異なるアーキテクチャ依存コンパイラ（３５）を含むコンパイルモジュール（３４）を備え、
前記コンパイルモジュール（３４）は、前記リモートホスト（２０）のＴＥＥ（２２）の特定されたタイプに応じて、複数のアーキテクチャ依存コンパイラ（３５）から所定のコンパイラを選択して適用することによって、認証対象である前記アプリケーション（２４）のコードをコンパイルするよう構成されている、
請求項７又は８に記載のシステム。

【請求項10】

前記ゲートウェイ（３０）は、前記アプリケーション（２４）のコンパイルされたコードと、前記リモートホスト（２０）のＴＥＥ（２２）の特定されたタイプと、に基づいて、認証対象である前記アプリケーション（２４）の前記予期される識別情報を計算するよう構成された識別情報計算モジュール（３６）を備える、
請求項７乃至９のいずれかに記載のシステム。

【請求項11】

前記ゲートウェイ（３０）は、異なるリモート認証プロトコルのための複数の異なる検証ロジックを含むリモート認証モジュール（３８）を備える、
請求項７乃至１０のいずれかに記載のシステム。

【請求項12】

前記リモート認証モジュール（３８）は、
前記リモートホスト（２０）のＴＥＥ（２２）の特定されたタイプに応じて、前記複数の異なる検証ロジックから所定の検証ロジックを選択し、選択された検証ロジックに対応する前記リモートホスト（２０）と共にリモート認証プロトコルを実行する、ように構成されている、
請求項１１に記載のシステム。

【請求項13】

前記リモート認証モジュール（３８）は、
前記リモートホスト（２０）から認証対象である前記アプリケーション（２４）の識別情報に付された署名を取得して、当該署名を検証し、
前記リモートホスト（２０）から受信した署名付きの識別情報が、前記アプリケーション（２４）の計算された前記予期される識別情報と一致するかどうかの有効性をチェックする、
ように構成されている、
請求項１１又は１２に記載のシステム。

【請求項14】

前記リモート認証モジュール（３８）は、さらに認証結果を提供するよう構成されており、認証結果を提供する際に、
署名の検証と有効性のチェックが成功した場合に、認証が成功したことを示す肯定的なメッセージを検証者（１０）に送信する、
又は、署名の検証及び／又は有効性のチェックが失敗した場合に、認証が失敗したことを示す否定的なメッセージを検証者（１０）に送信する、
ように構成されている、
請求項１３に記載のシステム。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、Ｔｒｕｓｔｅｄ Ｅｘｅｃｕｔｉｏｎ Ｅｎｖｉｒｏｎｍｅｎｔｓ（ＴＥＥ）、特に、リモートホストのＴＥＥで実行されるアプリケーションの認証を実行するための方法およびシステムに関する。

【背景技術】

【0002】

Ｔｒｕｓｔｅｄ Ｅｘｅｃｕｔｉｏｎ Ｅｎｖｉｒｏｎｍｅｎｔｓ（ＴＥＥ）では、リモート認証により、検証者は、特定のアプリケーションがリモートホストマシンのＴＥＥで改ざんされずに実行されているという証拠を収集することができる。例えば、ブロックチェーンネットワークにおいて、全てのブロックチェーンノードがＴＥＥを実装し（例えば、セキュアエンクレーブの形式で）、軽量ブロックチェーンクライアントの要求に対して、未使用トランザクション出力、ＵＴＸＯ、情報を取得し、この情報を軽量クライアントに提供する。このような場合に、軽量ブロックチェーンクライアントは、ＴＥＥに要求を送信する前に、真正なＴＥＥの実行を確認するために、例えば、あるエンクレーブコードが適切に初期化されていることを確認することによって、ＴＥＥで認証を実行できる。

【0003】

認証は、通常、デジタル署名スキームとホストマシン上の信頼できるコンポーネントによって実現される。ホストマシンは、ローカルＴＥＥで実行されているアプリケーションの「識別情報」を計算し、計算された識別情報に秘密鍵で署名する。対応する公開鍵は、信頼できる認証機関によって証明される。認証対象であるアプリケーションの識別情報は、通常、適切なハッシュ関数をアプリケーションバイナリに適用することによって計算される。ホストマシンの構成に関連する追加のデータも、ハッシュ関数への追加入力として使用されうる。識別情報に対する署名は、認証機関によって発行された公開鍵の証明書とともに、検証者に送信される。

【0004】

従って、上記スキームでは、検証者は、１）証明書の有効性を検証し、２）署名を検証し、３）リモートホストによって署名された識別情報が認証対象であるアプリケーションの参照識別情報と一致することを確認する、こととなる。検証者は、アプリケーションが実行されているホストの詳細と、適切な認証スキームの詳細とを、十分に認識している必要がある。特に、検証者は、ホストマシンの署名を検証するために、ホストマシンで使用される署名スキームを認識している必要がある。さらに、検証者は、認証されるアプリケーションの予期される識別情報を認識している必要がある。この予期される識別情報は、ホストマシンのアーキテクチャと使用されている認証プロトコルによって決まりうる。実際、アプリケーションバイナリはアーキテクチャに依存する場合があり、使用される認証スキームは、認証されるアプリケーションの識別情報を計算するときに、他のホスト関連情報を追加する場合もある。さらに悪いことに、ホストマシンによって出力された署名は公的に検証できない場合がある。このようなシナリオでは、指定された認証サーバーが、署名を検証して検証者に（バイナリ）応答を提供することに関与する場合があり、時には、認証サーバーは登録済みの検証者のみに行いうる。

【0005】

その結果、さまざまなＴＥＥと認証メカニズムの現在の状況を考えると、検証者が所定のアプリケーションに対してリモート認証プロトコルを実行することは容易ではなく、ときには不可能な場合もある。例えば、検証者が所定のホストアーキテクチャの予期されるアプリケーション識別情報を計算できない場合や、単に検証者がプロトコルに含まれる認証サーバーに登録されていない場合がある。

【発明の概要】

【発明が解決しようとする課題】

【0006】

上記を考慮して、本発明の目的は、ＴＥＥのタイプやリモートホストによって使用される認証メカニズムには関係なく、検証者がリモートホストのＴＥＥで実行されているアプリケーションを認証できるように、リモート認証を実行するための方法およびシステムを改善してさらに開発することである。

【課題を解決するための手段】

【0007】

本発明によれば、上述した目的は、リモート認証を実行するための方法によって達成され、この方法は、以下のステップを含む。
検証者と、認証対象であるアプリケーションが実行されるｔｒｕｓｔｅｄ ｅｘｅｃｕｔｉｏｎ ｅｎｖｉｒｏｎｍｅｎｔ（ＴＥＥ）を含むリモートホストと、の間のゲートウェイを使用し、
ゲートウェイが、検証者からの認証要求を受信し、
ゲートウェイが、リモートホストのＴＥＥのタイプと、認証対象であるアプリケーションの予期される識別情報と、を特定し、リモートホストの特定されたＴＥＥのタイプに基づいて認証プロトコルを選択し、
ゲートウェイが、リモートホストと共に選択された認証プロトコルを実行することによって、認証対象であるアプリケーションの予期される識別情報を検証し、認証結果を検証者に送信する。

【0008】

さらに、上記目的は、リモート認証を実行するためのシステムによって達成され、このシステムは、検証者と、認証対象であるアプリケーションが実行されるｔｒｕｓｔｅｄ ｅｘｅｃｕｔｉｏｎ ｅｎｖｉｒｏｎｍｅｎｔ（ＴＥＥ）を含むリモートホストと、の間に配置されたゲートウェイを備え、ゲートウェイが以下のステップを実行するよう構成されている。
検証者からの認証要求を受信し、
リモートホストのＴＥＥのタイプと、認証対象であるアプリケーションの予期される識別情報と、を特定し、リモートホストの特定されたＴＥＥのタイプに基づいて認証プロトコルを選択し、
リモートホストと共に選択された認証プロトコルを実行することによって、認証対象であるアプリケーションの予期された識別情報を検証し、認証結果を検証者に送信する。

【0009】

本発明によれば、上記目的は、検証者とＴＥＥアプリケーションが実行されているホストとの間に認証ゲートウェイを導入することによって達成されうる。認証ゲートウェイは、自身が検証者として、又はより具体的には検証者に代わって、認証処理を実行するよう構成されている。ここで重要なことは、ゲートウェイが、検証者と、リモートマシンの安全な環境で実行されている認証対象であるアプリケーションと、の間を仲介していることである。このようにして、検証者は、多くの計算タスクから解放される。特に、検証者がすべてのタイプのＴＥＥに対応して異なる認証サービスを実行する必要はなく、検証者が単一の認証実行ステップを認識する必要はない。実際に、検証者は、いくつかの最小パラメータを含む認証要求を発行し、ＴＥＥ認証ゲートウェイを介して対応する認証結果を受信するだけでよく、認証手順自体はゲートウェイによって実行される。

【0010】

結果として、本発明の実施形態では、かなり限定された計算能力を有するデバイスであっても、異機種環境にあるデバイスの多様なセットに対してリモート認証を実行することが可能である。このような状況において、本発明は、異機種環境にあるＴＥＥを利用可能であり、アプリケーションがそれらのいずれかに展開されうるシナリオにおいて、リモートアプリケーションを認証することの課題を解決することができる。

【0011】

本発明の実施形態によれば、認証ゲートウェイは、リモートホストによって使用されうるリモート認証プロトコルのいずれかを実行するための計算手段を含む。

【0012】

本発明の実施形態によれば、認証ゲートウェイは、互いに通信するように構成されたいくつかのモジュールを含み、各モジュールは、リモート認証手順の専用サブタスクを実行するように構成される。具体的に、ゲートウェイは、プラットフォーム識別モジュール、コンパイルモジュール、識別情報計算モジュール、およびリモート認証モジュールの４つのモジュールで構成される。プラットフォーム識別モジュールは、ホストマシンを調べて、そのマシンで実行されているＴＥＥのタイプを特定する。コンパイルモジュールは、プラットフォーム識別モジュールによって検出されたアプリケーションが実行されているＴＥＥのタイプに従って、検証者によって提供されたアプリケーションコードをコンパイルするように構成されている。

【0013】

識別情報計算モジュールは、コンパイルモジュールによって提供されるコンパイルされたアプリケーションと、プラットフォーム識別モジュールによって検出されたＴＥＥのタイプと、に基づいて、アプリケーションの予期される識別情報を計算することができる。最後に、リモート認証モジュールは、複数のリモート認証プロトコルのための検証ロジックを保持しており、ホストマシンで実行されるＴＥＥのタイプに基づいて適切な１つを選択し、ホストマシンと共にリモート認証プロトコルを実行する。当業者によって理解されるように、認証ゲートウェイの個々のモジュールに対するリモート認証手順のサブタスクの割り当ては、上述した割り当てとは異なり、代替の実装も同様に可能である。

【0014】

実施形態によれば、ホストは、ローカルＴＥＥ内にアプリケーションＡを展開し、識別情報計算モジュールは、アプリケーションＡのコンパイルされたコードおよびホストで実行されるＴＥＥのタイプに基づいて、アプリケーションＡの予期される識別情報Ｉｄ_Ａを計算することができる。認証ゲートウェイによって実行される認証手順においては、認証ゲートウェイは、ホストからアプリケーション識別情報Ｉｄ’_Ａに付された署名を受け取る。認証ゲートウェイは、予期される識別情報Ｉｄ_ＡがＩｄ’_Ａと一致することを検証し、検証の結果をリモート検証者に転送するように構成される。

【0015】

実施形態によれば、認証ゲートウェイは、ホストマシンとの通信においてデジタル署名スキームを使用することができる。このような状況で、ホストマシンが認証対象であるアプリケーションの識別情報を計算し（例えば、適切なハッシュ関数をアプリケーションバイナリに適用することによって）、秘密鍵を用いて計算された識別情報に署名したときに、識別情報の署名が認証機関によって発行された対応する公開鍵の証明書と共に認証ゲートウェイに送信される。次に、認証ゲートウェイは、公開鍵を使用して、証明書の有効性を検証し、署名を検証し、リモートホストによって署名された識別情報が認証対象であるアプリケーションの予期される（参照）識別情報と一致することを確認する。

【0016】

指定された認証サーバーを含む適切な認証プロトコルが設定された実施形態によれば、認証ゲートウェイ、特に、認証ゲートウェイのリモート認証モジュールは、認証プロキシ、特に、Claudio Soriente, Ghassan Karame, Wenting Li, Sergey Fedorov: “ReplicaTEE: Enabling Seamless Replication of SGX Enclaves in the Cloud”, CoRR.abs/1809.05027,によって定義されたような認証プロキシを利用することができる。これは参照により本明細書に組み込まる。

【0017】

実施形態によれば、すべての専用モジュールは、同じ処理システム上で実行することができ、同じ電子コンポーネント上に実装することができる。あるいは、モジュールは、異なるエンティティ上に実装することもでき、モジュール間の通信および相互作用は、有線または無線の通信技術によって達成されうる。

【0018】

実施形態によれば、検証者とゲートウェイとの間の通信、ならびにゲートウェイとリモートホストとの間の通信は、オープンプロトコルを使用することによって実装されうる。

【0019】

本発明における教示内容を設計し、さらに発展させる好適な方法はいくつかある。このため、一方では、従属請求項を参照し、他方では、図面によって示されるような例示の方法による本発明の実施形態の説明を参照する必要がある。図面を用いた本発明の好ましい実施形態の説明に関連して、一般的に好ましい実施形態と教示内容のさらなる改良が説明されうる。

【図面の簡単な説明】

【0020】

【図1】本発明の実施形態におけるＴＥＥ認証ゲートウェイを含むリモート認証を実行するためのシステムを示す概略図である。

【図2】本発明の実施形態におけるリモート認証の実行の概略を示す高レベルフローチャートである。

【発明を実施するための形態】

【0021】

リモート認証は、Ｔｒｕｓｔｅｄ Ｅｘｅｃｕｔｉｏｎ Ｅｎｖｉｒｏｎｍｅｎｔｓ（ＴＥＥ）を利用する分散アプリケーションに必要な機能である。検証者は、リモート認証を介して、参照アプリケーションがリモートマシンのＴＥＥ内で改ざんされていない状態で実行されているという証拠を取得する。現在では、複数のＴＥＥが利用可能であり（例えば、Intel SGX : V. Costan, et al., “Intel SGX explained.”, Cryptology ePrint Archive (2016), 又は、ARM TrustZone : https://www.arm.com/products/silicon-ip-security）、所定のＴＥＥの様々なバージョンが様々なベンダーから提供されている（たとえば、QualcommとTrustonicは、それぞれTrustZoneの異なるバージョンのを提供している）。

【0022】

ＴＥＥのこのような異種状況を考えると、アプリケーションは異なるシステムに配置され、それぞれが独自の認証メカニズムを実装する場合がある。従って、検証者は、アプリケーションをホストしているマシンと、そのホストマシンによって実装されている認証メカニズムを認識している必要がある。

【0023】

本発明の実施形態は、図１に例示的に示すように、認証ゲートウェイ３０によって上記の問題を解決する。ゲートウェイ３０は、検証者１０と、ＴＥＥ対応プラットフォームであるリモートホスト２０と、の間に配置される。具体的には、ゲートウェイ３０は、検証者１０と、認証対象となるアプリケーション２４と、の間を仲介し、アプリケーション２４は、リモートホスト２０上のＴＥＥ２２で実行される。実施形態で示すように、ゲートウェイ３０は、認証対象となるアプリケーション２４のコードを検証者１０から入力として取得し、アプリケーション２４が配置されているリモートホストマシン２０のエンドポイントを取得する。

【0024】

実施形態で示すように、ゲートウェイ３０は、プラットフォーム識別モジュール３２、コンパイルモジュール３４、識別情報計算モジュール３６、リモート認証モジュール３８、といった４つのモジュールで構成されている。

【0025】

図１に示すように、プラットフォーム識別モジュール３２は、検証者１０によって提供されるリモートホスト２０のエンドポイントの情報を受信し、ホストマシン２０を調べ、ホストマシン２０上で実行されているＴＥＥ２２のタイプを特定するように構成されている。ＴＥＥ２２のタイプの情報は、ゲートウェイ３０の他のすべてのモジュール３４，３６，３８に転送される。

【0026】

コンパイルモジュール３４は、検証者１０によって提供されるアプリケーション２４のコードの情報を受け取り、プラットフォーム識別モジュール３２によって検出されるアプリケーション２４が実行されているＴＥＥ２２のタイプに基づいて、アプリケーションコードをコンパイルするよう構成されている。

【0027】

アプリケーション２４の識別情報ＩＤは、ハッシュ関数Ｈ、アプリケーションバイナリＢを選択し、識別情報ＩＤ＝Ｈ（Ｂ）と計算することによって算出される。使用されるハッシュ関数は、設定されている認証スキームによって異なる。例えば、ハッシュ関数は、ＳＨＡ２５６あるいは使用されている認証スキームによって定義されたその他の関数でありうる。実施形態において、識別情報は、いくつかのプラットフォーム属性、例えば、ＣＰＵモデルを含みうる。後者の場合、含まれるプラットフォームパラメータをＰとすると、ＩＤは、ＩＤ＝Ｈ（Ｐ｜｜Ｂ）として計算される。ここで｜｜は連結を示す。アプリケーションの識別情報を計算するために使用されるプラットフォーム属性（使用される場合）は、使用されている認証スキームによって異なることに注意すべきである。

【0028】

識別情報計算モジュール３６は、コンパイルモジュール３４によって提供されるコンパイルされたアプリケーションコードおよびプラットフォーム識別モジュール３２によって検出されるＴＥＥ２２のタイプに基づいて、設定されているそれぞれの識別情報計算スキームを適用することによってアプリケーション２４の識別情報を計算するよう構成されている。例えば、上記の例のようにＩＤ＝Ｈ（Ｂ）を計算する。アプリケーション２４の識別情報は、識別情報計算モジュール３６が、コンパイルモジュール３４から受信した情報（すなわち、コンパイルされたアプリケーションコード）およびプラットフォーム識別モジュール３２から受信した情報（すなわち、ＴＥＥ２２のタイプ）が正しいと仮定して、予期される識別情報として計算される。

【0029】

最後に、リモート認証モジュール３８は、いくつかのリモート認証プロトコルの検証ロジックを保持し、ホストマシン２０上で実行されているＴＥＥ２２のタイプに基づいて適切なものを選択し、選択されたリモート認証プロトコルを使用して、ホストマシン２０と共にリモート認証プロトコルを実行するよう構成される。

【0030】

ホストマシン２０が、認証対象であるアプリケーション２４の識別情報に署名を付けて応答すると、リモート認証モジュール３８は、署名の有効性を確認し、署名された識別情報が識別情報計算モジュール３６によって計算されたものと一致することを確認する。両方の確認が成功した場合、リモート認証モジュール３８は、検証者１０に肯定的な回答を通知する。そうでなければ、リモート認証モジュール３８は、検証者１０に否定的な回答を通知する。

【0031】

図２は、例えば図１のシナリオにおいて、検証者１０の代わりにリモートホスト２０のＴＥＥ２２で実行されているアプリケーション２４の認証を実行するために、認証ゲートウェイ３０のモジュールの実行がどのように行われるかを示す高レベルフローチャートを示す。ホスト２０は、いくつかのタイプのＴＥＥ２２のうちの１つを提供することができる。例えば、ホスト２０は、ＳＧＸ対応プラットフォームまたはＴｒｕｓｔＺｏｎｅプラットフォームでありうる。

【0032】

フローはステップ２０１から始まり、リモート検証者１０がアプリケーション２４のリモート認証の要求を発行すると、ステップ２０２で、この要求がゲートウェイ３０で受信される。最小要件として、要求は、少なくとも、検証者１０が、認証を要求するアプリケーション２４のコードのみならず、ローカルＴＥＥ２２内でアプリケーション２４を実行または展開するリモートホスト２０のエンドポイントに関する情報を含む。例えば、エンドポイント情報は、ホスト２０のＩＰアドレスを含むことができる。

【0033】

図１に示されるような認証ゲートウェイ３０の内部アーキテクチャを考慮すると、検証者１０によって提供されるホスト２０のエンドポイントに関する情報は、プラットフォーム識別モジュール３２に転送される。ステップ２０３で、プラットフォーム識別モジュール３２は、ホスト２０上のＴＥＥ２２のタイプ（たとえば、SGXエンクレーブ、Trustzoneなど）と、適切な認証メカニズムを推測する。このことは、プラットフォーム識別モジュール３２が、ホスト２０に連絡し、ホスト２０に特定の要求を送信して当該ホスト２０から必要な情報の応答を受けることによって実行されうる。あるいは、プラットフォーム識別モジュール３２は、ホスト２０上の特定の開いているポートを検出することによって、ホスト２０上のＴＥＥ２２のタイプを推測することができる。プラットフォーム識別モジュール３２によって検出されたＴＥＥ２２のタイプは、認証ゲートウェイ３０の他のモジュール、すなわち、具体的にはコンパイルモジュール３４、識別情報計算モジュール３６、およびリモート認証モジュール３８に、内部で通知される。

【0034】

ステップ２０４で、コンパイルモジュール３４は、プラットフォーム識別モジュール３２によって識別され通信されるよう、信頼性のあるプラットフォームのために、検証者１０によって提供されるアプリケーション２４のコードをコンパイルする。このタスクを達成するために、実施形態では、コンパイルモジュール３４には、いくつかのアーキテクチャ依存コンパイラ３５が予め構成されている。コンパイラ３５は、図１に例示的に示されるように、コンパイルモジュール３４上に直接常駐することができる。あるいは、コンパイラ３５は、コンパイルモジュール３４がアクセスできる別のエンティティ上に実装されうる。

【0035】

コンパイルモジュール３４は、いくつかのアーキテクチャ依存コンパイラ３５の中から、ホスト２０のアーキテクチャに一致するもの、具体的には、プラットフォーム識別モジュール３２から受信したＴＥＥ２２のタイプに一致するもの、を選択するように構成される。例えば、コンパイルモジュール３４は、ホスト２０のＴＥＥ２２がＳＧＸエンクレーブの形式で実装される場合には、ｘ８６アーキテクチャを使用し、あるいは、ホスト２０のＴＥＥ２２がＴｒｕｓｔＺｏｎｅプラットフォームとして実装される場合には、ＡＲＭアーキテクチャを使用しうる。当業者によって理解されるように、上記ＴＥＥタイプと適切なコンパイラのリストは、単なる例示であり、網羅的ではなく、さらなる実装が同様に実現され得る。タスクが首尾よく達成されると、コンパイルモジュール３４は、コンパイルされたコードを識別情報計算モジュール３６に送信する。

【0036】

ステップ２０５で、識別情報計算モジュール３６は、コンパイルモジュール３４によって提供されたコンパイルされたコードと、プラットフォーム識別モジュール３２によって検出されたホスト２０のＴＥＥ２２タイプと、を使用して、アプリケーション２４の予期される識別情報を計算する。算出された識別情報は、ゲートウェイ３０のリモート認証モジュール３８に送信される。

【0037】

ステップ２０６で、リモート認証モジュール３８は、検証者として、あるいはより正確には検証者１０に代わって、ホスト２０上で実行されているアプリケーション２４に対するリモート認証プロトコルを開始する。使用されるリモート認証プロトコルは、ホスト２０によって使用されているリモート認証プロトコルに従って、リモート認証モジュール３８によって選択される。このとき、プラットフォーム認証モジュール３２から通知されるホスト２０上で実行されるＴＥＥ２２のタイプに基づいて、リモート認証プロトコルの選択が行われる。

【0038】

リモート認証モジュール３８は、選択されたリモート認証プロトコルを使用して、アプリケーション２４のリモート認証の要求をホスト２０に発行する。認証要求に応答して、ホスト２０上のＴＥＥサブシステム２２は、ホスト２０のローカルＴＥＥ２２で実行されているアプリケーション２４の識別情報に署名を発行する。リモート認証モジュール３８は、署名を受信すると、ステップ２０７で、まず受信した署名を検証する。ステップ２０８で、署名の検証が有効である場合には、リモート認証モジュール３８は、ステップ２０９で第２のチェックを行う。この第２のチェックは、署名された識別情報が、識別情報計算モジュール３６から受信された予期される識別情報と一致することを検証することを目的とする。ステップ２１０で、このチェックも成功したことが判明した場合、リモート認証モジュール３８は、ステップ２１１で検証者１０に肯定的な認証結果を提供する。ステップ２０８またはステップ２１０のいずれかで２つのチェックのいずれかが失敗したことが判明した場合、リモート認証モジュール３８は、ステップ２１３を終了する前に、ステップ２１２で検証者１０に否定的な認証結果を提供する。

【0039】

別の実施形態よれば、最終的な認証結果（すなわち、肯定的または否定的）だけを検証者１０に通知する代わりに、それぞれステップ２０７およびステップ２０９で実行された両方の検証の結果を、検証者１０に直接転送することができる。オプションとして、リモート認証モジュール３８は、ホスト２０から受信した署名を検証者１０に転送することができる。

【0040】

本発明の多くの変形例および実施形態は、上述した説明および関連する図面に記載された説明により、本発明が関係する当業者には実施可能であろう。従って、本発明は、開示された特定の実施形態に限定されるものではなく、変形例および実施形態は添付の特許請求の範囲内に含まれることが意図されていることを理解されたい。本明細書では特定の用語が使用されているが、それらは一般的かつ説明的な意味でのみ使用されており、限定の目的では使用されていない。

【図1】

【図2】