• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

暗号技術を用いた認証付き鍵管理方式.及び配達証明付き電子メールの設計と解析

Research Project

Project/Area Number 04J06737
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeSingle-year Grants
Section国内
Research Field Computer system/Network
Research InstitutionKyushu University
Research Fellow 今本 健二  九州大学, 大学院システム情報科学研究院, 特別研究員(DC1)
Project Period (FY) 2004 – 2006
Project Status Completed (Fiscal Year 2006)
Budget Amount *help
¥2,800,000 (Direct Cost: ¥2,800,000)
Fiscal Year 2006: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2005: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2004: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywords安全性定義 / 配達証明つき電子メール / 鍵交換プロトコル / ID情報秘匿性 / 証明可能安全性 / 価値変動 / ゲーム理論 / 暗号技術 / 鍵共有プロトコル / ID情報秘匿 / 公平交換プロトコル / 配達証明付き電子メール
Research Abstract

平成17年度の研究では、鍵交換プロトコルにおけるID情報秘匿性に関する安全性モデルを提案し、その性質を満たすため、一度限り使い捨ての識別情報であるワンタイムIDを用いた鍵交換プロトコルを提案、評価した。今年度は上記結果に基づき、この安全性モデルの評価を行い、安全性証明を自動化するためのフレームワークについて研究を進めた。具体的には、既存の安全性フレームワークの一つであるUniversal Composabilityを研究対象とし、このフレームワークで用いられる安全性の表記法である理想機能の併合について検討を行い、その成果の一部を国内会議で発表した。また、有料コンテンツの配布などといった状況を対象とし、従来の配達証明付き電子メールの研究分野では考慮されていなかつた、「送受信情報の価値変動」のモデルの正当性・厳密性について検討を進め、国際論文誌への投稿を行つた。

Report

(3 results)
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • 2004 Annual Research Report

Research Products

(1 results)

All 2006

All Journal Article (1 results)

  • [Journal Article] 第三者機関を利用したワンタイムIDシステムの設計,および信用論理による安全性検証2006

    • Author(s)
      今本健二, 櫻井幸一
    • Journal Title

      電子情報通信学会 和文論文誌 Vol.J89-D, No.4(In press)

    • Related Report
      2005 Annual Research Report

URL: 

Published: 2004-03-31   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi