モーバイルコンピューティング環境におけるユーザ認証に関する研究

1998 Fiscal Year Annual Research Report

• Project/Area Number: 09650409
• Research Institution: Shizuoka University
• Principal Investigator: 水野 忠則 静岡大学, 情報学部, 教授 (80252162)
• Co-Investigator(Kenkyū-buntansha): 渡辺 尚 静岡大学, 情報学部, 助教授 (90201201) ; 曽我 正和 静岡大学, 情報学部, 教授 (20283327)
• Keywords: モーバイルコンピューティング / セキュリティ / ユーザ認証

Research Abstract

本研究では、モーバイルコンピューティング環境において、セキュリテイに関する問題、その中でも基礎となるユーザ認証に関して検討し、さらに実用分野として電子商取引への応用を考察することを目的とした。モーバイルコンピューティング環境では、移動先の環境すなわちユーザが登録されていない場所でユーザを認証する必要がある。本研究では、この問題を考慮したモーバイルコンピューティング環境におけるユーザ認証の方式について研究を行った。本年度は特に、無線ネットワークの利用をなるべく少なくしたモーバイル環境における認証プロトコルGMAPの動作を明らかにする認証セキュリティシミュレータを開発するとともにエージェントシステムへの適用を検討した。
具体的には、認証プロトコルのセキュリティ強度指標を設定して、記述されたプロトコルのセキュリティ強度を評価するためのシミュレータを構築した。この方法は,BAN logicなどの数学的証明法とは異なり,プロトコルの挙動を逐一解析し,考案したプロトコルにセキュリティホールが存在しないか、また確実な認証が行えるのか、セキュリティが確保できるかなど様々な角度から検証するものである.さらに,エージェントシステムに関しては、今後急速に発展すると考えられるエージェントを用いた電子商取引システムへの応用を検討し、リソースの制約をも考慮した安全な移動市場(SFM;Secure Floating Market)モデルヘGMAPを組み込み、Agletsを用いたプロトタイプを完成させた。

Research Products

• [Publications] 松下大輔, 隆朋也, 渡辺尚, 水野忠則: "エージェントを利用したネットワークショッピングサービスについて" マルチメディア・分散・協調とモーバイルシンポジウム論文集. 2・1. 173-180 (1998)
• [Publications] Tomoya Taka, Tadanori Mizuno, Takashi Watanabe: "A Model of Mobile Agent Services Enhanced for Resource Restrictions and Security" Proceedings of the 1998 IEEE International Conference on Parallel and Distributed Systems. 1・1. 274-281 (1998)