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

暗号を用いたプロトコルの安全性検証法に関する研究

基于密码学的协议安全验证方法研究

基本信息

批准号：
07780274
负责人：
渡辺創
金额：
$ 0.51万
依托单位：
Nara Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1995
资助国家：
日本
起止时间：
1995 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780274/
关键词：
暗号プロトコルネットワークセキュリティ Kerberos 著作権

项目摘要

本研究では暗号を用いたプロトコルに関し、以下のような結果を得た。これまでに提案してきたアルゴリズムでは、現実に提案されているシステムの安全性を判定できないものも少なからず存在していた。そこで本研究では、プロトコルのある通信において、その送信データと受信データの意味的な関係を考慮に入れながら、安全か否かの判定を行なうようにアルゴリズムを改良を行なった。具体的にはデータに型という属性を持たせ、実際に送信データが制限される場合をアルゴリズムに組み込むことにより、考えるべき情報集合を制限する。そして、既存のアルゴリズムではこれまで判定できなかったクラスの問題について、安全であることを検証できるアルゴリズムを提案した。同時にこの手法で検証できる問題のクラスが、安全であるようなシステムについてはもとのアルゴリズムのクラスを真に含んでおり、安全でないようなシステムについてはもとのものと等しいことを示した。その上で、上記の検証法について、その実用性を確認するためにアルゴリズムを計算機上で実現した。適用例として、MITが提案したKerberosシステムの安全性を検証し、その安全性を示した。また、ディジタルデータの不正コピーを防ぐという、著作権保護を目的としたプロトコルを提案し、その安全性を示した。

In this study, the code code was used in this study, and the following results were obtained. In the case of a proposal, there is a decision that there is a lack of security. The purpose of this study is to determine whether or not to make a decision in this study, such as communication, delivery, trust, trust, and safety. The specific attribute of the information type is related to the information, the international mail delivery system, the information collection, the information collection and the information collection. Please do not know if you have a problem, and that if you have a problem, you will find that you have a problem, and that you have a problem. At the same time, there are no questions, no problems, no problems, no Make sure that the computer is running on the computer. Use case, MIT proposal, Kerberos, Security, Security. Please tell me that you are not correct, that is, the purpose of protection, the proposal, and the safety indication.