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

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

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

这项研究的目的是以下三点，以及以下研究结果。 ●协议数学建模指令在经验上是已知的，可以补充可能的协议，但是将其应用于所有安全孔将导致冗余。考虑到这一点，我们首先考虑了一个数学模型，该模型仅将加密功能和辅助信息插入消息中。这是一个数学模型和单体模型。 ●对合法沟通和一般的积极沟通的分类，协议向公众开放，滥用这种攻击的攻击很难与常规沟通分开。可以与上述描述的单体模型分开激进的交流。 ●考虑效率冗余与协议效率成反比。发现仅上述模型的讨论不足。此外，有必要构建一个通用模型，但是消息集是字符串，由于消息和时间序列之间的通信，该协议的执行被视为图形（通信图），并且字符串消息是通信。我们考虑了可以分配到图表顶部的结构。但是，发现它具有比预期的更复杂的结构，并且在此一般图模型中无法获得协议安全性和冗余的理论后果。需要进一步的研究。

项目成果

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)