公開鍵暗号における安全性証明理論に関する研究

公钥密码技术中的安全证明理论研究

• 批准号: 03J50991
• 负责人: 小林 良成
• 金额: $ 0.51万
• 依托单位: Chuo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 2004
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-03J50991/
• 关键词: 公開鍵暗号; 安全性; ランダムオラクル; Oracle Hashing; Gap-relation; Goldwasser-Taumann

本研究では、現在安全とされている公開鍵暗号系の方式をより現実的に安全な方式に近づけることであった。ランダムオラクル方法論とは、系に対する攻撃を試みる攻撃者が利用するハッシュ関数を真正なランダム関数として理想化したモデルを構成することによって安全性証明を得るための証明技法である。そのため、このモデルは現実と遊離している。本研究における成果は、ランダムオラクルモデルで安全であるが現実世界で非安全となると考えられている方式を現実世界でも安全に実現するための手法を提案することで、ランダムオラクルオラクル方法論を補強したことである。ランダムオラクル方法論は、現在、公開鍵暗号系の安全性証明を得るために最も利用されている証明技法である。ランダムオラクル方法論では、系に対する攻撃を試みる攻撃者が利用するハッシュ関数を真正なランダム関数として理想化し、さらに、ブラックボックスなオラクルとして抽象化する。本研究では、ランダムオラクル方法論に基づく方式の現実世界での安全な具体的実現方法として、現実世界でランダムオラクルを置き換えるための安全なハッシュ関数をCanettiによって提案されたオラクルハッシング関数(Oracle hashing functions)を用いて実現する手法を提案した。これは、ランダムオラクルというオラクルを利用して安全性証明を得ることは認めるとしても、実現方法を工夫することで安全性を維持できるのではないかという提案内容である。この主張の根拠として、ランダムオラクルモデルで安全であるが現実世界で非安全となる方式があるが、提案した手法に基づいて実現すると現実世界でも安全にできるということを示した。この提案は、オラクルという抽象的なものを現実世界でどのように捉えるか、そして、漠然としたオラクルというものへの人々の感覚をより具体的に示している結果と考えられる。

This study で は, present safety と さ れ て い る public key cipher system の way を よ り presently be に safest な に nearly づ け る こ と で あ っ た. ラ ン ダ ム オ ラ ク ル methodology と は, に す seaborne attack る shock を try み る tapping shock is が using す る ハ ッ シ ュ masato number を real な ラ ン ダ ム masato number と し て idealized し た モ デ ル を constitute す る こ と に よ っ て security to prove を る た め の proof techniques で あ る. Youdaoplaceholder0 そ ため, <s:1> モデ モデ ため と present と free て て る る. This study に お け る results は, ラ ン ダ ム オ ラ ク ル モ デ ル で security で あ る が now be world で insecure と な る と exam え ら れ て い る way を now be world で も security に be presently す る た め の technique proposed を す る こ と で, ラ ン ダ ム オ ラ ク ル オ ラ ク ル methodology を reinforcing し た こ と で あ る. ラ ン ダ ム オ ラ ク ル methodology は, now, the public key cipher system の security to prove を る た め に さ も use most れ て い る proof techniques で あ る. ラ ン ダ ム オ ラ ク ル methodology で は, に す seaborne attack る shock を try み る tapping shock is が using す る ハ ッ シ ュ masato number を real な ラ ン ダ ム masato number と し て idealized し, さ ら に, ブ ラ ッ ク ボ ッ ク ス な オ ラ ク ル と し て abstraction す る. This study で は, ラ ン ダ ム オ ラ ク ル methodology に base づ く way の world be now で の security な specific be now methods と し て, now be world で ラ ン ダ ム オ ラ ク ル を buy き in え る た め の security な ハ ッ シ ュ masato number を Canetti に よ っ て proposal さ れ た オ ラ ク ル ハ ッ シ ン グ masato number (Oracle of hashing functions)を using the を て implementation する technique を proposal た た. こ れ は, ラ ン ダ ム オ ラ ク ル と い う オ ラ ク ル を using し て security to prove を る こ と は recognize め る と し て も, be presently を time す る こ と で security を maintain で き る の で は な い か と い う proposal content で あ る. こ の advocated の root 拠 と し て, ラ ン ダ ム オ ラ ク ル モ デ ル で security で あ る が now be world で insecure と な る way が あ る が, proposal し た gimmick に base づ い て be presently す る と now be world で も security に で き る と い う こ と を shown し た. こ の proposal は, オ ラ ク ル と い う abstract な も の world で を now be ど の よ う に catch え る か, そ し て, indifferent と し た オ ラ ク ル と い う も の へ の people 々 の feeling 覚 を よ り specific に shown し て い る results と exam え ら れ る.