权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

暗号プロトコルの安全性を将来にわたり保証するGUC安全性の形式的検証法の研究開発

研究开发GUC安全形式化验证方法，保证未来密码协议的安全

基本信息

批准号：
11J05871
负责人：
鈴木斎輝
金额：
$ 0.38万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2011
资助国家：
日本
起止时间：
2011 至 2012
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-11J05871/
关键词：
暗号プロトコル GUC安全性形式的検証コミットメント

项目摘要

本研究では,暗号プロトコルにおける重要な安全性である,一般化汎用結合可能性(GUC:Generalized Universal Composability)に基づく安全性に関する研究を行う.GUC安全性は,任意のプロトコルと公開鍵などの情報を共有した形で,組み合わせて実行されても損なわれず,現時点で最も強固な安全性である.そのため,オンライバンキングのようなネットワークサービスの構成要素となる暗号プロトコルには,必須の安全性である.平成24年度は,以下の2つの目的をもって研究を行った.1.安全なサービスに必須となる暗号プロトコルのGUC安全性検証のための知見を得ること.2.得られた知見を基に,GUC安全性検証法の拡張を行うこと.1つ目の目的に関連して,GUC安全なコミットメントプロトコルを提案した.コミットメントプロトコルは多くの暗号プロトコルの構成要素として利用される.この成果を通して,GUC安全なコミットメントプロトコルに必須となる性質をとらえることができた.しかし,これまでのGUC安全性の検証法では,プロトコルの記述能力が不十分であり,枠組みを拡張することが必要であることが分かった.これに基づき,2つ目の目的であるGUC安全性検証法の拡張を現在行っている.拡張の目的は,プロトコルの記述能力を高め,コミットメントプロトコルなどの多様なプロトコルを検証できるようにすることである.具体的には,2つの拡張を行う.1つ目の拡張は公開鍵などの情報を共有する処理の記述に拡張性をもたせることである.これにより,多様なプロトコルをより容易に記述できるようにした.現在,この成果に関して研究発表の準備を行っている.2つ目の拡張は検証可能な機能を増やすことである.これまで,認証の機能を検証可能にした.今後,1つ目の目的の成果によって得られた知見より,コミットメントプロトコルに必須となる性質を検証できるように拡張する予定である.

This study is aimed at studying the fundamental security of GUC (Generalized Universal Composability).GUC security is based on the idea that arbitrary public key information can be shared, grouped, and implemented in a way that is currently the most robust security. Security is essential for the security of all components of a service. In 2004, the following two objectives were studied: 1. Safety and security requirements were met; 2. Knowledge was obtained; 3. GUC safety certification was established; 4. Objective and relevance were met; and 4. GUC safety certification was proposed. The key elements of a multi-channel communication system are utilized. The results of this work are clear, and GUC security is essential. The GUC security evaluation method is not very effective, and the group is necessary. The GUC security module is currently in operation. The purpose of this paper is to improve the description ability of the file, and to improve the description ability of the file. Specific, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 10, 11, 12, 10, 12, 13, 14, 15, 16, 17, 18, 19, 10, This is a very easy way to describe a lot of things. Now, the results of this research are related to the preparation of research and development. 2. The purpose of this research is to enhance the possible functions of research and development. Therefore, the authentication function is possible. In the future, the results of the first goal will be known, and the nature of the project will be verified.