SPINに基づくセキュリティプロトコル検証システム(<特集>マルチメディアネットワークシステム)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, SPINによるセキュリティプロトコルの検証を行うシステムの提案と実装および評価について述べる.SPINに基づくセキュリティプロトコルの検証については, Josangがすでに考察を行っており, その実現性については問題があるという結論に達している.我々は, セキュリティプロトコルの運用にある制限を設定し, その範囲での動作について総当たりで検証するシステムの開発を行った.我々のシステムの特徴は, メッセージの暗号化, 復号化などのセキュリティプロトコルに特有の処理を記述するためにPROMELAを拡張したSPROMELAを開発した点である.また, PROMELAから, SPROMELAへ変換し, さらに攻撃者プロセス, セキュリティ条件が破られたことを判定するモニタプロセスを自動的に生成するトランスレータを開発した, 検証の際のシミュレーション条件設定やシミュレーション実行は, SPINの環境と統合され, GUIを使って操作できる環境となっている.この環境で, セキュリティホールがあることが分かっているOtway-Reesプロトコルの検証を行い, 具体的なアタックの手順を導出することができた.
- 一般社団法人情報処理学会の論文
- 2001-02-15
著者
関連論文
- 5U-2 異種センサネットワークを連携させるゲートウェイ機能のOSGi対応(センサネットワーク運用・制御,学生セッション,ネットワーク)
- 車内ネットワーク向けリアルタイムストリーム転送システムの開発 (インターネットアーキテクチャ)
- 端末自体の動きを用いた携帯端末向け個人認証(モバイルアプリケーション, ユビキタスITSとモバイルアプリケーション)
- 無線アドホックネットワークにおける位置依存情報複製配布方式のトラフィック削減手法(アドホックネットワーク, ユビキタスITSとモバイルアプリケーション)
- 無線アドホックネットワークにおける位置依存情報複製配布方式の高信頼化 : 複製配布に関する評価(セッション1 : データ放送)
- 無線アドホックネットワークにおける位置依存情報複製配布方式 : データアクセスモデルに関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- 無線アドホックネットワークにおける位置依存情報複製配布方式高信頼化に関する検討
- 異なるアドレス空間をシームレスに接続するIP層拡張の提案と実装 (社会基盤としてのインターネットアーキテクチャ論文特集)
- P2Pネットワークにおける地理的範囲探索の提案(パラレル,インターネットと情報倫理教育,一般)
- 5U-1 ユビキタス環境における異種センサネットワーク用ユーザインタフェースの開発(センサネットワーク運用・制御,学生セッション,ネットワーク)