1995 Fiscal Year Annual Research Report
| Project/Area Number |
07780274
|
|---|
| Research Institution | Nara Institute of Science and Technology |
|---|
Principal Investigator |
渡辺 創 奈良先端科学技術大学院大学, 情報科学研究科, 助手 (80263432)
|
|---|
| Keywords | 暗号プロトコル / ネットワークセキュリティ / Kerberos / 著作権 |
|---|
| Research Abstract |
本研究では暗号を用いたプロトコルに関し、以下のような結果を得た。
これまでに提案してきたアルゴリズムでは、現実に提案されているシステムの安全性を判定できないものも少なからず存在していた。そこで本研究では、プロトコルのある通信において、その送信データと受信データの意味的な関係を考慮に入れながら、安全か否かの判定を行なうようにアルゴリズムを改良を行なった。具体的にはデータに型という属性を持たせ、実際に送信データが制限される場合をアルゴリズムに組み込むことにより、考えるべき情報集合を制限する。そして、既存のアルゴリズムではこれまで判定できなかったクラスの問題について、安全であることを検証できるアルゴリズムを提案した。同時にこの手法で検証できる問題のクラスが、安全であるようなシステムについてはもとのアルゴリズムのクラスを真に含んでおり、安全でないようなシステムについてはもとのものと等しいことを示した。その上で、上記の検証法について、その実用性を確認するためにアルゴリズムを計算機上で実現した。適用例として、MITが提案したKerberosシステムの安全性を検証し、その安全性を示した。また、ディジタルデータの不正コピーを防ぐという、著作権保護を目的としたプロトコルを提案し、その安全性を示した。
|
Research Products
(2 results)
-
[Publications] Hajime Watanabe et al.: "An Improved Method for Formal Verification of Cryptographic Protocols" IEICE Transactions on Fundamentals of Electronics,Communications and Computer Sciences(to appear). (1996)
-
[Publications] 鈴置昌宏他: "ディジタル動画像に対する著作権保護の一手法-不正コピーを行ったユーザを特定する手法-" 電子情報通信学会技術研究報告(情報セキュリティ研究会). ISEC95-47. 13-18 (1996)
