特許
J-GLOBAL ID：200903093135581910
匿名性検査装置、方法、プログラム及び記録媒体
発明者：
,
,
,
出願人/特許権者：
代理人 (2件)：
志賀 正武
, 村山 靖彦
公報種別：公開公報
出願番号（国際出願番号）：特願2005-112515
公開番号（公開出願番号）：特開2006-293633
出願日： 2005年04月08日
公開日（公表日）： 2006年10月26日
要約：
【課題】定理証明技術に基づく仕様検証装置を用いて、動作記述言語によって記述された仕様に対して匿名性が保証されていることを検証するための匿名性検査装置を提供する。【解決手段】動作記述言語による記述5が匿名性を保証していることを検証するための装置であって、「動作記述言語による記述」5、「匿名性保証の条件の性質記述言語による記述」7及び「匿名であることを確認したい全ての動作のリスト」6に基づいて、性質記述言語によって記述され、帰納法によって検証される各項目を含む検証命題8を生成するプリプロセッサ2と、検証命題8と、「動作記述言語による記述」5を性質記述言語に変換した記述とを入力として、検証命題に対する検証を行う仕様検証装置4とを備えている。【選択図】 図1
請求項（抜粋）：
動作記述言語による記述が匿名性を保証していることを検証するための匿名性検査装置であって、
「動作記述言語による記述」、「匿名性保証の条件の性質記述言語による記述」及び「匿名であることを確認したい全ての動作のリスト」を入力とし、性質記述言語によって記述された、帰納法によって検証される項目を含む検証命題を生成するプリプロセッサと、
前記プリプロセッサが生成した検証命題と、「動作記述言語による記述」を性質記述言語に変換した記述とを入力として、検証命題に対する検証を行う仕様検証装置と
を備えることを特徴とする匿名性検査装置。
IPC (1件)：
FI (1件)：
Fターム (2件)：
前のページに戻る
