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

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

• 批准号: 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回は必要であることを証明し,提案方式の最適性を明らかにした.今回導入した"現実的に健全である"という概念を用いることで,従来,ほとんど同じ安全性を定義していると考えられていた"非転用性"と"証拠隠蔽性"との差を明らかにすることもできた.

This study is aimed at improving communication efficiency, enhancing reliability, maintaining knowledge authentication, designing and evaluating communication systems. The new system is designed to be reliable and reliable. The definition of the credibility of the proof is the justification of the proposition, the proof is the knowledge, the argument is not natural, the argument is not natural. This paper discusses the appropriateness of the concept of "knowledge ownership" in general, and proposes that the conditions for this concept be sufficient for authentication and design. This paper discusses the application of authentication method in communication loop 4. Proofs are not correct, and the probability of proof is incomplete. In this study, the proof system of speech order type is necessary, the knowledge of proper prover is necessary, the knowledge of incorrect prover is necessary, the knowledge of actual authentication mode is necessary, the characteristics are paid, the proposal mode is proposed, and the authentication safety is used. In addition, the proposal method and the discussion of security are generalized, and the authentication method is defined as "current integrity." The number of communication loops is 4. It is necessary to prove that the proposal method is optimal. This article introduces the concept of "integrity" and the definition of "non-integrity".

项目成果

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)。