第三者機関を利用したワンタイムIDシステムの設計,及び信用論理による安全性検証(セキュリティ,<特集>フォーマルアプローチ論文)

スポンサーリンク

概要

論文の詳細を見る
安全で信頼できる電子情報の交換を実現するためには,認証,秘匿性,完全性,プライバシー保護を提供するシステムが必要となる.特に現在の通信環境や実現コストを考慮した場合,攻撃者がすべての通信情報を盗聴,修正可能な公開の通信路(インターネット・Bluetooth・RFID・無線LANなどの環境)においても,利用者が安心して通信を行える環境を実現することが必要である.本論文では,既知共有鍵モデルにおけるユーザの身元識別情報の漏えいを防ぎ,拡張性の高いシステムを構成するため,セッションごとに使い捨ての識別情報"ワンタイムID"を用いた3者モデルのDiffie-Hellmanベース鍵交換プロトコルを提案する.また,提案方式に対し,信用論理に基づいた形式的検証法の一つであるSVOロジック[2],[3]を用いてプロトコルの安全性検証を行い,提案方式が実現可能な性質や必要としている仮定を明らかにする.また,ワンタイムID生成法について考察する.
2006-04-01

著者

関連論文

もっと見る

スポンサーリンク