• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

暗号技術に基づく関数を用いたプログラムに対する情報フロー解析法の開発

研究課題

研究課題/領域番号 16700013
研究種目

若手研究(B)

配分区分補助金
研究分野 情報学基礎
研究機関大阪大学

研究代表者

吉田 真紀  大阪大学, 大学院・情報科学研究科, 助手 (50335387)

研究期間 (年度) 2004 – 2005
研究課題ステータス 完了 (2005年度)
配分額 *注記
3,400千円 (直接経費: 3,400千円)
2005年度: 1,200千円 (直接経費: 1,200千円)
2004年度: 2,200千円 (直接経費: 2,200千円)
キーワード情報フロー解析 / 暗号技術 / 健全性 / 情報フロー / 機密度 / 情報漏洩 / 静的解析
研究概要

本年度は,暗号技術に基づく関数を用いたプログラムに対する情報フロー解析に関して以下の研究を行った
・解析モデルと解析アルゴリズムの評価・拡張
新たに標準化され,実装が進んでいる暗号技術を調査し,その性質を現在の解析モデルで表現できるか否かを調査した.具体的には,長期署名の標準規格であるXAdESを調査した.XAdESで用いられている暗号技術はハッシュ関数,ディジタル署名,タイムスタンプである.解析モデルはハッシュ関数とディジタル署名の性質を記述できるようになっている.XAdESで用いられるタイムスタンプはディジタル著名の一種であることが確認できた.よって,昨年度のモデルで表現できることが分かった.また実際に解析モデルに従って記述した.
・解析アルゴリズムの健全性の証明
昨年度提案した解析アルゴリズムが定義した健全性を満たすことの証明を行った.昨年度提案した解析モデルには多くの暗号技術の性質を反映したため,健全性の定義が従来の定義と異なっている.また,解析アルゴリズムの構成も従来と異なっている.そのため従来の証明テクニックがそのまま使えない.よって今年度は新たに,公理系に基づく証明テクニックを用いて健全性の照明を行った.
・情報フロー解析システムの開発
昨年度提案した解析アルゴリズムを計算機上に実装し,その性能を実験的に評価した.解析対象のプログラムはXAdESを実装したものである.効率を向上させるため,解析対象のプログラムにおける情報フローを表すオートマトンを簡約化する処理を含めた.その結果,大幅に効率が向上することが確認できた.

報告書

(2件)
  • 2005 実績報告書
  • 2004 実績報告書
  • 研究成果

    (18件)

すべて 2006 2005 2004

すべて 雑誌論文 (18件)

  • [雑誌論文] A Timed-Release Key Management Scheme for Backward Recovery2006

    • 著者名/発表者名
      Maki Yoshida, Shigeo Mitsunari, Toru Fujiwara
    • 雑誌名

      Proceedings of the 8th Annual International Conference on Information Security and Cryptology To appear

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] プライバシを保護したC2Cディジタルコンテンツ売買方式2006

    • 著者名/発表者名
      浅野 順也, 岡村 真吾, 吉田 真紀, 藤原 融
    • 雑誌名

      2006年暗号と情報セキュリティシンポジウム予稿集

      ページ: 214-214

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] An Unlinkable Interactive Drama Delivery System Allowing Rechoice of a Scene2006

    • 著者名/発表者名
      Shingo Okamura, Maki Yoshida, Toru Fujiwara
    • 雑誌名

      Proceedings of the 2006 Symposium on Cryptography and Information Security

      ページ: 127-127

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 検索語の秘匿と検索結果の一貫性検証を可能とする通信効率の良いデータ検索プロトコル2006

    • 著者名/発表者名
      中山 敏, 吉田 真紀, 岡村 真吾, 藤原 融
    • 雑誌名

      2006年暗号と情報セキュリティシンポジウム予稿集

      ページ: 182-182

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] パッチワーク法に対する最適な透かし検出2006

    • 著者名/発表者名
      藤田 高彬, 吉田 真紀, 藤原 融
    • 雑誌名

      2006年暗号と情報セキュリティシンポジウム予稿集

      ページ: 242-242

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Coin-based Anonymous Fingerprinting Scheme with Automatic Identification of Redistributors2005

    • 著者名/発表者名
      Shingo Okamura, Maki Yoshida, Toru Fujiwara
    • 雑誌名

      Peer-reviewed Proceedings of the ISSA 2005 New Knowledge Today Conference

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] An Efficient Private and Consistent Data Retrieval Protocol2005

    • 著者名/発表者名
      Satoshi Nakayama, Maki Yoshida, Shingo Okamura, Akira Fujiwara, Toru Fujiwara
    • 雑誌名

      Conference Records of Western European Workshop on Research in Cryptology

      ページ: 83-84

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A Watermark Detection Scheme Ensuring the False Positive Error Probability2005

    • 著者名/発表者名
      Takaaki Fujita, Kunihiro Okamoto, Maki Yoshida, Toru Fujiwara
    • 雑誌名

      Conference Records of Western European Workshop on Research in Cryptology

      ページ: 18-19

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A Time-Limited Key Management Scheme Based on a One-Way Permutation Tree2005

    • 著者名/発表者名
      Maki Yoshida, Yuichi Kaji, Toru Fujiwara
    • 雑誌名

      Proceedings of the 2005 Hawaii, IEICE and SITA Joint conference on Information Theory, Honolulu, Hawaii

      ページ: 165-170

    • NAID

      10016434926

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 先着限定販売のための売り切れ証明プロトコル2005

    • 著者名/発表者名
      吉田 真紀, 藤原 融
    • 雑誌名

      コンピュータセキュリティシンポジウム2005 予稿集

      ページ: 523-528

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 検索語の秘匿と検索結果の一貫性検証を可能とするデータ検索プロトコルにおける通信量の削減2005

    • 著者名/発表者名
      中山 敏, 吉田 真紀, 岡村 真吾, 藤原 晶, 藤原 融
    • 雑誌名

      電子情報通信学会技術研究報告ISEC Vol.105, No.194

      ページ: 129-136

    • NAID

      110003298633

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 相関型電子透かしの誤検出確率保証法における見逃し確率の改善2005

    • 著者名/発表者名
      藤田 高彬, 岡本 邦宏, 吉田 真紀, 藤原 融
    • 雑誌名

      電子情報通信学会技術研究報告ISEC Vol.105, No.194

      ページ: 155-160

    • NAID

      110003298641

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 検索結果の秘匿と一貫性検証を可能とするデータ検索プロトコルの提案2005

    • 著者名/発表者名
      中山 敏, 藤原 晶, 吉田 真紀, 藤原 融
    • 雑誌名

      2005年暗号と情報セキュリティシンポジウム予稿集 Vol.III

      ページ: 1489-1494

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] 動画像用相関型電子透かしの誤検出確率を保証可能とするフレーム間類似度の評価2005

    • 著者名/発表者名
      藤田 高彬, 岡本 邦宏, 吉田 真紀, 藤田 融
    • 雑誌名

      2005年暗号と情報セキュリティシンポジウム予稿集 Vol.III

      ページ: 1033-1038

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Unlinkable Delivery System for Interactive Dramas2005

    • 著者名/発表者名
      Shingo Okamura, Yoshiyuki Konishi, Maki Yoshida, Toru Fujiwara
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E88-A, No.1

      ページ: 262-269

    • NAID

      110003213234

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] 暗号を用いたプロトコルに対するコスト最小攻撃の形式的導出法2004

    • 著者名/発表者名
      馬山 貴峰, 吉田 真紀, 藤原 融
    • 雑誌名

      電子情報通信学会技術研究報告 ISEC2004-87

      ページ: 15-22

    • NAID

      110003298351

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] An Interactive Drama Delivery System Suitable for Mobile Phone (Preliminary Version)2004

    • 著者名/発表者名
      Shingo Okamura, Yoshiyuki Konishi, Maki Yoshida, Toru Fujiwara
    • 雑誌名

      Proceedings of the 5th International workshop on Information Security Applications (WISA2004)

      ページ: 391-398

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] A Method to Ensure Reliability of a Detection Result for Correlation Based Watermarking Detection Schemes2004

    • 著者名/発表者名
      Kunihiro Okamoto, Takayuki Ueno, Maki Yoshida, Toru Fujiwara
    • 雑誌名

      2004 International Symposium on Information Theory and Its Applications

      ページ: 299-304

    • 関連する報告書
      2004 実績報告書

URL: 

公開日: 2004-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi