特許 7559841 情報処理装置、プログラム実行システム、情報処理方法、及びプログラム

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

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

(11)【特許番号】

(24)【登録日】2024-09-24

(45)【発行日】2024-10-02

(54)【発明の名称】情報処理装置、プログラム実行システム、情報処理方法、及びプログラム

(51)【国際特許分類】

   H04L 9/32 20060101AFI20240925BHJP

【ＦＩ】

H04L9/32 200B

【請求項の数】 6

(21)【出願番号】P 2022577888

(86)(22)【出願日】2021-01-27

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

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

(87)【国際公開日】2022-08-04

【審査請求日】2023-06-06

(73)【特許権者】

【識別番号】000004226

【氏名又は名称】日本電信電話株式会社

(74)【代理人】

【識別番号】110004381

【氏名又は名称】弁理士法人ＩＴＯＨ

(74)【代理人】

【識別番号】100107766

【弁理士】

【氏名又は名称】伊東 忠重

(74)【代理人】

【識別番号】100070150

【弁理士】

【氏名又は名称】伊東 忠彦

(74)【代理人】

【識別番号】100124844

【弁理士】

【氏名又は名称】石原 隆治

(72)【発明者】

【氏名】奥田 哲矢

(72)【発明者】

【氏名】千田 浩司

【審査官】児玉 崇晶

(56)【参考文献】

【文献】特開２０１７－１１４９１（ＪＰ，Ａ）

【文献】特開２００６－２０３５６４（ＪＰ，Ａ）

【文献】IPUSHIRON(イプシロン)，暗号技術のすべて，初版第２刷，株式会社翔泳社，2017年09月15日，p.562

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

Ｈ０４Ｌ ９／３２

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

【請求項1】

プログラムを秘匿実行するセキュア領域と、
セキュリティチップと、を備え、
前記セキュア領域が、前記プログラムに関する情報を秘匿化し、当該秘匿化により得られた秘匿化情報に対するブラインド署名を前記セキュリティチップに要求し、
前記セキュリティチップが、前記ブラインド署名を計算し、前記ブラインド署名を前記セキュア領域に返し、前記セキュア領域が、前記ブラインド署名から、前記プログラムに関する情報に対する署名を取得する
情報処理装置。

【請求項2】

前記セキュア領域は、前記ブラインド署名の署名鍵として使用される秘密鍵に対応する公開鍵を使用して、前記プログラムに関する情報を秘匿化する
請求項１に記載の情報処理装置。

【請求項3】

請求項１又は２に記載の情報処理装置と、ユーザサーバと、検証サーバとを備えるプログラム実行システムであって、
前記ユーザサーバが、前記プログラムに関する情報と前記署名とを前記検証サーバに送信し、前記検証サーバが、前記署名の検証を行って、検証結果を前記ユーザサーバに送信する
プログラム実行システム。

【請求項4】

前記検証サーバは、前記署名の検証において、前記プログラムに関する情報と、前記署名を前記ブラインド署名の署名鍵として使用される秘密鍵に対応する公開鍵で復号した情報とが等しいか否かを確認する
請求項３に記載のプログラム実行システム。

【請求項5】

プログラムを秘匿実行するセキュア領域と、セキュリティチップと、を備える情報処理装置における情報処理方法であって、
前記セキュア領域が、前記プログラムに関する情報を秘匿化し、当該秘匿化により得られた秘匿化情報に対するブラインド署名を前記セキュリティチップに要求するステップと、
前記セキュリティチップが、前記ブラインド署名を計算し、前記ブラインド署名を前記セキュア領域に返すステップと、
前記セキュア領域が、前記ブラインド署名から、前記プログラムに関する情報に対する署名を取得するステップと
を備える情報処理方法。

【請求項6】

プログラムを秘匿実行するセキュア領域と、セキュリティチップと、を備えるコンピュータに、
前記セキュア領域が、前記プログラムに関する情報を秘匿化し、当該秘匿化により得られた秘匿化情報に対するブラインド署名を前記セキュリティチップに要求する処理と、
前記セキュリティチップが、前記ブラインド署名を計算し、前記ブラインド署名を前記セキュア領域に返す処理と、
前記セキュア領域が、前記ブラインド署名から、前記プログラムに関する情報に対する署名を取得する処理と
を実行させるプログラム。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、情報通信分野における秘匿実行技術及び遠隔検証技術に関連するものである。

【背景技術】

【0002】

ＯＳとは独立してクリティカルな処理を安全に実行できる機能であるＴＥＥ(Trusted Execution Environment)が近年のマシンには含まれている。当該マシンには、サーバ等の他、スマートフォン等の端末も含まれている。

【0003】

ＴＥＥ機能を持つマシンは、データを外部に漏洩させないセキュア領域（これをEnclaveと呼んでもよい）を有する。特に、Ｉｎｔｅｌ（登録商標）のＳＧＸ等の一部のＴＥＥにおいては、セキュア領域（Enclave）内で正しいプログラムが動作していることをセキュア領域外（例えば、マシン内のセキュア領域の外部、マシンと通信する遠隔のユーザ等）に対して保証する仕組み（Remote Attestation等）が備えられている。

【先行技術文献】

【非特許文献】

【0004】

【文献】Arm TrustZone https://developer.arm.com/ip-products/security-ip/trustzone

【発明の概要】

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

【0005】

しかし、Ｉｎｔｅｌ（登録商標）のＳＧＸ等の一部のＴＥＥ以外のＴＥＥ（以下、一般ＴＥＥと呼ぶ）は、上記の仕組みを備えていない（例えば非特許文献１に記載の技術）。そのため、一般ＴＥＥでは、セキュア領域内のデータがＯＳ等のセキュア領域外に漏洩しないことまでは保証できるが、セキュア領域内で正しいプログラムが動作していることを、セキュア領域外や遠隔のユーザに対して保証することができない。

【0006】

本発明は上記の点に鑑みてなされたものであり、一般ＴＥＥを備える装置において、セキュア領域内で正しいプログラムが動作していることを、セキュア領域の外部に対して保証する仕組みを実現することを目的とする。

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

【0007】

開示の技術によれば、プログラムを秘匿実行するセキュア領域と、
セキュリティチップと、を備え、
前記セキュア領域が、前記プログラムに関する情報を秘匿化し、当該秘匿化により得られた秘匿化情報に対するブラインド署名を前記セキュリティチップに要求し、
前記セキュリティチップが、前記ブラインド署名を計算し、前記ブラインド署名を前記セキュア領域に返し、前記セキュア領域が、前記ブラインド署名から、前記プログラムに関する情報に対する署名を取得する
情報処理装置が提供される。

【発明の効果】

【0008】

開示の技術によれば、一般ＴＥＥを備える装置において、セキュア領域内で正しいプログラムが動作していることを、セキュア領域の外部に対して保証する仕組みを実現することができる。

【図面の簡単な説明】

【0009】

【図1】本発明の実施の形態におけるシステムの全体構成図である。

【図2】情報処理装置の機能構成例を示す図である。

【図3】ユーザサーバの機能構成図である。

【図4】検証サーバの機能構成図である。

【図5】処理の流れを説明するためのフローチャートである。

【図6】装置のハードウェア構成例を示す図である。

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

【0010】

以下、図面を参照して本発明の実施の形態（本実施の形態）を説明する。以下で説明する実施の形態は一例に過ぎず、本発明が適用される実施の形態は、以下の実施の形態に限られるわけではない。

【0011】

（システム構成）

【0012】

図１に本発明の実施の形態におけるプログラム実行システムの構成例を示す。図１に示すように、本実施の形態におけるプログラム実行システムは、情報処理装置１００、ユーザサーバ２００、及び検証サーバ３００を有する。これら各装置は、通信ネットワークに接続されており、互いに通信を行うことが可能である。

【0013】

