講演抄録/キーワード |
講演名 |
2004-07-20 15:50
耐タンパCPUによるプログラム実行の証明 ○岡崎篤也・中西正樹・山下 茂・渡邉勝正(奈良先端大) |
抄録 |
(和) |
グリッドコンピューティングやモバイルエージェントシステムにおいて,リモートの計算機に与えたプログラムが正確に実行されたことを保証,証明することは困難である.
そこで,CPU (Central Processing Unit) が与えられたプログラムを正確に実行したことを,ハードウェアレベルで証明するハードウェアアーキテクチャを提案する.ハードウェアであるCPUに耐タンパ性を持たせ,暗号回路を付加することによりこの機能を実現する. |
(英) |
In grid computing and mobile agents system, remote computers may be untrusted. It is difficult to certify that remote computers execute given programs as required. We propose a new CPU (Central Processing Unit) architecture. This architecture can certify that a given program has been executed without failure. This CPU is ``tamper resistant'' hardware with some cryptographic circuits to certify secure execution. |
キーワード |
(和) |
トラステッドコンピューティング / 耐タンパハードウェア / デジタル署名 / グリッドコンピューティング / / / / |
(英) |
Trusted Computing / Tamper Resistant Hardware / Digital Signature / Grid Computing / / / / |
文献情報 |
信学技報, vol. 104, pp. 165-170, 2004年7月. |
資料番号 |
|
発行日 |
2004-07-13 (ISEC) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|