Task-Structured PIOAフレームワークを用いた適応的攻撃者に対するDiffie-Hellman鍵交換の安全性解析

• 米山 一樹

• 國分 雄一

• 太田 和夫

書誌事項

タイトル別名

• Task Structured PIOA フレームワーク オ モチイタ テキオウテキ コウゲキシャ ニ タイスル Diffie Hellman カギ コウカン ノ アンゼンセイ カイセキ
• A security analysis on Diffie-Hellman key exchange against adaptive adversaries using task-structured PIOA
• フォーマルアプローチ論文特集
• フォーマル アプローチ ロンブン トクシュウ

収録刊行物

• 電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems / 電子情報通信学会 編

  電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems / 電子情報通信学会 編 91 (4), 859-872, 2008-04

  東京 : 電子情報通信学会情報・システムソサイエティ

キーワード

• フォーマルメソッド
• task-PIOA
• Diffie-Hellman鍵交換
• DDH仮定
• 適応的攻撃者

詳細情報

• CRID: 1520572359031569664
• NII論文ID: 110007381034
• NII書誌ID: AA12099634
• ISSN: 18804535
• NDL書誌ID: 9453945
• Web Site: http://id.ndl.go.jp/bib/9453945
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I9453945
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles