特許
J-GLOBAL ID:200903027147334584

ソフトウェアの安全性を検証し保証するシステム及び方法

発明者:
出願人/特許権者:
代理人 (1件): 京本 直樹 (外2名)
公報種別:公開公報
出願番号(国際出願番号):特願2000-001354
公開番号(公開出願番号):特開2001-195247
出願日: 2000年01月07日
公開日(公表日): 2001年07月19日
要約:
【要約】【課題】装置にダウンロードしたプログラムの安全性の検証を一度だけ行いかつ安全性を保証する仕組みを提供する。【解決手段】安全性検証手段によって安全が確認されたプログラムだけを記憶して他の手段によってプログラムを記憶したりプログラムを書き換えたりできないことを保証する安全な記憶装置を備え、実行手段は安全な記憶装置からプログラムを読みだして実行する。
請求項(抜粋):
プログラムの安全性を検証する安全性検証手段と、前記安全性検証手段によって安全性が確認されたプログラムだけを記憶し、他の手段によって新たにプログラムを記憶したりプログラムを書き換えたりすることができないように制御される安全な記憶手段とを備えたことを特徴とするソフトウェアの安全性を検証し保証するシステム。
IPC (2件):
G06F 9/06 550 ,  G06F 9/445
FI (3件):
G06F 9/06 550 Z ,  G06F 9/06 420 C ,  G06F 9/06 420 J
Fターム (3件):
5B076BA04 ,  5B076BB06 ,  5B076FD02
引用特許:
審査官引用 (1件)

前のページに戻る