暗号プロトコルの数理的構造と検証補完に関する基礎研究

密码协议数学结构与验证完成的基础研究

• 批准号: 14780225
• 负责人: 森 雅生
• 金额: $ 2.11万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2002
• 资助国家: 日本
• 起止时间: 2002 至 2003
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-14780225/
• 关键词: Cryptography; Anthentication Protocol; Verification; 暗号プロトコル; 仕様検証

本研究の目的は次の3点であり、それぞれ以下のような研究結果となった。●プロトコルの数理モデル化攻撃可能なプロトコルを経験的に補完する例は知られているが、それをプロトコルすべてのセキュリティホールに適用すると冗長性を生じる。このことに注意して、まず暗号化関数と補助的な情報をメッセージに挿入するだけの数理モデルを考察した。これは数理的なモデルでありモノイドとなる。●正規の通信と攻撃的通信の分類一般にプロトコルは公開されており、これを悪用した攻撃は正規の通信との分別が困難である。上述したモノイドモデルでの攻撃的通信を分別することは可能である。●効率に関する考察冗長性はプロトコルの効率性と反比例する。このことについては上述のモデルだけでは議論が不十分であることが分かった。さらに一般的なモデルを構築することが必要となるが、メッセージ集合を文字列とし、プロトコルの実行はメッセージ間の通信と時系列関係によるグラフ(通信グラフ)と考え、文字列としたメッセージが通信グラフの頂点に割り当てられるような構造を考えた。しかしながら、予想していたよりも複雑な構造を持つことがわかり、この一般的なグラフモデルでのプロトコルの安全性と冗長性に関する理論的な結果を得るにはいたらなかった。さらなる研究が必要である。

The purpose of this study is to study the following three points: The number of cases in which a mathematical attack is possible is not sufficient. In this paper, we pay attention to the mathematical and physical aspects of how encrypted data and subsidy information can be entered into the device.これは数理的なモデルでありモノイドとなる。● Regular communication and attack classification of communication is generally open, and attacks are difficult to use separately. The above attacks are not possible.● The efficiency is related to the investigation of the redundancy and the efficiency and the proportion. This is not the case. The communication time series relationship between the general communication group and the general communication group is discussed in detail. The results of the theory of safety and verbosity of the complex structure are obtained. Research is necessary.

项目成果

Masao Mori: "On Algorithmic Partial Analysis for Secure Cryptographic Protocols"Proceedings of International Symposium on Information Science and Electrical Engineering 2003. 134 (2003)

Masao Mori：《论安全密码协议的算法部分分析》信息科学与电气工程国际研讨会论文集 2003. 134 (2003)