Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
スポンサーリンク
概要
- 論文の詳細を見る
暗号的な困難性仮定の妥当性を,基とする数学的構造を理想化したGeneric Model(GM)において証明する研究が活発に行われている.しかし,しばしば単純な誤解による誤り(仮定への攻撃の見逃し)が証明に含まれる.本研究では,困難性仮定のGMにおける妥当性証明の支援を目的とし,証明の議論で誤りが含まれやすい部分を数式処理を用いて自動化する手法を提案する.さらに,提案法を既存の数式処理システムを利用して実装し,その正しさと有効性を確認した.具体的には,Mapleを利用して,妥当な困難性仮定(LIN)と妥当でない困難性仮定(M-LRSW)に提案法を適用し,現実的な時間内で前者は攻撃無しと判定され,後者へは既知の攻撃を一般化した攻撃が導出されることを確認した.
- 2010-11-10
著者
-
吉田 真紀
大阪大学大学院情報科学研究科
-
藤原 融
大阪大学大学院情報科学研究科
-
藤原 融
大阪大学 大学院情報科学研究科
-
阿部 正幸
NTT情報通信網研究所
-
阿部 正幸
日本電信電話株式会社
-
藤原 融
大阪大学基礎工学部情報工学科
-
雲嶋 健太
大阪大学大学院情報科学研究科
-
大久保 美也子
NICT情報通信セキュリティ研究センタ
-
阿部 正幸
Ntt情報流通プラットフォーム研究所
-
吉田 真紀
大阪大学大学院基礎工学研究科情報数理系
-
藤原 融
大阪大学大学院基礎工学研究科情報数理系
-
藤原 融
大阪大学大学院基礎工学研究科
関連論文
- 公理的安全性の枠組みにおける汎用的結合可能な相互認証と鍵交換の記号的安全性(理論)
- MBRを用いたユーティリティ産業向け日間需要量予測方式の検討
- 静止画の輝度値または周波数領域へ透かし情報を埋め込む形式の電子透かしに対するJPEG圧縮攻撃に関する性能評価と考察(フレッシュマンセッション,フレッシュマンセッション,一般)
- 誤り訂正符号の性能評価(情報通信基礎サブソサイエティ合同研究会)
- ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
- 画素空間へのパッチワーク法と相関型電子透かし法の検出誤り確率の比較(情報セキュリティ応用)
- 評価者間類似度を用いた不正評価排除によるレピュテーションシステムの性能向上(セッション4:コミュニティ(1))
- ネットワーク符号化におけるリード・ソロモン型符号の距離分布について(一般セッション,フレッシュマンセッション,一般)
- BS-5-6 カルテ情報自己管理のための墨塗り署名(BS-5. ネットワークサービスのセキュリティ技術の展開,シンポジウムセッション)
- 最小距離の半分の重みをもつ訂正不可能誤りの数の下界(情報通信基礎サブソサイエティ合同研究会)
- コンテンツ事前配信のための匿名フィンガープリンティング
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(夏のデータベースワークショップ2007(データ工学,一般))
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- XMLデータベースにおけるスキーマ進化のための更新操作群とそれらのスキーマ表現能力保存に関する性質(基礎理論,フォーマルアプローチ論文)
- 大学院情報系学生に対する技術者倫理教育(技術者倫理・情報倫理教育の現状と課題,及び一般)
- 2重符号化を用いた電子透かし抽出誤り訂正・検出法
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML,夏のデータベースワークショップDBWS 2006)
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML)
- 大阪大学情報科学研究科におけるソフトウェアデザイン工学高度人材育成への取り組み
- Seguin 下界の局所重み分布を用いた改善
- AP-1-4 線形符号のトレリス構造ならびに重み分布に関する未解決問題(AP-1.情報理論と情報通信における未解決問題 : 簡単そうなのになぜ解けない?,基礎・境界)
- 相関型電子透かしの誤検出確率保証法における見逃し確率の改善
- 検索語の秘匿と検索結果の一貫性検証を可能とするデータ検索プロトコルにおける通信量の削減
- 電子情報通信レクチャーシリーズ C-1 情報・符号・暗号の理論, 今井秀樹(著), "電子情報通信レクチャーシリーズ C-1 情報・符号・暗号の理論", 電子情報通信学会(編), コロナ社(2004-10), B5判, 定価(本体3,500円+税)
- 4-2 情報セキュリティ : 暗号基盤技術の安全性(4. 社会・情報システムの安全, 安全に暮らしたい)
- 情報セキュリティ : 暗号基盤技術の安全性
- Some Results on the Local Weight Distribution of Binary Linear Codes (Algebraic Aspects of Coding Theory and Cryptography)
- タイムカプセル暗号
- 2値多重音響特徴ベクトルを用いた類似音楽探索法の頑健性評価
- 楕円曲線上のペアリングを用いた不正者追跡法の拡張
- 楕円曲線上のペアリングを用いた分離不能多重化通信方式
- 公理的安全性の枠組みにおける汎用的結合可能な相互認証と鍵交換の記号的安全性
- XMLデｰタベｰスにおける表現能力を保存したスキｰマ更新操作
- XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- XMLデータのスキーマ統合のための枠組の提案
- 異なる構造を持つXMLデータを統合するための構造間の関係について(実空間とサイバースペースの融合 : 感性, データベース, ロボティクスおよび一般)
- オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
- 評価者間類似度計算の改善による汚染コンテンツダウンロード抑制効果向上
- The validity problem of positive XPath queries in the presence of DTDs (ソフトウェアサイエンス)
- リード・マラー符号の最小重み部分符号語集合の構造を用いた軟値入出力復号法のシミュレーション結果(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- リード・マラー符号の最小重み部分符号語集合の構造を用いた軟値入出力復号法のシミュレーション結果(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- リード・マラー符号の最小重み部分符号語集合の構造を用いた軟値入出力復号法のシミュレーション結果(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 適応型再帰的最尤復号法の実装とシミュレーション結果(一般,フレッシュマン,招待講演)
- 2元線形符号の最粗な並列・連接形剰余類への分解法に基づく適応的再帰形最尤復号法(モバイル環境におけるPerson to Person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- 2元線形符号の最粗な並列・連接形剰余類への分解法に基づく適応的再帰形最尤復号法(モバイル環境におけるPerson to person高信頼性情報流通技術 : 情報通信サブソサイエティ合同研究会)
- 2元線形符号の最粗な並列・連接形剰余類への分解法に基づく適応的再帰形最尤復号法(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- 2元線形符号の最粗な並列・連接形剰余類への分解法に基づく適応的再帰形最尤復号法(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- オーディオ信号用のある電子透かしに対する検出誤り確率推定法における精度向上に関する考察
- オーディオ信号用のある電子透かしに対する検出誤り確率推定法における精度向上に関する考察
- オーディオ信号用のある電子透かしに対する検出誤り確率推定法における精度向上に関する考察
- オーディオ信号用のある電子透かしに対する検出誤り確率推定法における精度向上に関する考察
- オーディオ信号への電子透かしにおける検出誤り確率推定について
- Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 検索語の秘匿と検索結果の一貫性検証を可能とするデータ検索プロトコルにおける通信量の削減
- マーケティング情報が保護された委託配信システムにおける通信頻度の削減
- マーケティング情報が保護された委託配信システムにおける通信頻度の削減
- Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 返信偽造可能性判定問題が決定可能となるための十分条件と判定法
- 楕円曲線上のペアリングを用いた不正者追跡法の拡張
- 署名を用いたプロトコルに対する偽造不可能性判定問題
- タイムカプセル暗号
- 相関型電子透かしの誤検出確率保証法における見逃し確率の改善
- Static Adversaryに対してEUC安全な認証の記号的基準について(情報通信基礎サブソサイエティ合同研究会)
- Static Adversaryに対してEUC安全な認証の記号的基準について(情報通信基礎サブソサイエティ合同研究会)
- Static Adversaryに対してEUC安全な認証の記号的基準について(情報通信基礎サブソサイエティ合同研究会)
- Kumar-Rajagopalan-Sahaiコンテンツ配信方式の改良および改良方式における平均通信量の評価
- コンテンツ事前配信のための匿名フィンガープリンティング
- 乗法的不完全秘密分散の実現不可能性
- 統計的フラジャイル電子透かし方式に対する改ざんピクセル復元法(セキュリティ関係,一般)
- 統計的フラジャイル電子透かし方式に対する改ざんピクセル復元法(セキュリティ関係,一般)
- 統計的フラジャイル電子透かし方式に対する改ざんピクセル復元法(セキュリティ関係,一般)
- 統計的フラジャイル電子透かし方式に対する改ざんピクセル復元法(セキュリティ関係,一般)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (マルチメディア情報ハイディング・エンリッチメント)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (情報通信システムセキュリティ)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (技術と社会・倫理)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (情報セキュリティ)
- 暗号を用いたプロトコルに対するコスト最小攻撃の形式的導出法
- 暗号を用いたプロトコルに対するコスト最小攻撃の形式的導出法
- 暗号を用いたプロトコルの形式的記述に基づく攻撃導出法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 暗号を用いたプロトコルの形式的記述に基づく攻撃導出法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- 暗号を用いたプロトコルの形式的記述に基づく攻撃導出法(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 電子透かしにおける最適な検出について (符号と暗号の代数的数理)
- デジタルコンテンツ流通におけるマジックインク署名を利用した著作権保護システム
- デジタルコンテンツ流通におけるマジックインク署名を利用した著作権保護システム
- デジタルコンテンツ流通におけるマジックインク署名を利用した著作権保護システム
- 不正加入者の追跡および加入者の一時利用停止が可能なデータ配信
- 調査機関に対する匿名性を強化したアクセス回数評価手法
- 調査機関に対する匿名性を強化したアクセス回数評価手法
- 調査機関に対する匿名性を強化したアクセス回数評価手法
- メッセージに対する受領証の偽造不可能性判定問題が決定可能となるための十分条件 : メッセージが不特定の場合
- 加法と乗法のハイブリッド電子透かしの一般的な埋込領域への拡張(セキュリティ,一般)
- 加法と乗法のハイブリッド電子透かしの一般的な埋込領域への拡張(セキュリティ,一般)
- 加法と乗法のハイブリッド電子透かしの一般的な埋込領域への拡張(セキュリティ,一般)
- 加法と乗法のハイブリッド電子透かしの一般的な埋込領域への拡張(セキュリティ,一般)
- 大切な情報をどうやって守りますか？
- 加法と乗法のハイブリッド電子透かしの性能に対する理論的評価