Task-Structured PIOAフレームワークを用いた適応的攻撃者に対するDiffie-Hellman鍵交換の安全性解析(セキュリティ,<特集>フォーマルアプローチ論文)
スポンサーリンク
概要
- 論文の詳細を見る
Task-structured確率的入出力オートマトン(task-PIOA)フレームワークは,確率的,かつ非決定的な振舞いを含む暗号プリミティブを計算量的モデルで解析することができるフォーマルアプローチの一つである.しかしながら,実際に解析が行われたプリミティブは紛失通信しかない.また,既存の解析では参加者の非適応的な支配しか行えない攻撃者しかモデル化しておらず,プロトコル中で適応的に参加者の支配を行うような攻撃者を定式化する方法はいまだ知られていない.本論文では,task-PIOAフレームワークを用いてDiffie-Hellman ee交換プロトコルの適応的攻撃者に対する安全性解析を行う.まず,計算量的仮定の一つであるDDH仮定をtask-PIOAに合わせた形に再定式化し,既存のDDH仮定との等価性を示す.次に,task-PIOAフレームワークにおける鍵交換の理想的機能を汎用結合可能性安全フレームワークにおける定義に基づいて定義する.最後に,現実のDiffie-Hellman鍵交換システムと理想のシステムを構成し,適応的攻撃者に対して現実システムが理想システムを安全に実現できることを示す.
- 社団法人電子情報通信学会の論文
- 2008-04-01
著者
-
太田 和夫
電気通信大学情報通信工学科
-
米山 一樹
電気通信大学情報通信工学専攻
-
國分 雄一
電気通信大学情報通信工学科
-
太田 和夫
電気通信大学
-
太田 和夫
電気通信大学大学院情報理工学研究科総合情報学専攻
-
Yoneyama Kazuki
Ntt Corporation
-
太田 和夫
電通大
-
Yoneyama Kazuki
Ntt Information Sharing Platform Laboratories Ntt Corporation
関連論文
- 複数の計算量仮定を組み込んだメタ帰着技法による安全性解析 : ElGamal暗号の場合
- A-7-29 パスワードベース認証付き鍵交換の安全性における(不)可能性(A-7. 情報セキュリティ,一般セッション)
- 多重リング構造のk-out-of-n署名の修正提案(情報通信基礎サブソサイエティ合同研究会)
- ハッシュリストの閲覧可能なランダムオラクルモデル(情報通信基礎サブソサイエティ合同研究会)
- 受信者の条件を秘匿したAttribute-Based Encryption
- 1.証明可能安全性理論に向けて(暗号技術の証明可能安全性)
- 電子オークションプロトコルの技術動向:第一価格秘密入札プロトコルについて
- 研究グループが脆弱性を発見した場合にとるべき行動についての法的考察(プロジェクトマネジメント関係,一般)
- Task-Structured PIOAフレームワークを用いた適応的攻撃者に対するDiffie-Hellman鍵交換の安全性解析(セキュリティ,フォーマルアプローチ論文)
- Secret Handshakeの安全性について(情報通信基礎サブソサイエティ合同研究会)
- 画像の回転に対する新しい視覚復号型秘密分散法
- 暗号における理論と実装のギャップ : 置き換えアプローチの二面性(暗号理論入門(4))
- シミュレーションによるSubset-Cover Revocation法の性能比較
- APOPが破られた(オピニオン)
- Subset-Cover Revocation法の性能比較(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- MicroMint方式におけるCollision生成法の解析
- ハッシュ連鎖つきコリジョンを用いた小額決済方式(モバイル環境におけるPerson to Person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- ハッシュ連鎖つきコリジョンを用いた小額決済方式(モバイル環境におけるPerson to person高信頼性情報流通技術 : 情報通信サブソサイエティ合同研究会)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- ゼロ知識性の完全化による'On the Fly'認証方式の効率化(セキュリティ関係,一般)
- XOAEPX_ : OAEPの変形可能性について(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- XOAEPX-** : OAEPの変形可能性について(モバイル環境におけるPerson to person高信頼性情報流通技術 : 情報通信サブソサイエティ合同研究会)
- XOAEPX-** : OAEPの変形可能性について(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- 連鎖する複数業者との個人取引におけるプライバシー保護方法(その2)(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 連鎖する複数業者との個人取引におけるプライバシー保護方法(その2)(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 連鎖する複数業者との個人取引におけるプライバシー保護方法(その2)(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- ハッシュ連鎖つきコリジョンを用いた小額決済方式(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- ハッシュ連鎖つきコリジョンを用いた小額決済方式(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- 解説 電子オークションプロトコルの技術動向--第一価格秘密入札プロトコルについて
- ランダムマップを使うハッシュ関数のコリジョンサーチ
- ハッシュリストの閲覧可能なランダムオラクルモデル(情報通信基礎サブソサイエティ合同研究会)
- ハッシュリストの閲覧可能なランダムオラクルモデル(情報通信基礎サブソサイエティ合同研究会)
- Bulk量子計算モデル上におけるGroverのアルゴリズムの繰返し回数について
- 物理的実現可能性に優れたNMR量子探索アルゴリズム(計算理論)
- A-7-11 MD4を用いたチャレンジ&レスポンス認証に対する現実的な攻撃(A-7.情報セキュリティ,一般セッション)
- 量子アルゴリズムに対する共通鍵暗号の安全性
- 公開鍵暗号系における双対性へのアプローチ
- Paillierの観点から見たディジタル署名の安全性の再考
- 否認機能を持つリング署名方式の再考(その2) : 署名者の匿名性を強化したグループ署名方式
- 双線形写像を用いた墨塗り署名方式の安全性について(セキュリティ基盤技術,ユビキタス社会を支えるコンピュータセキュリティ技術)
- Physically Unclonable Functionを用いたLuby-Rackoff型暗号の再考(セキュリティ関係,一般)
- Physically Unclonable Functionを用いたLuby-Rackoff型暗号の再考(セキュリティ関係,一般)
- Physically Unclonable Functionを用いたLuby-Rackoff型暗号の再考(セキュリティ関係,一般)
- MicroMint方式におけるCollision生成法の解析
- NMR量子計算機を用いた効率的探索アルゴリズムの設計について
- NMR量子コンピュータ上における効率的量子探索アルゴリズム
- A-7-1 PINを用いるアルゴリズム的耐タンパ認証装置の安全性について(A-7.情報セキュリティ,一般セッション)
- PINを用いるアルゴリズム的耐タンパ認証装置の再考(その2)
- A-7-4 マルチパーティモデルでの署名交換の公平性の再考(A-7.情報セキュリティ,一般講演)
- A-7-17 利用者のプライバシ保護を強化したブラインド署名方式(A-7. 情報セキュリティ, 基礎・境界)
- A-7-7 ES方式の通信効率に関する再考察(A-7. 情報セキュリティ)
- REACT-ES & OAEP++-ES : 更に有効な落し戸付き乗法的一方向性関数向け万能Padding方式(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- REACT-ES & OAEP++-ES : 更に有効な落し戸付き乗法的一方向性関数向け万能Padding方式(モバイル環境におけるPerson to person高信頼性情報流通技術 : 情報通信サブソサイエティ合同研究会)
- REACT-ES & OAEP++-ES : 更に有効な落し戸付き乗法的一方向性関数向け万能Padding方式(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- REACT-ES & OAEP++-ES : 更に有効な落し戸付き乗法的一方向性関数向け万能Padding方式(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- 強識別不可能性理論とSHA-3プロジェクト : ハッシュ関数設計のための理論研究と実装研究の現状(一般:情報通信基礎サブソサイエティ合同研究会)
- 強識別不可能性理論とSHA-3プロジェクト : ハッシュ関数設計のための理論研究と実装研究の現状(一般:情報通信基礎サブソサイエティ合同研究会)
- 強識別不可能性理論とSHA-3プロジェクト : ハッシュ関数設計のための理論研究と実装研究の現状(一般:情報通信基礎サブソサイエティ合同研究会)
- Secret Handshakeの安全性について(情報通信基礎サブソサイエティ合同研究会)
- Secret Handshakeの安全性について(情報通信基礎サブソサイエティ合同研究会)
- AS-3-3 非線形ランプ型秘密分散(招待講演,AS-3.情報ハイディングの理論と技術,シンポジウム)
- 分散画像の回転を許す一般アクセス構造に対して複数の画像を隠す視覚復号型秘密分散法
- 確率的メータリング法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 確率的メータリング法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 確率的メータリング法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 回転操作が可能な視覚復号型秘密分散法の一般的構成法
- 暗号プロトコルの安全性証明自動化技術 (特集 情報セキュリティ技術)
- Randomized Partial Checking Mix の一考察
- Randomized Partial Checking Mix の一考察
- Randomized Partial Checking Mix の一考察
- Randomized Partial Checking Mix の一考察
- Randomized Partial Checking Mix の一考察
- Randomized Partial Checking Mix の一考察
- 離散対数問題に基づいた多重署名を用いた追跡不可能な電子現金方式
- 4J-6 骨伝導技術を用いたカラオケシステムの提案(医療のインフォマティクス,一般セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
- XOAEPX-** : OAEPの変形可能性について(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- 安全性を証明可能なハッシュ関数の設計論
- RSA暗号に対する格子理論に基づく攻撃(その2)
- 暗号学における双対性 : ゴールとシナリオの間には(チュートリアル)
- RSA暗号に対する格子理論に基づく攻撃
- 墨塗り・削除署名の拡張
- 墨塗り・削除署名の拡張
- 使い捨てIDを用いた処理負荷の少ない相手認証方式の提案(情報通信基礎サブソサイエティ合同研究会)
- 多重リング構造のk-out-of-n署名の修正提案(情報通信基礎サブソサイエティ合同研究会)
- 多重リング構造のk-out-of-n署名の修正提案(情報通信基礎サブソサイエティ合同研究会)
- How to construct cryptosystems and hash functions in weakened random oracle models (情報セキュリティ)
- How to construct cryptosystems and hash functions in weakened random oracle models (情報通信システムセキュリティ)