(57)【要約】【課題】変動ビット列と固定ビット列とが所定の位置に配置されたタグ出力情報が、プライバシを保護できる情報であるか否かを検査する。【解決手段】まず、タグ装置から出力された複数のタグ出力情報をメモリ１０ａに格納する。次に、排他的論理和演算部１０ｂが、メモリ１０ａから読み込まれたタグ出力情報１００の組の排他的論理和演算を複数組分実行し、各排他的論理和演算結果１１０を出力する。次に、論理和演算部１０ｃが、排他的論理和演算部１０ｂで算出された各排他的論理和演算結果の論理和を求め、当該論理和演算結果を出力する。さらに、ビット抽出部１０ｄが、論理和演算部１０ｃで算出された論理和演算結果或いはその反転ビットをマスクとし、メモリから読み込んだタグ出力情報１００から、固定ビット列１０１或いは変動ビット列１０２を抽出し、タグ出力情報１００が、プライバシを保護できる情報であるか否かを検査する。【選択図】図２
2007135034.tif 000002
【特許請求の範囲】
【請求項１】
タグ装置から出力されるたびに値が変動し得る変動ビット列と値が変動しない固定ビット列とが所定の位置に配置されたタグ出力情報が、プライバシを保護できる情報であるか否かを検査するプライバシ保護検査装置であって、
タグ装置から出力された複数のタグ出力情報を格納するメモリと、
上記メモリから読み込まれたタグ出力情報の組の排他的論理和演算を複数組分実行し、各排他的論理和演算結果を出力する排他的論理和演算部と、
上記排他的論理和演算部で算出された各排他的論理和演算結果の論理和を求め、当該論理和演算結果を出力する論理和演算部と、
上記論理和演算部で算出された論理和演算結果或いはその反転ビットをマスクとし、メモリから読み込んだタグ出力情報から、固定ビット列或いは変動ビット列を抽出するビット抽出部と、
を有することを特徴とするプライバシ保護検査装置。
【請求項２】
請求項１に記載のプライバシ保護検査装置であって、
ビット列の同一性を比較し、その比較結果を出力する比較部と、
上記比較部から出力された比較結果を用い、タグ出力情報がプライバシを保護できる情報であるか否かを判定する判定部と、を有し、
上記ビット抽出部は、
上記論理和演算部で算出された論理和演算結果をマスクとし、１つのタグ装置から出力された複数のタグ出力情報からそれぞれ変動ビット列を抽出し、
上記比較部は、
上記ビット抽出部が抽出した複数の変動ビット列を比較し、
上記判定部は、
上記比較部において比較された全ての変動ビット列同士が同一でなかった場合に、タグ出力情報がプライバシを保護できる情報である旨の判断結果を出力する、
ことを特徴とするプライバシ保護検査装置。
【請求項３】
請求項１に記載のプライバシ保護検査装置であって、
ビット列の同一性を比較し、その比較結果を出力する比較部と、
上記比較部から出力された比較結果を用い、タグ出力情報がプライバシを保護できる情報であるか否かを判定する判定部と、を有し、
上記メモリには、
検証対象のタグ出力情報と、参照用のタグ出力情報とが格納され、
上記ビット抽出部は、
上記論理和演算部で算出された論理和演算結果の反転ビットをマスクとし、検証対象のタグ出力情報及び参照用のタグ出力情報から、それぞれ固定ビット列を抽出し、
上記比較部は、
検証対象のタグ出力情報から抽出した固定ビット列と、参照用のタグ出力情報から抽出した固定ビット列とを比較し、
上記判定部は、
上記比較部において比較された固定ビット列が同一であった場合に、検証対象のタグ出力情報がプライバシを保護できる情報である旨の判断結果を出力する、
ことを特徴とするプライバシ保護検査装置。
【請求項４】
請求項１に記載のプライバシ保護検査装置であって、
擬似乱数検定法によってビット列の乱数性を検定し、その検定結果を出力する擬似乱数検定部と、
上記擬似乱数検定部から出力された検定結果を用い、タグ出力情報がプライバシを保護できる情報であるか否かを判定する判定部と、を有し、
上記ビット抽出部は、
上記論理和演算部で算出された論理和演算結果をマスクとし、メモリから読み込まれたタグ出力情報から変動ビット列を抽出し、
上記擬似乱数検定部は、
上記ビット抽出部が抽出した変動ビット列の乱数性を検定し、
上記判定部は、
上記擬似乱数検定部において上記変動ビット列が乱数性を有すると判定された場合に、当該変動ビット列を有するタグ出力情報がプライバシを保護できる情報である旨の判断結果を出力する、
ことを特徴とするプライバシ保護検査装置。
【請求項５】
請求項１に記載のプライバシ保護検査装置であって、
複数のビット列の統計的な分布を算出し、当該算出結果を出力する分布算出部と、
分布算出部から出力された分布値を用い、タグ出力情報がプライバシを保護できる情報であるか否かを判定する判定部と、を有し、
上記メモリには、
検証対象の複数のタグ出力情報と、参照用の複数のタグ出力情報とが格納され、
上記ビット抽出部は、
上記論理和演算部で算出された論理和演算結果をマスクとし、検証対象の複数のタグ出力情報と参照用の複数のタグ出力情報とから変動ビット列をそれぞれ抽出し、
上記分布算出部は、
検証対象のタグ出力情報に対応する変動ビット列の統計的な分布と、参照用のタグ出力情報に対応する変動ビット列の統計的な分布とを算出し、
上記判定部は、
検証対象のタグ出力情報に対応する変動ビット列の統計的な分布と、参照用のタグ出力情報に対応する変動ビット列の統計的な分布との差が所定値以内であることを条件に、検証対象のタグ出力情報がプライバシを保護できる情報であるとの判断結果を出力する、
ことを特徴とするプライバシ保護検査装置。
【請求項６】
請求項５に記載のプライバシ保護検査装置であって、
擬似乱数検定法によってビット列の乱数性を検定し、その検定結果を出力する擬似乱数検定部を有し、
上記擬似乱数検定部は、
検証対象のタグ出力情報に対応する変動ビット列の乱数性を検定し、
上記判定部は、
検証対象のタグ出力情報に対応する変動ビット列が乱数性を有すると判断され、なおかつ、検証対象のタグ出力情報に対応する変動ビット列の統計的な分布と、参照用のタグ出力情報に対応する変動ビット列の統計的な分布との差が所定値以内であることを条件に、検証対象のタグ出力情報がプライバシを保護できる情報であるとの判断結果を出力する、
ことを特徴とするプライバシ保護検査装置。
【請求項７】
タグ装置から出力されるたびに値が変動し得る変動ビット列と値が変動しない固定ビット列とが所定の位置に配置されたタグ出力情報が、プライバシを保護できる情報であるか否かを検査するプライバシ保護検査方法であって、
タグ装置から出力された複数のタグ出力情報をメモリに格納するステップと、
排他的論理和演算部が、上記メモリから読み込まれたタグ出力情報の組の排他的論理和演算を複数組分実行し、各排他的論理和演算結果を出力するステップと、
論理和演算部が、上記排他的論理和演算部で算出された各排他的論理和演算結果の論理和を求め、当該論理和演算結果を出力するステップと、
ビット抽出部が、上記論理和演算部で算出された論理和演算結果或いはその反転ビットをマスクとし、メモリから読み込んだタグ出力情報から、固定ビット列或いは変動ビット列を抽出するステップと、
を有することを特徴とするプライバシ保護検査方法。
【請求項８】
請求項１から６のいずれかに記載のプライバシ保護検査装置としてコンピュータを機能させるためのプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、タグ装置から出力されるタグ出力情報がプライバシ保護に適したものであるか否かを検査するプライバシ保護検査装置、プライバシ保護検査方法及びそのプログラムに関する。
【背景技術】
【０００２】
物品や人に識別子〔例えば、商品シリアルナンバーやＩＳＢＮ（International Standard Book Number），バーコード，パスポート番号等〕を割り当てる場合、基本的に一つの物品や人、或いは一つのカテゴリに対して一意となる識別子がただ一つ与えられる。また、ＩＳＢＮ，バーコード等は、一般にその番号体系が公開されており、識別子を見れば如何なる商品であるかが誰にでも特定できる。また、従来のバーコードや商品シリアルナンバー等の識別子は物品或いはタグ等に印刷されて提供されており、その識別子を認識できるのは識別子を目視できる者に限られていた。
【０００３】
これに対し、近年、印刷の代わりにＲＦ（Radio Frequency）タグを用いて物品に識別子を付する研究がさかんに行われている（例えば、非特許文献１参照）。一般に、ＲＦタグとは、アンテナとＩＣチップ等から構成される微小な装置であり、外部の無線装置〔ＲＦＩＤ（Radio frequency identification）リーダ〕と無線通信で情報のやり取りを行うことができるものである。無線装置は、無線が到達できる範囲内にＲＦタグが存在する限り、当該ＲＦタグ内に格納されたバーコードや商品シリアルナンバー等を一度に大量に取得することができるため、ＲＦタグを物品に添付或いは物品内に格納しておけば、このＲＦタグを物品の流通や在庫の管理等に活用することができる。また、ＲＦＩＤを用いた入退室管理システムや、高級ブランド品や紙幣或いはイベントや施設の入場券等にＲＦＩＤタグを用いる応用など、ＲＦＩＤを用いた認証や真贋判定の研究もさかんに行われている。
【０００４】
しかし、一般に、ＲＦＩＤを使って物品を管理する場合、ＲＦタグの機能を明示的に停止させない限り、「最終消費者等が如何なる物品を所持しているか」「物品の現在位置（或いは所有者の現在位置）はどこか」「その他ＲＦタグが提供する情報（気温，湿度等）」等のプライバシ情報が外部の無線装置によって不正に取得されてしまう可能性がある。すなわち、ＲＦタグを用いて物品管理を行った場合、物品の所有者が気付かぬうちにプライバシ情報が任意の第三者に取得されてしまい、結果的に物品の所持者が無意識のうちに何らかの監視を受けていることとなってしまう。
【０００５】
このような問題に対処するためには、タグから出力される情報が、鍵となる情報を持つ者にはタグのＩＤが識別でき、鍵となる情報を持たない者にはとっては乱数と区別がつかないものでなければならない。また、攻撃者は、タグ毎には異なるが読み取り毎には変化しない固定ビット列からはタグに関するプライバシ情報を取得することができるが、全てのタグに共通の固定ビット列にはその心配はない。
【非特許文献１】EPC global, Inc.、”EPCglobal”、[online]、[平成１６年９月９日検索]、インターネット＜http://www.epcglobalinc.org/＞
【発明の開示】
【発明が解決しようとする課題】
【０００６】
しかし、従来、タグから出力された情報がプライバシを保護している情報であるか否かを確認する手段は提供されていなかった。
本発明はこのような点に鑑みてなされたものであり、タグから出力された情報がプライバシを保護している情報であるか否かを確認することが可能な技術を提供することを目的とする。
【課題を解決するための手段】
【０００７】
本発明では、タグ装置から出力されるたびに値が変動し得る変動ビット列と値が変動しない固定ビット列とが所定の位置に配置されたタグ出力情報が、プライバシを保護できる情報であるか否かを検査する。まず、タグ装置から出力された複数のタグ出力情報をメモリに格納する。次に、排他的論理和演算部が、メモリから読み込まれたタグ出力情報の組の排他的論理和演算を複数組分実行し、各排他的論理和演算結果を出力する。次に、論理和演算部が、排他的論理和演算部で算出された各排他的論理和演算結果の論理和を求め、当該論理和演算結果を出力する。さらに、ビット抽出部が、論理和演算部で算出された論理和演算結果或いはその反転ビットをマスクとし、メモリから読み込んだタグ出力情報から、固定ビット列或いは変動ビット列を抽出する。なお、排他的論理和演算とはＸＯＲ演算を意味し、論理和演算とはＯＲ演算を意味する。また、「ビット列」は、２個以上のビットを結合したものだけではなく、１個のビットのみからなるものも含む概念である。すなわち、本発明の技術的範囲には、変動ビット列や固定ビット列の少なくとも一方が１ビットのみで構成される場合も含まれる。
【０００８】
ここで、排他的論理和演算部は、メモリから読み込まれたタグ出力情報の組の排他的論理和演算を実行しているが、この際、固定ビット列同士の排他的論理和はビット０のみからなるビット列となり、変動ビット列同士の排他的論理和はビット０とビット１とが混在したビット列となる。すなわち、排他的論理和演算部による排他的論理和演算結果は、固定ビット列のビット位置に対応する位置のビットが０となり、変動ビット列のビット位置に対応する位置のビットが０又は１が混在したものとなる。また、論理和演算部は、これらの排他的論理和演算結果の論理和を求めているが、論理和される排他的論理和演算結果の個数が十分に多い場合、その演算結果は、固定ビット列のビット位置に対応する位置のビットが０となり、変動ビット列のビット位置に対応する位置のビットが１になる。すなわち、この演算結果は、固定ビット列のビット位置のビットが０であり、変動ビット列のビット位置のビットが１であるビット列となる。よって、このビット列或いはその反転ビット列をマスクとして用いることにより、検証対象のタグ出力情報から固定ビット列或いは変動ビット列のみを抽出し、プライバシ保護性の判定を行うことができる。
【０００９】
また、本発明において好ましくは、ビット抽出部は、論理和演算部で算出された論理和演算結果をマスクとし、１つのタグ装置から出力された複数のタグ出力情報からそれぞれ変動ビット列を抽出する。また、比較部が、ビット抽出部が抽出した複数の変動ビット列を比較し、比較部において比較された全ての変動ビット列同士が同一でなかった場合に、判定部が、タグ出力情報がプライバシを保護できる情報である旨の判断結果を出力する。
ここで、抽出した変動ビット列に同一のものが含まれていない場合、攻撃者は、取得したタグ出力情報のみからそれらが同一のタグ装置から出力されたものであるかを判断することはできない。よって、抽出した変動ビット列に同一のものが含まれていないことを検出することにより、そのタグ出力情報はプライバシを保護できる情報であると判断できる。
【００１０】
また、本発明において好ましくは、メモリには、検証対象のタグ出力情報と、参照用のタグ出力情報とが格納される。そして、ビット抽出部は、論理和演算部で算出された論理和演算結果の反転ビットをマスクとし、検証対象のタグ出力情報及び参照用のタグ出力情報から、それぞれ固定ビット列を抽出する。また、比較部において、検証対象のタグ出力情報から抽出した固定ビット列と、参照用のタグ出力情報から抽出した固定ビット列とを比較し、判定部は、比較部において比較された固定ビット列が同一であった場合に、検証対象のタグ出力情報がプライバシを保護できる情報である旨の判断結果を出力する。
【００１１】
ここで、検証対象のタグ出力情報の固定ビット列が参照用のタグ出力情報の固定ビット列と同一であった場合、攻撃者は、固定ビットの相違から検証対象のタグ出力情報を参照用のタグ出力情報と区別することができない。よって、検証対象のタグ出力情報から抽出した固定ビット列が参照対象のタグ出力情報から抽出した固定ビット列と同一であることを検出することにより、そのタグ出力情報はプライバシを保護できる情報であると判断できる。
また、本発明において好ましくは、ビット抽出部は、論理和演算部で算出された論理和演算結果をマスクとし、メモリから読み込まれたタグ出力情報から変動ビット列を抽出する。そして、擬似乱数検定部が、擬似乱数検定法によってビット抽出部が抽出した変動ビット列の乱数性を検定し、判定部が、擬似乱数検定部において変動ビット列が乱数性を有すると判定された場合に、当該変動ビット列を有するタグ出力情報がプライバシを保護できる情報である旨の判断結果を出力する。
【００１２】
ここで、攻撃者からみて変動ビット列が乱数と同様にみえる場合、攻撃者はタグ出力情報に関するプライバシ情報を取得することができない。よって、変動ビット列が乱数性を有するか否かを検出することにより、タグ出力情報がプライバシを保護できる情報であるか否かを判定できる。
また、本発明において好ましくは、メモリには、検証対象の複数のタグ出力情報と、参照用の複数のタグ出力情報とが格納される。そして、ビット抽出部は、論理和演算部で算出された論理和演算結果をマスクとし、検証対象の複数のタグ出力情報と参照用の複数のタグ出力情報とから変動ビット列をそれぞれ抽出し、分布算出部は、検証対象のタグ出力情報に対応する変動ビット列の統計的な分布と、参照用のタグ出力情報に対応する変動ビット列の統計的な分布とを算出する。また、判定部は、検証対象のタグ出力情報に対応する変動ビット列の統計的な分布と、参照用のタグ出力情報に対応する変動ビット列の統計的な分布との差が所定値以内であることを条件に、検証対象のタグ出力情報がプライバシを保護できる情報であるとの判断結果を出力する。
【００１３】
ここで、検証対象のタグ出力情報に対応する変動ビット列の統計的な分布と、参照用のタグ出力情報に対応する変動ビット列の統計的な分布との差が所定値以内である場合、攻撃者は、検証対象のタグ出力情報を参照用のタグ出力情報と区別することができない。よって、検証対象のタグ出力情報に対応する変動ビット列の統計的な分布と、参照用のタグ出力情報に対応する変動ビット列の統計的な分布との差が所定値以内であるか否かを検出することにより、タグ出力情報がプライバシを保護できる情報であるか否かを判定できる。
【００１４】
さらに本発明において好ましくは、擬似乱数検定部において、検証対象のタグ出力情報に対応する変動ビット列の乱数性を検定し、判定部が、検証対象のタグ出力情報に対応する変動ビット列が乱数性を有すると判断され、なおかつ、検証対象のタグ出力情報に対応する変動ビット列の統計的な分布と、参照用のタグ出力情報に対応する変動ビット列の統計的な分布との差が所定値以内であることを条件に、検証対象のタグ出力情報がプライバシを保護できる情報であるとの判断結果を出力する。これにより、より精度よく、検証対象のタグ出力情報がプライバシを保護できる情報であるか否かを検査できる。
【発明の効果】
【００１５】
以上説明した通り、本発明により、タグから出力された情報がプライバシを保護している情報であるか否かを確認することが可能となる。
【発明を実施するための最良の形態】
【００１６】
以下、本発明を実施するための最良の形態を図面を参照して説明する。
以下の各実施の形態では、タグ装置から出力されるタグ出力情報がプライバシ保護に適した情報であるか否かを検査する。なお、各実施の形態で検査対象とするタグ出力情報は、タグ装置から出力されるたびに値が変動し得る変動ビット列と、値が変動しない固定ビット列とが所定のビット位置に配置されたビット列である。また、「タグ出力情報が、鍵となる情報を持たない者にはとって乱数と区別がつかないものであるか」或いは「異なるタグ装置から出力されたタグ出力情報が具備する固定ビット列が同一であるか」が検査内容となる。さらに、「タグ出力情報が、鍵となる情報を持たない者にはとって乱数と区別がつかないものであるか」の検査においては、タグ出力情報から変動ビット列を抽出し、変動ビット列が乱数と区別がつかないものであるか否かを検査する。以下、各実施の形態の説明を行う。
【００１７】
〔第１の実施の形態〕
第１の実施の形態では、タグ出力情報が具備する変動ビット列が乱数と区別がつかないものであるかを検査する。
＜ハードウェア構成＞
図１は、本形態におけるプライバシ保護検査装置１０のハードウェア構成を例示したブロック図である。
図１に例示するように、この例のプライバシ保護検査装置１０は、ＣＰＵ（Central Processing Unit）１１、入力部１２、出力部１３、補助記憶装置１４、ＲＯＭ（Read Only Memory）１５、ＲＡＭ（Random Access Memory）１６及びバス１７を有している。
【００１８】
この例のＣＰＵ１１は、制御部１１ａ、演算部１１ｂ及びレジスタ１１ｃを有し、レジスタ１１ｃに読み込まれた各種プログラムに従って様々な演算処理を実行する。また、この例の入力部１２は、データが入力される入力ポート、キーボード、マウス等であり、出力部１３は、データを出力する出力ポート、ディスプレイ等である。補助記憶装置１４は、例えば、ハードディスク、ＭＯ（Magneto-Optical disc）、半導体メモリ等であり、本形態のプライバシ保護検査処理を実行するためのプログラムを格納したプログラム領域１４ａ及びタグ出力情報等の各種データが格納されるデータ領域１４ｂを有している。また、ＲＡＭ１６は、例えば、ＳＲＡＭ (Static Random Access Memory)、ＤＲＡＭ (Dynamic Random Access Memory)等であり、上記のプログラムが書き込まれるプログラム領域１６ａ及び各種データが書き込まれるデータ領域１６ｂを有している。また、この例のバス１７は、ＣＰＵ１１、入力部１２、出力部１３、補助記憶装置１４、ＲＯＭ１５及びＲＡＭ１６を、データのやり取りが可能なように接続する。
【００１９】
＜ハードウェアとソフトウェアとの協働＞
この例のＣＰＵ１１は、読み込まれたＯＳ（Operating System）プログラムに従い、補助記憶装置１４のプログラム領域１４ａに格納されているプログラムを、ＲＡＭ１６のプログラム領域１６ａに書き込む。同様にＣＰＵ１１は、補助記憶装置１４のデータ領域１４ｂに格納されている各種データをＲＡＭ１６のデータ領域１６ｂに書き込む。さらに、ＣＰＵ１１は、当該プログラムや各種データが書き込まれたＲＡＭ１６上のアドレスをレジスタ１１ｃに格納する。そして、ＣＰＵ１１の制御部１１ａは、レジスタ１１ｃに格納されたこれらのアドレスを順次読み出し、読み出したアドレスが示すＲＡＭ１６上の領域からプログラムやデータを読み出し、そのプログラムが示す演算を演算部１１ｂに順次実行させ、その演算結果をレジスタ１１ｃに格納していく。
【００２０】
図２は、このようにＣＰＵ１１にプログラムが読み込まれることにより構成されるプライバシ保護検査装置１０のブロック図の例示である。なお、図２における矢印はデータの流れを示すが、制御部１０ｈに入出力されるデータの流れの記載は省略してある。
図２に示すように、本形態のプライバシ保護検査装置１０は、メモリ１０ａ、排他的論理和演算部１０ｂ、論理和演算部１０ｃ、ビット抽出部１０ｄ、一時メモリ１０ｅ、比較部１０ｆ、判定部１０ｇ及び制御部１０ｈを有している。なお、メモリ１０ａ及び一時メモリ１０ｅは、例えば、図１に記載したレジスタ１１ｃ、補助記憶装置１４、ＲＡＭ１６、或いはこれらを結合した記憶領域に相当する。また、排他的論理和演算部１０ｂ、論理和演算部１０ｃ、ビット抽出部１０ｄ、比較部１０ｆ、判定部１０ｇ及び制御部１０ｈは、それぞれ処置のプログラムがＣＰＵ１１に読み込まれることにより構成されるものである。また、プライバシ保護検査装置１０は、制御部１０ｈの制御のもと各処理を実行する。
【００２１】
＜処理＞
次に、本形態のプライバシ保護検査処理を説明する。
［前処理］
まず、前処理として、検査対象となるＲＦＩＤタグ等のタグ装置から出力された複数のタグ出力情報をメモリ１０ａに格納しておく。本形態では、１つのタグ装置から出力されたｎ（ｎ≧２）個のタグ出力情報１００−１〜ｎをメモリ１０ａに格納する。なお、図２に示すように、各タグ出力情報１００−１〜ｎは、固定ビット列１０１−１〜ｎと変動ビット列１０２−１〜ｎとをビット結合した列である。また、固定ビット列１０１−１〜ｎ、変動ビット列１０２−１〜ｎ及びタグ出力情報１００−１〜ｎは、各ビットが０或いは１となるバイナリビット列である。なお、固定ビット列１０１−１〜ｎや変動ビット列１０２−１〜ｎを構成するビット数には限定はない、すなわち、固定ビット列１０１−１〜ｎや変動ビット列１０２−１〜ｎは、それぞれ１個以上のビットから構成される。なお、タグ出力情報１００−１〜ｎを総称する場合は、タグ出力情報１００と表現する。固定ビット列１０１及び変動ビット列１０２その他についても同様である。
【００２２】
［プライバシ保護検査処理］
以上のような前提のもとプライバシ保護検査処理が実行される。
図３は、本形態のプライバシ保護検査処理を説明するためのフローチャートである。以下、このフローチャートに従い、本形態のプライバシ保護検査処理を説明する。
まず、排他的論理和演算部１０ｂが、メモリ１０ａからタグ出力情報１００の組を読み込み（ステップＳ１）、それらの排他的論理和演算を実行し、その排他的論理和演算結果を出力する（ステップＳ２）。以上のように出力された排他的論理和演算結果１１０は、メモリ１０ａに格納される。
【００２３】
図４は、排他的論理和演算部１０ｂが行う排他的論理和演算を説明するための概念図である。なお、図４は、タグ出力情報１００の組として、タグ出力情報１００−１とタグ出力情報１００−２とがメモリ１０ａから読み込まれ、それらの排他的論理和演算結果１１０−１が算出される例である。この図に例示するように、固定ビット列１０１−１と固定ビット列１０１−２とは一致するため、排他的論理和演算結果１１０−１を構成するビット列１１１−１（固定ビット列１０１−１，２に対応する位置のビット列）のビットは全て０になる。これに対し、一般に、変動ビット列１０２−１と変動ビット列１０２−２とは完全には一致しない。そのため、排他的論理和演算結果１１０−１を構成するビット列１１２−１（変動ビット列１０２−１，２に対応する位置のビット列）の各ビットは０又は１となる。なお、０のビットの位置と１のビットの位置は、変動ビット列１０２−１，２の値の組合せによって変化する。
【００２４】
排他的論理和演算結果１１０がメモリ１０ａに格納されると、次に、制御部１０ｈは、所定組分（複数）の排他的論理和演算が排他的論理和演算部１０ｂで実行されたか否かを判断する（ステップＳ３）。例えば、メモリ１０ａに格納されている複数のタグ出力情報１００から選択されうる全ての組について排他的論理和演算が実行されたか否かを判断することとしてもよいし、十分に大きな数を適当に定め、その組分の排他的論理和演算が排他的論理和演算部１０ｂで実行されたか否かを判断することとしてもよい。
ここで、所定組分の排他的論理和演算が排他的論理和演算部１０ｂで実行されていないと判断された場合、制御部１０ｈは、処理をステップＳ１に戻す。一方、所定組分の排他的論理和演算が排他的論理和演算部１０ｂで実行されたと判断された場合、制御部１０ｈは論理和演算部１０ｃに指示を与え、これを受けた論理和演算部１０ｃは、排他的論理和演算部１０ｂで算出された各排他的論理和演算結果１１０の論理和を求め、当該論理和演算結果１２０を出力する（ステップＳ４）。また、出力された論理和演算結果１２０は、メモリ１０ａに格納される。
【００２５】
図５は、論理和演算部１０ｃが行う論理和演算を説明するための概念図である。なお、図５は、ビット列１１１−１〜ｍ（固定ビット列１０１に対応するビット位置のビット列）及びビット列１１２−１〜ｍ（変動ビット列１０２に対応するビット位置のビット列）から構成される排他的論理和演算結果１１０−１〜ｍの論理和を求める例である。図５に示すように、ビット列１１１−１〜ｍの各ビット値は０であるため、このビット位置に対応する論理和演算結果１２０のビット列１２１の各ビットも０となる。また、ビット列１１２−１〜ｍの各ビットは０又は１となっているが、ｍが十分に大きな値である場合、ビット列１１２−１〜ｍの論理和に対応するビット列１２２の各ビットは全て１になる可能性が高い。すなわち、論理和演算部１０ｃによる論理和演算結果１２０は、タグ出力情報１００の固定ビット列１０１に対応する位置のビットが全て０となり、変動ビット列１０２に対応する位置のビットが全て１となる可能性が高い。よって、この論理和演算結果１２０をマスクとして用いることにより、タグ出力情報１００から変動ビット列１０２を抽出することが可能である。
【００２６】
論理和演算結果１２０がメモリ１０ａに格納されると、次に、ビット抽出部１０ｄは、メモリ１０ａから論理和演算結果１２０とタグ出力情報１００とを読み込み、この論理和演算結果１２０をマスクとして、タグ出力情報１００から変動ビット列１０２を抽出する。例えば、ビット抽出部１０ｄは、論理和演算結果１２０とタグ出力情報１００との論理積（ＡＮＤ）演算を行うことにより、変動ビット列１０２を抽出する。そして、抽出された変動ビット列１０２は一時メモリ１０ｅに格納される（ステップＳ５）。
次に、制御部１０ｈは、ビット抽出部１０ｄが所定数のタグ出力情報１００から変動ビット列１０２を抽出したか否かを判断する（ステップＳ６）。具体的には、例えば、ビット抽出部１０ｄがメモリ１０ａに格納されている全てのタグ出力情報１００から変動ビット列１０２が抽出されたか否かを判断することとしてもよいし、適当に定められた十分大きな数分だけタグ出力情報１００から変動ビット列１０２が抽出されたか否かを判断することとしてもよい。
【００２７】
ここで、未だ、所定数のタグ出力情報１００から変動ビット列１０２が抽出されていないと判断された場合、制御部１０ｈは、処理をステップＳ５に戻す。一方、所定数のタグ出力情報１００から変動ビット列１０２が抽出されたと判断された場合、制御部１０ｈは、比較部１０ｆに指示を与え、これを受けた比較部１０ｆは、一時メモリ１０ｅに格納されている一組の変動ビット列１０２同士を比較する（ステップＳ７）。ここで、これらが一致すると判断された場合（ステップＳ８）、比較部１０ｆは、その旨の比較結果を判定部１０ｇに送る。これを受けた判定部１０ｇは、タグ出力情報１００がプライバシを保護できない情報である旨を出力し、処理が終了する（ステップＳ９）。
【００２８】
一方、比較された変動ビット列１０２同士が一致しないと判断された場合（ステップＳ８）、次に、制御部１０ｈは、比較部１０ｆが所定数の変動ビット列１０２の組を比較したか否かを判断する（ステップＳ１０）。具体的には、例えば、比較部１０ｆが一時メモリ１０ｅに格納されている全ての変動ビット列１０２の組を比較したか否かを判断することとしてもよいし、適当に定められた十分大きな数分の組だけ変動ビット列１０２同士の比較が行われたか否かを判断することとしてもよい。ここで、比較部１０ｆが所定数の変動ビット列１０２の組を比較していないと判断された場合、処理がステップＳ７に戻される。一方、比較部１０ｆが所定数の変動ビット列１０２の組を比較していると判断された場合、比較部１０ｆは、比較した全ての変動ビット列１０２同士が同一でなかった旨の比較結果を判定部１０ｇに送る。これを受けた判定部１０ｇは、タグ出力情報１００がプライバシを保護できる情報である旨の判断結果を出力する（ステップＳ１１）。
【００２９】
なお、本形態では、検査対象となる１つのタグ装置から出力される複数のタグ出力情報１００を、論理和演算結果１２０の算出にも用いることとした。しかし、検査対象のタグ装置以外のタグ装置から出力されたタグ出力情報を用いて論理和演算結果１２０を算出することとしてもよい。この場合、排他的論理和演算部１０ｂは、タグ出力情報１００を出力したタグ装置以外のタグ装置が出力した複数のタグ出力情報を用いて排他的論理和演算を行い、その後の処理（ステップＳ４以降）が実行されることになる。さらに、論理和演算結果１２０を算出するために用いるタグ出力情報は、１つのタグ装置から出力されたものに限定されない。すなわち、複数のタグ装置から出力された複数のタグ出力情報を、論理和演算結果１２０の算出に用いることとしてもよい。
【００３０】
〔第２の実施の形態〕
次に、本発明における第２の実施の形態について説明する。
本形態は、第１の実施の形態の変形例であり、異なるタグ装置から出力されたタグ出力情報が具備する固定ビット列が同一であるかを検査する。以下では、第１の実施の形態との相違点を中心に説明し、第１の実施の形態と共通する事項については説明を省略する。
＜構成＞
図６は、図１に例示したのと同様なハードウェアに所定のプログラムが読み込まれることによって構成される、本形態のプライバシ保護検査装置２１０の構成を例示したブロック図である。なお、図６において第１の実施の形態と共通する部分には、図２と同じ符号を付した。図６に示すように、本形態のプライバシ保護検査装置２１０と第１の実施の形態のプライバシ保護検査装置１０との相違点は、プライバシ保護検査装置２１０が、ビット反転部２１０ｈを有する点、比較部１０ｆの代わりに比較部１０ｆを有する点、判定部１０ｇの代わりに判定部２１０ｇを有する点である。
【００３１】
＜処理＞
次に、本形態のプライバシ保護検査処理を説明する。
［前処理］
まず、前処理として、ｎ（ｎ≧１）個の検証対象のタグ出力情報１００−１〜ｎと、ｐ−ｎ（ｐ≧２）個の参照用のタグ出力情報１００−（ｎ＋１）〜ｐとをメモリ１０ａに格納しておく。なお、本形態における参照用のタグ出力情報１００−（ｎ＋１）〜ｐは、検証対象のタグ出力情報１００−１〜ｎを出力したタグ装置以外のタグ装置から出力されたタグ出力情報であるものとする。また、参照用のタグ出力情報は、１つのタグ装置のみから出力されたものであってもよいし、複数のタグ装置から出力されたものであってもよい。
【００３２】
［プライバシ保護検査処理］
以上のような前提のもとプライバシ保護検査処理が実行される。
図７は、本形態のプライバシ保護検査処理を説明するためのフローチャートである。以下、このフローチャートに従い、本形態のプライバシ保護検査処理を説明する。
まず、タグ出力情報１００−（ｎ＋１）〜ｐを用い、第１の実施の形態で説明したステップＳ１〜Ｓ４（図３）と同様な処理を実行する。次に、ビット反転部２１０ｈが、メモリ１０ａに格納された論理和演算結果１２０をビット反転させた反転ビット情報１３０を生成し、これをメモリ１０ａに格納する（ステップＳ２１）。なお、この反転ビット情報１３０は、固定ビット列１０１に対応するビット位置のビット列１３１の各ビットが１になり、変動ビット列１０２に対応するビット位置のビット列１３２の各ビットが０となる情報である。
【００３３】
次に、ビット抽出部２１０ｄが、メモリ１０ａから、反転ビット情報１３０と、検証対象となるタグ出力情報１００−１〜ｎと、参照用のタグ出力情報１００−（ｎ＋１）〜ｐとを読み込む。そして、ビット抽出部２１０ｄは、この反転ビット情報１３０をマスクとし、検証対象のタグ出力情報１００−１〜ｎ及び参照用のタグ出力情報１００−（ｎ＋１）〜ｐから、それぞれ固定ビット列１０１を抽出する（ステップＳ２２）。具体的には、ビット抽出部２１０ｄは、例えば、反転ビット情報１３０とタグ出力情報１００との論理積演算を行い、固定ビット列１０１を抽出する。抽出された固定ビット列１０１は、一時メモリ１０ｅに格納される。
【００３４】
次に、制御部１０ｈは、ビット抽出部２１０ｄが所定数のタグ出力情報から固定ビット列１０１を抽出したか否かを判断する（ステップＳ２３）。例えば、メモリ１０ａに格納されている全てのタグ出力情報１００から固定ビット列１０１が抽出されたか否かを判断することとしてもよいし、十分に大きな数を適当に定め、その数分の固定ビット列１０１が、検証対象及び参照用のタグ出力情報１００からそれぞれ抽出されたか否かを判断することとしてもよい。
ここで、所定数のタグ出力情報１００から固定ビット列１０１が抽出されていないと判断した場合、制御部１０ｈは、処理をステップＳ２２に戻す。一方、所定数のタグ出力情報１００から固定ビット列１０１が抽出されていると判断された場合、比較部２１０ｆは、検証対象のタグ出力情報１００−１〜ｎから抽出した固定ビット列１０１−１〜ｎと、参照用のタグ出力情報１００−（ｎ＋１）〜ｐから抽出した固定ビット列１０１−（ｎ＋１）〜ｐとの組を、一時メモリ１０ｅから読み込み。そして、比較部２１０ｆは、読み込んだ固定ビット列１０１−１〜ｎと固定ビット列１０１−（ｎ＋１）〜ｐとを比較し、これらが同一であるか否かを判断する（ステップＳ２４）。
【００３５】
ここで、これらが一致しないと判断された場合（ステップＳ２５）、比較部２１０ｆは、その旨の比較結果を判定部２１０ｇに送る。これを受けた判定部２１０ｇは、検証対象のタグ出力情報１００−１〜ｎがプライバシを保護できない情報である旨を出力し、処理が終了する（ステップＳ２６）。
一方、比較された固定ビット列１０１同士が一致すると判断された場合（ステップＳ２５）、次に、制御部１０ｈは、比較部２１０ｆが所定数の固定ビット列１０１の組を比較したか否かを判断する（ステップＳ２７）。具体的には、例えば、比較部２１０ｆが一時メモリ１０ｅに格納されている全ての固定ビット列１０１の組を比較したか否かを判断することとしてもよいし、適当に定められた十分大きな数分の組だけ固定ビット列１０１同士の比較が行われたか否かを判断することとしてもよい。ここで、比較部２１０ｆが所定数の固定ビット列１０１の組を比較していないと判断された場合、処理がステップＳ２４に戻される。一方、比較部２１０ｆが所定数の固定ビット列１０１の組を比較していると判断された場合、比較部２１０ｆは、比較した全ての固定ビット列１０１同士が同一でなかった旨の比較結果を判定部２１０ｇに送る。これを受けた判定部２１０ｇは、検証対象のタグ出力情報１００−１〜ｎがプライバシを保護できる情報である旨の判断結果を出力する（ステップＳ２８）。
【００３６】
〔第３の実施の形態〕
次に、本発明における第３の実施の形態について説明する。
本形態は、タグ出力情報が具備する変動ビット列が乱数と区別がつかないものであるかを検査するものであり、第１の実施の形態の変形例である。以下では、第１の実施の形態との相違点を中心に説明し、第１の実施の形態と共通する事項については説明を省略する。
＜構成＞
図８は、図１に例示したのと同様なハードウェアに所定のプログラムが読み込まれることによって構成される、本形態のプライバシ保護検査装置３１０の構成を例示したブロック図である。なお、図８において第１の実施の形態と共通する部分には、図２と同じ符号を付した。図８に示すように、本形態のプライバシ保護検査装置３１０と第１の実施の形態のプライバシ保護検査装置１０との相違点は、プライバシ保護検査装置３１０が、比較部１０ｆの代わりに擬似乱数検定部３１０ｆを有する点、判定部１０ｇの代わりに判定部３１０ｇを有する点である。
【００３７】
＜処理＞
次に、本形態のプライバシ保護検査処理を説明する。
図９は、第３の実施の形態のプライバシ保護検査処理を説明するためのフローチャートである。以下、このフローチャートに従って、本形態のプライバシ保護検査処理を説明する。
まず、第１の実施の形態と同様な前処理とステップＳ１〜６（図３）の処理とが実行される。次に、擬似乱数検定部３１０ｆが、ビット抽出部１０ｄが抽出した複数（全て或いは一部）の変動ビット列１０２を一時メモリ１０ｅから読み込み、それらの乱数性を擬似乱数検定法によって検定する（ステップＳ３１）。なお、擬似乱数検定法については、「Knuth，準数値算法／乱数，渋谷政昭訳，サイエンス社」等参照。
【００３８】
ここで、変動ビット列１０２が乱数性を有する（合格）と判定された場合（ステップＳ３２）、擬似乱数検定部３１０ｆは、その旨の検定結果を判定部３１０ｇに送り、これを受けた判定部３１０ｇは、タグ出力情報１００がプライバシを保護できる情報である旨の判断結果を出力する（ステップＳ３３）。
一方、変動ビット列１０２が乱数性を有しない（不合格）と判定された場合（ステップＳ３２）、擬似乱数検定部３１０ｆは、その旨の検定結果を判定部３１０ｇに送り、これを受けた判定部３１０ｇは、タグ出力情報１００がプライバシを保護できない情報である旨の判断結果を出力する（ステップＳ３４）。
【００３９】
〔第４の実施の形態〕
次に、本発明における第４の実施の形態について説明する。本形態は、タグ出力情報が具備する変動ビット列が乱数と区別がつかないものであるかを検査するものであり、第１の実施の形態の変形例である。以下では、第１の実施の形態との相違点を中心に説明し、第１の実施の形態と共通する事項については説明を省略する。
＜構成＞
図１０は、図１に例示したのと同様なハードウェアに所定のプログラムが読み込まれることによって構成される、本形態のプライバシ保護検査装置４１０の構成を例示したブロック図である。なお、図１０において第１の実施の形態と共通する部分には、図２と同じ符号を付した。図１０に示すように、本形態のプライバシ保護検査装置４１０と第１の実施の形態のプライバシ保護検査装置１０との相違点は、プライバシ保護検査装置４１０が、比較部１０ｆの代わりに分布算出部４１０ｆを有する点、判定部１０ｇの代わりに判定部４１０ｇを有する点である。
【００４０】
＜処理＞
次に、本形態のプライバシ保護検査処理を説明する。
［前処理］
まず、前処理として、ｎ（ｎ≧１）個の検証対象のタグ出力情報１００−１〜ｎと、ｐ−ｎ（ｐ≧２）個の参照用のタグ出力情報１００−（ｎ＋１）〜ｐとをメモリ１０ａに格納しておく。なお、本形態における参照用のタグ出力情報１００−（ｎ＋１）〜ｐは、検証対象のタグ出力情報１００−１〜ｎを出力したタグ装置以外のタグ装置から出力されたタグ出力情報であるものとする。また、参照用のタグ出力情報は、１つのタグ装置のみから出力されたものであってもよいし、複数のタグ装置から出力されたものであってもよい。
【００４１】
［プライバシ保護検査処理］
以上のような前提のもとプライバシ保護検査処理が実行される。
図１１は、本形態のプライバシ保護検査処理を説明するためのフローチャートである。以下、このフローチャートに従い、本形態のプライバシ保護検査処理を説明する。
まず、タグ出力情報１００−（ｎ＋１）〜ｐを用い、第１の実施の形態で説明したステップＳ１〜Ｓ４（図３）と同様な処理を実行する。
次に、ビット抽出部４１０ｄが、メモリ１０ａから、論理和演算結果１２０と、検証対象となるタグ出力情報１００−１〜ｎと、参照用のタグ出力情報１００−（ｎ＋１）〜ｐとを読み込む。そして、ビット抽出部４１０ｄは、第１の実施の形態と同様に、論理和演算結果１２０をマスクとし、検証対象のタグ出力情報１００−１〜ｎ及び参照用のタグ出力情報１００−（ｎ＋１）〜ｐから、それぞれ変動ビット列１０２を抽出する（ステップＳ４１）。抽出された変動ビット列１０２は、一時メモリ１０ｅに格納される。次に、制御部１０ｈは、第１の実施の形態と同様、ビット抽出部４１０ｄが所定数のタグ出力情報から変動ビット列１０２を抽出したか否かを判断する（ステップＳ４２）。
【００４２】
ここで、所定数のタグ出力情報１００から変動ビット列１０２が抽出されていないと判断した場合、制御部１０ｈは、処理をステップＳ４１に戻す。一方、所定数のタグ出力情報１００から固定ビット列１０１が抽出されていると判断された場合、分布算出部４１０ｆは、検証対象のタグ出力情報１００−１〜ｎから抽出した変動ビット列１０２−１〜ｎと、参照用のタグ出力情報１００−（ｎ＋１）〜ｐから抽出した変動ビット列１０２−（ｎ＋１）〜ｐとを、それぞれ複数（全て或いは一部）個ずつ、一時メモリ１０ｅから読み込む。分布算出部４１０ｆは、読み込んだ変動ビット列１０２−１〜ｎの統計的な分布と、変動ビット列１０２−（ｎ＋１）〜ｐの統計的な分布とを求める（ステップＳ４３）。なお、ここで求められる統計的な分布としては、例えば、分散等を例示できる。
【００４３】
このように算出された変動ビット列１０２−１〜ｎの統計的な分布と、変動ビット列１０２−（ｎ＋１）〜ｐの統計的な分布とは、判定部４１０ｇに送られ、判定部４１０ｇは、これらの分布の差が所定値以内であるか否かを判定する（ステップＳ４４）。
ここで、これらの分布の差が所定値内であると判定された場合、判定部４１０ｇは、検証対象のタグ出力情報１００−１〜ｎがプライバシを保護できる情報である旨を出力し（ステップＳ４５）、制御部１０ｈは、処理を終了させる。一方、これらの分布の差が所定値内でないと判定された場合、判定部４１０ｇは、検証対象のタグ出力情報１００−１〜ｎがプライバシを保護できない情報である旨を出力し（ステップＳ４６）、制御部１０ｈは、処理を終了させる。
【００４４】
〔第５の実施の形態〕
次に、本発明における第５の実施の形態について説明する。
本形態は、タグ出力情報が具備する変動ビット列が乱数と区別がつかないものであるかを検査するものであり、第４の実施の形態の変形例である。以下では、第１，４の実施の形態との相違点を中心に説明し、第１，４の実施の形態と共通する事項については説明を省略する。
＜構成＞
図１２は、図１に例示したのと同様なハードウェアに所定のプログラムが読み込まれることによって構成される、本形態のプライバシ保護検査装置５１０の構成を例示したブロック図である。なお、図１２において第１，４の実施の形態と共通する部分には、図２，１０と同じ符号を付した。
【００４５】
図１２に示すように、本形態のプライバシ保護検査装置５１０と第４の実施の形態のプライバシ保護検査装置４１０との相違点は、プライバシ保護検査装置５１０が、さらに擬似乱数検定部５１０ｆを有する点である。
＜処理＞
次に、本形態のプライバシ保護検査処理を説明する。図１３は、本形態のプライバシ保護検査処理を説明するためのフローチャートである。以下、このフローチャートに従って、本形態のプライバシ保護検査処理を説明する。
【００４６】
まず、第４の実施の形態と同様な前処理とステップＳ１〜４（図３）の処理を実行する。次に、ビット抽出部４１０ｄが、メモリ１０ａから、論理和演算結果１２０と、検証対象となるタグ出力情報１００−１〜ｎと、参照用のタグ出力情報１００−（ｎ＋１）〜ｐとを読み込む。そして、ビット抽出部４１０ｄは、第１の実施の形態と同様に、論理和演算結果１２０をマスクとし、検証対象のタグ出力情報１００−１〜ｎ及び参照用のタグ出力情報１００−（ｎ＋１）〜ｐから、それぞれ変動ビット列１０２を抽出する（ステップＳ５１）。抽出された変動ビット列１０２は、一時メモリ１０ｅに格納される。次に、制御部１０ｈは、第１の実施の形態と同様、ビット抽出部４１０ｄが所定数のタグ出力情報から変動ビット列１０２を抽出したか否かを判断する（ステップＳ５２）。
【００４７】
ここで、所定数のタグ出力情報１００から変動ビット列１０２が抽出されていないと判断した場合、制御部１０ｈは、処理をステップＳ５１に戻す。一方、所定数のタグ出力情報１００から固定ビット列１０１が抽出されていると判断された場合、擬似乱数検定部５１０ｆは、複数（全て或いは一部）の変動ビット列１０２−１〜ｎを一時メモリ１０ｅから読み込む。そして、擬似乱数検定部５１０ｆは、これらの変動ビット列１０２−１〜ｎを擬似乱数検定法によってそれらの乱数性を検定する（ステップＳ５３）。
ここで、変動ビット列１０２−１〜ｎが乱数性を有しない（不合格）と判断された場合（ステップＳ５４）、擬似乱数検定部５１０ｆは、その旨の情報を判定部５１０ｇに送り、判定部５１０ｇは、検証対象のタグ出力情報１００−１〜ｎがプライバシを保護できない情報である旨を出力し（ステップＳ５５）、制御部１０ｈは、処理を終了させる。
【００４８】
一方、変動ビット列１０２−１〜ｎが乱数性を有する（合格）と判断された場合（ステップＳ５４）、制御部１０ｈは分布算出部４１０ｆに指示を与え、これを受けた分布算出部４１０ｆは、検証対象のタグ出力情報１００−１〜ｎから抽出した変動ビット列１０２−１〜ｎと、参照用のタグ出力情報１００−（ｎ＋１）〜ｐから抽出した変動ビット列１０２−（ｎ＋１）〜ｐとを、それぞれ複数（全て或いは一部）個ずつ、一時メモリ１０ｅから読み込む。分布算出部４１０ｆは、読み込んだ変動ビット列１０２−１〜ｎの統計的な分布と、変動ビット列１０２−（ｎ＋１）〜ｐの統計的な分布とを求める（ステップＳ５６）。
【００４９】
このように算出された変動ビット列１０２−１〜ｎの統計的な分布と、変動ビット列１０２−（ｎ＋１）〜ｐの統計的な分布とは、判定部５１０ｇに送られ、判定部４１０ｇは、これらの分布の差が所定値以内であるか否かを判定する（ステップＳ５７）。
ここで、これらの分布の差が所定値内であると判定された場合、判定部５１０ｇは、検証対象のタグ出力情報１００−１〜ｎがプライバシを保護できる情報である旨を出力し（ステップＳ５８）、制御部１０ｈは、処理を終了させる。一方、これらの分布の差が所定値内でないと判定された場合、判定部５１０ｇは、検証対象のタグ出力情報１００−１〜ｎがプライバシを保護できない情報である旨を出力し（ステップＳ５５）、制御部１０ｈは、処理を終了させる。
【００５０】
なお、本発明は上述の実施の形態に限定されるものではなく、その他、本発明の趣旨を逸脱しない範囲で適宜変更が可能であることはいうまでもない。例えば、上述の各種の処理は、記載に従って時系列に実行されるのみならず、処理を実行する装置の処理能力あるいは必要に応じて並列的にあるいは個別に実行されてもよい。
また、上述の処理内容を記述したプログラムは、コンピュータで読み取り可能な記録媒体に記録しておくことができる。コンピュータで読み取り可能な記録媒体としては、例えば、磁気記録装置、光ディスク、光磁気記録媒体、半導体メモリ等どのようなものでもよいが、具体的には、例えば、磁気記録装置として、ハードディスク装置、フレキシブルディスク、磁気テープ等を、光ディスクとして、ＤＶＤ（Digital Versatile Disc）、ＤＶＤ−ＲＡＭ（Random Access Memory）、ＣＤ−ＲＯＭ（Compact Disc Read Only Memory）、ＣＤ−Ｒ（Recordable）／ＲＷ（ReWritable）等を、光磁気記録媒体として、ＭＯ（Magneto-Optical disc）等を、半導体メモリとしてＥＥＰ−ＲＯＭ（Electronically Erasable and Programmable-Read Only Memory）等を用いることができる。
【００５１】
また、このプログラムの流通は、例えば、そのプログラムを記録したＤＶＤ、ＣＤ−ＲＯＭ等の可搬型記録媒体を販売、譲渡、貸与等することによって行う。さらに、このプログラムをサーバコンピュータの記憶装置に格納しておき、ネットワークを介して、サーバコンピュータから他のコンピュータにそのプログラムを転送することにより、このプログラムを流通させる構成としてもよい。
また、このプログラムの別の実行形態として、コンピュータが可搬型記録媒体から直接プログラムを読み取り、そのプログラムに従った処理を実行することとしてもよく、さらに、このコンピュータにサーバコンピュータからプログラムが転送されるたびに、逐次、受け取ったプログラムに従った処理を実行することとしてもよい。また、サーバコンピュータから、このコンピュータへのプログラムの転送は行わず、その実行指示と結果取得のみによって処理機能を実現する、いわゆるＡＳＰ（Application Service Provider）型のサービスによって、上述の処理を実行する構成としてもよい。なお、本形態におけるプログラムには、電子計算機による処理の用に供する情報であってプログラムに準ずるもの（コンピュータに対する直接の指令ではないがコンピュータの処理を規定する性質を有するデータ等）を含むものとする。
【００５２】
また、この形態では、コンピュータ上で所定のプログラムを実行させることにより、本装置を構成することとしたが、これらの処理内容の少なくとも一部をハードウェア的に実現することとしてもよい。
【産業上の利用可能性】
【００５３】
本発明の利用分野としては、例えば、ＲＦＩＤシステムにおいてプライバシが保護されているか否かを検証する分野を例示できる。
【図面の簡単な説明】
【００５４】
【図１】図１は、第１の実施の形態におけるプライバシ保護検査装置のハードウェア構成を例示したブロック図である。
【図２】図２は、ＣＰＵにプログラムが読み込まれることにより構成されるプライバシ保護検査装置のブロック図の例示である。
【図３】図３は、第１の実施の形態のプライバシ保護検査処理を説明するためのフローチャートである。
【図４】図４は、排他的論理和演算部が行う排他的論理和演算を説明するための概念図である。
【図５】図５は、論理和演算部が行う論理和演算を説明するための概念図である。
【図６】図６は、第２の実施の形態のプライバシ保護検査装置の構成を例示したブロック図である。
【図７】図７は、第２の実施の形態のプライバシ保護検査処理を説明するためのフローチャートである。
【図８】図８は、第３の実施の形態のプライバシ保護検査装置の構成を例示したブロック図である。
【図９】図９は、第３の実施の形態のプライバシ保護検査処理を説明するためのフローチャートである。
【図１０】図１０は、第４の実施の形態のプライバシ保護検査装置の構成を例示したブロック図である。
【図１１】図１１は、第４の実施の形態のプライバシ保護検査処理を説明するためのフローチャートである。
【図１２】図１２は、第５の実施の形態のプライバシ保護検査装置の構成を例示したブロック図である。
【図１３】図１３は、第５の実施の形態のプライバシ保護検査処理を説明するためのフローチャートである。
【符号の説明】
【００５５】
１０，２１０，３１０，４１０，５１０  プライバシ保護検査装置
【図１】
2007135034.tif 000003
【図２】
2007135034.tif 000004
【図３】
2007135034.tif 000005
【図４】
2007135034.tif 000006
【図５】
2007135034.tif 000007
【図６】
2007135034.tif 000008
【図７】
2007135034.tif 000009
【図８】
2007135034.tif 000010
【図９】
2007135034.tif 000011
【図１０】
2007135034.tif 000012
【図１１】
2007135034.tif 000013
【図１２】
2007135034.tif 000014
【図１３】
2007135034.tif 000015