信頼できるホスト環境が仮想計算機VMの要件に準拠しているという妥当性確認を提供するためのシステムであって、前記システムが、前記信頼できるホスト環境に関連する構成データを少なくとも1つの暗号データ構造に暗号で保管するための保管コンポーネントと、前記保管コンポーネントが前記構成データを保管したことに応答して、前記少なくとも1つの暗号データ構造を制御コンポーネントに送信するための送信コンポーネントと、前記制御コンポーネントが前記少なくとも1つの暗号データ構造を受信したことに応答して、前記少なくとも1つの暗号データ構造を分析するための分析コンポーネントと、前記分析コンポーネントが前記構成データを決定したことに応答して、前記構成データを前記要件と比較するための比較コンポーネントと、前記構成データが前記要件と一致すると前記比較コンポーネントが判断したことに応答して、前記信頼できるホスト環境内の前記VMの検証を可能にするための検証コンポーネントとを含む、システム。前記構成データが前記要件と一致しないと前記比較コンポーネントが判断したことに応答して、前記信頼できるホスト環境内の前記VMの検証を否定するために前記検証コンポーネントがさらに動作可能である、請求項1記載のシステム。前記保管コンポーネントがハイパーバイザである、請求項1ないし2のいずれか一方に記載のシステム。前記保管コンポーネントが前記VMと通信状態にある、請求項1ないし3のいずれかに記載のシステム。前記少なくとも1つの暗号データ構造が少なくとも1つのプラットフォーム構成レジスタPCRである、請求項1ないし4のいずれかに記載のシステム。前記少なくとも1つの暗号データ構造が前記VMの他の信頼できるホスト環境に関連付けられる、請求項1ないし5のいずれかに記載のシステム。前記信頼できるホスト環境がトラステッドプラットフォームモジュールを含む、請求項1ないし6のいずれかに記載のシステム。前記システムが、前記信頼できるホスト環境を含む第1のサーバと前記制御コンポーネントを含む第2のサーバとをさらに含む、請求項1ないし7のいずれかに記載のシステム。信頼できるホスト環境が仮想計算機VMの要件に準拠しているという妥当性確認を提供するための方法であって、前記方法が、前記信頼できるホスト環境に関連する構成データを少なくとも1つの暗号データ構造に暗号で保管するステップと、前記構成データを保管する前記ステップに応答して、前記少なくとも1つの暗号データ構造を制御コンポーネントに送信するステップと、前記少なくとも1つの暗号データ構造を受信する前記ステップに応答して、前記少なくとも1つの暗号データ構造を分析するステップと、前記構成データを決定する前記ステップに応答して、前記構成データを前記要件と比較するステップと、前記構成データが前記要件と一致すると判断する前記ステップに応答して、前記信頼できるホスト環境内の前記VMの検証を可能にするステップとを含む、方法。前記方法が、前記構成データが前記要件と一致しないと判断する前記ステップに応答して、前記信頼できるホスト環境内の前記VMの検証を否定することをさらに含む、請求項9記載の方法。前記信頼できるホスト環境に関連する構成データを少なくとも1つの暗号データ構造に暗号で保管する前記ステップが、前記信頼できるホスト環境に関連する構成データを少なくとも1つのプラットフォーム構成レジスタPCRに暗号で保管するステップを含む、請求項9ないし10のいずれかに記載の方法。前記方法が、前記少なくとも1つの暗号データ構造を前記VMの他の信頼できるホスト環境に関連付けるステップをさらに含む、請求項9ないし11のいずれかに記載の方法。前記信頼できるホスト環境がトラステッドプラットフォームモジュールを含む、請求項9ないし12のいずれかに記載の方法。前記信頼できるホスト環境を含む第1のサーバを提供するステップと、前記制御コンポーネントを含む第2のサーバを提供するステップとをさらに含む、請求項9ないし13のいずれかに記載の方法。信頼できるホスト環境が仮想計算機VMの要件に準拠しているという妥当性確認を提供するためのコンピュータプログラム製品であって、前記コンピュータプログラム製品が、処理回路によって読み取り可能であり、請求項9ないし14のいずれかに記載の方法を実行するために前記処理回路による実行のための命令を保管するコンピュータ可読記憶媒体を含む、コンピュータプログラム製品。コンピュータ可読媒体上に保管され、デジタルコンピュータの内部メモリにロード可能であり、コンピュータ上で実行されるときに、請求項9ないし14のいずれかに記載の方法を実行するためのソフトウェアコード部分を含む、コンピュータプログラム。したがって、当技術分野では、既知の信頼できるコンピューティングシステムの短所に対処する必要がある。第1の態様から見ると、本発明は、信頼できるホスト環境trustedhostenvironmentが仮想計算機VMの要件に準拠しているという妥当性確認を提供するためのシステムを提供し、このシステムは、信頼できるホスト環境に関連する構成データを少なくとも1つの暗号データ構造に暗号で保管するための保管コンポーネントと、保管コンポーネントが構成データを保管したことに応答して、少なくとも1つの暗号データ構造を制御コンポーネントに送信するための送信コンポーネントと、制御コンポーネントが少なくとも1つの暗号データ構造を受信したことに応答して、少なくとも1つの暗号データ構造を分析するための分析コンポーネントと、分析コンポーネントが構成データを決定したことに応答して、構成データを要件と比較するための比較コンポーネントと、構成データが要件と一致すると比較コンポーネントが判断したことに応答して、信頼できるホスト環境内のVMの検証を可能にするための検証コンポーネントとを含む。好ましくは、本発明は、構成データが要件と一致しないと比較コンポーネントが判断したことに応答して、信頼できるホスト環境内のVMの検証を否定するために検証コンポーネントがさらに動作可能である、システムを提供する。好ましくは、本発明は、保管コンポーネントがハイパーバイザであり、少なくとも1つの暗号データ構造が少なくとも1つのプラットフォーム構成レジスタPCRであり、少なくとも1つの暗号データ構造がVMの他の信頼できるホスト環境に関連付けられ、信頼できるホスト環境がトラステッドプラットフォームモジュールを含み、このシステムが、信頼できるホスト環境を含む第1のサーバと制御コンポーネントを含む第2のサーバとをさらに含む、システムを提供する。第2の態様から見ると、本発明は、信頼できるホスト環境が仮想計算機VMの要件に準拠しているという妥当性確認を提供するための方法を提供し、この方法は、信頼できるホスト環境に関連する構成データを少なくとも1つの暗号データ構造に暗号で保管するステップと、構成データを保管するステップに応答して、少なくとも1つの暗号データ構造を制御コンポーネントに送信するステップと、少なくとも1つの暗号データ構造を受信するステップに応答して、少なくとも1つの暗号データ構造を分析するステップと、構成データを決定するステップに応答して、構成データを要件と比較するステップと、構成データが要件と一致すると判断するステップに応答して、信頼できるホスト環境内のVMの検証を可能にするステップとを含む。好ましくは、本発明は、この方法が、構成データが要件と一致しないと判断するステップに応答して、信頼できるホスト環境内のVMの検証を否定することをさらに含む、方法を提供する。好ましくは、本発明は、信頼できるホスト環境に関連する構成データを少なくとも1つの暗号データ構造に暗号で保管するステップが、信頼できるホスト環境に関連する構成データを少なくとも1つのプラットフォーム構成レジスタPCRに暗号で保管するステップを含み、この方法が、少なくとも1つの暗号データ構造をVMの他の信頼できるホスト環境に関連付けるステップをさらに含み、信頼できるホスト環境がトラステッドプラットフォームモジュールを含み、この方法が、信頼できるホスト環境を含む第1のサーバを提供するステップと、制御コンポーネントを含む第2のサーバを提供するステップとをさらに含む、方法を提供する。他の態様から見ると、本発明は、信頼できるホスト環境が仮想計算機VMの要件に準拠しているという妥当性確認を提供するためのコンピュータプログラム製品computerprogramproductを提供し、このコンピュータプログラム製品は、処理回路によって読み取り可能であり、本発明の諸ステップを実行するための方法を実行するために処理回路による実行のための命令を保管するコンピュータ可読記憶媒体を含む。他の態様から見ると、本発明は、コンピュータ可読媒体上に保管され、デジタルコンピュータの内部メモリにロード可能であり、コンピュータ上で実行されるときに、本発明の諸ステップを実行するためのソフトウェアコード部分を含む、コンピュータプログラムを提供する。有利なことに、本発明は、その要件が満たされていることを検証するためにシステム所有者が遠隔検証を使用できるようにする方法を提供する。本発明は、仮想トラステッドプラットフォームモジュールvTPMの使用を拡張して、VMソフトウェア構成だけでなくそれ以上を報告する。有利なことに、遠隔検証の既存の方法は、依然として、システムのトラステッドブートTrustedBootを使用して行うことができ、したがって、既知で信頼できるソフトウェア構成を実行していることを確信することができる。有利なことに、VM所有者は、システムハイパーバイザによる使用のためにプラットフォーム構成レジスタPCRを予約することにより、システムの環境要件をチェックすることもできる。ハイパーバイザは、仮想計算機の下に位置し、システムのハードウェアを直接制御できる。ハイパーバイザは、VM環境要件に関するシステム状況および構成について報告するのに最良の立場にある。vTPMデバイスが仮想であり、ハイパーバイザからロードされている場合、解決策は、その環境を反映するためにハイパーバイザが1つまたは複数のPCRを設定できるようにすることである。VMが実行され、検証が実行されると、VM所有者は、PCRにより環境の状態を見ることができ、したがって、その要件が満たされていることをチェックすることができる。有利なことに、VM所有者の所有者は、システム上で実行されているVMにアクセスできるときにのみ、システム設定をチェックすることができる。有利なことに、vTPMとハイパーバイザは互いに通信する。PCR複数も可は、VMから見えない項目の測定値を保管するために割り当てられる。有利なことに、VMの下のコンポーネントは、関心のある項目を測定するために協力し、その測定値をvTPMのPCR複数も可内に伝搬する。遠隔検証は、割り当てられたPCR複数も可をポリシーと照らし合わせて妥当性確認することもできる。VMが証明されると、それはブートされたソフトウェアの状態だけでなく、VMが実行されているサーバに関する何らかの情報についても報告する。有利なことに、システムがフレキシブルサービスプロセッサFSPのdevユーザなどの環境要件に準拠していることを保証するために、証明機構が、たとえば、PCR8の妥当性確認機能を含むことができるように既知のツールを拡張することができる。これは、このような要件を備えた多くのVMの管理を容易にするものである。FSPは、IBMRのPOWER6Rシステム上に常駐する小型の制御コンピュータシステムである。IBMおよびPOWER6は、米国、その他の国、またはその両方におけるInternationalBusinessMachines社の商標である。現在の最新技術では、VMにはこのような構成についてFSPをチェックする方法がない。FSP、ハイパーバイザ、およびvTPMはすべて接続され、互いに測定し、割り当てられたPCRを介して測定値を報告することができるので、本発明はこの点について対処するものである。有利なことに、そのVMが特定のタイプの中央演算処理装置CPU上で実行されることを要求するサービスレベルアグリーメントSLAにより、PCRおよび証明を介してこのようなデータを報告することは顧客にとって価値のあることである。証明およびその後の検証は、特にVMが任意の時点で他の物理システムに移行される場合にSLAを満たしていることを証明するのに役立つであろう。有利なことに、VM所有者は、システム上で実行されているVMにアクセスできるときにのみ、システム設定をチェックすることができる。項目の測定値を保管するために割り当てられたPCRはVMから見えない。VMの下のコンポーネントは、関心のある項目を測定するために協力し、たとえば、vTPMとハイパーバイザが互いに通信することにより、その測定値をvTPMのPCR内に伝搬する。証明および検証は、割り当てられたPCRをポリシーと照らし合わせて妥当性確認することができる。次に、以下の図に例示されているように、好ましい諸実施形態に関連して、例としてのみ、本発明について説明する。図1は、本発明の好ましい一実施形態を実現可能である、従来技術によるデータ処理システム100を描写するブロック図である。データ処理システムは、ワークステーション120と、サーバ150、160とを含む。ワークステーション120およびサーバ150、160はネットワーク110により接続可能である。サーバ150は、異なるオペレーティングシステムを実行している2つの仮想計算機VM152、156を含む。アプリケーション154、158は、それぞれ、VM152、156上で動作可能である。サーバ160は1つのVM166を含む。アプリケーション168はVM166上で動作可能である。ユーザ114は、ワークステーション120上のアプリケーションクライアントプログラム134と対話することにより、アプリケーション154、158、168にアクセスする。管理者114は、ワークステーション120上で動作可能な制御プログラム118によりデータ処理システム100を制御する。図2は、本発明の好ましい一実施形態を実現可能である、従来技術による2つのサーバ150、160を描写するブロック図である。ハイパーバイザ256は、物理的サーバ150の物理的ハードウェア252上で動作可能であり、ネイティブVM152、156がその上で実行できるようにする。VM152、156は、それぞれ、互いに隔離され、実システム全体で実行されている場合のように動作可能である。ハイパーバイザ256は、VM152、156がその仮想化ハードウェア装置たとえば、イーサネットカード、または小型コンピュータシステムインターフェースSCSIコントローラにアクセスしたいと希望するときに、ハイパーバイザ256がこれらの命令をインターセプトして、それを物理的ハードウェア252へのアクセスに変換するように、それぞれのVM152、156に関するハードウェアをエミュレートする。オペレーティングシステムOS264は物理的サーバ160の物理的ハードウェア262上で動作可能である。ハイパーバイザ266はOS264上で動作可能である。ゲストVM166はハイパーバイザ266上で動作可能である。VM280はOS264上で動作可能である。システムトランスレータST268は、ある命令セットアーキテクチャISAたとえば、SunのSPARCのために設計されたシステム全体OS264およびアプリケーション154、158が異なるISAシステムたとえば、IBMRのPOWER6R上で実行できるようにするソフトウェアコンポーネントである。IBMおよびPOWER6は、米国、その他の国、またはその両方におけるインターナショナルビジネスマシーンズ社の商標である。ST268は、VM280と物理的ハードウェア262との間の層として位置する。図2に描写されているように、ST268はゲストVM280内のオペレーティングシステム図示せず内で動作可能である。この場合、システム変換機能を提供するOS264およびユーザスペースプログラムが始動する。ST268は、物理計算機150、160上で実行される複数のVM152、156、166のためにハイパーバイザ256、266が提供する同様のサービスを単一のVM280に提供する。ST268はハイパーバイザ256、266と同じようにハードウェアをエミュレートするが、異なるアーキテクチャ用のハードウェアは除く。加えて、ST268は、VM280が実行したいと希望する命令を変換する。システムトランスレータは典型的に、あるISAから他のISAに機械命令を変換するために動的バイナリ変換dynamicbinarytranslationを使用する。また、ハードウェアエミュレーションは、計算機全体をエミュレートし、システムイメージ全体を変更なしで実行できるように使用される。代替の一実施形態では、ST268はハイパーバイザ266の一部として動作可能である。代替の一実施形態では、ST268はハイパーバイザ266のすぐ上で動作可能である。この実施形態では、ST268は、VM152、156、166、280内で実行されるOSのように動作する。代替の諸実施形態では、ST268は、ネイティブOS264内で動作可能であるか、ネイティブOS264の上の層として動作可能であるか、またはVM152、156、166、280と物理的ハードウェア252、262との間で動作可能である。通常動作におけるST268の諸機能は、命令を変換することと、ハードウェアをエミュレートすることを含む。命令の変換は、異なる物理アーキテクチャ上でVM280が必要とする命令を実行するために、動的バイナリ変換を使用する。ハードウェアのエミュレーションは、変換されたOSが存在することが期待されるハードウェアをエミュレートするためのメカニズムを提供する。これは、たとえば、ネットワークカード、メモリコントローラ、割り込みコントローラ、読み取り専用メモリROM、およびランダムアクセスメモリRAMを含む。図3は、図4、図5、図6、および図7に併せて読むべきものであり、本発明の好ましい一実施形態により、仮想計算機VMの信頼できるデータを提供するための動作方法ステップを描写する高レベルで模範的な概略流れ図300である。図4は、本発明の好ましい一実施形態により、信頼できるホスト環境がVMの要件720に準拠しているという妥当性確認を提供するための動作方法ステップを描写する高レベルで模範的な概略流れ図400である。図5は、本発明の好ましい一実施形態によるプラットフォーム構成レジスタPCR505、555を描写するブロック図である。図6は、本発明の好ましい一実施形態によるサーバ150を描写するブロック図600である。図7は、本発明の好ましい一実施形態により、サーバ150と通信状態にあるワークステーション120上で動作可能な制御プログラム118を描写するブロック図である。一例としてのみIBMのPOWER6仮想化アーキテクチャを使用して、本発明について説明する。当業者であれば、本発明が他の仮想化アーキテクチャにも等しく適用可能であることを認識するであろう。本発明を例示するための一例として、遠隔証明は、サンプルユーザアカウントが基本的なサーバ上で使用可能になっているかどうかという状況に関心がある。当業者であれば、遠隔証明が基本的なサーバに関する任意の数の情報項目に関心がある可能性があることを認識するであろう。たとえば、本発明によって記載されたメカニズムを介して、デバッグモード、ダンピングモード、障害フラグ、ファームウェアバージョン、ハードウェア設定、およびその他多数などのその他の構成フラグを報告することができる。この方法はステップ301から始まり、サーバ150に電力が加えられる。ステップ305では、基本入出力システムBIOSがサーバ150のハードウェアを呼び出す。サーバ150は、サーバのハイパーバイザPHYPとしても知られている645用のコード635および構成635が常駐する、不揮発性記憶装置NVRAM630も含む。フレキシブルサービスプロセッサFSP605という小型の制御コンピュータシステムはPOWERシステム上に常駐する。FSP605は、NVRAM630を制御し、ローダコード610を使用してハイパーバイザ645をロードし更新する責任がある。ハイパーバイザ645に対する制御および更新は限定的なものと見なされデジタル署名付き更新のみを適用することができる、したがって、ハイパーバイザ645はコアルートオブトラストCRTの一部を形成し、信頼できるものと見なされる。ステップ310では、ハイパーバイザコード635がロードされ、ハイパーバイザ645がサーバ150のために始動する。サーバ150が呼び出されると、トラステッドプラットフォームモジュールTPMプロセス315が始動し、ホストデータベース622にイベントを記録し、測定した結果を1組のPCR505内のTPM628に暗号で保管する。TPM628は、サーバハードウェア620上の安全な位置に保管される。トラステッドブートは、コンピューティングシステム内で信頼の連鎖chainoftrustをブートして確立するための手順である。TPMプロセス315を使用すると、ブートのコンポーネントを暗号で測定し、結果をTPM628のPCR505に暗号で保管することができる。PCR505は電源投入時に初期設定され、拡張機能を使用して変更される。それぞれのブートコンポーネントは、次のブートコンポーネントを表すバイトアレイのハッシュ値を計算することにより、次のブートコンポーネントを測定する。その結果の値は既存のPCR505と暗号で連結される。この呼び出しが完了すると、最終組のPCR505は信頼の連鎖を表す。システムが実行されると、制御プログラム118内の遠隔証明手順、たとえば、DAA直接匿名証明を使用してリモートシステムによる検査のために信頼の連鎖を抽出することができる。PCR505の値は、サーバを信頼できるかどうかを判断するために使用される。PCR拡張プロセスが、たとえば、BIOS、ブートローダたとえば、ハイパーバイザロード、任意のネイティブオペレーティングシステムOS264のスタートアップ、および任意のネイティブアプリケーションの起動を含む、ブートプロセス全体を通過するようなプロセスが存在する。図5は、呼び出しプロセスのための異なるハッシュ値の位置を示す、模範的な1組のPCR505を描写している。たとえば、PCR_0は、フィールド510内に測定用のコアルートオブトラストCRTMのハッシュ値を含む。CRTMは、BIOSブートブロックコードを表し、永続的に信頼できるものと見なされる。ステップ320では、ハイパーバイザがVM152のうちの1つを呼び出す。NVRAM630は、仮想トラステッドプラットフォームモジュールvTPMコード640も含む。それぞれのVM152、156はハイパーバイザ645の上で実行され、関連のvTPM555によりVM152、156はトラステッドブートおよびその後の遠隔証明を実行できるようになる。ステップ325では、vTPMコード640がロードされる。VM152はVMデータベース665内に呼び出しイベントを記録し、その呼び出し中にそのvTPM655内に1組の仮想PCRvPCR555も構築する。ステップ305、310、および315における初期システムの呼び出しと同様に、ソフトウェアコンポーネントがロードされステップ330、次に続くコンポーネントが暗号で測定されステップ335、結果がvPCR555に保管されるステップ340。ステップ345では、VM152が完全に呼び出されたかどうかの判断が行われる。ロードすべき追加のコンポーネントがある場合、ステップ330に制御が返される。追加のコンポーネントは、アプリケーション154、158、168を含むことができるであろう。好ましい一実施形態では、vPCR555の更新に関する責任がハイパーバイザ645に渡される。代替の一実施形態では、VM152がそのvPCR555を更新する。この例では、8段階のVM152の呼び出しが存在するので、vPCR_0~vPCR_7が更新される。vTPMは様々な位置に保管することができる。好ましい一実施形態では、それぞれのVM152、156はそれ自体の関連vTPM655を制御する。代替の一実施形態では、すべてのvTPM655が管理VMによって制御され、アクセスは対応するVM152、156から適切なvTPM655に対して行われる。当業者であれば、vTPM655を制御するためにいくつかの異なる設計を提供できることを認識するであろう。ロードすべき追加のコンポーネントがない場合、VM152の呼び出し後、制御はステップ350に移行する。ステップ350では、ハイパーバイザ645がvPCR_8565へのアクセスを許可される。vPCR_8565はステップ320によって使用されない。ステップ355では、FSP605がサーバ150の/etc/passwdファイルのセキュアハッシュアルゴリズム-1SHA-1というハッシュ関数を記録し、これはデフォルト構成では既知の測定値を有する。当業者であれば、他の暗号アルゴリムを使用できることを認識するであろう。ステップ360では、FSP605とハイパーバイザ645が協力してこの測定値を渡し、ハッシュでPCR_8565を拡張する。信頼できるホスト環境に関連する構成データを保存するために識別されたPCR565は、この使用のみのために予約される。ステップ365では、その信頼性を危険にさらすような不注意なアクセスを行わないように保証するために、vTPM655へのアクセスが保護される。代替の一実施形態では、ハイパーバイザ645は、VM呼び出しステップ320によって使用されない2つ以上のvPCR位置にシステム情報を記録する。ステップ370では、サーバ150の/etc/passwdファイルに対する更新が存在する場合、制御がステップ350に戻される。たとえば、管理者114は、FSP605に対する変更を行って、devユーザアカウントを使用可能にする。/etc/passwdファイルのSHA-1ハッシュは、他の既知の値になるように変化する。この実施形態では、ハイパーバイザ645は、この新しい測定値でもう一度PCR_8565を拡張するようvTPM655に指示し、仮想データベース665にその更新を記録するようVM152に指示し、FSPの/etc/passwdファイルの状態を反映する新しくかつ固有であるが既知で予測可能な値をPCR_8565に提供する。ステップ399では、この方法が図4の妥当性確認方法に移行する。ステップ405では、VM152に対する遠隔証明を実行するための要求が制御プログラム118によって受信される。ステップ410では、制御プログラム118がVM152へのアクセスを要求する。ステップ415では、制御プログラム118がVM152へのアクセスを認可されることを保証するために、制御プログラム118のリモートマネージャ735とVM152のリモートクライアント755との間で暗号鍵交換が行われる。ステップ420では、VM152が制御プログラム118にメッセージ780を送信する。メッセージ780は、PCR_0~PCR_7内の値に対応する第1の値782と、PCR_8565に関する第2の値784と、VM152の呼び出しに対応する第1のイベントの詳細786と、/etc/passwdファイル値の記録に対応する第2のイベント複数も可788の詳細788とを含む。ステップ425では、制御プログラム118がメッセージ780を受信する。ステップ430では、分析コンポーネント715がメッセージ780を分析して、第1の値782と、第2の値784と、第1のイベント詳細786と、第2のイベント詳細788を決定する。第1および第2の値782、784と、第1および第2のイベント詳細786、788は制御プログラムデータベース730に保管される。ステップ435では、リプレイコンポーネント710が第1のイベント詳細786を使用して第1のイベントをシミュレートし、シミュレートされた第1のイベントに対応する1組のPCR値714を確立する。また、リプレイコンポーネント710は第2のイベント詳細788を使用して第2のイベントをシミュレートし、シミュレートされた第2のイベントに対応するPCR値716を確立する。PCR値は、その値を生成するために実行された1組のイベントに固有のものである。同じイベントのシミュレーションは、その結果、必ず、同じ1組のPCR結果が得られることになる。異なるイベントのシミュレーションは、その結果、必ず、異なる1組のPCR結果が得られることになる。したがって、2組のイベントに対するPCR結果の比較を使用して、そのイベントが同じであるかどうかについて判断することができる。両方のイベントが同じではない場合、これは、1組が改ざんされていることと、したがって、そのシステムを信頼できないことを示す可能性がある。ステップ440では、比較コンポーネント725が、VM152から受信したPCR555のPCR_0~PCR_7に対応する第1の値782を、1組のPCR値714と比較する。また、比較コンポーネント725は、VM152から受信したPCR555のPCR_8565に対応する第2の値784を、1組のPCR値716と比較する。ステップ445では、1組のPCR値714が予想される第1の値782と一致しない場合、このシステムは信頼することができず、この方法はステップ470に移行する。ステップ470では、管理者114が信頼できないシステムに関連する任意のアクション、たとえば、VM152を使用不可にすることを実行する。代わって、1組のPCR値714が予想される第1の値782と一致する場合、このシステムは条件付きで信頼することができ、この方法はステップ450に移行する。ステップ450では、第2の値784が測定される。第2の値784がゼロである場合、これは、いかなるシステム値も設定されていないことと、システムが信頼できることを示し、制御はステップ475に渡される。ステップ475では、管理者114が信頼できるシステムに関連する任意のアクション、たとえば、監査目的のために結果を記録することを実行する。第2の値784が非ゼロである場合、これは、システム値が設定されていることを示し、制御はステップ455に渡される。ステップ455では、制御プログラム118が要件720をロードし、対応する暗号値を計算する。ステップ460では、比較コンポーネント725が暗号値を第2の値784と比較する。この暗号値と第2の値784を突き合わせることは、システム150が要件720を満たしていることを示す。ステップ465では、暗号値が第2の値784と一致する場合、要件720が満たされ、制御はステップ480に渡される。ステップ480では、検証コンポーネント728が呼び出され、VM152の満足のいく状況を把握し、SLA要件を満たす際に信頼できるホスト環境におけるVM152の満足のいく状況に関連するアクション、たとえば、監査ログに結果をロギングすることに限定されないアクションを実行することにより検証を可能にする。しかし、暗号値が第2の値784と一致しない場合、要件720が満たされず、制御はステップ485に渡される。ステップ485では、検証コンポーネント728が呼び出され、VM152の不満足な状況を把握し、SLA要件を満たすのに失敗したことに関連するアクションを実行することにより検証を否定する。たとえば、ステップ485では、管理者114がFSP605に対する変更を行って、devユーザアカウントを使用可能にするが、VM152はdevを使用不可にした状態で実行されなければならないという要件720が存在し、遠隔証明の結果としてアクション、たとえば、devユーザアカウントを使用不可にすることを実行することができる。これは、VM152をリブートせずにFSPdevユーザが使用可能になっていることを実行済みの任意の証明が示すようにVM152が実行されている間に行われる。この方法はステップ499で終了する。代替の諸実施形態では、より多くの環境および構成項目が測定され、vPCR555を介して遠隔証明に報告される。代替の一実施形態では、ハイパーバイザ645は、下位システム内のより多くのユーザアカウントについて報告する。測定可能な有用な項目の1つは、ハードウェアの実際の構成たとえば、中央演算処理装置CPUの識別番号ID、タイプ、速度、メモリ量、ハードウェア製造番号である。代替の一実施形態では、ハイパーバイザ645は、バージョンまたはパッチレベルについて報告し、これらは、たとえば、何らかのセキュリティ修復が適用されたことを証明できるものである。本発明の代替の一実施形態では、この方法は図2に記載されているシステムアーキテクチャに使用され、ハイパーバイザの代わりにまたはハイパーバイザと連携してシステムトランスレータによりvTPMが維持され更新される。本発明の好ましい一実施形態では、第1のサーバ150から第2のサーバ160にVM152、156を移行するときにもこの方法を使用することができる。VM152、156の移行後移行されたVM152、156のvTPM655とともに、第2のサーバ160上で実行されているハイパーバイザ645は第2のサーバ160からのシステム値でPCR_8565を拡張する。好ましい一実施形態では、ハイパーバイザ645は、信頼できるホスト環境に関連する構成データを少なくとも1つの暗号データ構造に暗号で保管するための保管コンポーネントとして動作する。代替の一実施形態では、保管コンポーネントはVM152の外部の他のコンポーネントを含み、これはVM152のvTPM655のPCR555内に構成データを保管するためにVM152と通信する。本発明の諸態様は、本発明の諸実施形態による方法、装置システム、およびコンピュータプログラム製品の流れ図あるいはブロック図またはその両方に関連して記載されている。流れ図あるいはブロック図またはその両方の各ブロックおよび流れ図あるいはブロック図またはその両方内の複数ブロックの組み合わせは、コンピュータプログラム命令によって実現可能であることが理解されるであろう。これらのコンピュータプログラム命令は、汎用コンピュータ、特殊目的コンピュータ、またはその他のプログラマブルデータ処理装置のプロセッサに提供し、コンピュータまたはその他のプログラマブルデータ処理装置のプロセッサにより実行された命令が流れ図あるいはブロック図またはその両方の1つまたは複数のブロックに指定された機能/行為を実現するための手段を作成するようなマシンを生産することができる。当業者によって認識されるように、本発明の諸態様は、システム、方法またはコンピュータプログラム、あるいはコンピュータプログラム製品として実施することができる。したがって、本発明の諸態様は、完全にハードウェアの実施形態、完全にソフトウェアの実施形態ファームウェア、常駐ソフトウェア、マイクロコードなどを含む、またはソフトウェアとハードウェアの諸態様を組み合わせる実施形態の形を取ることができ、いずれも本明細書では一般に回路、モジュール、またはシステムと呼ぶことができる。さらに、本発明の諸態様は、その上にコンピュータ可読プログラムコードが実施されている1つまたは複数のコンピュータ可読媒体に実施されたコンピュータプログラム製品の形を取ることができる。1つまたは複数のコンピュータ可読媒体の任意の組み合わせを使用することができる。コンピュータ可読媒体は、コンピュータ可読信号媒体またはコンピュータ可読記憶媒体にすることができる。コンピュータ可読記憶媒体は、たとえば、電子、磁気、光、電磁、赤外線、または半導体のシステム、装置、またはデバイス、あるいは上記のものの任意の適切な組み合わせにすることができるが、これらに限定されない。コンピュータ可読記憶媒体のより具体的な例非網羅的リストとしては、1つまたは複数のワイヤを有する電気接続、ポータブルコンピュータディスケット、ハードディスク、ランダムアクセスメモリRAM、読み取り専用メモリROM、消去可能プログラム可能読み取り専用メモリEPROMまたはフラッシュメモリ、光ファイバ、ポータブルコンパクトディスク読み取り専用メモリCD-ROM、光学記憶装置、磁気記憶装置、あるいは上記のものの任意の適切な組み合わせを含むであろう。本明細書の文脈では、コンピュータ可読記憶媒体は、命令実行システム、装置、またはデバイスによりあるいはそれに関連して使用するためのプログラムを収容または保管することができる任意の有形媒体にすることができる。コンピュータ可読信号媒体は、たとえば、ベースバンド内でまたは搬送波の一部として、そこにコンピュータ可読プログラムコードが実施されている伝搬データ信号を含むことができる。このような伝搬信号は、電磁、光、またはそれらの任意の適切な組み合わせを含むがこれらに限定されない様々な形のうちのいずれかを取ることができる。コンピュータ可読信号媒体は、コンピュータ可読記憶媒体ではなく、命令実行システム、装置、またはデバイスによりあるいはそれに関連して使用するためのプログラムを通信、伝搬、または輸送することができる任意のコンピュータ可読媒体にすることができる。コンピュータ可読媒体上に実施されたプログラムコードは、無線、有線、光ファイバケーブル、無線周波数RFなど、あるいは上記のものの任意の適切な組み合わせを含むがこれらに限定されない任意の適切な媒体を使用して伝送することができる。本発明の諸態様に関する動作を実行するためのコンピュータプログラムコードは、Java、Smalltalk、Cなどのオブジェクト指向プログラミング言語ならびにCプログラミング言語または同様のプログラミング言語などの従来の手続き型プログラミング言語を含む、1つまたは複数のプログラミング言語の任意の組み合わせで作成することができる。プログラムコードは、完全にユーザのコンピュータ上で、一部分はユーザのコンピュータ上で、スタンドアロンソフトウェアパッケージとして、一部分はユーザのコンピュータ上でしかも一部分はリモートコンピュータ上で、あるいは完全にリモートコンピュータまたはサーバ上で実行することができる。後者のシナリオでは、ローカルエリアネットワークLANまたは広域ネットワークWANを含む任意のタイプのネットワークを介してリモートコンピュータがユーザのコンピュータに接続される場合もあれば、たとえば、インターネットサービスプロバイダを使用してインターネットを介して外部コンピュータに接続が行われる場合もある。疑義を回避するため、説明および特許請求の範囲全体を通して本明細書で使用される含むcomprisingという用語は、のみからなるconsistingonlyofを意味するものと解釈してはならない。