【誤訳訂正書】
【提出日】平成22年9月14日(2010.9.14)
【誤訳訂正１】
【訂正対象書類名】特許請求の範囲
【訂正対象項目名】全文
【訂正方法】変更
【訂正の内容】
【特許請求の範囲】
【請求項１】
計算デバイスのプロセッサが実行する仮想マシンマネージャによって第一のメモリページに割り当てられた第一のセキュリティドメインを示す情報と、前記仮想マシンマネージャによって第二のメモリページに割り当てられた第二のセキュリティドメインを示す情報とを、前記プロセッサの変換索引バッファに保存する工程と、
前記第一のメモリページに存在し且つ前記プロセッサが実行するプログラムに属する命令が前記第二のメモリページに参照あるいはアクセスを試みるとき、前記変換索引バッファに保存されている前記第一のセキュリティドメインを示す情報を前記プロセッサに含まれる先行セキュリティドメインレジスタにコピーするとともに、前記変換索引バッファに保存されている前記第二のセキュリティドメインを示す情報を前記プロセッサに含まれる最新セキュリティドメインレジスタにコピーする工程と、
前記先行セキュリティドメインレジスタに保存されている前記第一のセキュリティドメインと、前記最新セキュリティドメインレジスタに保存されている前記第二のセキュリティドメインと、を比較する工程と、
前記比較の結果に少なくとも部分的に基づいて、前記命令が前記第二のメモリページを参照あるいはアクセスすることを却下する工程と、
を含む、方法。
【請求項２】
前記仮想マシンマネージャは、メモリに配置され且つ前記プロセッサが実行する複数の仮想マシンを管理し、
前記プロセッサが実行するプログラムは、前記複数の仮想マシンの一つに属する
請求項１に記載の方法。
【請求項３】
前記保存する工程は、
前記第一のセキュリティドメインを示す情報および前記第二のセキュリティドメインを示す情報を、前記仮想マシンマネージャによって管理され且つ複数の拡張ページテーブルを含むページテーブル構造からリトリーブする工程と、
リトリーブした前記第一のセキュリティドメインを示す情報および前記第二のセキュリティドメインを示す情報を、前記変換索引バッファにキャッシュする工程と、
をさらに含み、
前記複数の拡張ページテーブルは、
複数の拡張ページテーブルポインタであって、各々が、セキュリティドメインが関連するメモリページおよび前記セキュリティドメインに関連付けられた特徴に設定されているか否かを示す、複数の拡張ページテーブルポインタ構造と、
複数の関連するメモリページに割り当てられた複数のセキュリティドメインを保存する複数の拡張ページテーブルエントリ構造と、
を含む、
請求項１または２に記載の方法。
【請求項４】
前記複数の拡張ページテーブルエントリ構造の少なくとも幾らかは、互いに異なる入れ子レベルを有し、
前記方法は、前記複数の拡張ページテーブルエントリ構造の複数のビットに複数のセキュリティドメインを示す情報を保存する工程をさらに含む、
請求項３に記載の方法。
【請求項５】
前記却下する工程は、
前記プロセッサによってページフォールトを起こすことを含み、
前記第一のセキュリティドメインが前記第二のセキュリティドメインと異なっている場合、前記第一のメモリページの前記命令が前記第二のメモリページを参照あるいはアクセスすることを却下する、
請求項１から４のいずれかに記載の方法。
【請求項６】
前記方法は、前記第一のセキュリティドメインが前記第二のセキュリティドメインと異なっている場合、前記第二のメモリページが隠しメモリページであるかを判断する工程をさらに含み、
前記却下する工程は、前記第二のメモリページが隠しメモリページであった場合、前記第一のメモリページの前記命令が前記第二のメモリページに参照あるいはアクセスすることを却下する、
請求項１から５のいずれかに記載の方法。
【請求項７】
前記参照あるいはアクセスが、前記第二のメモリページの許可されたエントリポイントへのジャンプあるいは呼び出しのいずれかである場合、前記第一のセキュリティドメインが前記第二のセキュリティドメインと異なるか否かに関わらず、前記命令が前記第二のメモリページに参照あるいはアクセスするのを却下しない工程をさらに含む、
請求項１から６のいずれかに記載の方法。
【請求項８】
前記第二のメモリページは、特定のオペレーションシステムコンポーネントを保存しており、
前記第二のセキュリティドメインは、前記特定のオペレーションシステムコンポーネントの命令が異なるセキュリティドメインを有するメモリページにアクセスすることを許可する監督セキュリティドメインである、
請求項１から７のいずれかに記載の方法。
【請求項９】
前記仮想マシンマネージャによるセキュリティドメイン割り当てサービスにより、前記第一のセキュリティドメインおよび第二のセキュリティドメインを前記第一のメモリページおよび前記第二のメモリページにそれぞれ割り当てる工程をさらに含む、
請求項１から８のいずれかに記載の方法。
【請求項１０】
前記仮想マシンマネージャのインテグリティ計測モジュールにより前記第一のメモリページを割り当てられた前記計算デバイスにおける仮想マシンのエージェントのインテグリティを検証する工程をさらに含む、
請求項１から９のいずれかに記載の方法。
【請求項１１】
メモリに連結され、前記メモリに配置された仮想マシンマネージャを実行するプロセッサであって、
前記メモリの第一のメモリページに割り当てられた第一のセキュリティドメインを示す情報と、前記メモリの第二のメモリページに割り当てられた第二のセキュリティドメインを示す情報と、を保存する変換索引バッファと、
前記変換索引バッファに連結された先行セキュリティドメインレジスタと、
前記変換索引バッファに連結された最新セキュリティドメインレジスタと、
前記先行セキュリティドメインレジスタおよび前記最新セキュリティドメインレジスタに連結された比較ロジックと、
を含み、
前記プロセッサは、前記第一のメモリページに存在し且つ前記プロセッサが実行するプログラムに属する命令が前記第二のメモリページに参照あるいはアクセスを試みるとき、前記変換索引バッファに保存されている前記第一のセキュリティドメインを示す情報を前記先行セキュリティドメインレジスタにコピーするとともに、前記変換索引バッファに保存されている前記第二のセキュリティドメインを示す情報を前記最新セキュリティドメインレジスタにコピーし、
前記比較ロジックは、
前記先行セキュリティドメインレジスタに保存されている前記第一のセキュリティドメインと、前記最新セキュリティドメインレジスタに保存されている前記第二のセキュリティドメインと、を比較し、
前記比較の結果に少なくとも部分的に基づいて、前記命令が前記第二のメモリページを参照あるいはアクセスすることを却下しない、
プロセッサ。
【請求項１２】
前記プロセッサは、前記仮想マシンマネージャを用いて、前記メモリに配置された複数の仮想マシンを実行し、
前記プロセッサが実行するプログラムは、前記複数の仮想マシンの一つに属する
請求項１１に記載のプロセッサ。
【請求項１３】
前記変換索引バッファに保存されている前記第一のセキュリティドメインを示す情報および前記第二のセキュリティドメインを示す情報は、前記仮想マシンマネージャによって管理され且つ複数の拡張ページテーブルを含むページテーブル構造からリトリーブされたものであり、
前記複数の拡張ページテーブルは、
複数の拡張ページテーブルポインタであって、各々が、セキュリティドメインが関連するメモリページおよび前記セキュリティドメインに関連付けられた特徴に設定されているか否かを示す、複数の拡張ページテーブルポインタ構造と、
複数の関連するメモリページに割り当てられた複数のセキュリティドメインを保存する複数の拡張ページテーブルエントリ構造と、
を含む、
請求項１１または１２に記載のプロセッサ。
【請求項１４】
前記複数の拡張ページテーブルエントリ構造の少なくとも幾らかは、互いに異なる入れ子レベルを有し、
前記仮想マシンマネージャは、前記複数の拡張ページテーブルエントリ構造の複数のビットに複数のセキュリティドメインを示す情報を保存する、
請求項１３に記載のプロセッサ。
【請求項１５】
前記比較ロジックは、前記第一のセキュリティドメインが前記第二のセキュリティドメインと異なっている場合、ページフォールトを起こして、前記命令が前記第二のメモリページを参照あるいはアクセスすることを却下する、
請求項１１から１４のいずれかに記載のプロセッサ。
【請求項１６】
前記比較ロジックは、
前記第一のセキュリティドメインが前記第二のセキュリティドメインと異なっている場合、前記第二のメモリページが隠しメモリページであるかを判断し、
前記第二のメモリページが隠しメモリページであった場合、前記第一のメモリページの前記命令が前記第二のメモリページに参照あるいはアクセスすることを却下する、
請求項１１から１５のいずれかに記載のプロセッサ。
【請求項１７】
前記比較ロジックは、前記参照あるいはアクセスが、前記第二のメモリページの許可されたエントリポイントへのジャンプあるいは呼び出しのいずれかである場合、前記第一のセキュリティドメインが前記第二のセキュリティドメインと異なるか否かに関わらず、前記命令が前記第二のメモリページに参照あるいはアクセスするのを却下しない、
請求項１１から１６のいずれかに記載のプロセッサ。
【請求項１８】
前記第二のメモリページは、特定のオペレーションシステムコンポーネントを保存しており、
前記第二のセキュリティドメインは、前記特定のオペレーションシステムコンポーネントの命令が異なるセキュリティドメインを有するメモリページにアクセスすることを許可する監督セキュリティドメインである、
請求項１１から１７のいずれかに記載のプロセッサ。
【請求項１９】
前記仮想マシンマネージャは、前記第一のセキュリティドメインおよび前記第二のセキュリティドメインを前記第一のメモリページおよび前記第二のメモリページにそれぞれ割り当てるセキュリティドメイン割り当てサービスを含む、
請求項１１から１８のいずれかに記載のプロセッサ。
【請求項２０】
システムであって、
仮想マシンのオペレーティングシステムコンポーネントエージェントにインスタンスを作成可能な、少なくとも一つのオペレーティングシステムコンポーネントプログラムを有する仮想マシンマネージャを保存する記憶装置と、
前記記憶装置に連結されたプロセッサと、
を含み、
前記プロセッサは、
前記記憶装置の第一のメモリページに割り当てられた第一のセキュリティドメインを示す情報と、前記記憶装置の第二のメモリページに割り当てられた第二のセキュリティドメインを示す情報と、を保存する変換索引バッファと、
前記変換索引バッファに連結された先行セキュリティドメインレジスタと、
前記変換索引バッファに連結された最新セキュリティドメインレジスタと、
前記先行セキュリティドメインレジスタおよび前記最新セキュリティドメインレジスタに連結された比較ロジックと、
を含み、
前記プロセッサは、前記第一のメモリページに存在し且つ前記プロセッサが実行するプログラムに属する命令が前記第二のメモリページに参照あるいはアクセスを試みるとき、前記変換索引バッファに保存されている前記第一のセキュリティドメインを示す情報を前記先行セキュリティドメインレジスタにコピーするとともに、前記変換索引バッファに保存されている前記第二のセキュリティドメインを示す情報を前記最新セキュリティドメインレジスタにコピーし、
前記比較ロジックは、
前記先行セキュリティドメインレジスタに保存されている前記第一のセキュリティドメインと、前記最新セキュリティドメインレジスタに保存されている前記第二のセキュリティドメインと、を比較し、
前記第一のセキュリティドメインが前記第二のセキュリティドメインと同じ場合、前記命令が前記第二のメモリページを参照あるいはアクセスするのを却下しない、
システム。
【請求項２１】
前記プロセッサは、前記仮想マシンマネージャを用いて、前記記憶装置に配置された複数の仮想マシンを実行し、
前記プロセッサが実行するプログラムは、前記複数の仮想マシンの一つに属する
請求項２０に記載のシステム。
【請求項２２】
前記変換索引バッファに保存されている前記第一のセキュリティドメインを示す情報および前記第二のセキュリティドメインを示す情報は、前記仮想マシンマネージャによって管理され且つ複数の拡張ページテーブルを含むページテーブル構造からリトリーブしたものであり、
前記複数の拡張ページテーブルは、
複数の拡張ページテーブルポインタであって、各々が、セキュリティドメインが関連するメモリページおよび前記セキュリティドメインに関連付けられた特徴に設定されているか否かを示す、複数の拡張ページテーブルポインタ構造と、
複数の関連するメモリページに割り当てられた複数のセキュリティドメインを保存する複数の拡張ページテーブルエントリ構造と、
を含む、
請求項２０または２１に記載のシステム。
【請求項２３】
前記複数の拡張ページテーブルエントリ構造の少なくとも幾らかは、互いに異なる入れ子レベルを有し、
前記仮想マシンマネージャは、前記複数の拡張ページテーブルエントリ構造の複数のビットに複数のセキュリティドメインを示す情報を保存する、
請求項２２に記載のシステム。
【請求項２４】
前記比較ロジックは、前記第一のセキュリティドメインが前記第二のセキュリティドメインと異なっている場合、ページフォールトを起こして、前記命令が前記第二のメモリページを参照あるいはアクセスすることを却下する、
請求項２０から２３のいずれかに記載のシステム。
【請求項２５】
前記比較ロジックは、前記参照あるいはアクセスが、前記第二のメモリページの許可されたエントリポイントへのジャンプあるいは呼び出しのいずれかである場合、前記第一のセキュリティドメインが前記第二のセキュリティドメインと異なるか否かに関わらず、前記命令が前記第二のメモリページに参照あるいはアクセスするのを却下しない、
請求項２０から２４のいずれかに記載のシステム。
【請求項２６】
前記オペレーティングシステムコンポーネントエージェントは、前記仮想マシンマネージャによって、前記オペレーティングシステムコンポーネントエージェントの命令が異なるセキュリティドメインを有するメモリページにアクセスすることを許可する監督セキュリティドメインを割り当てられた、
請求項２０から２５のいずれかに記載のシステム。
【請求項２７】
前記仮想マシンマネージャは、前記第一のセキュリティドメインおよび前記第二のセキュリティドメインを前記第一のメモリページおよび前記第二のメモリページにそれぞれ割り当てるセキュリティドメイン割り当てサービスを含む、
請求項２０から２６のいずれかに記載のシステム。
【誤訳訂正２】
【訂正対象書類名】明細書
【訂正対象項目名】００２０
【訂正方法】変更
【訂正の内容】
【００２０】
さらに、比較ロジック１２０は、追加的基準に基づき参照あるいはアクセスを却下するかどうか判断してよい。例えば、一セキュリティドメイン（例えば「０」）はセキュリティドメインを表さず、セキュリティドメインではないとマークされたメモリページは任意の他のページによりアクセスできることにしてもよい。加えて、上述したように、ページテーブル１０８のＥＰＴＥはページが隠されているか否かを判断するフィールドあるいはビットを含んでよい。ビットはゼロに設定されることで、セキュリティドメイン比較の結果に関わらず、任意の他のページに対して、参照されるページからの読み出しを許可してもよいし、１に設定されることで、比較ロジック１２０に対して、セキュリティドメイン比較に基づき読み出しの参照あるいはアクセスを却下してもよい。幾らかの実施形態においては、隠しビットはプロセッサ１１６ロジックによりセキュリティドメインと共にリトリーブされてよく、ＴＬＢ１１８のページテーブルに保存されてよい。書き込みの参照あるいはアクセスは、隠しビットの設定に関わらず防がれてよい。
【誤訳訂正３】
【訂正対象書類名】明細書
【訂正対象項目名】００２６
【訂正方法】変更
【訂正の内容】
【００２６】
さらに上述されたように、計算デバイスのＶＭと関連付けられたプロセッサが、計算デバイスの第一のメモリページに存在する命令であって第二のメモリページの参照あるいはアクセスを試みる命令を代理して実行するとき、プロセッサのロジックは、ＰＳＤおよびＣＳＤレジスタに保存される先行メモリページおよび最新メモリページのセキュリティドメインを更新してよい（ブロック２０８）。
【誤訳訂正４】
【訂正対象書類名】明細書
【訂正対象項目名】００２７
【訂正方法】変更
【訂正の内容】
【００２７】
第二のメモリページのセキュリティドメインが一旦リトリーブされ保存されると、プロセッサの比較ロジックはＰＳＤおよびＣＳＤに保存されるセキュリティドメインを比較してよい（ブロック２１０）。比較の結果に少なくとも部分的に基づいて、比較ロジックは、命令の第二のメモリページに対する参照あるいはアクセスを却下しなくてよい（ブロック２２０）、あるいはアクセスを却下してもよい（ブロック２２２）。セキュリティドメイン比較に加えて、比較ロジックは幾つもの他のテストを行うよう適合されてもよい。例えば、比較ロジックは、第一のメモリページのセキュリティドメインが第二のメモリページのセキュリティドメインと異なるか否か判断してもよい（ブロック２１２）。セキュリティドメインどうしが同じ場合、比較ロジックはアクセスを却下しなくてよい（ブロック２２０）。一方、セキュリティレベルどうしが異なる場合、比較ロジックはさらに、上述の隠しビットが第二のメモリページに対して設定されているか判断してよい（ブロック２１４）。隠しビットが設定されている場合、比較ロジックはアクセスを却下してよい（ブロック２２２）。隠しビットが設定されていない場合、比較ロジックはさらに、試みられているアクセスが読み取りの参照あるいはアクセスかを判断してもよい（ブロック２１６）。参照あるいはアクセスが、読み取りの参照あるいはアクセスである場合、比較ロジックはアクセスを却下しなくてよい（ブロック２２０）。一方、参照あるいはアクセスが読み取りの参照あるいはアクセスでない場合、比較ロジックは、該参照あるいはアクセスが、ジャンプあるいは呼び出し命令などの、第二のメモリページの承認されたエントリポイントへの制御フロー遷移か否かを判断してよい（ＤＡＶ命令として上で説明した）（ブロック２１８）。命令が、承認されたエントリポイントへのジャンプあるいは呼び出しであった場合、比較ロジックは命令を却下しなくてよい（ブロック２２０）。命令がジャンプあるいは呼び出しでない、あるいは承認されたエントリポイント以外へのメモリへのジャンプあるいは呼び出しであった場合、比較ロジックは命令が第二のメモリページに参照あるいはアクセスするのを却下してよい（ブロック２２２）。