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

使用密码技术的认证密钥管理方法以及带有送达证明的电子邮件的设计和分析

• 批准号: 04J06737
• 负责人: 今本 健二
• 金额: $ 1.79万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2006
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-04J06737/
• 关键词: 安全性定義; 配達証明つき電子メール; 鍵交換プロトコル; ID情報秘匿性; 証明可能安全性; 価値変動; ゲーム理論; 暗号技術; 鍵共有プロトコル; ID情報秘匿; 公平交換プロトコル; 配達証明付き電子メール

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

Research project in 2017, key exchange protocol, ID information confidentiality project, security project proposal, and propertyを満たすため, once limited to make い屋てのidentification information であるワンタイムIDを use いたkey to exchange プロトコルを proposal, review 価した. This year's results are listed on the results of this year, including the results of the safety test, the safety certification test, and the safety certification test. Specific safety, existing security safety Universal Composability research and safety The notation method is the combination of the ideal function and the combination of the ideal function and the result of the domestic meeting.また、有material コンテンツの片などといったcondition を対Elephant とし、従来の配达certificate payment きelectronics メールのResearch division では Consider されていなかつた, "Send and receive trusted information" のモデルのrighteousness・confidentiality について検 Discussion を Advance め, International Journal of Essays へのContribution を行 つた.