知識の対話型証明に関する研究と暗号認証システム効率改善への応用

交互式知识证明研究及其在提高密码认证系统效率中的应用

• 批准号: 08780292
• 负责人: 櫻井 幸一
• 金额: $ 0.7万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-08780292/
• 关键词: 暗号; 情報セキュリティ; 認証技術; ゼロ知識証明; 通信プロトコル; 知識表現; 非転用性; 証拠隠とく性

本研究では、通信効率が良く、かつ高い信頼性を持つゼロ知識認証プロトコルを設計しその評価を行なった.新たに従来のゼロ知識という完全な安全性を従来どおり維持するかわりに,信頼性の条件を緩める,すなわち証明されるべき対象を広げることで,より通信効率のよいプロトコルを設計することを試みた.従来のゼロ知識対話埋証明の信頼性の定義は命題の正当性という枠組で論じられているため、その命題に対して,どんな証明を知っているかという知識を議論するには不十分な点や不自然な制約を与えるという欠点があった.こうした問題を解決するため,本研究では,"ある(秘密)情報を知っている"という状態を解析することで,広く一般的な"知識所有"の概念を提案し,この条件を満足する認証プロトコルの設計を行ない,提案する新しい"知識所有"の概念の妥当性を論じた.今回の研究では,通信回数4回のプロトコルを提案し,認証方式への応用を検討した.提案したプロトコルは,従来の言語命題型証明系の枠組では,証明者が不正を行なう可能性があり,不完全なものとして,扱われていた.これにたいして,本研究では,言語命題型証明系において,正当な証明者が必要とする知識と,不正な証明者が必要とする知識とを比較することで,実際の認証方式に必要な認識を特徴付け,提案方式が,認証に安全に応用できることを明らかにした.さらに,提案した方式と,その安全性の議論を一般化し,認証方式が"現実的に健全である"というあらたな定義を与えた.また、現実的に健全であるゼロ知識認証プロトコルは、通信回数が4回は必要であることを証明し,提案方式の最適性を明らかにした.今回導入した"現実的に健全である"という概念を用いることで,従来,ほとんど同じ安全性を定義していると考えられていた"非転用性"と"証拠隠蔽性"との差を明らかにすることもできた.

在这项研究中，我们设计了具有良好沟通效率和高可靠性的零知识认证协议。知识对话是在命题的合法性中进行的，这是一个缺点，讨论了您所知道的证据的知识，以及通过分析这些问题的缺点我们提出了一个共同的“知识所有权”的概念，并提出了一个满足此条件的认证协议的状态研究，我们提出了4次交流的建议，并将其应用于身份验证方法。在这项研究中，在语言命题类型认证系统中，合法证书所需的知识通过比较未经授权的证书所需的知识，我们已经表明了实际身份验证方法所必需的意识提案方法可以安全地进行身份验证并通过使用“真实健康”的概念来阐明该提案方法的最佳性。和“隐藏证据”。

项目成果

Kouichi SAKURAI: "A Hidden Cryptrographic Assuptian in No-transfudle Identification schemc" Proc.ASIACRYDT'96 Lecture Notesin Corp.Siienu. 1163. 159-172 (1996)

Kouichi SAKURAI：“无传输识别方案中的隐藏密码学 Assuptian”Proc.ASIACRYDT96 讲座笔记 Corp.Siienu。

櫻井,幸一: "認証方式における証拠隠蔽性と非転用性との比較" 1996年暗号と情報セキュリティシンポジウム論文集. 5F (1996)

Koichi Sakurai：“身份验证方法中证据隐藏和非转移的比较”1996 年密码学和信息安全研讨会论文集 5F (1996)。