(57)【特許請求の範囲】
【請求項１】
端末装置であって、
通信装置から所定の情報を受け付ける受付部と、
前記受付部によって所定の情報が受け付けられた場合に、前記端末装置を有する利用者が前記通信装置が設置された施設に訪問したことを示す訪問識別情報の取得要求を取得要求情報とともに前記通信装置に送信する第１送信部と、
前記第１送信部によって送信された取得要求に対する応答として、前記端末装置および管理装置が使用する鍵に対応する鍵と前記取得要求情報とを用いて前記通信装置が前記取得要求情報に基づき生成した前記訪問識別情報を前記通信装置から受信する第１受信部と、
前記第１受信部によって前記訪問識別情報を前記通信装置から受信した場合に、前記利用者が前記施設を訪問したことを検証する検証要求を前記第１受信部によって受信された訪問識別情報と前記取得要求情報とともに前記管理装置に送信する第２送信部と、
前記第２送信部によって送信された検証要求に対する検証結果として、前記第２送信部によって送信された訪問識別情報と取得要求情報とが適切な組合せか否かを前記管理装置が使用する鍵を用いて検証した結果を前記管理装置から受信する第２受信部と
前記第２受信部によって受信された検証結果に基づいて、前記利用者が前記施設を訪問したことを検証する検証部と、
を備えたことを特徴とする端末装置。
【請求項２】
前記第１送信部は、
近距離通信によって前記取得要求を前記通信装置に送信し、
前記第１受信部は、
近距離通信によって前記訪問識別情報を前記通信装置から受信する
ことを特徴とする請求項１に記載の端末装置。 
【請求項３】
前記第１受信部は、
前記訪問識別情報として、所定の条件を満たしている場合に有効な訪問識別情報を受信する
ことを特徴とする請求項１または２に記載の端末装置。 
【請求項４】
前記検証部は、
前記第１受信部によって受信された訪問識別情報と予め設定された訪問識別情報の一覧とを照合することで、前記利用者が前記施設を訪問したことを検証する
ことを特徴とする請求項１〜３のうちいずれか１つに記載の端末装置。 
【請求項５】
前記第２送信部は、
前記第１受信部によって受信された訪問識別情報とともに前記検証要求を前記管理装置に送信し、
前記第２受信部は、
前記第２送信部によって送信された訪問識別情報と前記管理装置を管理する管理者によって予め設定された所定の訪問識別情報とを照合することで前記利用者の前記施設への訪問を検証した検証結果を前記管理装置から受信する
ことを特徴とする請求項１〜４のうちいずれか１つに記載の端末装置。 
【請求項６】
前記第１受信部は、前記訪問識別情報として、前記端末装置と前記通信装置と前記管理装置とで共通する鍵と前記取得要求情報とを用いて生成された訪問識別情報を当該通信装置から受信し、
前記第２受信部は、前記検証結果として、前記第２送信部によって送信された訪問識別情報と取得要求情報とが適切な組合せか否か前記鍵を用いて検証した結果を前記管理装置から受信する
ことを特徴とする請求項１〜５のうちいずれか１つに記載の端末装置。 
【請求項７】
前記第１送信部は、
前記取得要求として、前記利用者を識別する利用者識別情報と対応づけられた取得要求を前記通信装置に送信する
ことを特徴とする請求項１〜６のうちいずれか１つに記載の端末装置。 
【請求項８】
前記第１受信部は、
前記訪問識別情報とともに前記通信装置を識別する装置識別情報を当該通信装置から受信し、
前記第２送信部は、
前記検証要求として、前記第１受信部によって受信された前記訪問識別情報と、前記装置識別情報と、前記取得要求情報とを含む検証要求を前記管理装置に送信し、
前記第２受信部は、
前記検証結果として、前記第２送信部によって送信された装置識別情報が前記管理装置によって保持される失効済みの装置識別情報である場合には、前記利用者が前記施設を訪問したと判定しない結果を前記管理装置から受信する
ことを特徴とする請求項１〜７のうちいずれか一つに記載の端末装置。 
【請求項９】
端末装置が実行する検証方法であって、
通信装置から所定の情報を受け付ける受付工程と、
前記受付工程によって所定の情報が受け付けられた場合に、前記端末装置を有する利用者が前記通信装置が設置された施設に訪問したことを示す訪問識別情報の取得要求を取得要求情報とともに前記通信装置に送信する第１送信工程と、
前記第１送信工程によって送信された取得要求に対する応答として、前記端末装置および管理装置が使用する鍵に対応する鍵と前記取得要求情報とを用いて前記通信装置が前記取得要求情報に基づき生成した前記訪問識別情報を前記通信装置から受信する第１受信工程と、
前記第１受信工程によって前記訪問識別情報を前記通信装置から受信した場合に、前記利用者が前記施設を訪問したことを検証する検証要求を前記第１受信工程によって受信された訪問識別情報と前記取得要求情報とともに前記管理装置に送信する第２送信工程と、
前記第２送信工程によって送信された検証要求に対する検証結果として、前記第２送信工程によって送信された訪問識別情報と取得要求情報とが適切な組合せか否かを前記管理装置が使用する鍵を用いて検証した結果を前記管理装置から受信する第２受信工程と
前記第２受信工程によって受信された検証結果に基づいて、前記利用者が前記施設を訪問したことを検証する検証工程と、
を含んだことを特徴とする検証方法。 
【請求項１０】
通信装置から所定の情報を受け付ける受付手順と、
前記受付手順によって所定の情報が受け付けられた場合に、端末装置を有する利用者が前記通信装置が設置された施設に訪問したことを示す訪問識別情報の取得要求を取得要求情報とともに前記通信装置に送信する第１送信手順と、
前記第１送信手順によって送信された取得要求に対する応答として、前記端末装置および管理装置が使用する鍵に対応する鍵と前記取得要求情報とを用いて前記通信装置が前記取得要求情報に基づき生成した前記訪問識別情報を前記通信装置から受信する第１受信手順と、
前記第１受信手順によって前記訪問識別情報を前記通信装置から受信した場合に、前記利用者が前記施設を訪問したことを検証する検証要求を前記第１受信手順によって受信された訪問識別情報と前記取得要求情報とともに前記管理装置に送信する第２送信手順と、
前記第２送信手順によって送信された検証要求に対する検証結果として、前記第２送信手順によって送信された訪問識別情報と取得要求情報とが適切な組合せか否かを前記管理装置が使用する鍵を用いて検証した結果を前記管理装置から受信する第２受信手順と
前記第２受信手順によって受信された検証結果に基づいて、前記利用者が前記施設を訪問したことを検証する検証手順と、
をコンピュータに実行させることを特徴とする検証プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、端末装置、検証方法及び検証プログラムに関する。
【背景技術】
【０００２】
近年、インターネット上でユーザを認証する技術が知られている。例えば、このような技術では、ユーザを認証する際に用いる発信情報を一定期間内に受信した情報に制限してユーザの認証を行う。この技術によれば、他人が本来のユーザのふりをして活動するなりすましによる認証を防ぐことができるとも考えられる。
【先行技術文献】
【特許文献】
【０００３】
【特許文献１】特開２００２−２２３４７１号公報
【発明の概要】
【発明が解決しようとする課題】
【０００４】
しかしながら、上記の従来技術では、通信装置のなりすましをされにくくすることができるとは限らない。具体的には、上記の従来技術では、発信情報にタイムスタンプを含め、かかるタイムスタンプから一定期間内に受信した情報のみを用いて認証を行う。このため、悪意ある他人の通信設備が発信情報を傍受し、本来の通信設備になりすましてタイムスタンプから一定期間内に傍受した情報を発信すると、偽物の通信設備からユーザに情報が配信されてしまう場合がある。このように、上記の従来技術では、通信装置のなりすましをされにくくすることができるとは限らない。
【０００５】
本願は、上記に鑑みてなされたものであって、通信装置のなりすましをされにくくすることができる端末装置、検証方法及び検証プログラムを提供することを目的とする。
【課題を解決するための手段】
【０００６】
本願に係る端末装置は、通信装置から所定の情報を受け付ける受付部と、前記受付部によって所定の情報が受け付けられた場合に、前記端末装置を有する利用者が前記通信装置が設置された施設に訪問したことを示す訪問識別情報の取得要求を前記通信装置に送信する第１送信部と、前記第１送信部によって送信された取得要求に対する応答として前記訪問識別情報を前記通信装置から受信する第１受信部とを備えたことを特徴とする。
【発明の効果】
【０００７】
実施形態の一態様によれば、通信装置のなりすましをされにくくすることができるという効果を奏する。このため、実施形態の一態様によれば、例えば、実際に施設を訪問した利用者に対して特典を与えることを高い精度で実現することが可能となるという効果を奏する。
【図面の簡単な説明】
【０００８】
【図１】図１は、第１の実施形態に係る訪問検証システムによる訪問検証処理の一例を示す説明図である。
【図２】図２は、第１の実施形態に係る端末装置の構成例を示す図である。
【図３】図３は、第１の実施形態に係る管理装置の構成例を示す図である。
【図４】図４は、第１の実施形態に係る訪問識別情報記憶部の一例を示す図である。
【図５】図５は、第１の実施形態に係るポイント情報記憶部の一例を示す図である。
【図６】図６は、第１の実施形態に係る訪問検証システムによる検証処理手順を示すシーケンスである。
【図７】図７は、変形例に係る訪問検証システムによる検証処理の一例を示す説明図である。
【図８】図８は、変形例に係る訪問検証システムによる検証処理の一例を示す説明図である。
【図９】図９は、第２の実施形態に係る訪問検証システムによる検証処理の一例を示す説明図である。
【図１０】図１０は、第２の実施形態に係る端末装置の構成例を示す図である。
【図１１】図１１は、第２の実施形態に係る訪問検証システムによる検証処理手順を示すシーケンスである。
【図１２】図１２は、端末装置の機能を実現するコンピュータの一例を示すハードウェア構成図である。
【発明を実施するための形態】
【０００９】
以下に、本願に係る端末装置、検証方法及び検証プログラムを実施するための形態（以下、「実施形態」と呼ぶ）について図面を参照しつつ詳細に説明する。なお、この実施形態により本願に係る端末装置、検証方法及び検証プログラムが限定されるものではない。また、以下の実施形態において同一の部位には同一の符号を付し、重複する説明は省略される。
【００１０】
（１．第１の実施形態）
〔１−１．検証処理〕
まず、図１を用いて、第１の実施形態に係る検証処理の一例について説明する。図１は、第１の実施形態に係る訪問検証システムによる検証処理の一例を示す説明図である。図１の例では、訪問検証システム１によって利用者が店舗に来店したことを検証する検証処理が行われる例を示す。図１に示すように、訪問検証システム１は、通信装置１０と、端末装置１００と、管理装置５０とを含む。
【００１１】
通信装置１０は、各種の情報を送受信するビーコン端末である。例えば、通信装置１０は、所定の間隔でＢｅａｃｏｎ信号を発する。また、通信装置１０は、端末装置１００との間でデータ通信を行う。例えば、通信装置１０は、利用者が施設（例えば、店舗）に訪問（例えば、来店）したことを示す訪問識別情報（例えば、来店ＩＤ）の取得要求を端末装置１００から受信したり、取得要求の応答として訪問識別情報を端末装置１００に送信する。
【００１２】
端末装置１００は、利用者によって利用される情報処理装置である。端末装置１００には、利用者が店舗に来店したことを検証する訪問検証アプリケーションがインストールされる。例えば、端末装置１００は、利用者が店舗に来店した場合に、訪問検証アプリケーションによって利用者の来店を検証する。
【００１３】
管理装置５０は、利用者が施設に訪問したか否かを管理するウェブサーバ等である。例えば、管理装置５０は、端末装置１００から送信された情報に基づいて、利用者が店舗に来店したか否かを管理する。この点について図１を用いて詳細に説明する。
【００１４】
図１に示すように、店舗ＳＨに設置された通信装置１０は、店舗ごとに割り当てられた識別情報である店舗ＩＤを送信する（ステップＳ１）。例えば、通信装置１０は、店舗ＩＤを含むＢｅａｃｏｎ信号を発する。ここで、端末装置１００の利用者は、訪問検証アプリケーションを起動した状態で、通信装置１０が設置された店舗ＳＨに来店したものとする。この場合、端末装置１００は、通信装置１０から店舗ＩＤ（所定の情報の一例）を受け付ける。
【００１５】
そして、端末装置１００は、店舗ＩＤが受け付けられた場合に、利用者が来店したことを示す識別情報である来店ＩＤの取得要求を、店舗ＩＤの送信元である通信装置１０に送信する（ステップＳ２）。例えば、端末装置１００は、通信装置１０から所定の範囲内に位置する場合に、来店ＩＤの取得要求を通信装置１０に送信する。これにより、通信装置１０は、来店ＩＤの取得要求を端末装置１００から受信する。
【００１６】
その後、通信装置１０は、来店ＩＤの取得要求の送信元である端末装置１００に対して、来店ＩＤを送信する（ステップＳ３）。例えば、通信装置１０は、管理装置５０を管理する管理者によって予め設定された来店ＩＤを端末装置１００に送信する。これにより、端末装置１００は、来店ＩＤの取得要求に対する応答として、来店ＩＤを通信装置１０から受信する。
【００１７】
そして、端末装置１００は、来店ＩＤを通信装置１０から受信した場合に、利用者が店舗ＳＨに来店したことを検証する。具体的には、端末装置１００は、まず、利用者が訪問したことを検証する検証要求を管理装置５０に送信する。例えば、端末装置１００は、通信装置１０から受信した来店ＩＤとともに検証要求を管理装置５０に送信する（ステップＳ４）。これにより、管理装置５０は、検証要求とともに来店ＩＤを端末装置１００から受信する。
【００１８】
その後、管理装置５０は、端末装置１００から受信した来店ＩＤに基づいて、利用者が店舗に来店したことを検証する。例えば、管理装置５０は、端末装置１００によって送信された来店ＩＤと管理者によって予め設定された来店ＩＤとを照合することで利用者の施設への訪問を検証した検証結果を端末装置１００に送信する（ステップＳ５）。これにより、端末装置１００は、検証要求に対する検証結果を管理装置５０から受信する。そして、端末装置１００は、受信した検証結果に基づいて、利用者が店舗ＳＨを来店したことを検証する。
【００１９】
このように、実施形態に係る端末装置１００は、通信装置１０から所定の情報を受け付ける。また、端末装置１００は、所定の情報が受け付けられた場合に、端末装置１００を有する利用者が通信装置１０が設置された施設に訪問したことを示す訪問識別情報の取得要求を通信装置１０に送信する。また、端末装置１００は、送信した取得要求に対する応答として訪問識別情報を通信装置１０から受信する。
【００２０】
これにより、端末装置１００は、単に通信装置１０が発するＢｅａｃｏｎ信号を傍受して発しただけでは施設に訪問したことにはならないので、通信装置１０のなりすましをされにくくすることができる。例えば、端末装置１００は、Ｂｅａｃｏｎ信号の受信に加えて来店ＩＤの送受信を通信装置１０との間で行うことで処理を複雑にすることができるので、通信装置１０のなりすましを減らすことができる。このため、端末装置１００は、通信装置１０になりすました装置を設置することで特典を不正に取得する悪質な行為を防ぐことができるので、実際に施設に訪問した正当な利用者に対して特典を高い精度で与えることができる。また、端末装置１００は、利用者が施設に実際に来店したことを確認することができるので、通信装置１０のなりすましによる悪意のある利用者の不正な来店が正当な来店として確認されることを防ぐことができる。
【００２１】
また、実施形態に係る端末装置１００は、訪問識別情報を通信装置１０から受信した場合に、利用者が施設を訪問したことを確認する。
【００２２】
また、実施形態に係る端末装置１００は、利用者が訪問したことを検証する検証要求を管理装置５０に送信する。また、端末装置１００は、送信した検証要求に対する検証結果を管理装置５０から受信する。また、端末装置１００は、受信した検証結果に基づいて、利用者が店舗を来店したことを検証する。
【００２３】
また、実施形態に係る端末装置１００は、受信した訪問識別情報とともに検証要求を管理装置５０に送信する。また、端末装置１００は、送信した訪問識別情報と管理装置５０を管理する管理者によって予め設定された所定の訪問識別情報とを照合することで利用者の施設への訪問を検証した検証結果を管理装置５０から受信する。また、端末装置１００は、受信した検証結果に基づいて、利用者が施設を訪問したことを検証する。
【００２４】
これにより、端末装置１００は、利用者が施設に訪問したことを確認することができるので、通信装置１０のなりすましをより防ぐことができる。具体的には、端末装置１００は、管理装置５０を介して検証を行うことで検証精度を高めることができるので、通信装置１０のなりすましをより防ぐことができる。例えば、端末装置１００は、来店ＩＤが管理装置５０によって予め設定されたものか否か照合されるので、利用者が店舗に来店したことを検証する精度をより高めることができる。このため、端末装置１００は、通信装置１０になりすました装置を設置することで特典を不正に取得する悪質な行為を防ぐことができる。
【００２５】
〔１−２．端末装置の構成〕
次に、図２を用いて、第１の実施形態に係る端末装置１００の構成について説明する。図２は、実施形態に係る端末装置の構成例を示す図である。図２に示す端末装置１００は、施設への訪問を検証されるユーザなどによって利用される情報処理装置である。例えば、端末装置１００は、スマートフォンや、タブレット端末や、携帯電話機、ＰＣ（Personal  Computer）等である。図２に示すように、端末装置１００は、表示部１１０と、入力部１２０と、通信部１３０と、制御部１５０とを有する。
【００２６】
（表示部１１０、入力部１２０について）
表示部１１０は、各種情報を表示するための表示デバイスである。例えば、表示部１１０は、液晶ディスプレイ等によって実現される。入力部１２０は、ユーザから各種操作を受け付ける入力デバイスである。なお、端末装置１００がスマートフォンである場合にはタッチパネルが採用されているので、表示部１１０と入力部１２０とは一体化される。
【００２７】
（通信部１３０について）
通信部１３０は、ネットワークに接続され、ネットワークを介して、通信装置１０や管理装置５０などとの間で情報の送受信を行う。通信部１３０は、ネットワークとの接続を有線又は無線で行う。
【００２８】
（制御部１５０について）
制御部１５０は、例えば、ＣＰＵ（Central  Processing  Unit）やＭＰＵ（Micro  Processing  Unit）等によって、端末装置１００内部の記憶装置に記憶されている各種プログラム（検証プログラムの一例に相当）がＲＡＭを作業領域として実行されることにより実現される。また、制御部１５０は、例えば、ＡＳＩＣ（Application  Specific  Integrated  Circuit）やＦＰＧＡ（Field  Programmable  Gate  Array）等の集積回路により実現される。
【００２９】
制御部１５０は、図２に示すように、各種アプリ制御部１６０と、訪問検証アプリ制御部１７０と、表示制御部１８０とを有する。
【００３０】
（各種アプリ制御部１６０について）
各種アプリ制御部１６０は、例えば、検索アプリ制御部１６２と、ブラウザ制御部１６３とを有する。検索アプリ制御部１６２は、端末装置１００内の各種情報を検索する検索アプリケーションを実行制御する。ブラウザ制御部１６３は、ウェブブラウザと呼ばれるアプリケーションを実行制御する。
【００３１】
なお、制御部１５０は、図２に示した検索アプリ制御部１６２及びブラウザ制御部１６３のアプリ制御部に限られず、端末装置１００にインストールされているアプリケーション毎に、アプリケーションを実行制御するアプリ制御部を有する。例えば、制御部１５０は、天気予報サイトにアクセスするアプリケーションを実行制御するアプリ制御部や、オークションサイトにアクセスするアプリケーションを実行制御するアプリ制御部などを有してもよい。
【００３２】
（訪問検証アプリ制御部１７０について）
訪問検証アプリ制御部１７０は、利用者が施設に訪問したことを検証する訪問検証アプリケーションを実行制御する。このような訪問検証アプリケーションは、予め端末装置１００にインストールされていてもよいし、ユーザ操作に従ってサーバ装置（例えば、各種アプリケーションを提供するサーバ装置）からダウンロードされることで端末装置１００にインストールされてもよい。訪問検証アプリ制御部１７０は、図２に示すように、受付部１７１と、第１送信部１７２と、第１受信部１７３と、検証部１７４とを有し、以下に説明する情報処理の機能や作用を実現または実行する。なお、訪問検証アプリ制御部１７０の内部構成は、図２に示した構成に限られず、後述する情報処理を行う構成であれば他の構成であってもよい。また、制御部１５０及び訪問検証アプリ制御部１７０が有する各処理部の接続関係は、図２に示した接続関係に限られず、他の接続関係であってもよい。また、訪問検証アプリ制御部１７０は、訪問検証アプリケーションによって利用者のポイントに関する情報の表示を制御してもよい。
【００３３】
（受付部１７１について）
受付部１７１は、各種の情報を受け付ける。具体的には、受付部１７１は、通信装置１０から所定の情報を受け付ける。例えば、受付部１７１は、所定の情報として、店舗ＩＤを含むＢｅａｃｏｎ信号を通信装置１０から受け付ける。例えば、Ｂｅａｃｏｎ信号には、店舗ＩＤとして、ＵＵＩＤと、店舗ごとに割り当てられたｍａｊｏｒＩＤ及びｍｉｎｏｒＩＤとを含む。
【００３４】
一例としては、受付部１７１は、訪問検証アプリケーションを起動した状態で利用者が店舗に来店した場合に、Ｂｅａｃｏｎ信号を受け付ける。すなわち、受付部１７１は、訪問検証アプリケーションを起動した状態で端末装置１００が通信装置１０から所定の範囲内に位置する場合に、Ｂｅａｃｏｎ信号を受け付ける。なお、受付部１７１は、訪問検証アプリケーションを起動した状態に限らず、起動していない状態でＢｅａｃｏｎ信号を受け付けてもよい。また、Ｂｅａｃｏｎ信号とは、無線ＬＡＮのアクセスポイントやＢｌｕｅｔｏｏｔｈ（登録商標）、ＮＦＣ（Near  Field  Communication）デバイスから発せられるパケットである。また、所定の情報は、例えば、所定の周波数の音波等であってもよい。
【００３５】
（第１送信部１７２について）
第１送信部１７２は、利用者が通信装置１０が設置された施設に訪問したことを示す訪問識別情報の取得要求を送信する。具体的には、第１送信部１７２は、受付部１７１によって所定の情報が受け付けられた場合に、訪問識別情報の取得要求を通信装置１０に送信する。例えば、第１送信部１７２は、受付部１７１によってＢｅａｃｏｎ信号が通信装置１０から受け付けられた場合に、来店ＩＤの取得要求を通信装置１０に送信する。
【００３６】
（第１受信部１７３について）
第１受信部１７３は、訪問識別情報を受信する。具体的には、第１受信部１７３は、第１送信部１７２によって送信された取得要求に対する応答として訪問識別情報を通信装置１０から受信する。例えば、第１受信部１７３は、訪問識別情報として、管理装置５０を管理する管理者によって予め設定された来店ＩＤを通信装置１０から受信する。一例としては、第１受信部１７３は、管理者によって予め設定された複数の来店ＩＤのうち未使用の来店ＩＤを通信装置１０から受信する。ここで、未使用の来店ＩＤとは、通信装置１０によって１回も送信されていない来店ＩＤを意味する。
【００３７】
（検証部１７４について）
検証部１７４は、利用者が施設に訪問したことを検証する。具体的には、検証部１７４は、第１受信部１７３によって訪問識別情報を通信装置１０から受信した場合に、利用者が施設を訪問したことを検証する。これにより、検証部１７４は、利用者が施設に実際に来店したことを確認することができるので、通信装置１０のなりすましによる悪意のある利用者の不正な来店が正当な来店として確認されることを防ぐことができる。
【００３８】
例えば、検証部１７４は、図２に示すように、利用者が訪問したことを検証する検証要求を管理装置５０に送信する第２送信部１７５と、第２送信部１７５によって送信された検証要求に対する検証結果を管理装置５０から受信する第２受信部１７６とを有する。そして、検証部１７４は、第２受信部１７６によって受信した検証結果に基づいて、利用者が施設を訪問したことを検証する。
【００３９】
一例としては、第２送信部１７５は、第１受信部１７３によって受信した訪問識別情報とともに検証要求を管理装置５０に送信する。続いて、第２受信部１７６は、第２送信部１７５によって送信された訪問識別情報と管理者によって予め設定された所定の訪問識別情報とを照合することで利用者の施設への訪問を検証した検証結果を管理装置５０から受信する。そして、検証部１７４は、第２受信部１７６によって受信した検証結果に基づいて、利用者が施設を訪問したことを検証する。なお、第２受信部１７６は、管理装置５０から利用者のポイントに関する情報を受信してもよい。
【００４０】
（表示制御部１８０について）
表示制御部１８０は、表示部１１０の表示を制御する。具体的には、表示制御部１８０は、検証部１７４によって利用者が施設に訪問したことが確認されたか否かを表示する。例えば、表示制御部１８０は、利用者が店舗に来店した旨を記載したメッセージを表示部１１０に表示する。また、表示制御部１８０は、ポイントに関する情報を表示してもよい。例えば、表示制御部１８０は、第２受信部１７６が管理装置５０から受信した利用者のポイント情報を表示部１１０に表示する。
【００４１】
〔１−３．管理装置の構成〕
次に、図３を用いて、第１の実施形態に係る管理装置５０の構成について説明する。図３は、第１の実施形態に係る管理装置の構成例を示す図である。図３に示すように、管理装置５０は、通信部６０と、記憶部８０と、制御部７０とを有する。なお、管理装置５０は、管理装置５０を管理する管理者等から各種操作を受け付ける入力部（例えば、キーボードやマウス等）や、各種情報を表示するための表示部（例えば、液晶ディスプレイ等）を有してもよい。
【００４２】
（通信部６０について）
通信部６０は、例えば、ＮＩＣ等によって実現される。通信部６０は、ネットワークと有線又は無線で接続され、ネットワークを介して、通信装置１０や管理装置５０との間で情報の送受信を行う。
【００４３】
（記憶部８０について）
記憶部８０は、例えば、ＲＡＭ（Random  Access  Memory)、フラッシュメモリ（Flash  Memory）等の半導体メモリ素子、または、ハードディスク、光ディスク等の記憶装置によって実現される。記憶部８０は、訪問識別情報記憶部８１とポイント情報記憶部８２とを有する。
【００４４】
（訪問識別情報記憶部８１について）
訪問識別情報記憶部８１は、利用者が施設に訪問したことを示す訪問識別情報を記憶する。具体的には、訪問識別情報記憶部８１は、管理装置５０を管理する管理者によって設定された来店ＩＤを記憶する。例えば、訪問識別情報記憶部８１は、通信装置１０を識別する装置ＩＤごとに、来店ＩＤを記憶する。ここで、図４に、第１の実施形態に係る訪問識別情報記憶部８１の一例を示す。図４に示すように、訪問識別情報記憶部８１は、「装置ＩＤ」、「来店ＩＤ」といった項目を有する。
【００４５】
「装置ＩＤ」は、通信装置１０を識別するための識別情報を示す。「来店ＩＤ」は、利用者の施設への訪問を識別するための識別情報を示す。例えば、「来店ＩＤ」には、管理装置５０を管理する管理者によって通信装置１０にランダムに予め設定された複数のＩＤが記憶される。
【００４６】
すなわち、図４では、装置ＩＤ「Ｐ１１」の通信装置１０には、来店ＩＤ１「sajdkdaslupdaj123ada」、来店ＩＤ２「kjlfasnlkdjafao465aad」、来店ＩＤ３「ndahosdakfajfl789asd」が予め設定されている例を示している。なお、通信装置１０は、訪問識別情報記憶部８１が記憶する来店ＩＤのうち、かかる通信装置１０を識別する装置ＩＤに対応する来店ＩＤを保持する。
【００４７】
（ポイント情報記憶部８２について）
ポイント情報記憶部８２は、利用者が有するポイントに関する情報を記憶する。具体的には、ポイント情報記憶部８２は、利用者ごとに、ポイント数の残高を記憶する。ここで、図５に、第１の実施形態に係るポイント情報記憶部８２の一例を示す。図５に示すように、ポイント情報記憶部８２は、「ユーザＩＤ」、「ユーザ名」、「ポイント」といった項目を有する。
【００４８】
「ユーザＩＤ」は、利用者を識別するための識別情報を示す。「ユーザ名」は、利用者の氏名を示す。「ポイント」は、利用者が有するポイントの残高を示す。すなわち、図５では、ユーザＩＤ「Ｕ１１」のユーザＡは、「１０００」ポイント有している例を示している。
【００４９】
なお、管理装置５０は、例えば、店舗に来店した利用者に対してポイントを付与する機能を持たないシステムである場合には、ポイント情報記憶部８２を有さなくてもよい。
【００５０】
（制御部７０について）
制御部７０は、例えば、ＣＰＵやＭＰＵ等によって、管理装置５０内部の記憶装置に記憶されている各種プログラム（検証プログラムの一例に相当）がＲＡＭを作業領域として実行されることにより実現される。また、制御部７０は、例えば、ＡＳＩＣやＦＰＧＡ等の集積回路により実現される。
【００５１】
制御部７０は、図３に示すように、受信部７１と、検証部７２と、送信部７３とを有し、以下に説明する情報処理の機能や作用を実現または実行する。なお、制御部７０の内部構成は、図３に示した構成に限られず、後述する検証処理を行う構成であれば他の構成であってもよい。また、制御部７０が有する各処理部の接続関係は、図３に示した接続関係に限られず、他の接続関係であってもよい。
【００５２】
（受信部７１について）
受信部７１は、各種の情報を受信する。具体的には、受信部７１は、利用者を検証する際に用いる情報などを受信する。例えば、受信部７１は、訪問識別情報（例えば、来店ＩＤ）や検証要求を端末装置１００から受信する。
【００５３】
（検証部７２について）
検証部７２は、利用者が施設を訪問したことを検証する。具体的には、検証部７２は、受信部７１によって端末装置１００から送信された検証要求が受信された場合に、利用者が施設を訪問したことを検証する。例えば、検証部７２は、端末装置１００から送信された来店ＩＤと、訪問識別情報記憶部８１に記憶された来店ＩＤとを照合することで検証を行う。なお、検証部７２は、利用者に対応するユーザＩＤとパスワードを照合することで利用者を認証する機能をさらに備えてもよい。
【００５４】
また、検証部７２は、利用者が施設を訪問したと確認した場合に、利用者にポイントを付与する。具体的には、検証部７２は、端末装置１００から送信された来店ＩＤと、訪問識別情報記憶部８１に記憶された来店ＩＤとが一致した場合に、ポイントを付与する。例えば、検証部７２は、利用者が正当な利用者であってその利用者に対応するユーザＩＤを取得可能な場合には、ポイント情報記憶部８２に記憶された利用者に対応するユーザＩＤのポイント残高にポイントを加算してもよい。
【００５５】
（送信部７３について）
送信部７３は、各種の情報を送信する。具体的には、送信部７３は、利用者が施設に訪問したか否かを示す検証結果を端末装置１００に送信する。例えば、送信部７３は、端末装置１００から送信された検証要求の応答として、検証部７２によって来店ＩＤを照合することで利用者の施設への訪問を確認した検証結果を端末装置１００に送信する。
【００５６】
〔１−４．検証処理手順〕
次に、図６を用いて、第１の実施形態に係る訪問検証システム１による検証処理の手順について説明する。図６は、第１の実施形態に係る訪問検証システム１による検証処理手順を示すシーケンスである。
【００５７】
図６に示すように、通信装置１０は、所定の情報として、店舗ＩＤを送信する（ステップＳ１０１）。例えば、通信装置１０は、店舗ＩＤを含むＢｅａｃｏｎ信号を送信する。これにより、端末装置１００は、所定の情報を通信装置１０から受信する。なお、端末装置１００は、所定の情報を受信していない場合には、所定の情報を受信するまで待機する。ここで、端末装置１００は、訪問検証アプリケーションを起動した状態に限らず、起動していない状態であってもよい。
【００５８】
一方、端末装置１００は、所定の情報を受信した場合に、来店ＩＤの取得要求を通信装置１０に送信する（ステップＳ１０２）。これにより、通信装置１０は、来店ＩＤの取得要求を端末装置１００から受信する。
【００５９】
そして、通信装置１０は、端末装置１００から送信された来店ＩＤの取得要求の応答として、来店ＩＤを端末装置１００に送信する（ステップＳ１０３）。例えば、通信装置１０は、管理装置５０を管理する管理者によって予め設定された来店ＩＤを端末装置１００に送信する。これにより、端末装置１００は、来店ＩＤを通信装置１０から受信する。
【００６０】
その後、端末装置１００は、来店ＩＤを管理装置５０に送信する（ステップＳ１０４）。例えば、端末装置１００は、検証要求とともに来店ＩＤを管理装置５０に送信する。これにより、管理装置５０は、来店ＩＤを端末装置１００から受信する。
【００６１】
そして、管理装置５０は、端末装置１００から送信された来店ＩＤと管理者によって予め設定された所定の来店ＩＤを照合する（ステップＳ１０５）。その後、管理装置５０は、端末装置１００から送信された来店ＩＤと管理者によって予め設定された所定の来店ＩＤとを照合することで利用者の施設への訪問を確認した検証結果を端末装置１００に送信する（ステップＳ１０６）。
【００６２】
これにより、端末装置１００は、検証結果を管理装置５０から受信する。そして、端末装置１００は、管理装置５０から受信した検証結果に基づいて検証を行う。その後、端末装置１００は、検証結果を表示部１１０に表示する（ステップＳ１０７）。
【００６３】
〔１−５．変形例〕
上述した実施形態に係る端末装置１００は、上記実施形態以外にも種々の異なる形態にて実施されてよい。そこで、以下では、上記の端末装置１００の他の実施形態について説明する。
【００６４】
〔１−５−１．訪問の検証（１）〕
上記実施形態では、訪問検証システム１は、管理者によって予め設定された訪問識別情報を用いて検証を行う例を示した。ここで、訪問検証システム１は、管理者によって予め設定された訪問識別情報に限らず、通信装置１０によって生成された訪問識別情報を用いて検証を行ってもよい。この点について図７を用いて説明する。
【００６５】
図７は、変形例に係る訪問検証システムによる検証処理の一例を示す説明図である。図７に示すように、利用者は、店舗に来店したものとする（ステップＳ２１）。その後、店舗に設置された通信装置１０（例えば、ＢＬＥ（Bluetooth（登録商標）  Low  Energy）ペリフェラル）は、Ｂｅａｃｏｎ信号を端末装置１００に送信する（ステップＳ２２）。ここで、Ｂｅａｃｏｎ信号は、例えば、ＵＵＩＤ、ｍａｊｏｒＩＤ及びｍｉｎｏｒＩＤといったＩＤを含む。なお、ｍａｊｏｒＩＤ及びｍｉｎｏｒＩＤは、店舗ごとに割り当てられるＩＤである。
【００６６】
これにより、端末装置１００は、Ｂｅａｃｏｎ信号を通信装置１０から受信する。そして、端末装置１００は、所定の文字列である取得要求情報を含む来店ＩＤの取得要求を通信装置１０に送信する（ステップＳ２３）。
【００６７】
これにより、通信装置１０は、取得要求情報を含む来店ＩＤの取得要求を端末装置１００から受信する。そして、通信装置１０は、取得要求情報を含む来店ＩＤの取得要求を端末装置１００から受信した場合に、取得要求情報に基づいて来店ＩＤを生成する（ステップＳ２４）。例えば、通信装置１０は、取得要求情報と来店ＩＤ用の共通鍵とを用いて、所定のハッシュ関数から生成したハッシュ値を来店ＩＤとして生成する。ここで、来店ＩＤ用の共通鍵は、例えば、通信装置１０と、端末装置１００と、管理装置５０とが保持する共通の鍵である。一例としては、端末装置１００の訪問検証アプリケーションは、共通鍵を予め保持する。なお、来店ＩＤの生成に用いる鍵は、共通鍵に限らず、秘密鍵であってもよい。
【００６８】
そして、通信装置１０は、取得要求情報に基づいて生成した来店ＩＤを端末装置１００に送信する（ステップＳ２５）。これにより、端末装置１００は、通信装置１０によって取得要求情報に基づいて生成された来店ＩＤを通信装置１０から受信する。
【００６９】
そして、端末装置１００は、通信装置１０から受信した来店ＩＤを検証する（ステップＳ２６）。例えば、端末装置１００は、まず、訪問検証アプリケーションが保持する来店ＩＤ用の共通鍵と取得要求情報とを用いてハッシュ値を生成する。続いて、端末装置１００は、生成したハッシュ値と、通信装置１０から受信した来店ＩＤとが同じ値であるかを照合する。これにより、端末装置１００は、来店ＩＤが正当な通信装置１０によって生成されたものであるか否かを検証する。
【００７０】
その後、端末装置１００は、来店ＩＤと取得要求情報とを含む検証要求を管理装置５０に送信する（ステップＳ２７）。これにより、管理装置５０は、来店ＩＤと取得要求情報とを含む検証要求を端末装置１００から受信する。
【００７１】
そして、管理装置５０は、利用者が店舗に来店したことを検証する。具体的には、管理装置５０は、端末装置１００から受信した来店ＩＤと取得要求情報との組み合わせを検証する（ステップＳ２８）。例えば、管理装置５０は、まず、端末装置１００から受信した取得要求情報と来店ＩＤ用の共通鍵とを用いてハッシュ値を生成する。そして、管理装置５０は、生成したハッシュ値と、端末装置１００から受信した来店ＩＤとが同じ値であるかを照合することで、来店ＩＤと取得要求情報とが適切な組み合わせか否か検証する。ここで、管理装置５０は、来店ＩＤと取得要求情報とが適切な組み合わせであると検証した場合には、ポイント情報記憶部８２に記憶された利用者に対応するポイント残高にポイントを加算する。
【００７２】
そして、管理装置５０は、検証結果及びポイント情報を端末装置１００に送信する（ステップＳ２９）。例えば、管理装置５０は、来店ＩＤと取得要求情報とが適切な組み合わせであると検証した場合には、利用者が店舗に来店したことを確認する検証結果と、利用者のポイントに関するポイント情報とを送信する。
【００７３】
これにより、端末装置１００は、確認結果として、来店ＩＤと取得要求情報とが適切な組合せか否か検証した結果を管理装置５０から受信する。そして、端末装置１００は、受信した検証結果に基づいて、利用者が施設を訪問したことを検証する。また、端末装置１００は、例えば、来店によって利用者に加算されるポイントを示すポイント情報を受信する。そして、端末装置１００は、検証結果及びポイント情報を表示部１１０に表示する。
【００７４】
このように、変形例に係る端末装置１００は、取得要求として、取得要求情報を含む取得要求を通信装置１０に送信する。また、端末装置１００は、訪問識別情報として、通信装置１０によって取得要求情報に基づいて生成された訪問識別情報を通信装置１０から受信する。また、端末装置１００は、受信した訪問識別情報と取得要求情報とを含む検証要求を管理装置５０に送信する。また、端末装置１００は、検証結果として、送信した訪問識別情報と取得要求情報とが適切な組合せか否か検証した結果を管理装置５０から受信する。
【００７５】
これにより、端末装置１００は、通信装置１０によって生成した来店ＩＤを用いて確認を行うことができるので、来店ＩＤを管理する手間を減らすことができる。例えば、端末装置１００は、管理者によって予め設定された来店ＩＤを通信装置１０が保持する必要がなくなるので、セキュリティを高めることができる。
【００７６】
また、変形例に係る端末装置１００は、訪問識別情報として、端末装置１００と通信装置１０と管理装置５０とで共通する鍵と取得要求情報とを用いて生成された訪問識別情報を通信装置１０から受信する。また、端末装置１００は、第１受信部１７３によって受信した訪問識別情報と取得要求情報とを含む検証要求を管理装置５０に送信する。また、端末装置１００は、検証結果として、第２送信部１７５によって送信された訪問識別情報と取得要求情報とが適切な組合せか否か鍵を用いて検証した結果を管理装置５０から受信する。
【００７７】
これにより、端末装置１００は、共通鍵を用いて来店ＩＤを暗号化しているため来店ＩＤが傍受されても共通鍵がなければ復号化できないので、セキュリティを高めることができる。
【００７８】
〔１−５−２．訪問の検証（２）〕
上記変形例では、訪問検証システム１は、通信装置１０によって生成された訪問識別情報を用いて検証を行う例を示した。ここで、訪問検証システム１は、通信装置１０を識別する装置識別情報を用いて検証を行ってもよい。この点について図８を用いて説明する。
【００７９】
図８は、変形例に係る訪問検証システムによる検証処理の一例を示す説明図である。図８に示すように、利用者は、店舗に来店したものとする（ステップＳ３１）。その後、店舗に設置された通信装置１０（例えば、ＢＬＥペリフェラル）は、Ｂｅａｃｏｎ信号を端末装置１００に送信する（ステップＳ３２）。ここで、Ｂｅａｃｏｎ信号は、ＵＵＩＤ、ｍａｊｏｒＩＤ及びｍｉｎｏｒＩＤといった固定値のＩＤを含む。なお、ｍａｊｏｒＩＤ及びｍｉｎｏｒＩＤは、店舗ごとに割り当てられるＩＤである。
【００８０】
これにより、端末装置１００は、Ｂｅａｃｏｎ信号を通信装置１０から受信する。そして、端末装置１００は、取得要求情報を含む来店ＩＤの取得要求を通信装置１０に送信する（ステップＳ３３）。
【００８１】
これにより、通信装置１０は、取得要求情報を含む来店ＩＤの取得要求を端末装置１００から受信する。そして、通信装置１０は、取得要求情報を含む来店ＩＤの取得要求を端末装置１００から受信した場合に、取得要求情報に基づいて来店ＩＤを生成する（ステップＳ３４）。例えば、通信装置１０は、取得要求情報と来店ＩＤ用の共通鍵とを用いて、所定のハッシュ関数から生成したハッシュ値を来店ＩＤとして生成する。ここで、来店ＩＤ用の共通鍵は、例えば、通信装置１０と、端末装置１００と、管理装置５０とが保持する共通の鍵である。なお、来店ＩＤの生成に用いる鍵は、共通鍵に限らず、秘密鍵であってもよい。
【００８２】
そして、通信装置１０は、取得要求情報に基づいて生成した来店ＩＤと、通信装置１０を識別する装置識別情報であるｐｅｒｉｐｈｅｒａｌＩＤとを端末装置１００に送信する（ステップＳ３５）。なお、通信装置１０は、ｐｅｒｉｐｈｅｒａｌＩＤを暗号化して送信してもよい。これにより、端末装置１００は、通信装置１０によって取得要求情報に基づいて生成された来店ＩＤと、ｐｅｒｉｐｈｅｒａｌＩＤとを通信装置１０から受信する。なお、端末装置１００は、ｐｅｒｉｐｈｅｒａｌＩＤが暗号化されている場合には、共通鍵を用いて復号化することでｐｅｒｉｐｈｅｒａｌＩＤを取得する。
【００８３】
そして、端末装置１００は、通信装置１０から受信した来店ＩＤを検証する（ステップＳ３６）。その後、端末装置１００は、来店ＩＤと取得要求情報とｐｅｒｉｐｈｅｒａｌＩＤとを含む検証要求を管理装置５０に送信する（ステップＳ３７）。これにより、管理装置５０は、来店ＩＤと取得要求情報とｐｅｒｉｐｈｅｒａｌＩＤとを含む検証要求を端末装置１００から受信する。
【００８４】
そして、管理装置５０は、利用者が店舗に来店したことを検証する。具体的には、管理装置５０は、端末装置１００から受信した来店ＩＤと取得要求情報との組み合わせを検証する（ステップＳ３８）。また、管理装置５０は、端末装置１００から受信したｐｅｒｉｐｈｅｒａｌＩＤを検証する。
【００８５】
具体的には、管理装置５０は、端末装置１００から受信したｐｅｒｉｐｈｅｒａｌＩＤが失効したＩＤであるか否か検証する。例えば、管理装置５０は、端末装置１００から受信したｐｅｒｉｐｈｅｒａｌＩＤと管理装置５０が保持する失効したｐｅｒｉｐｈｅｒａｌＩＤの一覧である失効ｐｅｒｉｐｈｅｒａｌＩＤリストとを照合することで検証する。なお、失効ｐｅｒｉｐｈｅｒａｌＩＤリストは、例えば、店舗から報告があった盗難された通信装置１０や利用を中止したい通信装置１０のｐｅｒｉｐｈｅｒａｌＩＤなどの一覧である。ここで、管理装置５０は、端末装置１００から受信したｐｅｒｉｐｈｅｒａｌＩＤが失効したｐｅｒｉｐｈｅｒａｌＩＤの一覧のうちのいずれかのＩＤと一致した場合には、利用者が店舗を来店したと判定しない。
【００８６】
そして、管理装置５０は、検証結果及びポイント情報を端末装置１００に送信する（ステップＳ３９）。例えば、管理装置５０は、端末装置１００から受信したｐｅｒｉｐｈｅｒａｌＩＤが失効したｐｅｒｉｐｈｅｒａｌＩＤである場合には、利用者が店舗を来店したと判定しない検証結果とポイント情報とを送信する。
【００８７】
これにより、端末装置１００は、検証結果として、利用者が店舗を来店したと判定しない検証結果とポイント情報とを管理装置５０から受信する。例えば、端末装置１００は、利用者が店舗を来店したと判定しない検証結果と、来店によって利用者にポイントが加算されないことを示すポイント情報とを受信する。そして、端末装置１００は、検証結果及びポイント情報を表示部１１０に表示する。
【００８８】
このように、変形例に係る端末装置１００は、訪問識別情報とともに通信装置１０を識別する装置識別情報を通信装置１０から受信する。また、端末装置１００は、検証要求として、第１受信部１７２によって受信した訪問識別情報と、装置識別情報と、取得要求情報とを含む検証要求を管理装置５０に送信する。また、端末装置１００は、検証結果として、第２送信部１７５によって送信された装置識別情報が管理装置５０によって保持される失効済みの装置識別情報である場合には、利用者が施設を訪問したと判定しない結果を管理装置５０から受信する。
【００８９】
これにより、端末装置１００は、装置識別情報が失効したものである場合には利用者が店舗に来店したと判定しないので、通信装置１０のなりすましをよりされにくくすることができる。例えば、端末装置１００は、盗難された通信装置１０によって生成された来店ＩＤである場合には利用者が店舗に来店したと判定しないので、通信装置１０のなりすましを防ぐことができる。
【００９０】
〔１−５−３．ユーザＩＤと対応付けた取得要求情報〕
上記変形例では、端末装置１００は、取得要求情報を含む訪問識別情報の取得要求を送信する例を示した。ここで、端末装置１００は、ユーザＩＤと対応付けた取得要求情報を含む訪問識別情報の取得要求を送信してもよい。
【００９１】
具体的には、端末装置１００の第１送信部１７２は、取得要求として、利用者を識別する利用者識別情報と対応づけられた取得要求を通信装置１０に送信する。例えば、端末装置１００は、利用者が店舗に来店する前に、管理装置５０によって管理される利用者のユーザＩＤを用いて、訪問検証アプリケーションにログインする。ここで、管理装置５０は、ログインした利用者のユーザＩＤと対応付けた取得要求情報を端末装置１００に発行する。
【００９２】
そして、端末装置１００は、ユーザＩＤと対応付けられた取得要求情報と来店ＩＤとを含む検証要求を管理装置５０に送信する。そして、管理装置５０は、利用者が店舗に来店したことを確認した場合には、ポイント情報記憶部８２に記憶されたポイントのうち取得要求情報と対応付けられたユーザＩＤに対応するポイントの残高にポイントを付与する。
【００９３】
このように、端末装置１００は、取得要求として、利用者を識別する利用者識別情報と対応づけられた取得要求を通信装置１０に送信する。これにより、端末装置１００は、ユーザＩＤと対応付けられた取得要求情報を用いて検証を行うことができるので、なりすましによって来店が確認された者へのポイントの付与を防ぐことができる。例えば、端末装置１００は、悪質なユーザが取得要求情報と来店ＩＤとを傍受して来店の不正な確認を受けた上で訪問検証アプリケーションを利用してもかかるユーザに対応するユーザＩＤにはポイントが付与されないので、悪質なユーザへのポイントの付与を防ぐことができる。
【００９４】
〔１−５−４．公開鍵暗号方式によって訪問識別情報を生成〕
上記変形例では、端末装置１００は、共通鍵を用いて生成された訪問識別情報を受信する例を示した。ここで、端末装置１００は、共通鍵に限らず、公開鍵を用いて生成された訪問識別情報を受信してもよい。
【００９５】
具体的には、通信装置１０は、店舗側が保持する秘密鍵と、端末装置１００から送信された取得要求情報とを用いて来店ＩＤを生成する。そして、通信装置１０は、生成した来店ＩＤを端末装置１００に送信する。これにより、端末装置１００は、来店ＩＤを受信する。そして、端末装置１００は、訪問検証アプリケーションにおいて事前に保持する公開鍵と通信装置１０から受信した来店ＩＤとを用いて来店ＩＤの正当性を検証する。
【００９６】
このように、端末装置１００は、公開鍵を用いて生成された訪問識別情報を受信する。これにより、端末装置１００は、多様な形態で利用者が施設を訪問したことを確認することができる。
【００９７】
〔１−５−５．通信装置から管理装置に訪問識別情報を送信〕
上記変形例では、訪問検証システム１は、通信装置１０によって生成された訪問識別情報を用いて利用者が施設に訪問したことを検証する例を示した。ここで、訪問検証システム１は、通信装置１０から管理装置５０に送信された訪問識別情報を用いて検証を行ってもよい。
【００９８】
具体的には、通信装置１０は、まず、来店ＩＤを生成する。その後、通信装置１０は、生成した来店ＩＤを端末装置１００と管理装置５０とに送信する。これにより、管理装置５０は、通信装置１０から送信された来店ＩＤを来店ＩＤリストに追加して保持する。
【００９９】
そして、端末装置１００は、通信装置１０から受信した来店ＩＤを管理装置５０に送信する。この場合、端末装置１００は、来店ＩＤとともに取得要求情報を送らなくてもよい。これにより、管理装置５０は、端末装置１００から来店ＩＤを受信する。
【０１００】
そして、管理装置５０は、端末装置１００から受信した来店ＩＤが来店ＩＤリストに記憶された来店ＩＤと一致するか否かを検証する。ここで、管理装置５０は、端末装置１００から受信した来店ＩＤが来店ＩＤリストに記憶された来店ＩＤと一致する場合には、利用者が店舗に来店したことを検証する。そして、管理装置５０は、利用者に対応するユーザＩＤのポイント残高にポイントを加算する。また、管理装置５０は、来店ＩＤリストから来店の検証に用いた来店ＩＤを削除する。
【０１０１】
このように、訪問検証システム１は、通信装置１０から管理装置５０に送信された訪問識別情報を用いて検証を行う。これにより、端末装置１００は、共通鍵等を用いた暗号化を行うことなく利用者が施設を訪問したことを確認することができるので、システムの負荷を少なくすることができる。
【０１０２】
〔１−５−６．署名を用いて検証〕
上記第１の実施形態では端末装置１００は、署名（例えば、電子署名やデジタル署名など）を用いて各種の通信内容を検証してもよい。例えば、通信装置１０は、署名を付与した来店ＩＤを端末装置１００に送信する。そして、端末装置１００は、通信装置１０から来店ＩＤを受信した場合に、受信した来店ＩＤの署名を検証する。これにより、端末装置１００は、来店ＩＤの出所を検証することができるので、通信装置１０のなりすましを防ぐことができる。
【０１０３】
〔１−６．効果〕
上述してきたように、第１の実施形態に係る端末装置１００は、受付部１７１と、第１送信部１７２と、第１受信部１７３とを有する。受付部１７１は、通信装置１０から所定の情報を受け付ける。第１送信部１７２は、受付部１７１によって所定の情報が受け付けられた場合に、端末装置１００を有する利用者が通信装置１０が設置された施設に訪問したことを示す訪問識別情報の取得要求を通信装置１０に送信する。第１受信部１７３は、第１送信部１７２によって送信された取得要求に対する応答として訪問識別情報を通信装置１０から受信する。
【０１０４】
これにより、第１の実施形態に係る端末装置１００は、単に通信装置１０が発するＢｅａｃｏｎ信号を傍受して発しただけでは施設に訪問したことにはならないので、通信装置１０のなりすましをされにくくすることができる。例えば、端末装置１００は、Ｂｅａｃｏｎ信号の受信に加えて来店ＩＤの送受信を通信装置１０との間で行うことで処理を複雑にすることができるので、通信装置１０のなりすましを減らすことができる。このため、端末装置１００は、通信装置１０になりすました装置を設置することで特典を不正に取得したり、前記なりすました偽物の通信装置を通じて利用者の意図しないサイトへ誘導することによって不正に利用者に関する情報を入手するなどの悪質な行為を防ぐことができるので、実際に施設に訪問した正当な利用者に対して特典を高い精度で与えることができる。また、端末装置１００は、利用者が施設に実際に来店したことを確認することができるので、通信装置１０のなりすましによる悪意のある利用者の不正な来店が正当な来店として確認されることを防ぐことができる。
【０１０５】
また、第１の実施形態に係る端末装置１００において、検証部１７４は、第１受信部１７３によって訪問識別情報を通信装置１０から受信した場合に、利用者が施設を訪問したことを検証する。
【０１０６】
また、第１の実施形態に係る端末装置１００において、検証部１７４は、利用者が訪問したことを検証する検証要求を管理装置５０に送信する第２送信部１７５と、第２送信部１７５によって送信された検証要求に対する検証結果を管理装置５０から受信する第２受信部１７６とを有し、第２受信部１７６によって受信した検証結果に基づいて、利用者が施設を訪問したことを検証する。
【０１０７】
また、第１の実施形態に係る端末装置１００において、第２送信部１７５は、第１受信部１７３によって受信した訪問識別情報とともに検証要求を管理装置５０に送信する。第２受信部１７６は、第２送信部１７５によって送信された訪問識別情報と管理装置５０を管理する管理者によって予め設定された所定の訪問識別情報とを照合することで利用者の施設への訪問を確認した検証結果を管理装置５０から受信する。
【０１０８】
これにより、端末装置１００は、利用者が施設に訪問したことを確認することができるので、通信装置１０のなりすましをより防ぐことができる。具体的には、端末装置１００は、管理装置５０を介して検証を行うことで検証精度を高めることができるので、通信装置１０のなりすましをより防ぐことができる。例えば、端末装置１００は、来店ＩＤが管理装置５０によって予め設定されたものか否か照合されるので、利用者が店舗に来店したことを検証する精度をより高めることができる。このため、端末装置１００は、通信装置１０になりすました装置を設置することで特典を不正に取得する悪質な行為を防ぐことができる。
【０１０９】
また、変形例に係る端末装置１００において、第１送信部１７２は、取得要求として、取得要求情報を含む取得要求を通信装置１０に送信する。第１受信部１７３は、訪問識別情報として、通信装置１０によって取得要求情報に基づいて生成された訪問識別情報を通信装置１０から受信する。第２送信部１７５は、第１受信部１７３によって受信した訪問識別情報と取得要求情報とを含む検証要求を管理装置５０に送信する。第２受信部１７６は、検証結果として、第２送信部１７５によって送信された訪問識別情報と取得要求情報とが適切な組合せか否か検証した結果を管理装置５０から受信する。
【０１１０】
これにより、変形例に係る端末装置１００は、通信装置１０によって生成した来店ＩＤを用いて来店確認を行うことができるので、来店ＩＤを管理する手間を減らすことができる。例えば、端末装置１００は、管理者によって予め設定された来店ＩＤを通信装置１０が保持する必要がなくなるので、セキュリティを高めることができる。
【０１１１】
また、変形例に係る端末装置１００は、訪問識別情報として、端末装置１００と通信装置１０と管理装置５０とで共通する鍵と取得要求情報とを用いて生成された訪問識別情報を通信装置１０から受信する。また、端末装置１００は、第１受信部１７３によって受信した訪問識別情報と取得要求情報とを含む検証要求を管理装置５０に送信する。また、端末装置１００は、検証結果として、第２送信部１７５によって送信された訪問識別情報と取得要求情報とが適切な組合せか否か鍵を用いて検証した結果を管理装置５０から受信する。
【０１１２】
これにより、端末装置１００は、共通鍵を用いて来店ＩＤを暗号化しているため来店ＩＤが傍受されても共通鍵がなければ復号できないので、セキュリティを高めることができる。
【０１１３】
また、変形例に係る端末装置１００は、訪問識別情報とともに通信装置１０を識別する装置識別情報を通信装置１０から受信する。また、端末装置１００は、検証要求として、第１受信部１７２によって受信した訪問識別情報と、装置識別情報と、取得要求情報とを含む検証要求を管理装置５０に送信する。また、端末装置１００は、検証結果として、第２送信部１７５によって送信された装置識別情報が管理装置５０によって保持される失効済みの装置識別情報である場合には、利用者が施設を訪問したと判定しない結果を管理装置５０から受信する。
【０１１４】
これにより、端末装置１００は、装置識別情報が失効したものである場合には利用者が店舗に来店したと判定しないので、通信装置１０のなりすましをよりされにくくすることができる。例えば、端末装置１００は、盗難された通信装置１０によって生成された来店ＩＤである場合には利用者が店舗に来店したと判定しないので、通信装置１０のなりすましを防ぐことができる。
【０１１５】
また、変形例に係る端末装置１００は、取得要求として、利用者を識別する利用者識別情報と対応づけられた取得要求を通信装置１０に送信する。
【０１１６】
これにより、端末装置１００は、ユーザＩＤと対応付けられた取得要求情報を用いて検証を行うことができるので、なりすましによって来店が確認された者へのポイントの付与を防ぐことができる。例えば、端末装置１００は、悪質なユーザが取得要求情報と来店ＩＤとを傍受して来店の不正な確認を受けた上で訪問検証アプリケーションを利用してもかかるユーザに対応するユーザＩＤにはポイントが付与されないので、悪質なユーザへのポイントの付与を防ぐことができる。
【０１１７】
また、第１の実施形態に係る端末装置１００は、署名を用いて各種の通信内容を検証してもよい。例えば、通信装置１０は、署名を付与した来店ＩＤを端末装置１００に送信する。そして、端末装置１００は、通信装置１０から来店ＩＤを受信した場合に、受信した来店ＩＤの署名を検証する。これにより、端末装置１００は、来店ＩＤの出所を検証することができるので、通信装置１０のなりすましを防ぐことができる。  
【０１１８】
（２．第２の実施形態）
次に、第２の実施形態に係る訪問検証システム２について説明する。第２の実施形態に係る訪問検証システム２は、管理装置５０を介さずに利用者が施設に訪問したことを検証する点で第１の実施形態に係る訪問検証システム１と異なる。なお、以下においては、訪問検証システム２の構成について説明し、第１の実施形態に係る訪問検証システム１と同様の要素については同一符号を付して説明を適宜省略するものとする。
【０１１９】
〔２−１．検証処理〕
まず、図９を用いて、第２の実施形態に係る検証処理の一例について説明する。図９は、第２の実施形態に係る訪問検証システムによる検証処理の一例を示す説明図である。図９の例では、訪問検証システム２によってユーザが店舗に来店したことを検証する検証処理が行われる例を示す。図９に示すように、訪問検証システム２は、通信装置１０と、端末装置２００とを含む。
【０１２０】
図９に示すように、店舗ＳＨに設置された通信装置１０は、店舗ごとに割り当てられた識別情報である店舗ＩＤを送信する（ステップＳ４１）。これにより、端末装置２００は、通信装置１０から店舗ＩＤを受け付ける。
【０１２１】
そして、端末装置２００は、店舗ＩＤが受け付けられた場合に、利用者が来店したことを示す識別情報である来店ＩＤの取得要求を、店舗ＩＤの送信元である通信装置１０に送信する（ステップＳ４２）。例えば、端末装置２００は、近距離通信によって来店ＩＤの取得要求を通信装置１０に送信する。
【０１２２】
これにより、通信装置１０は、近距離通信によって来店ＩＤの取得要求を端末装置２００から受信する。すなわち、通信装置１０は、端末装置２００から所定の範囲内に位置する場合に、来店ＩＤの取得要求を端末装置２００から受信する。
【０１２３】
その後、通信装置１０は、来店ＩＤの取得要求の送信元である端末装置２００に対して、来店ＩＤを送信する（ステップＳ４３）。例えば、通信装置１０は、近距離通信によって来店ＩＤを端末装置２００に送信する。
【０１２４】
これにより、端末装置２００は、近距離通信によって来店ＩＤを通信装置１０から受信する。すなわち、端末装置２００は、通信装置１０から所定の範囲内に位置する場合に、来店ＩＤを通信装置１０から受信する。そして、端末装置２００は、来店ＩＤを通信装置１０から受信した場合に、利用者が店舗ＳＨに来店したことを検証する。
【０１２５】
このように、第２の実施形態に係る端末装置２００は、近距離通信によって取得要求を通信装置１０に送信する。また、端末装置２００は、近距離通信によって訪問識別情報を通信装置１０から受信する。
【０１２６】
これにより、端末装置２００は、近距離通信によるコネクションを張って通信装置１０との間でデータ通信を行うので、来店のなりすましをされにくくすることができる。例えば、端末装置２００は、通信装置１０から近距離通信可能な範囲内に位置する場合に来店ＩＤを受信することができるので、店舗に実際に来店していない者が来店したと不正に確認されることを防ぐことができる。
【０１２７】
〔２−２．端末装置の構成〕
次に、第２の実施形態に係る端末装置について説明する。第２の実施形態に係る端末装置２００は、管理装置５０を介さずに利用者が施設に訪問したことを検証する点で第１の実施形態に係る端末装置１００と異なる。なお、以下においては、第１の実施形態に係る端末装置１００と同様の要素については同一符号を付して説明を適宜省略するものとする。
【０１２８】
まず、図１０を用いて、第２の実施形態に係る端末装置２００の構成について説明する。図１０は、第２の実施形態に係る端末装置の構成例を示す図である。図１０に示すように、端末装置２００は、端末装置１００の制御部１５０と機能が異なる制御部２５０を有する。制御部２５０は、端末装置１００の訪問検証アプリ制御部１７０と機能が異なる訪問検証アプリ制御部２７０を有する。
【０１２９】
（訪問検証アプリ制御部２７０について）
訪問検証アプリ制御部２７０は、図１０に示すように、端末装置１００が有する第１送信部１７２と、第１受信部１７３と、検証部１７４と機能が異なる第１送信部２７２と、第１受信部２７３と、検証部２７４とを有する。
【０１３０】
（第１送信部２７２について）
第１送信部２７２は、訪問識別情報の取得要求を送信する。具体的には、第１送信部２７２は、近距離通信によって訪問識別情報の取得要求を通信装置１０に送信する。例えば、第１送信部２７２は、端末装置２００が通信装置１０から所定の範囲内に位置する場合に、来店ＩＤの取得要求を通信装置１０に送信する。
【０１３１】
（第１受信部２７３について）
第１受信部２７３は、訪問識別情報を受信する。具体的には、第１受信部２７３は、近距離通信によって訪問識別情報を通信装置１０から受信する。例えば、第１受信部２７３は、端末装置２００が通信装置１０から所定の範囲内に位置する場合に、来店ＩＤを通信装置１０から受信する。
【０１３２】
（検証部２７４について）
検証部２７４は、利用者が施設に訪問したことを検証する。具体的には、検証部２７４は、第１受信部２７３によって訪問識別情報を通信装置１０から受信した場合に、利用者が施設を訪問したことを検証する。店舗に設置された通信端末１０から近距離通信によって来店ＩＤを受信した場合には、利用者が店舗に来店したと考えられるからである。
【０１３３】
〔２−３．検証処理手順〕
次に、図１１を用いて、第２の実施形態に係る訪問検証システム２による検証処理の手順について説明する。図１１は、第２の実施形態に係る訪問検証システムによる検証処理手順を示すシーケンスである。
【０１３４】
図１１に示すように、通信装置１０は、所定の情報として、店舗ＩＤを送信する（ステップＳ２０１）。例えば、通信装置１０は、店舗ＩＤを含むＢｅａｃｏｎ信号を送信する。これにより、端末装置２００は、所定の情報を通信装置１０から受信する。なお、端末装置２００は、所定の情報を受信していない場合には、所定の情報を受信するまで待機する。
【０１３５】
一方、端末装置２００は、所定の情報を受信した場合に、近距離通信によって来店ＩＤの取得要求を通信装置１０に送信する（ステップＳ２０２）。これにより、通信装置１０は、来店ＩＤの取得要求を端末装置２００から受信する。
【０１３６】
そして、通信装置１０は、近距離通信によって来店ＩＤを端末装置２００に送信する（ステップＳ２０３）。これにより、端末装置２００は、近距離通信によって来店ＩＤを通信装置１０から受信する。そして、端末装置２００は、来店ＩＤを通信装置１０から受信した場合に、利用者が施設を訪問したことを検証する（ステップＳ２０４）。
【０１３７】
〔２−４．変形例〕
上述した第２の実施形態に係る端末装置２００は、上記実施形態以外にも種々の異なる形態にて実施されてよい。そこで、以下では、上記の端末装置２００の他の実施形態について説明する。
【０１３８】
〔２−４−１．所定の条件を満たしている場合に有効な訪問識別情報〕
上記実施形態では、端末装置２００は、訪問識別情報を通信装置１０から受信する例を示した。ここで、端末装置２００は、所定の条件を満たしている場合に有効な訪問識別情報を通信装置１０から受信してもよい。
【０１３９】
例えば、通信装置１０は、所定の条件を満たしている場合に有効な訪問識別情報として、所定の期間内に１回限り有効な来店ＩＤを端末装置２００に送信する。これにより、端末装置２００は、所定の期間内に１回限り有効な来店ＩＤを受信する。そして、端末装置２００は、所定の期間内に１回限り有効な来店ＩＤを用いて検証を行う。例えば、端末装置２００は、所定の期間を既に経過している場合には、利用者が店舗に来店したと判定しない。また、端末装置２００は、同一の来店ＩＤが既に検証に使用されている場合には、利用者が店舗に来店と判定しない。  
【０１４０】
このように、第２の実施形態に係る端末装置２００は、訪問識別情報として、所定の条件を満たしている場合に有効な訪問識別情報を受信する。これにより、端末装置２００は、有効期限が過ぎた来店ＩＤや過去に使用された来店ＩＤの場合には利用者が店舗に来店したと判定しないので、検証精度を高めることができる。例えば、端末装置２００は、来店ＩＤが傍受されても同一のユーザにポイントが何度も加算されることを防ぐことができる。
【０１４１】
また、端末装置２００は、所定の条件を満たしている場合に有効な訪問識別情報として、未使用な来店ＩＤを通信装置１０から受信してもよい。例えば、端末装置２００は、通信装置１０から過去に１度も送信されておらず未使用な来店ＩＤを通信装置１０から受信する。これにより、端末装置２００は、来店ＩＤの使いまわしを防ぐことができるので、店舗に来店した利用者の検証精度を高めることができる。
【０１４２】
また、端末装置２００は、所定の条件を満たしている場合に有効な訪問識別情報として、時間の条件が付与された来店ＩＤを通信装置１０から受信してもよい。例えば、端末装置２００は、２０時以降の時間帯に限り有効な来店ＩＤを通信装置１０から受信する。これにより、端末装置２００は、例えば、２０時以降に店舗に来店した利用者に対してポイントを付与する等といったサービスを実現することができる。
【０１４３】
〔２−４−２．検証〕
上記実施形態では、端末装置２００は、近距離通信によって訪問識別情報を通信装置１０が受信した場合に利用者が施設に訪問したことを検証する例を示した。ここで、端末装置２００は、各種の方法によって検証を行ってもよい。
【０１４４】
具体的には、端末装置２００は、第１受信部２７２によって受信した訪問識別情報と予め設定された訪問識別情報の一覧とを照合することで、利用者が施設を訪問したことを検証する。
【０１４５】
この場合、端末装置２００は、例えば、訪問検証システム２を管理する管理者によって予め設定された来店ＩＤの一覧を訪問検証アプリケーションに保持する。また、通信装置１０は、端末装置２００から来店ＩＤの取得要求を受信した場合に、管理者によって予め設定された来店ＩＤを端末装置２００に送信する。そして、端末装置２００は、通信装置１０から受信した来店ＩＤと予め保持する来店ＩＤの一覧とを照合することで、利用者が店舗を来店したことを検証する。
【０１４６】
このように、第２の実施形態に係る端末装置２００は、第１受信部２７３によって受信した訪問識別情報と予め設定された訪問識別情報の一覧とを照合することで、利用者が施設を訪問したことを検証する。
【０１４７】
これにより、端末装置２００は、通信装置１０から受信した来店ＩＤが訪問検証システム２を管理する管理者によって発行された正当なものであるか否かを検証するので、検証精度を高めることができる。
【０１４８】
〔２−５．効果〕
上述してきたように、第２の実施形態に係る端末装置２００は、受付部１７１と、第１送信部２７２と、第１受信部２７４とを有する。受付部１７１は、通信装置から所定の情報を受け付ける。第１送信部２７２は、近距離通信によって取得要求を通信装置１０に送信する。第１受信部２７３は、近距離通信によって訪問識別情報を通信装置１０から受信する。
【０１４９】
これにより、第２の実施形態に係る端末装置２００は、近距離通信によるコネクションを張って通信装置１０との間でデータ通信を行うので、来店のなりすましをされにくくすることができる。例えば、端末装置２００は、通信装置１０から近距離通信可能な範囲内に位置する場合に来店ＩＤを受信することができるので、店舗に実際に来店していない者が来店したと不正に確認されることを防ぐことができる。
【０１５０】
また、変形例に係る端末装置２００において、第１受信部２７３は、訪問識別情報として、所定の条件を満たしている場合に有効な訪問識別情報を受信する。
【０１５１】
これにより、変形例に係る端末装置２００は、有効期限が過ぎた来店ＩＤや過去に使用された来店ＩＤの場合には利用者が店舗に来店したと判定しないので、検証精度を高めることができる。例えば、端末装置２００は、来店ＩＤが傍受されても同一のユーザにポイントが何度も加算されることを防ぐことができる。
【０１５２】
また、変形例に係る端末装置２００において、検証部２７４は、第１受信部２７３によって受信した訪問識別情報と予め設定された訪問識別情報の一覧とを照合することで、利用者が施設を訪問したことを検証する。
【０１５３】
これにより、変形例に係る端末装置２００は、通信装置１０から受信した来店ＩＤが訪問検証システム２を管理する管理者によって発行された正当なものであるか否かを検証するので、検証精度を高めることができる。
【０１５４】
（３．その他）
上記実施形態において説明した各処理のうち、自動的に行われるものとして説明した処理の全部または一部を手動的に行うこともでき、あるいは、手動的に行われるものとして説明した処理の全部または一部を公知の方法で自動的に行うこともできる。この他、上記文書中や図面中で示した処理手順、具体的名称、各種のデータやパラメータを含む情報については、特記する場合を除いて任意に変更することができる。例えば、各図に示した各種情報は、図示した情報に限られない。
【０１５５】
また、図示した各装置の各構成要素は機能概念的なものであり、必ずしも物理的に図示の如く構成されていることを要しない。すなわち、各装置の分散・統合の具体的形態は図示のものに限られず、その全部または一部を、各種の負荷や使用状況などに応じて、任意の単位で機能的または物理的に分散・統合して構成することができる。例えば、図２に示した受付部１７１および第１受信部１７３は統合されてもよい。
【０１５６】
（４．ハードウェア構成）
また、上述してきた実施形態に係る端末装置１００は、例えば図１２に示すような構成のコンピュータ１０００によって実現される。以下、端末装置１００を例に挙げて説明する。図１２は、端末装置１００の機能を実現するコンピュータ１０００の一例を示すハードウェア構成図である。コンピュータ１０００は、ＣＰＵ１１００、ＲＡＭ１２００、ＲＯＭ１３００、ＨＤＤ１４００、通信インターフェイス（Ｉ／Ｆ）１５００、入出力インターフェイス（Ｉ／Ｆ）１６００、およびメディアインターフェイス（Ｉ／Ｆ）１７００を有する。
【０１５７】
ＣＰＵ１１００は、ＲＯＭ１３００またはＨＤＤ１４００に格納されたプログラムに基づいて動作し、各部の制御を行う。ＲＯＭ１３００は、コンピュータ１０００の起動時にＣＰＵ１１００によって実行されるブートプログラムや、コンピュータ１０００のハードウェアに依存するプログラム等を格納する。
【０１５８】
ＨＤＤ１４００は、ＣＰＵ１１００によって実行されるプログラム、および、かかるプログラムによって使用されるデータ等を格納する。通信インターフェイス１５００は、通信網５００を介して他の機器からデータを受信してＣＰＵ１１００へ送り、ＣＰＵ１１００が生成したデータを通信網５００を介して他の機器へ送信する。
【０１５９】
ＣＰＵ１１００は、入出力インターフェイス１６００を介して、ディスプレイやプリンタ等の出力装置、および、キーボードやマウス等の入力装置を制御する。ＣＰＵ１１００は、入出力インターフェイス１６００を介して、入力装置からデータを取得する。また、ＣＰＵ１１００は、生成したデータを入出力インターフェイス１６００を介して出力装置へ出力する。
【０１６０】
メディアインターフェイス１７００は、記録媒体１８００に格納されたプログラムまたはデータを読み取り、ＲＡＭ１２００を介してＣＰＵ１１００に提供する。ＣＰＵ１１００は、かかるプログラムを、メディアインターフェイス１７００を介して記録媒体１８００からＲＡＭ１２００上にロードし、ロードしたプログラムを実行する。記録媒体１８００は、例えばＤＶＤ（Digital  Versatile  Disc）、ＰＤ（Phase  change  rewritable  Disk）等の光学記録媒体、ＭＯ（Magneto  Optical  disk）等の光磁気記録媒体、テープ媒体、磁気記録媒体、または半導体メモリ等である。
【０１６１】
例えば、コンピュータ１０００が実施形態に係る端末装置１００として機能する場合、コンピュータ１０００のＣＰＵ１１００は、ＲＡＭ１２００上にロードされたプログラムを実行することにより、制御部１５０の機能を実現する。また、ＨＤＤ１４００には、記憶部内のデータが格納される。コンピュータ１０００のＣＰＵ１１００は、これらのプログラムを記録媒体１８００から読み取って実行するが、他の例として、他の装置から通信網５００を介してこれらのプログラムを取得してもよい。
【０１６２】
以上、本願の実施形態のいくつかを図面に基づいて詳細に説明したが、これらは例示であり、発明の開示の欄に記載の態様を始めとして、当業者の知識に基づいて種々の変形、改良を施した他の形態で本発明を実施することが可能である。
【符号の説明】
【０１６３】
１０  通信装置
５０  管理装置
１００  端末装置
１７０  訪問検証アプリ制御部
１７１  受付部
１７２  第１送信部
１７３  第１受信部
１７４  検証部
１７５  第２送信部
１７６  第２受信部
１８０  表示制御部
【図１】
0005993908.tif 000002
【図２】
0005993908.tif 000003
【図３】
0005993908.tif 000004
【図４】
0005993908.tif 000005
【図５】
0005993908.tif 000006
【図６】
0005993908.tif 000007
【図７】
0005993908.tif 000008
【図８】
0005993908.tif 000009
【図９】
0005993908.tif 000010
【図１０】
0005993908.tif 000011
【図１１】
0005993908.tif 000012
【図１２】
0005993908.tif 000013