偽造が証明可能なディジタル署名方式に関する研究

可证明伪造的数字签名系统研究

• 批准号: 14750293
• 负责人: 桑門 秀典
• 金额: $ 2.43万
• 依托单位: Kobe University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2002
• 资助国家: 日本
• 起止时间: 2002 至 2003
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-14750293/
• 关键词: ディジタル署名; fail-stop署名; 偽造検出; 有向木; 情報公開用署名; 衝突制御型ハッシュ関数; デイジタル署名

ディジタルデータの正当性を保証するディジタル署名技術が急速に普及しつつある.本研究の目的は,ディジタル署名が偽造された場合,正規の署名者がそれが偽造されたものであることを証明できる機能をもつ実用的なディジタル署名方式を考案することである.平成15年度では,偽造が証明可能なディジタル署名方式を一般的な仮定の下で構成する方法について研究を行った.その結果,衝突を制御できるハッシュ関数(衝突制御型ハッシュ関数)の概念を提案し,その具体的な構成法を発見した.衝突制御型ハッシュ関数とは,n個の入力の値に対しては同じ出力値を得ることが容易だが,n+1個の入力の値に対しては同じ出力値を得ることが難しいような関数である.衝突制御型ハッシュ関数を用いると,任意の衝突困難な一方向性ハッシュ関数を用いて,偽造が証明可能なディジタル署名方式を構成できる.この衝突制御型ハッシュ関数は,本研究だけでなく,さまざまなアプリケーションに利用できるものであり,今後さらに研究を進める予定である.平成15年度の後半は,衝突制御型ハッシュ関数の実装を行った.計算機シミュレーションによりn=2の衝突制御型ハッシュ関数は高速に計算可能であることが確認された.n≦5ならば,LLLアルゴリズムを用いて実用的な時間内で計算可能であるが,nが大きくなると,実用的な時間内で計算することが難しいことが判明した.

Youdaoplaceholder0 ディジタ デ ディジタ タ タ タ <s:1> legitimacy を guarantee するディジタ するディジタ the technology of attribution が rapid に popularization に ある ある ある ある ある ある ある ある ある は の purpose, this study デ ィ ジ タ ル が forged signature さ れ た occasions, formal の signatories が そ れ が forged さ れ た も の で あ る こ と を prove で き る function を も つ be used な デ ィ ジ タ ル signed way を test case す る こ と で あ る. Pp.47-53 15 year で は, forged が proof may な デ ィ ジ タ ル signed way を general な 仮 under fixed の で constitute す る method に つ い を line っ て research た. そ の as a result, the conflict を suppression で き る ハ ッ シ ュ masato number (conflict suppression ハ ッ シ ュ masato) concept proposed を し の, そ の specific な composition method を 発 see し た. Type conflict suppression ハ ッ シ ュ masato number と は, n の の into force numerical に し seaborne て は with じ output numerical を must る こ と が easy だ が, n + 1 の の into force numerical に し seaborne て は with じ output numerical を must る こ と が difficult し い よ う な masato number で あ る. Type conflict suppression ハ ッ シ ュ masato number を with い る と, any difficult な の conflict a directional ハ ッ シ ュ masato number を with い て, forged が proof may な デ ィ ジ タ ル signed を compose で き る. こ の conflict type suppression ハ ッ シ ュ masato は, this study だ け で な く, さ ま ざ ま な ア プ リ ケ ー シ ョ ン に using で き る も の で あ り, future さ ら に research Youdaoplaceholder0 goes into める to determine である. In the second half of the year of Heisei 15, ハッシュ, the conflict control type ハッシュ, the number of lines, and the actual equipment are を and った. Computer シ ミ ュ レ ー シ ョ ン に よ り n = 2 type の conflict suppression ハ ッ シ ュ masato number calculates は high-speed に may で あ る こ と が confirm さ れ た. N ≦ 5 な ら ば, the name 'LLL ア ル ゴ リ ズ ム を with い て で calculation may be used な time で あ る が, n が big き く な る と, be use で な time calculation す る こ と が difficult し い こ と が.at し た .

项目成果

桑門 秀典: "Digital signature schemes for information disclosure"Proceedings of the 2002 International Symposium on Information Theory and its Applications. 551-554 (2002)

Hidenori Kuwamon：“信息披露的数字签名方案”2002 年信息论及其应用国际研讨会论文集 551-554 (2002)。

桑門 秀典: "Transitive signature scheme for directed trees"電子情報通信学会論文誌. E86-A・5. 1120-1126 (2003)

Hidenori Kuwamon：“有向树的传递签名方案”电子、信息和通信工程师学会汇刊 E86-A·5（2003 年）。

桑門 秀典: "Fail-stop signature scheme for directed trees"情報処理学会シンポジウムシリーズ コンピュータセキュリティシンポジウム2002論文集. 16. 89-94 (2002)

Hidenori Kuwamon：“有向树的故障停止签名方案”日本信息处理学会研讨会系列计算机安全研讨会 2002 年论文集。 16. 89-94 (2002)

桑門 秀典: "Threshold ring signature scheme based on the curve"情報処理学会論文誌. 44・8. 2146-2154 (2003)

Hidenori Kuwamon：“基于曲线的阈值环签名方案”日本信息处理学会会刊 44・8（2003）。