情報処理装置１００、ユーザサーバ２００、及び検証サーバ３００はそれぞれ物理マシン（コンピュータ）であってもよいし、クラウド上の仮想マシンであってもよい。また、ユーザサーバ２００は、物理マシンあるいは仮想マシン上で動作する機能（例：Ｗｅｂブラウザ）であってもよい。

【0014】

本実施の形態では、情報処理装置１００は、一般ＴＥＥの機能を有する。すなわち、情報処理装置１００は、図１に示すように、一般ＴＥＥのセキュア領域１１０（これをEnclaveと呼んでもよい）を備える。

【0015】

情報処理装置１００は、セキュア領域１１０においてプログラムを実行する装置である。ユーザサーバ２００は、検証サーバ３００を用いて情報処理装置１００におけるプログラムの真正性を確認し、例えば、情報処理装置１００に対して当該プログラムによるデータ処理等を依頼する。検証サーバ３００は、情報処理装置１００において署名鍵として使用される秘密鍵に対応する公開鍵を管理するとともに、情報処理装置１００においてなされた署名を検証する。

【0016】

図１に示すように、情報処理装置１００は、セキュア領域１１０に加えて、セキュリティチップ１２０を備える。なお、セキュア領域１１０を第１セキュア領域と呼び、セキュリティチップ１２０を第２セキュア領域と呼んでもよい。

【0017】

セキュリティチップ１２０は、署名鍵（秘密鍵）をマシン保有者による物理的攻撃への対策を含めてセキュアに保管する耐タンパ領域を有する。セキュリティチップ１２０は、一般ＴＥＥを備える多くのマシンに付属しているＴＰＭ(Trusted Platform Module)やＳＥ(Secure Element)等に相当する。

【0018】

本実施の形態に係る技術を使用しない場合、情報処理装置１００におけるセキュア領域１１０とセキュリティチップ１２０との間は非セキュア領域であり、セキュア領域１１０とセキュリティチップ１２０との間の通信においてマシン保有者による改ざんを防ぐことができない。

【0019】

一方、本実施の形態に係る技術では、セキュリティチップ１２０に格納された署名鍵により、セキュア領域１１０内のプログラムに対する真正性を表明するブラインド署名（Attestationと呼んでもよい）を付与することで、セキュア領域１１０とセキュリティチップ１２０との間の通信を秘匿して疑似的なセキュア領域１３０を生成している。

【0020】

疑似的なセキュア領域１３０は、セキュア領域１１０とセキュリティチップ１２０を包含する領域である。セキュア領域１１０とセキュリティチップ１２０との間の通信を秘匿して疑似的なセキュア領域１３０を生成することは、Ｉｎｔｅｌ（登録商標）のＳＧＸ等におけるRemote Attestationの機構を疑似的に実現することに相当する。

【0021】

上記の仕組みにより、セキュア領域１１０内のプログラムやデータに対する改ざん検知機能、及び、セキュア領域１１０とセキュリティチップ１２０との間の通信に対する、ブラインド署名による秘匿機能が実現される。

【0022】

すなわち、一般ＴＥＥを備える情報処理装置１００において、上記の機能を備えることで、セキュア領域１１０内で正しいプログラムが動作していることを、セキュア領域１１０外や遠隔のユーザに対して保証することができる。

【0023】

（装置の機能構成例）
図２に、情報処理装置１００の機能構成例を示す。図２に示すように、情報処理装置１００は、セキュア領域１１０、セキュリティチップ１２０、非セキュア処理部１５０を有する。

【0024】

セキュア領域１１０は機密性が保たれた保護領域であり、この中のデータやプログラムについては、外部からその内容を知ることができない。セキュア領域１１０の外部（セキュリティチップ１２０内を除く）では、通常のデータ格納、データ処理（プログラム実行）、データ送受信を行うことが可能である。そのような通常の処理を行う機能を非セキュア処理部１５０として示している。

【0025】

セキュア領域１１０内では機密性を保ったままデータ格納、データ処理（プログラムの実行）が可能である。図２には、セキュア領域１１０内でこれらを行う機能部として、セキュアデータ格納部１１１、セキュア処理部１１２が示されている。

【0026】

セキュア領域１１０自体は既存技術により実現可能である。セキュア領域１１０を実現する既存技術としてどのような技術を使用してもよい。例えば、メインのＣＰＵやメモリとはハードウェア的に独立した別チップとしてセキュア領域１１０を実現してもよいし、暗号技術・認証技術を活用してソフトウェア的にセキュア領域１１０を実現してもよい。

【0027】

セキュリティチップ１２０は、前述したとおり、署名鍵（秘密鍵）をマシン保有者による物理的攻撃への対策を含めてセキュアに保管する耐タンパ領域を有する。また、セキュリティチップ１２０は、少なくとも、秘密鍵を用いた署名演算を実行することができる。

【0028】

図３に、ユーザサーバ２００の機能構成例を示す。図３に示すように、ユーザサーバ２００は、通信部２１０、検証処理部２２０、データ処理部２３０を有する。通信部２１０は、情報処理装置１００や検証サーバ３００と通信を行う機能部である。検証処理部２２０は、検証サーバ３００に対して、情報処理装置１００における署名の検証を依頼し、検証結果を受信する。

【0029】

データ処理部２３０は、署名検証により、情報処理装置１００におけるプログラムの真正性を確認できた場合に、例えば、情報処理装置１００に対してプログラムでのデータ処理を依頼する等の処理を実行する。

【0030】

図４に、検証サーバ３００の機能構成例を示す。図４に示すように、検証サーバ３００は、通信部３１０、検証部３２０、公開鍵管理部３３０を有する。通信部３１０は、情報処理装置１００やユーザサーバ２００と通信を行う機能部である。

【0031】

検証部３２０は、公開鍵を用いて情報処理装置１００における署名の検証を実行する。公開鍵管理部３３０は、情報処理装置１００において署名鍵として使用される秘密鍵に対応する公開鍵を保持する。

【0032】

（システムの動作例）
次に、図５のシーケンス図を参照して、本実施の形態におけるプログラム実行システムの動作例を説明する。以下の動作例においては、ブラインド署名を使用している（参考文献：Chaum D. (1983) Blind Signatures for Untraceable Payments. In: Chaum D., Rivest R.L., Sherman A.T. (eds) Advances in Cryptology. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-0602-4_18）。

【0033】

ブラインド署名において、メッセージの作成者は、署名者に署名処理の依頼をする際に、メッセージを秘匿化するため、署名者は自身がどのようなメッセージに署名したのかを知ることができない。メッセージの作成者は、署名者から得た、秘匿化されたメッセージに対する署名から、本来のメッセージに対する署名を生成することができる。

【0034】

以下の動作例では、ブラインド署名としてＲＳＡ署名ベースのブラインド署名を使用しているが、これは一例であり、どのような方式のブラインド署名を使用してもよい。例えば、楕円曲線暗号を用いた方式のブラインド署名を使用してもよい。

【0035】

図５のＳ１０１において、セキュア領域１１０のセキュア処理部１１２は、署名対象の平文（プログラムの真正性の確認対象の平文）であるｍ、公開鍵（ｅ，Ｎ）、及び乱数ｒを取得する。セキュア処理部１１２は、例えば、公開鍵（ｅ，Ｎ）を検証サーバ３００から取得する。セキュア処理部１１２は、予めセキュアデータ格納部１１１に格納した公開鍵（ｅ，Ｎ）を読み出して利用してもよい。

【0036】

ｍを、attested resourceと呼んでもよい。ｍは、特定の情報に限定されないが、本動作例では、ｍには、セキュア領域１１０のＩＤ、セキュア領域１１０上で実行されるプログラムのハッシュ値、セキュア領域１１０の初期状態（初期ステート）のハッシュ値が含まれる。

【0037】

Ｓ１０２において、セキュア処理部１１２は、ｍのハッシュ値であるＨａｓｈ（ｍ）を計算し、ｒを公開鍵で暗号化することにより、ｒ＾ｅ（ｍｏｄＮ）を計算し、Ｈａｓｈ（ｍ）×ｒ＾ｅ（ｍｏｄＮ）を計算する。Ｈａｓｈ（ｍ）はｒ＾ｅ（ｍｏｄＮ）により秘匿化されるため、ｒ＾ｅ（ｍｏｄＮ）をblinding factorと呼んでもよい。Ｈａｓｈ（ｍ）×ｒ＾ｅ（ｍｏｄＮ）をｍ´とする。

【0038】

Ｓ１０３において、セキュア処理部１１２は、セキュリティチップ１２０に対し、ｍ´（＝Ｈａｓｈ（ｍ）×ｒ＾ｅ（ｍｏｄＮ））を送信することで、ｍ´に対する署名を要求する。

【0039】

セキュリティチップ１２０は、公開鍵（ｅ，Ｎ）に対応する秘密鍵（ｄ，Ｎ）を保持している。Ｓ１０４において、セキュリティチップ１２０は、秘密鍵（ｄ，Ｎ）を署名鍵として使用することで、ｍ´に対する署名を計算する。具体的には、ｓ´＝ｍ´＾ｄ（ｍｏｄＮ）を計算する。ｍ´に対する署名ｓ´をブラインド署名と呼んでもよい。

【0040】

Ｓ１０５において、セキュリティチップ１２０は、署名（ｓ´＝ｍ´＾ｄ（ｍｏｄＮ））をセキュア領域１１０に送信する。

【0041】

Ｓ１０６において、セキュア領域１１０のセキュア処理部１１２は、ｓ´をｒで割ることで、Ｈａｓｈ（ｍ）に対する署名ｓを取得する。つまり、ｓ＝ｓ´／ｒ＝Ｈａｓｈ（ｍ）＾ｄ（ｍｏｄＮ）を計算する。

【0042】

このｓにより、公開鍵（ｅ，Ｎ）を用いて、ｍが改ざんされていないかどうかを検証することができる。すなわち、例えば、セキュア領域１１０において検証をする場合、セキュア処理部１１２が、現在のｍを取得してＨａｓｈ（ｍ）を計算するとともに、ｓ＾ｅ（ｍｏｄＮ）を計算する。ｓ＾ｅ（ｍｏｄＮ）は、署名ｓを、公開鍵（ｅ，Ｎ）を用いて復号していることに相当する。

【0043】

そして、Ｈａｓｈ（ｍ）とｓ＾ｅ（ｍｏｄＮ）とが等しければ改ざんはなかったと判断し、Ｈａｓｈ（ｍ）とｓ＾ｅ（ｍｏｄＮ）とが等しくなければ改ざんがあったと判断する。

【0044】

上記の改ざん検知処理は、ユーザサーバ２００が行ってもよいし、検証サーバ３００が行ってもよい。図５の例では、検証サーバ３００が改ざん検知処理を行っている。

【0045】

Ｓ１０７において、例えば、ユーザサーバ２００の検証処理部２２０が、セキュア領域１１０からｍとｓを取得する。Ｓ１０８において、検証処理部２２０は、検証サーバ３００に対してｍとｓを送信することにより、ｍの改ざんがないかどうかの検証を要求する。なお、Ｓ１０８において、検証処理部２２０は、検証サーバ３００に対してＨａｓｈ（ｍ）とｓを送信することにより、ｍの改ざんがないかどうかの検証を要求することとしてもよい。

【0046】

検証サーバ３００の検証部３２０は、Ｓ１０９において、公開鍵管理部３３０に保持されている公開鍵（ｅ，Ｎ）を利用して、Ｈａｓｈ（ｍ）とｓ＾ｅ（ｍｏｄＮ）とが等しいかどうかを確認することで、ｍの改ざん有無についての検証を行う。Ｓ１１０において、検証サーバ３００は検証結果をユーザサーバ２００に送信する。

【0047】

ユーザサーバ２００は、セキュア領域１１０に対して、上記の改ざん検知の仕組みにより、セキュア領域１１０で動作するプログラムの真正性を確認した上で、例えば当該プログラムによりデータ処理等の実行を依頼できる。すなわち、ユーザサーバ２００とセキュア領域１１０と間は、プログラムの真正性が保証されたチャネルで接続されていると言え、それを図５では、Attested TLSとして示している。

【0048】

上記のように、本動作例において、ユーザサーバ２００側で改ざん検知のための検証処理を行うため、セキュア領域１１０外部からのプログラムの改ざんを行うことはできない。また、標準モデル（Ｈａｓｈをランダムオラクルと仮定しない）でｒによりｍ´からｍに関する部分情報は漏れない。また、セキュリティチップ１２０における署名処理自体は、通常の署名処理であるため、セキュリティチップ１２０において実行可能である。

【0049】

（ハードウェア構成例）
情報処理装置１００、ユーザサーバ２００、検証サーバ３００はいずれも、例えば、コンピュータにプログラムを実行させることにより実現できる。このコンピュータは、物理的なコンピュータであってもよいし、クラウド上の仮想マシンであってもよい。情報処理装置１００、ユーザサーバ２００、検証サーバ３００を総称して「装置」と呼ぶ。

【0050】

すなわち、当該装置は、コンピュータに内蔵されるＣＰＵやメモリ等のハードウェア資源を用いて、当該装置で実施される処理に対応するプログラムを実行することによって実現することが可能である。上記プログラムは、コンピュータが読み取り可能な記録媒体（可搬メモリ等）に記録して、保存したり、配布したりすることが可能である。また、上記プログラムをインターネットや電子メール等、ネットワークを通して提供することも可能である。

【0051】

図６は、上記コンピュータのハードウェア構成例を示す図である。図６のコンピュータは、それぞれバスＢＳで相互に接続されているドライブ装置１０００、補助記憶装置１００２、メモリ装置１００３、ＣＰＵ１００４、インタフェース装置１００５、表示装置１００６、入力装置１００７、出力装置１００８等を有する。なお、これらのうち、一部の装置を備えないこととしてもよい。例えば、表示を行わない場合、表示装置１００６を備えなくてもよい。また、情報処理装置１００に関しては、セキュリティチップ１００９（これまでに説明したセキュリティチップ１２０に相当）を有する。

【0052】

当該コンピュータでの処理を実現するプログラムは、例えば、ＣＤ－ＲＯＭ又はメモリカード等の記録媒体１００１によって提供される。プログラムを記憶した記録媒体１００１がドライブ装置１０００にセットされると、プログラムが記録媒体１００１からドライブ装置１０００を介して補助記憶装置１００２にインストールされる。但し、プログラムのインストールは必ずしも記録媒体１００１より行う必要はなく、ネットワークを介して他のコンピュータよりダウンロードするようにしてもよい。補助記憶装置１００２は、インストールされたプログラムを格納すると共に、必要なファイルやデータ等を格納する。

【0053】

メモリ装置１００３は、プログラムの起動指示があった場合に、補助記憶装置１００２からプログラムを読み出して格納する。ＣＰＵ１００４は、メモリ装置１００３に格納されたプログラムに従って、当該装置に係る機能を実現する。インタフェース装置１００５は、ネットワークに接続するためのインタフェースとして用いられ、送信部及び受信部として機能する。表示装置１００６はプログラムによるＧＵＩ（Ｇｒａｐｈｉｃａｌ Ｕｓｅｒ Ｉｎｔｅｒｆａｃｅ）等を表示する。入力装置１００７はキーボード及びマウス、ボタン、又はタッチパネル等で構成され、様々な操作指示を入力させるために用いられる。出力装置１００８は演算結果を出力する。

【0054】

（実施の形態の効果）
以上、説明したとおり、本実施の形態に係る技術によれば、一般ＴＥＥを備える装置において、一般ＴＥＥのセキュア領域内で正しいプログラムが動作していることを、セキュア領域の外部（例：遠隔のユーザサーバ２００）に対して保証することができる。

【0055】

（実施の形態のまとめ）
本明細書には、少なくとも下記各項の情報処理装置、プログラム実行システム、情報処理方法、及びプログラムが開示されている。
（第１項）
プログラムを秘匿実行するセキュア領域と、
セキュリティチップと、を備え、
前記セキュア領域が、前記プログラムに関する情報を秘匿化し、当該秘匿化により得られた秘匿化情報に対するブラインド署名を前記セキュリティチップに要求し、
前記セキュリティチップが、前記ブラインド署名を計算し、前記ブラインド署名を前記セキュア領域に返し、前記セキュア領域が、前記ブラインド署名から、前記プログラムに関する情報に対する署名を取得する
情報処理装置。
（第２項）
前記セキュア領域は、前記ブラインド署名の署名鍵として使用される秘密鍵に対応する公開鍵を使用して、前記プログラムに関する情報を秘匿化する
第１項に記載の情報処理装置。
（第３項）
第１項又は第２項に記載の情報処理装置と、ユーザサーバと、検証サーバとを備えるプログラム実行システムであって、
前記ユーザサーバが、前記プログラムに関する情報と前記署名とを前記検証サーバに送信し、前記検証サーバが、前記署名の検証を行って、検証結果を前記ユーザサーバに送信する
プログラム実行システム。
（第４項）
前記検証サーバは、前記署名の検証において、前記プログラムに関する情報と、前記署名を前記ブラインド署名の署名鍵として使用される秘密鍵に対応する公開鍵で復号した情報とが等しいか否かを確認する
第２項に記載のプログラム実行システム。
（第５項）
プログラムを秘匿実行するセキュア領域と、セキュリティチップと、を備える情報処理装置における情報処理方法であって、
前記セキュア領域が、前記プログラムに関する情報を秘匿化し、当該秘匿化により得られた秘匿化情報に対するブラインド署名を前記セキュリティチップに要求するステップと、
前記セキュリティチップが、前記ブラインド署名を計算し、前記ブラインド署名を前記セキュア領域に返すステップと、
前記セキュア領域が、前記ブラインド署名から、前記プログラムに関する情報に対する署名を取得するステップと
を備える情報処理方法。
（第６項）
プログラムを秘匿実行するセキュア領域と、セキュリティチップと、を備えるコンピュータに、
前記セキュア領域が、前記プログラムに関する情報を秘匿化し、当該秘匿化により得られた秘匿化情報に対するブラインド署名を前記セキュリティチップに要求する処理と、
前記セキュリティチップが、前記ブラインド署名を計算し、前記ブラインド署名を前記セキュア領域に返す処理と、
前記セキュア領域が、前記ブラインド署名から、前記プログラムに関する情報に対する署名を取得する処理と
を実行させるプログラム。

【0056】

以上、本実施の形態について説明したが、本発明はかかる特定の実施形態に限定されるものではなく、特許請求の範囲に記載された本発明の要旨の範囲内において、種々の変形・変更が可能である。

【符号の説明】

【0057】

１００ 情報処理装置
１１０ セキュア領域
１１１ セキュアデータ格納部
１１２ セキュア処理部
１２０ セキュリティチップ
１３０ 疑似的なセキュア領域
２００ ユーザサーバ
２１０ 通信部
２２０ 検証処理部
２３０ データ処理部
３００ 検証サーバ
３１０ 通信部
３２０ 検証部
３３０ 公開鍵管理部
１０００ ドライブ装置
１００１ 記録媒体
１００２ 補助記憶装置
１００３ メモリ装置
１００４ ＣＰＵ
１００５ インタフェース装置
１００６ 表示装置
１００７ 入力装置
１００８ 出力装置

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】