JP2013042295A - 情報処理装置、情報処理方法、プログラム、及び記録媒体 - Google Patents

情報処理装置、情報処理方法、プログラム、及び記録媒体 Download PDF

Info

Publication number
JP2013042295A
JP2013042295A JP2011177071A JP2011177071A JP2013042295A JP 2013042295 A JP2013042295 A JP 2013042295A JP 2011177071 A JP2011177071 A JP 2011177071A JP 2011177071 A JP2011177071 A JP 2011177071A JP 2013042295 A JP2013042295 A JP 2013042295A
Authority
JP
Japan
Prior art keywords
information
algorithm
verifier
prover
message
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP2011177071A
Other languages
English (en)
Other versions
JP5790287B2 (ja
Inventor
Koichi Sakumoto
紘一 作本
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Sony Corp
Original Assignee
Sony Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Priority to JP2011177071A priority Critical patent/JP5790287B2/ja
Application filed by Sony Corp filed Critical Sony Corp
Priority to CN201280038070.5A priority patent/CN103718502B/zh
Priority to PCT/JP2012/066125 priority patent/WO2013024629A1/ja
Priority to AU2012296044A priority patent/AU2012296044B2/en
Priority to EP12823703.9A priority patent/EP2744146A4/en
Priority to CA 2839690 priority patent/CA2839690A1/en
Priority to US14/235,240 priority patent/US9178700B2/en
Priority to KR1020147002640A priority patent/KR101986392B1/ko
Priority to RU2014104084/08A priority patent/RU2603551C2/ru
Priority to MX2014001451A priority patent/MX338025B/es
Priority to BR112014002854A priority patent/BR112014002854A2/pt
Priority to TW101125907A priority patent/TWI511517B/zh
Publication of JP2013042295A publication Critical patent/JP2013042295A/ja
Application granted granted Critical
Publication of JP5790287B2 publication Critical patent/JP5790287B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/08Key distribution or management, e.g. generation, sharing or updating, of cryptographic keys or passwords
    • H04L9/0861Generation of secret information including derivation or calculation of cryptographic keys or passwords
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/30Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy
    • H04L9/3093Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy involving Lattices or polynomial equations, e.g. NTRU scheme
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/32Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
    • H04L9/3247Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials involving digital signatures
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/32Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
    • H04L9/3271Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using challenge-response

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Signal Processing (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Pure & Applied Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Physics & Mathematics (AREA)
  • Mathematical Optimization (AREA)
  • Computing Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Mathematical Analysis (AREA)
  • General Physics & Mathematics (AREA)
  • Algebra (AREA)
  • Storage Device Security (AREA)

Abstract

【課題】高い安全性を有する効率的な公開鍵認証方式を実現すること。
【解決手段】
多次多変数多項式の組F=(f,…,f)及びベクトルsに基づいてメッセージを生成し、前記多次多変数多項式の組F及びベクトルy=(f(s),…,f(s))を保持する検証者に前記メッセージを提供し、k通りの検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供する情報処理装置が提供される。但し、前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成される。また、ベクトルx=(xl1,…,xln)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成される。
【選択図】図14

Description

本技術は、情報処理装置、情報処理方法、プログラム、及び記録媒体に関する。
情報処理技術や通信技術の急速な発展に伴い、公文書、私文書を問わず、文書の電子化が急速に進んでいる。これに伴い、多くの個人や企業は、電子文書の安全管理に大きな関心を寄せている。こうした関心の高まりを受け、各方面で電子文書の盗聴や偽造等のタンパリング行為に対する対抗策が盛んに研究されるようになってきた。電子文書の盗聴に対しては、例えば、電子文書を暗号化することにより安全性が確保される。また、電子文書の偽造に対しては、例えば、電子署名を利用することにより安全性が確保される。但し、利用する暗号や電子署名が高いタンパリング耐性を有していなければ、十分な安全性が保証されない。
電子署名は、電子文書の作成者を特定するために利用される。そのため、電子署名は、電子文書の作成者しか生成できないようにすべきである。仮に、悪意ある第三者が同じ電子署名を生成できてしまうと、その第三者が電子文書の作成者に成りすますことができてしまう。つまり、悪意ある第三者により電子文書が偽造されてしまう。こうした偽造を防止するため、電子署名の安全性については様々な議論が交わされてきた。現在広く利用されている電子署名方式としては、例えば、RSA署名方式やDSA署名方式などが知られている。
RSA署名方式は、「大きな合成数に対する素因数分解の困難性(以下、素因数分解問題)」を安全性の根拠とする。また、DSA署名方式は、「離散対数問題に対する解の導出の困難性」を安全性の根拠とする。これらの根拠は、古典的なコンピュータを利用して素因数分解問題や離散対数問題を効率的に解くアルゴリズムが存在しないことに起因する。つまり、上記の困難性は、古典的なコンピュータにおける計算量的な困難性を意味する。しかしながら、量子コンピュータを用いると、素因数分解問題や離散対数問題に対する解答が効率的に算出されてしまうと言われている。
現在利用されている電子署名方式や公開鍵認証方式の多くは、RSA署名方式やDSA署名方式と同様、素因数分解問題や離散対数問題の困難性に安全性の根拠をおいている。そのため、こうした電子署名方式や公開鍵認証方式は、量子コンピュータが実用化された場合に、その安全性が確保されないことになる。そこで、素因数分解問題や離散対数問題など、量子コンピュータにより容易に解かれてしまう問題とは異なる問題に安全性の根拠をおく新たな電子署名方式及び公開鍵認証方式の実現が求められている。量子コンピュータにより容易に解くことが難しい問題としては、例えば、多変数多項式問題がある。
多変数多項式問題に安全性の根拠をおく電子署名方式としては、例えば、MI(Matsumoto−Imai cryptography)、HFE(Hidden Field Equation cryptography)、OV(Oil−Vinegar signature scheme)、TTM(Tamed Transformation Method cryptography)に基づく方式が知られている。例えば、下記の非特許文献1、2には、HFEに基づく電子署名方式が開示されている。
Jacques Patarin Asymmetric Cryptography with a Hidden Monomial. CRYPTO 1996, pp.45−60. Patarin, J., Courtois, N., and Goubin, L. QUARTZ, 128−Bit Long Digital Signatures. In Naccache,D., Ed. Topics in Cryptology − CT−RSA 2001 (San Francisco, CA, USA, April 2001), vol. 2020 of Lecture Notes in Computer Science, Springer−Verlag., pp.282−297.
上記の通り、多変数多項式問題は、量子コンピュータを用いても解くことが困難なNP困難問題と呼ばれる問題の一例である。通常、HFEなどに代表される多変数多項式問題を利用した公開鍵認証方式は、特殊なトラップドアが仕込まれた多次多変数連立方程式を利用している。例えば、x,…,xに関する多次多変数連立方程式F(x,…,x)=yと線形変換A及びBが用意され、線形変換A及びBが秘密に管理される。この場合、多次多変数連立方程式F、線形変換A及びBがトラップドアとなる。
トラップドアF,A,Bを知っているエンティティは、x,…,xに関する方程式B(F(A(x,…,x)))=y’を解くことができる。一方、トラップドアF,A,Bを知らないエンティティは、x,…,xに関する方程式B(F(A(x,…,x)))=y’を解くことができない。この仕組みを利用することにより、多次多変数連立方程式の解答困難性を安全性の根拠とする公開鍵認証方式や電子署名方式が実現される。
上記の通り、こうした公開鍵認証方式や電子署名方式を実現するには、B(F(A(x,…,x)))=yを満たすような特殊な多次多変数連立方程式を用意する必要がある。また、署名生成時に多次多変数連立方程式Fを解く必要がある。そのため、利用可能な多次多変数連立方程式Fは、比較的容易に解けるものに限られていた。すなわち、これまでの方式においては、比較的容易に解ける3つの関数(トラップドア)B、F、Aを合成した形の多次多変数連立方程式B(F(A(x,…,x)))=yしか用いることができず、十分な安全性を確保することが難しかった。
本技術は、上記の事情に鑑みて、効率的に解く手段(トラップドア)が知られていない多次多変数連立方程式を用いて高い安全性を有する効率的な公開鍵認証方式及び電子署名方式を実現することが可能な、新規かつ改良された情報処理装置、情報処理方法、プログラム、及び記録媒体の提供を意図して考案されたものである。
本技術のある観点によれば、多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するメッセージ生成部と、前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するメッセージ提供部と、前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成する中間情報生成部と、前記検証者に前記第3の情報を提供する中間情報提供部と、k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供する回答提供部と、を備え、前記ベクトルsは秘密鍵であり、前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、情報処理装置が提供される。
また、本技術の別の観点によれば、多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報保持部と、前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するメッセージ取得部と、前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供する情報提供部と、前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得する中間情報取得部と、k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するパターン情報提供部と、前記選択した検証パターンに対応する回答情報を前記証明者から取得する回答取得部と、前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証する検証部と、を備え、前記ベクトルsは秘密鍵であり、前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、情報処理装置が提供される。
また、本技術の別の観点によれば、多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するステップと、前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するステップと、前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成するステップと、前記検証者に前記第3の情報を提供するステップと、k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供するステップと、を含み、前記ベクトルsは秘密鍵であり、前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、情報処理方法が提供される。
また、本技術の別の観点によれば、多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報処理装置が、前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するステップと、前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供するステップと、前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得するステップと、k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するステップと、前記選択した検証パターンに対応する回答情報を前記証明者から取得するステップと、前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証するステップと、を含み、前記ベクトルsは秘密鍵であり、前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、情報処理方法が提供される。
また、本技術の別の観点によれば、多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するメッセージ生成機能と、前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するメッセージ提供機能と、前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成する中間情報生成機能と、前記検証者に前記第3の情報を提供する中間情報提供機能と、k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供する回答提供機能と、をコンピュータに実現させるためのプログラムであり、前記ベクトルsは秘密鍵であり、前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、プログラムが提供される。
また、本技術の別の観点によれば、多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報保持機能と、前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するメッセージ取得機能と、前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供する情報提供機能と、前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得する中間情報取得機能と、k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するパターン情報提供機能と、前記選択した検証パターンに対応する回答情報を前記証明者から取得する回答取得部と、前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証する検証機能と、をコンピュータに実現させるためのプログラムであり、前記ベクトルsは秘密鍵であり、前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、プログラムが提供される。
また、本技術の別の観点によれば、多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するメッセージ生成機能と、前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するメッセージ提供機能と、前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成する中間情報生成機能と、前記検証者に前記第3の情報を提供する中間情報提供機能と、k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供する回答提供機能と、をコンピュータに実現させるためのプログラムが記録された、コンピュータにより読み取り可能な記録媒体であり、前記ベクトルsは秘密鍵であり、前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、記録媒体が提供される。
また、本技術の別の観点によれば、多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報保持機能と、前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するメッセージ取得機能と、前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供する情報提供機能と、前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得する中間情報取得機能と、k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するパターン情報提供機能と、前記選択した検証パターンに対応する回答情報を前記証明者から取得する回答取得部と、前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証する検証機能と、をコンピュータに実現させるためのプログラムが記録された、コンピュータにより読み取り可能な記録媒体であり、前記ベクトルsは秘密鍵であり、前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、記録媒体が提供される。
以上説明したように本技術によれば、効率的に解く手段(トラップドア)が知られていない多次多変数連立方程式を用いて、高い安全性を有する効率的な公開鍵認証方式又は電子署名方式を実現することが可能になる。
公開鍵認証方式に係るアルゴリズムの構成について説明するための説明図である。 電子署名方式に係るアルゴリズムの構成について説明するための説明図である。 nパスの公開鍵認証方式に係るアルゴリズムの構成について説明するための説明図である。 3パスの公開鍵認証方式に係る具体的なアルゴリズムの構成例について説明するための説明図である。 3パスの公開鍵認証方式に係る効率的なアルゴリズムについて説明するための説明図である。 3パスの公開鍵認証方式に係る効率的なアルゴリズムの並列化について説明するための説明図である。 3パスの高次多変数多項式を利用した公開鍵認証方式(方式#1)のアルゴリズムの一例について説明するための説明図である。 3パスの高次多変数多項式を利用した公開鍵認証方式(方式#1)の並列化アルゴリズムの一例について説明するための説明図である。 5パスの公開鍵認証方式に係る具体的なアルゴリズムの構成例について説明するための説明図である。 5パスの公開鍵認証方式に係る効率的なアルゴリズムの構成例について説明するための説明図である。 5パスの公開鍵認証方式に係る効率的なアルゴリズムの並列化について説明するための説明図である。 5パスの高次多変数多項式を利用した公開鍵認証方式(方式#1)のアルゴリズムの一例について説明するための説明図である。 5パスの高次多変数多項式を利用した公開鍵認証方式(方式#1)の並列化アルゴリズムの一例について説明するための説明図である。 5パスの高次多変数多項式を利用した公開鍵認証方式(方式#2)のアルゴリズムの一例について説明するための説明図である。 5パスの高次多変数多項式を利用した公開鍵認証方式(方式#2)の並列化アルゴリズムの一例について説明するための説明図である。 5パスの高次多変数多項式を利用した公開鍵認証方式(方式#2)の効率的な並列化アルゴリズムの一例について説明するための説明図である。 5パスの高次多変数多項式を利用した公開鍵認証方式(方式#2)の更に効率的な並列化アルゴリズムの一例について説明するための説明図である。 3パスの公開鍵認証方式に係る効率的なアルゴリズムを電子署名方式のアルゴリズムに変形する方法について説明するための説明図である。 3パスの公開鍵認証方式に係る効率的なアルゴリズムを更に効率的な電子署名方式のアルゴリズムに変形する方法について説明するための説明図である。 5パスの公開鍵認証方式に係る効率的なアルゴリズムを電子署名方式のアルゴリズムに変形する方法について説明するための説明図である。 5パスの公開鍵認証方式に係る更に効率的なアルゴリズムを電子署名方式のアルゴリズムに変形する方法について説明するための説明図である。 3パスの公開鍵認証方式に係る効率的なアルゴリズムの並直列構成について説明するための説明図である。 3パスの公開鍵認証方式に係る効率的なアルゴリズムの直並列構成について説明するための説明図である。 5パスの公開鍵認証方式に係る効率的なアルゴリズムの並直列構成(並直列構成#1)について説明するための説明図である。 5パスの公開鍵認証方式に係る効率的なアルゴリズムの並直列構成(並直列構成#2)について説明するための説明図である。 5パスの公開鍵認証方式に係る効率的なアルゴリズムの直並列構成(直並列構成#1)について説明するための説明図である。 5パスの公開鍵認証方式に係る効率的なアルゴリズムの直並列構成(直並列構成#2)について説明するための説明図である。 本技術の各実施形態に係るアルゴリズムを実行することが可能な情報処理装置のハードウェア構成例について説明するための説明図である。 本技術の第1及び第2実施形態に係る公開鍵認証方式において用いられるパラメータの好適な設定方法及びその効果について説明するための説明図である。
以下に添付図面を参照しながら、本技術の好適な実施の形態について詳細に説明する。なお、本明細書及び図面において、実質的に同一の機能構成を有する構成要素については、同一の符号を付することにより重複説明を省略する。
[説明の流れについて]
ここで、以下に記載する本技術の実施形態に関する説明の流れについて簡単に述べる。まず、図1を参照しながら、公開鍵認証方式のアルゴリズム構成について説明する。次いで、図2を参照しながら、電子署名方式のアルゴリズム構成について説明する。次いで、図3を参照しながら、nパスの公開鍵認証方式について説明する。
次いで、図4〜図8を参照しながら、3パスの公開鍵認証方式に係るアルゴリズムの構成例について説明する。次いで、図5〜図17を参照しながら、5パスの公開鍵認証方式に係るアルゴリズムの構成例について説明する。次いで、図18〜図21を参照しながら、3パス及び5パスの公開鍵認証方式に係る効率的なアルゴリズムを電子署名方式のアルゴリズムに変形する方法について説明する。
次いで、図22〜図27を参照しながら、3パス及び5パスの公開鍵認証方式に係る効率的なアルゴリズムの並直列構成及び直並列構成について説明する。次いで、図28を参照しながら、本技術の第1及び第2実施形態に係る各アルゴリズムを実現することが可能な情報処理装置のハードウェア構成例について説明する。最後に、本実施形態の技術的思想について纏め、当該技術的思想から得られる作用効果について簡単に説明する。
(説明項目)
1:はじめに
1−1:公開鍵認証方式のアルゴリズム
1−2:電子署名方式のアルゴリズム
1−3:nパスの公開鍵認証方式
2:3パスの公開鍵認証方式に係るアルゴリズムの構成
2−1:具体的なアルゴリズムの構成例
2−2:2次多変数多項式に基づく効率的なアルゴリズム
2−2−1:基本構成
2−2−2:並列化アルゴリズム
2−3:高次多変数多項式に基づく効率的なアルゴリズム(方式#1)
2−3−1:基本構成
2−3−2:並列化アルゴリズム
3:5パスの公開鍵認証方式に係るアルゴリズムの構成
3−1:具体的なアルゴリズムの構成例
3−2:2次多変数多項式に基づく効率的なアルゴリズム
3−2−1:基本構成
3−2−2:並列化アルゴリズム
3−3:高次多変数多項式に基づく効率的なアルゴリズム(実施例1)
3−3−1:基本構成
3−3−2:並列化アルゴリズム
3−4:高次多変数多項式に基づく効率的なアルゴリズム(実施例2)
3−4−1:基本構成
3−4−2:並列化アルゴリズム(構成例1)
3−4−3:並列化アルゴリズム(構成例2:高効率)
3−4−4:並列化アルゴリズム(構成例2:更に高効率)
4:電子署名方式への変形
4−1:3パスの公開鍵認証方式から電子署名方式への変形
4−1−1:電子署名アルゴリズム(構成例1)
4−1−2:電子署名アルゴリズム(構成例2:高効率)
4−2:5パスの公開鍵認証方式から電子署名方式への変形
4−2−1:電子署名アルゴリズム(構成例1)
4−2−2:電子署名アルゴリズム(構成例2:高効率)
5:ハイブリッド型アルゴリズム
5−1:3パスの公開鍵認証方式に係るハイブリッド型アルゴリズム
5−1−1:並直列アルゴリズム
5−1−2:直並列アルゴリズム
5−2:5パスの公開鍵認証方式に係るハイブリッド型アルゴリズム
5−2−1:並直列アルゴリズム(構成例#1)
5−2−2:並直列アルゴリズム(構成例#2)
5−2−3:直並列アルゴリズム(構成例#1)
5−2−4:直並列アルゴリズム(構成例#2)
6:補遺
6−1:システムパラメータの設定方法
6−2:イレギュラーな要求に対する応答方法
6−2−1:証明者による応答方法について
6−2−2:検証者による応答方法について
7:ハードウェア構成例
8:まとめ
<1:はじめに>
本実施形態は、多次多変数連立方程式に対する求解問題の困難性に安全性の根拠をおく公開鍵認証方式及び電子署名方式に関する。但し、本実施形態は、HFE電子署名方式などの従来手法とは異なり、効率的に解く手段(トラップドア)を持たない多次多変数連立方程式を利用する公開鍵認証方式及び電子署名方式に関する。まず、公開鍵認証方式のアルゴリズム、電子署名方式のアルゴリズム、及びnパスの公開鍵認証方式について、その概要を簡単に説明する。
[1−1:公開鍵認証方式のアルゴリズム]
まず、図1を参照しながら、公開鍵認証方式のアルゴリズムについて概要を説明する。図1は、公開鍵認証方式のアルゴリズムについて概要を説明するための説明図である。
公開鍵認証は、ある人(証明者)が、公開鍵pk及び秘密鍵skを利用して、他の人(検証者)に本人であることを納得させるために利用される。例えば、証明者Aの公開鍵pkは、検証者Bに公開される。一方、証明者Aの秘密鍵skは、証明者Aにより秘密に管理される。公開鍵認証の仕組みにおいては、公開鍵pkに対応する秘密鍵skを知る者が証明者A本人であるとみなされる。
公開鍵認証の仕組みを利用して証明者Aが証明者A本人であることを検証者Bに証明するには、対話プロトコルを介して、証明者Aが公開鍵pkに対応する秘密鍵skを知っているという証拠を検証者Bに提示すればよい。そして、証明者Aが秘密鍵skを知っているという証拠が検証者Bに提示され、その証拠を検証者Bが確認し終えた場合、証明者Aの正当性(本人であること)が証明されたことになる。
但し、公開鍵認証の仕組みには、安全性を担保するために以下の条件が求められる。
1つ目の条件は、「対話プロトコルを実行した際に秘密鍵skを持たない偽証者により偽証が成立してしまう確率を限りなく小さくする」ことである。この1つ目の条件が成り立つことを「健全性」と呼ぶ。つまり、健全性とは、「秘密鍵skを持たない偽証者により、対話プロトコルの実行中に無視できない確率で偽証が成立することはないこと」と言い換えられる。2つ目の条件は、「対話プロトコルを実行したとしても、証明者Aが有する秘密鍵skの情報が検証者Bに一切漏れることがない」ことである。この2つ目の条件が成り立つことを「零知識性」と呼ぶ。
安全に公開鍵認証を行うには、健全性及び零知識性を有する対話プロトコルを利用する必要がある。仮に、健全性及び零知識性を有しない対話プロトコルを用いて認証処理を行った場合には、偽証された可能性及び秘密鍵の情報が漏れてしまった可能性が否定できないため、処理自体が成功裡に完了しても証明者の正当性を証明したことにはならない。従って、対話プロトコルの健全性及び零知識性を如何に保証するかが重要になる。
(モデル)
公開鍵認証方式のモデルには、図1に示すように、証明者と検証者という2つのエンティティが存在する。証明者は、鍵生成アルゴリズムGenを用いて、証明者固有の秘密鍵skと公開鍵pkの組を生成する。次いで、証明者は、鍵生成アルゴリズムGenを用いて生成した秘密鍵skと公開鍵pkの組を利用して検証者と対話プロトコルを実行する。このとき、証明者は、証明者アルゴリズムPを利用して対話プロトコルを実行する。上記の通り、証明者は、証明者アルゴリズムPを利用し、対話プロトコルの中で秘密鍵skを保有している証拠を検証者に提示する。
一方、検証者は、検証者アルゴリズムVを利用して対話プロトコルを実行し、証明者が公開している公開鍵に対応する秘密鍵を、その証明者が保有しているか否かを検証する。つまり、検証者は、証明者が公開鍵に対応する秘密鍵を保有しているか否かを検証するエンティティである。このように、公開鍵認証方式のモデルは、証明者と検証者という2つのエンティティ、及び、鍵生成アルゴリズムGen、証明者アルゴリズムP、検証者アルゴリズムVという3つのアルゴリズムにより構成される。
なお、以下の説明において、「証明者」「検証者」という表現を用いるが、これらの表現はあくまでもエンティティを意味するものである。従って、鍵生成アルゴリズムGen、証明者アルゴリズムPを実行する主体は、「証明者」のエンティティに対応する情報処理装置である。同様に、検証者アルゴリズムVを実行する主体は、情報処理装置である。これら情報処理装置のハードウェア構成は、例えば、図28に示した通りである。つまり、鍵生成アルゴリズムGen、証明者アルゴリズムP、検証者アルゴリズムVは、ROM904、RAM906、記憶部920、リムーバブル記録媒体928などに記録されたプログラムに基づいてCPU902などにより実行される。
(鍵生成アルゴリズムGen)
鍵生成アルゴリズムGenは、証明者により利用される。鍵生成アルゴリズムGenは、証明者に固有の秘密鍵skと公開鍵pkとの組を生成するアルゴリズムである。鍵生成アルゴリズムGenにより生成された公開鍵pkは公開される。そして、公開された公開鍵pkは、検証者により利用される。一方、鍵生成アルゴリズムGenにより生成された秘密鍵skは、証明者が秘密に管理する。そして、証明者により秘密に管理される秘密鍵skは、公開鍵pkに対応する秘密鍵skを証明者が保有していることを検証者に対して証明するために利用される。形式的に、鍵生成アルゴリズムGenは、セキュリティパラメータ1λ(λは0以上の整数)を入力とし、秘密鍵skと公開鍵pkを出力するアルゴリズムとして、下記の式(1)のように表現される。
Figure 2013042295
(証明者アルゴリズムP)
証明者アルゴリズムPは、証明者により利用される。証明者アルゴリズムPは、公開鍵pkに対応する秘密鍵skを証明者が保有していることを検証者に対して証明するためのアルゴリズムである。つまり、証明者アルゴリズムPは、秘密鍵skと公開鍵pkとを入力とし、対話プロトコルを実行するアルゴリズムである。
(検証者アルゴリズムV)
検証者アルゴリズムVは、検証者により利用される。検証者アルゴリズムVは、対話プロトコルの中で、公開鍵pkに対応する秘密鍵skを証明者が保有しているか否かを検証するアルゴリズムである。検証者アルゴリズムVは、公開鍵pkを入力とし、対話プロトコルの実行結果に応じて0又は1(1bit)を出力するアルゴリズムである。なお、検証者は、検証者アルゴリズムVが0を出力した場合には証明者が不正なものであると判断し、1を出力した場合には証明者が正当なものであると判断する。形式的に、検証者アルゴリズムVは、下記の式(2)のように表現される。
Figure 2013042295
上記の通り、意味のある公開鍵認証を実現するには、対話プロトコルが健全性及び零知識性という2つの条件を満たしている必要がある。しかし、証明者が秘密鍵skを保有していることを証明するためには、証明者が秘密鍵skに依存した手続きを実行し、その結果を検証者に通知した上で、その通知内容に基づく検証を検証者に実行させる必要がある。秘密鍵skに依存した手続きを実行するのは、健全性を担保するために必要である。一方で、秘密鍵skの情報が一切検証者に漏れないようにする必要がある。そのため、これらの要件を満たすように、上記の鍵生成アルゴリズムGen、証明者アルゴリズムP、検証者アルゴリズムVを巧妙に設計する必要がある。
以上、公開鍵認証方式のアルゴリズムについて、その概要を説明した。
[1−2:電子署名方式のアルゴリズム]
次に、図2を参照しながら、電子署名方式のアルゴリズムについて概要を説明する。図2は、電子署名方式のアルゴリズムについて概要を説明するための説明図である。
紙文書とは異なり、ある電子化されたデータに対して押印したり署名を記載したりすることはできない。そのため、電子化されたデータの作成者を証明するためには、紙文書に押印したり署名を記載したりするのと同等の効果が得られる電子的な仕組みを必要とする。この仕組みが電子署名である。電子署名とは、データの作成者しか知らない署名データをデータに関連付けて受領者に提供し、その署名データを受領者側で検証する仕組みのことを言う。
(モデル)
電子署名方式のモデルには、図2に示すように、署名者及び検証者という2つのエンティティが存在する。そして、電子署名方式のモデルは、鍵生成アルゴリズムGen、署名生成アルゴリズムSig、署名検証アルゴリズムVerという3つのアルゴリズムにより構成される。
署名者は、鍵生成アルゴリズムGenを利用して署名者固有の署名鍵skと検証鍵pkとの組を生成する。また、署名者は、署名生成アルゴリズムSigを利用して文書Mに付与する電子署名σを生成する。つまり、署名者は、文書Mに電子署名を付与するエンティティである。一方、検証者は、署名検証アルゴリズムVerを利用して文書Mに付与された電子署名σを検証する。つまり、検証者は、文書Mの作成者が署名者であるか否かを確認するために、電子署名σを検証するエンティティである。
なお、以下の説明において、「署名者」「検証者」という表現を用いるが、これらの表現はあくまでもエンティティを意味するものである。従って、鍵生成アルゴリズムGen、署名生成アルゴリズムSigを実行する主体は、「署名者」のエンティティに対応する情報処理装置である。同様に、署名検証アルゴリズムVerを実行する主体は、情報処理装置である。これら情報処理装置のハードウェア構成は、例えば、図28に示した通りである。つまり、鍵生成アルゴリズムGen、署名生成アルゴリズムSig、署名検証アルゴリズムVerは、ROM904、RAM906、記憶部920、リムーバブル記録媒体928などに記録されたプログラムに基づいてCPU902などにより実行される。
(鍵生成アルゴリズムGen)
鍵生成アルゴリズムGenは、署名者により利用される。鍵生成アルゴリズムGenは、署名者固有の署名鍵skと検証鍵pkとの組を生成するアルゴリズムである。鍵生成アルゴリズムGenにより生成された検証鍵pkは公開される。一方、鍵生成アルゴリズムGenにより生成された署名鍵skは、署名者により秘密に管理される。そして、署名鍵skは、文書Mに付与される電子署名σの生成に利用される。例えば、鍵生成アルゴリズムGenは、セキュリティパラメータ1λ(λは0以上の整数)を入力とし、署名鍵sk及び公開鍵pkを出力する。この場合、鍵生成アルゴリズムGenは、形式的に、下記の式(3)のように表現することができる。
Figure 2013042295
(署名生成アルゴリズムSig)
署名生成アルゴリズムSigは、署名者により利用される。署名生成アルゴリズムSigは、文書Mに付与される電子署名σを生成するアルゴリズムである。署名生成アルゴリズムSigは、署名鍵skと文書Mとを入力とし、電子署名σを出力するアルゴリズムである。この署名生成アルゴリズムSigは、形式的に、下記の式(4)のように表現することができる。
Figure 2013042295
(署名検証アルゴリズムVer)
署名検証アルゴリズムVerは、検証者により利用される。署名検証アルゴリズムVerは、電子署名σが文書Mに対する正当な電子署名であるか否かを検証するアルゴリズムである。署名検証アルゴリズムVerは、署名者の検証鍵pk、文書M、電子署名σを入力とし、0又は1(1bit)を出力するアルゴリズムである。この署名検証アルゴリズムVerは、形式的に、下記の式(5)のように表現することができる。なお、検証者は、署名検証アルゴリズムVerが0を出力した場合(公開鍵pkが文書Mと電子署名σを拒否する場合)に電子署名σが不当であると判断し、1を出力した場合(公開鍵pkが文書Mと電子署名σを受理する場合)に電子署名σが正当であると判断する。
Figure 2013042295
以上、電子署名方式のアルゴリズムについて、その概要を説明した。
[1−3:nパスの公開鍵認証方式]
次に、図3を参照しながら、nパスの公開鍵認証方式について説明する。図3は、nパスの公開鍵認証方式について説明するための説明図である。
上記の通り、公開鍵認証方式は、対話プロトコルの中で、証明者が公開鍵pkに対応する秘密鍵skを保有していることを検証者に証明する認証方式である。また、対話プロトコルは、健全性及び零知識性という2つの条件を満たす必要がある。そのため、対話プロトコルの中では、図3に示すように、証明者及び検証者の双方がそれぞれ処理を実行しながらn回の情報交換を行う。
nパスの公開鍵認証方式の場合、証明者アルゴリズムPを用いて証明者により処理(工程#1)が実行され、情報Tが検証者に送信される。次いで、検証者アルゴリズムVを用いて検証者により処理(工程#2)が実行され、情報Tが証明者に送信される。さらに、k=3〜nについて処理(工程#k)の実行及び情報Tの送信が順次行われ、最後に処理(工程#n+1)が実行される。このように、情報がn回送受信される方式のことを「nパス」の公開鍵認証方式と呼ぶ。
以上、nパスの公開鍵認証方式について説明した。
<2:3パスの公開鍵認証方式に係るアルゴリズムの構成>
以下、3パスの公開鍵認証方式に係るアルゴリズムについて説明する。なお、以下の説明において、3パスの公開鍵認証方式のことを「3パス方式」と呼ぶ場合がある。
[2−1:具体的なアルゴリズムの構成例]
まず、図4を参照しながら、3パス方式に係る具体的なアルゴリズムの構成例について紹介する。図4は、3パス方式に係る具体的なアルゴリズムの構成について説明するための説明図である。なお、3パス方式のアルゴリズムは、鍵生成アルゴリズムGen、証明者アルゴリズムP、検証者アルゴリズムVにより構成される。以下、各アルゴリズムの構成について説明する。
(鍵生成アルゴリズムGen)
鍵生成アルゴリズムGenは、環K上で定義されるm本の多変数多項式f(x,…,x),…,f(x,…,x)、及びベクトルs=(s,…,s)∈Kを生成する。次に、鍵生成アルゴリズムGenは、y=(y,…,y)←(f(s),…,f(s))を計算する。そして、鍵生成アルゴリズムGenは、(f(x,…,x),…,f(x,…,x),y)を公開鍵pkに設定し、sを秘密鍵に設定する。なお、以下では、ベクトル(x,…,x)をxと表記し、多変数多項式の組(f(x),…,f(x))をF(x)と表記することにする。
(証明者アルゴリズムP、検証者アルゴリズムV)
次に、図4を参照しながら、対話プロトコルの中で証明者アルゴリズムPが実行する処理及び検証者アルゴリズムVが実行する処理について説明する。
上記の対話プロトコルの中で、証明者は、秘密鍵sの情報を検証者に一切漏らさずに、「自身がy=F(s)を満たすsを知っていること」を検証者に示す。一方、検証者は、証明者がy=F(s)を満たすsを知っているか否かを検証する。なお、公開鍵pkは、検証者に公開されているものとする。また、秘密鍵sは、証明者により秘密に管理されているものとする。以下、図4に示したフローチャートに沿って説明を進める。
工程#1:
まず、証明者アルゴリズムPは、任意に数seedを選択する。次いで、証明者アルゴリズムPは、擬似乱数生成器PRNGに数seedを適用してベクトルr∈K及び数seedを生成する。つまり、証明者アルゴリズムPは、(r,seed)←PRNG(seed)を計算する。次いで、証明者アルゴリズムPは、擬似乱数生成器PRNGに数seedを適用して多変数多項式F(x)=(f11(x),…,f1m(x))を生成する。つまり、証明者アルゴリズムPは、F←PRNG(seed)を計算する。
工程#1(続き):
次いで、証明者アルゴリズムPは、r←s−rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。さらに、証明者アルゴリズムPは、F(x)←F(x+r)+F(x)を計算する。この計算は、xに関して多変数多項式F(x+r)を多変数多項式F(x)によりマスクする操作に相当する。
工程#1(続き):
次いで、証明者アルゴリズムPは、F(r)及びrのハッシュ値cを生成する。つまり、証明者アルゴリズムPは、c←H(F(r),r)を計算する。また、証明者アルゴリズムPは、数seedのハッシュ値cを生成する。つまり、証明者アルゴリズムPは、c←H(seed)を計算する。さらに、証明者アルゴリズムPは、多変数多項式Fのハッシュ値cを生成する。つまり、証明者アルゴリズムPは、c←H(F)を計算する。このハッシュ値(c,c,c)は、メッセージとして検証者アルゴリズムVに送られる。このとき、sに関する情報、rに関する情報、rに関する情報が検証者に一切漏れない点に注意されたい。
工程#2:
メッセージ(c,c,c)を受け取った検証者アルゴリズムVは、3つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す3つの数値{0,1,2}の中から1つの数値を選択し、選択した数値を要求Chに設定する。この要求Chは証明者アルゴリズムPに送られる。
工程#3:
要求Chを受け取った証明者アルゴリズムPは、受け取った要求Chに応じて検証者アルゴリズムVに送る返答Rspを生成する。Ch=0の場合、証明者アルゴリズムPは、返答Rsp=seedを生成する。Ch=1の場合、証明者アルゴリズムPは、返答Rsp=(seed,r)を生成する。Ch=2の場合、証明者アルゴリズムPは、返答Rsp=(F,r)を生成する。工程#3で生成された返答Rspは、検証者アルゴリズムVに送られる。このとき、Ch=0の場合にはrに関する情報が検証者に一切漏れておらず、Ch=1又は2の場合にはrに関する情報が検証者に一切漏れない点に注意されたい。
工程#4:
返答Rspを受け取った検証者アルゴリズムVは、受け取った返答Rspを利用して以下の検証処理を実行する。
Ch=0の場合、検証者アルゴリズムVは、(r,seed)←PRNG(Rsp)を計算する。さらに、検証者アルゴリズムVは、F←PRNG(seed)を計算する。そして、検証者アルゴリズムVは、c=H(seed)の等号が成り立つか否かを検証する。また、検証者アルゴリズムVは、c=H(F(x+r)+F(x))の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
Ch=1の場合、検証者アルゴリズムVは、(seed,r)←Rspとする。さらに、検証者アルゴリズムVは、F←PRNG(seed)を計算する。そして、検証者アルゴリズムVは、c=H(F(r),r)の等号が成り立つか否かを検証する。また、検証者アルゴリズムVは、c=H(seed)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
Ch=2の場合、検証者アルゴリズムVは、(F,r)←Rspとする。そして、検証者アルゴリズムVは、c=H(F(r)−y,r))の等号が成り立つか否かを検証する。さらに、検証者アルゴリズムVは、c=H(F)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
(健全性について)
ここで、3パス方式に係るアルゴリズムの健全性について説明を補足する。3パス方式に係るアルゴリズムの健全性は、「検証者アルゴリズムVが選択可能な要求Ch=0,1,2の全てについて、証明者アルゴリズムPが正しい返答Rspを返したならば、下記の式(6)及び式(7)を満たすF、F、r、rが計算可能になる」という論理に基づいて保証されている。
Figure 2013042295
上記の健全性が保証されることにより、多次多変数連立方程式の求解問題を解かない限りにおいて2/3より高い確率で偽証が成功することは不可能であると保証される。つまり、検証者の要求Ch=0,1,2の全てに正しく回答するためには、偽証者が上記の式(6)及び式(7)を満たすF、F、r、rを計算できる必要がある。言い換えると、偽証者はF(s)=yを満たすsを計算できる必要がある。但し、検証者の要求Ch=0,1,2の高々2つについて偽証者が正しく回答できてしまう可能性は残る。そのため、偽証の成功確率は2/3となる。なお、上記の対話プロトコルを十分な回数だけ繰り返し実行することで、偽証の成功確率は無視できるほど小さくなる。
(ハッシュ関数Hについて)
ここで、ハッシュ関数Hについて説明を補足する。上記のアルゴリズムでは、ハッシュ関数Hを用いてc,c,cなどを計算しているが、ハッシュ関数Hの代わりにコミットメント関数COMを用いてもよい。コミットメント関数COMは、文字列S及び乱数ρを引数にとる関数である。コミットメント関数の例としては、Shai HaleviとSilvio Micaliによって国際会議CRYPTO1996で発表された方式などがある。
例えば、コミットメント関数COMを用いてc,c,cを計算する場合について考えてみよう。この場合、c,c,cを計算する前に乱数ρ,ρ,ρを用意し、ハッシュ関数H(・)を適用する代わりにコミットメント関数COM(・,ρ),COM(・,ρ),COM(・,ρ)を適用してc,c,cを生成する。また、検証者がcを生成するために必要なρは、返答Rspに含めて送られるようにする。
以上、3パス方式に係る具体的なアルゴリズムの構成例について紹介した。
[2−2:2次多変数多項式に基づく効率的なアルゴリズム]
次に、3パス方式に係るアルゴリズムを効率化する方法について述べる。ここでは、多変数多項式Fとして2次多項式の組(f(x),…,f(x))を利用する場合について説明する。但し、2次多項式f(x)は、下記の式(8)のように表現されるものとする。
Figure 2013042295
なお、2次多項式の組(f(x),…,f(x))は、下記の式(9)のように表現することができる。但し、x=(x,…,x)である。また、A,…,Aは、n×n行列である。さらに、b,…,bはそれぞれn×1ベクトルである。
Figure 2013042295
この表現を用いると、多変数多項式Fは、下記の式(10)及び式(11)のように表現することができる。この表現が成り立つことは、下記の式(12)から容易に確認することができる。
Figure 2013042295
このようにF(x+y)をxに依存する第1の部分と、yに依存する第2の部分と、x及びyの両方に依存する第3の部分とに分けたとき、第3の部分に対応する項G(x,y)は、x及びyについて双線形になる。この性質を利用すると、効率的なアルゴリズムを構築することが可能になる。
例えば、ベクトルt∈K、e∈Kを用いて、多変数多項式F(x+r)のマスクに利用する多変数多項式F(x)をF(x)=G(x,t)+eと表現する。この場合、多変数多項式F(x+r)とG(x)との和は、下記の式(13)のように表現される。
ここで、t=r+t、e=F(r)+eとおけば、多変数多項式F(x)=F(x+r)+F(x)は、ベクトルt∈K、e∈Kにより表現することができる。そのため、F(x)=G(x,t)+eに設定すれば、K上のベクトル及びK上のベクトルを用いてF及びFを表現できるようになり、通信に必要なデータサイズを大幅に減らすことが可能になる。具体的には、数千〜数万倍程度、通信効率が向上する。
Figure 2013042295
なお、上記の変形により、F(或いはF)からrに関する情報が一切漏れることはない。例えば、e及びt(或いはe及びt)を与えられても、e及びt(或いはe及びt)を知らない限り、rの情報を一切知ることはできない。従って、零知識性が担保される。以下、図5及び図6を参照しながら、3パス方式に係る効率的なアルゴリズムについて説明する。
(2−2−1:基本構成(図5))
まず、図5を参照しながら、3パス方式に係る効率的なアルゴリズムの基本構成について説明する。なお、鍵生成アルゴリズムGenの構成については説明を省略する。
工程#1:
図5に示すように、証明者アルゴリズムPは、ランダムにベクトルr,t∈K及びe∈Kを生成する。次いで、証明者アルゴリズムPは、r←s−rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。さらに、証明者アルゴリズムPは、t←r−tを計算する。次いで、証明者アルゴリズムPは、e←F(r)−eを計算する。
工程#1(続き):
次いで、証明者アルゴリズムPは、c←H(r,G(t,r)+e)を計算する。次いで、証明者アルゴリズムPは、c←H(t,e)を計算する。次いで、証明者アルゴリズムPは、c←H(t,e)を計算する。工程#1で生成されたメッセージ(c,c,c)は、検証者アルゴリズムVに送られる。
工程#2:
メッセージ(c,c,c)を受け取った検証者アルゴリズムVは、3つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す3つの数値{0,1,2}の中から1つの数値を選択し、選択した数値を要求Chに設定する。この要求Chは証明者アルゴリズムPに送られる。
工程#3:
要求Chを受け取った証明者アルゴリズムPは、受け取った要求Chに応じて検証者アルゴリズムVに送る返答Rspを生成する。Ch=0の場合、証明者アルゴリズムPは、返答Rsp=(r,t,e)を生成する。Ch=1の場合、証明者アルゴリズムPは、返答Rsp=(r,t,e)を生成する。Ch=2の場合、証明者アルゴリズムPは、返答Rsp=(r,t,e)を生成する。工程#3で生成された返答Rspは、検証者アルゴリズムVに送られる。
工程#4:
返答Rspを受け取った検証者アルゴリズムVは、受け取った返答Rspを利用して以下の検証処理を実行する。
Ch=0の場合、検証者アルゴリズムVは、c=H(r−t,F(r)−e)の等号が成り立つか否かを検証する。さらに、検証者アルゴリズムVは、c=H(t,e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
Ch=1の場合、検証者アルゴリズムVは、c=H(r,G(t,r)+e)の等号が成り立つか否かを検証する。さらに、検証者アルゴリズムVは、c=H(t,e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
Ch=2の場合、検証者アルゴリズムVは、c=H(r,y−F(r)−G(t,r)−e)の等号が成り立つか否かを検証する。さらに、検証者アルゴリズムVは、c=H(t,e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
以上、3パス方式に係る効率的なアルゴリズムの構成例について説明した。このアルゴリズムを利用することにより、通信に必要なデータサイズが大幅に削減される。
(2−2−2:並列化アルゴリズム(図6))
次に、図6を参照しながら、図5に示した効率的なアルゴリズムを並列化する方法について説明する。なお、鍵生成アルゴリズムGenの構成については説明を省略する。
先に述べた通り、上記の対話プロトコルを適用すれば、偽証が成功する確率を2/3以下に抑制することができる。従って、この対話プロトコルを2回実行すれば、偽証が成功する確率を(2/3)以下に抑制することができる。さらに、この対話プロトコルをN回実行すると、偽証が成功する確率は(2/3)となり、Nを十分に大きい数(例えば、N=140)にすれば、偽証が成功する確率は無視できる程度に小さくなる。
対話プロトコルを複数回実行する方法としては、例えば、メッセージ、要求、返答のやり取りを逐次的に複数回繰り返す直列的な方法と、1回分のやり取りで複数回分のメッセージ、要求、返答のやり取りを行う並列的な方法とが考えられる。ここでは、3パス方式に係る上記の対話プロトコルを並列的に実行するアルゴリズム(以下、並列化アルゴリズム)について説明する。
工程#1:
証明者アルゴリズムPは、i=1〜Nについて以下の処理(1)〜処理(6)を実行する。
処理(1):証明者アルゴリズムPは、ランダムにベクトルr0i,t0i∈K及びe0i∈Kを生成する。
処理(2):証明者アルゴリズムPは、r1i←s−r0iを計算する。この計算は、秘密鍵sをベクトルr0iによりマスクする操作に相当する。さらに、証明者アルゴリズムPは、t1i←r0i+t0iを計算する。
処理(3):証明者アルゴリズムPは、e1i←F(r0i)−e0iを計算する。
処理(4):証明者アルゴリズムPは、c0i←H(r1i,G(r1i,t0i)+e0i)を計算する。
処理(5):証明者アルゴリズムPは、c1i←H(t0i,e0i)を計算する。
処理(6):証明者アルゴリズムPは、c2i←H(t1i,e1i)を計算する。
工程#1(続き)
i=1〜Nについて上記の処理(1)〜処理(6)を実行した後、証明者アルゴリズムPは、Cmt←H(c01,c11,c21,…,c0N,c1N,c2N)を計算する。工程#1で生成されたハッシュ値Cmtは、検証者アルゴリズムVに送られる。このように、メッセージ(c01,c11,c21,…,c0N,c1N,c2N)をハッシュ値に変換してから検証者アルゴリズムVに送ることで、通信量を削減することが可能になる。
工程#2:
ハッシュ値Cmtを受け取った検証者アルゴリズムVは、i=1〜Nのそれぞれについて、3つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、i=1〜Nのそれぞれについて、検証パターンの種類を表す3つの数値{0,1,2}の中から1つの数値を選択し、選択した数値を要求Chに設定する。要求Ch,…,Chは、証明者アルゴリズムPに送られる。
工程#3:
要求Ch,…,Chを受け取った証明者アルゴリズムPは、受け取った要求Ch,…,Chのそれぞれ応じて検証者アルゴリズムVに送る返答Rsp,…,Rspを生成する。Ch=0の場合、証明者アルゴリズムPは、Rsp=(r0i,t1i,e1i,c0i)を生成する。Ch=1の場合、証明者アルゴリズムPは、Rsp=(r1i,t0i,e0i,c2i)を生成する。Ch=2の場合、証明者アルゴリズムPは、Rsp=(r1i,t1i,e1i,c1i)を生成する。
工程#3で生成された返答Rsp,…,Rspは、検証者アルゴリズムVに送られる。
工程#4:
返答Rsp,…,Rspを受け取った検証者アルゴリズムVは、受け取った返答Rsp,…,Rspを利用して以下の処理(1)〜処理(3)をi=1〜Nについて実行する。但し、検証者アルゴリズムVは、Ch=0の場合に処理(1)を実行し、Ch=1の場合に処理(2)を実行し、Ch=2の場合に処理(3)を実行する。
処理(1):Ch=0の場合、検証者アルゴリズムVは、Rspから(r0i,t1i,e1i,c0i)を取り出す。次いで、検証者アルゴリズムVは、c1i=H(r0i−t1i,F(r0i)−e1i)を計算する。さらに、検証者アルゴリズムVは、c2i=H(t1i,e1i)を計算する。そして、検証者アルゴリズムVは、(c0i,c1i,c2i)を保持する。
処理(2):Ch=1の場合、検証者アルゴリズムVは、Rspから(r1i,t0i,e0i,c2i)を取り出す。次いで、検証者アルゴリズムVは、c0i=H(r1i,G(r1i,t0i)+e0i)を計算する。さらに、検証者アルゴリズムVは、c1i=H(t0i,e0i)を計算する。そして、検証者アルゴリズムVは、(c0i,c1i,c2i)を保持する。
処理(3):Ch=2の場合、検証者アルゴリズムVは、Rspから(r1i,t1i,e1i,c1i)を取り出す。次いで、検証者アルゴリズムVは、c0i=H(r1i,y−F(r1i)−G(t1i,r1i)−e1i)を計算する。さらに、検証者アルゴリズムVは、c2i=H(t1i,e1i)を計算する。そして、検証者アルゴリズムVは、(c0i,c1i,c2i)を保持する。
処理(1)〜処理(3)をi=1〜Nについて実行した後、検証者アルゴリズムVは、Cmt=H(c01,c11,c21,…,c0N,c1N,c2N)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗した場合に認証失敗を示す値0を出力する。
以上、3パス方式に係る効率的な並列化アルゴリズムの構成例について説明した。なお、図6に示した並列化アルゴリズムには、メッセージをハッシュ値に変換してから送信する工夫を盛り込んだ。この工夫により、通信効率が向上する。同様に、要求Ch,…,Chや返答Rsp,…,Rspをハッシュ値に変換してから送信するように構成を変形してもよい。このように構成を変形することで、更なる通信効率の向上が期待できる。
[2−3:高次多変数多項式に基づく効率的なアルゴリズム(方式#1)]
上記の効率的なアルゴリズムは、上記の式(8)で定義される2次多項式fの組で多変数多項式Fを表現することにより、上記の式(10)で定義される多項式Gが双線形になるという性質を利用していた。しかし、多項式Gが加法準同型であれば、多項式Gが双線形でなくとも、同様に効率的なアルゴリズムを構築することが可能である。
(2次多項式fを利用した効率的なアルゴリズムの構築について)
多項式Gが加法準同型の場合、変数r,r,t,eを用いて、下記の式(14)〜式(16)の関係が成り立つ。なお、下記の式(14)は、秘密鍵sをs=r+rと分割し、公開鍵F(s)を展開したものである。下記の式(14)〜式(16)は、(r,t,e)で再現可能な第1の部分と、(r,t,e)で再現可能な第2の部分と、(r,t,e)で再現可能な第3の部分とに分けることができる。
例えば、下記の式(15)に含まれる「r,t」、下記の式(16)に含まれる「F(r),e」は、第1の部分である。また、下記の式(14)に含まれる「e,G(t,r)」、下記の式(15)に含まれる「t」、下記の式(16)に含まれる「e」は、第2の部分である。さらに、下記の式(14)に含まれる「e,F(r),G(t,r)」は、第3の部分である。言い換えると、下記の式(14)は第2及び第3の部分で構成され、下記の式(15)は第1及び第2の部分で構成され、下記の式(16)は第1及び第2の部分で構成されている。
上記の通り、下記の式(14)〜式(16)は、それぞれ2種類の部分で構成されている。また、秘密鍵sの定義及び下記の式(14)〜式(16)の関係から、(r,t,e)、(r,t,e)、(r,t,e)のいずれか1つを用いても秘密鍵sは得られないことが保証される。これらの性質を利用すると、例えば、図5に示した3パス方式に係る効率的なアルゴリズムを構築することができる。
Figure 2013042295
(3次多項式fを利用した効率的なアルゴリズムの構築について)
2次多項式fを利用する場合に関する上記の考察を発展させ、下記の式(17)で表現される環R上の3次多項式fを利用した効率的なアルゴリズムの構築方法について検討してみたい。3次多項式fの組で表現される多変数多項式F=(f,…,f)は、下記の式(18)の関係を満たす。但し、G(x,y)は、xに関して1次となる項を表す。また、G(x,y)は、yに関して1次となる項を表す。G=(gx1,…,gxm)、G=(gy1,…,gym)と表現すると、gxl及びgylは、それぞれ下記の式(19)及び式(20)のように展開することができる。但し、gxlの右辺第2項は、x及びyのいずれに関しても1次であるため、gylに含めてもよい。
Figure 2013042295
上記の式(19)及び式(20)から分かるように、G(x,y)及びG(x,y)は、x及びyについて加法準同型になっている。そこで、これらの性質を利用し、2次多項式fを利用した効率的なアルゴリズムの構築方法と同様に、新たな変数r,r,t,u,eを導入して公開鍵F(s)を分割する。
多項式G,Gが加法準同型であるから、変数r,r,t,u,eを用いて、下記の式(21)〜式(24)の関係が成り立つ。下記の式(21)〜式(24)は、(r,t,u,e)で再現可能な第1の部分と、(r,u,e)で再現可能な第2の部分と、(r,t,e)で再現可能な第3の部分と、(r,t,u,e)で再現可能な第4の部分と、に分けることができる。
例えば、下記の式(22)に含まれる「r,t」、下記の式(23)に含まれる「u」、下記の式(24)に含まれる「F(r),G(r,u),e」、は、第1の部分である。また、下記の式(24)に含まれる「G(r,u),e」は、第2の部分である。さらに、下記の式(21)に含まれる「e,G(r,r)」は、第3の部分である。そして、下記の式(21)に含まれる「e,F(r),G(t,r)」、下記の式(22)に含まれる「t」、下記の式(23)に含まれる「u」は、第4の部分である。
言い換えると、下記の式(21)は第3及び第4の部分で構成され、下記の式(22)及び下記の式(23)は第1及び第4の部分で構成され、下記の式(24)は第1及び第2の部分で構成されている。このように、下記の式(21)〜式(24)は、それぞれ2種類の部分で構成されている。
また、秘密鍵sの定義及び下記の式(21)〜式(24)の関係から、(r,t,u,e)、(r,u,e)、(r,t,e)、(r,t,u,e)のいずれか1つを用いても秘密鍵sは得られないことが保証される。これらの性質を利用すると、例えば、環R上の3次多項式fを利用した3パス方式に係る効率的なアルゴリズム(以下、拡張アルゴリズム)を構築することができる。
Figure 2013042295
以下、具体的な拡張アルゴリズムの構成例について説明する。拡張アルゴリズムの設計に関する基本的なポイントは、下記の式(25)〜式(27)で表現されるメッセージを検証者に送ること、及び第1〜第4の部分のいずれかに関する検証を行うことの2点である。但し、この検証だけでは、第3の部分に含まれる「r」と第4の部分に含まれる「r」とが等しいかを検証することができない。同様に、第1の部分に含まれる「r」と第2の部分に含まれる「r」とが等しいか、第1の部分に含まれる「t,e」と第3の部分に含まれる「t,e」とが等しいかも検証することができない。さらに、第2の部分に含まれる「u,e」と第4の部分に含まれる「u,e」とが等しいかも検証することができない。そこで、以下では、これらの検証も可能にした構成例を紹介する。
Figure 2013042295
(2−3−1:基本構成(図7))
まず、図7を参照しながら、3パス方式に係る拡張アルゴリズムの基本構成について説明する。なお、鍵生成アルゴリズムGenの構成については説明を省略する。
工程#1:
図7に示すように、証明者アルゴリズムPは、ランダムにベクトルr,t,u∈K及びe∈Kを生成する。次いで、証明者アルゴリズムPは、r←s−rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。次いで、証明者アルゴリズムPは、t←r−tを計算する。次いで、証明者アルゴリズムPは、u←r−uを計算する。次いで、証明者アルゴリズムPは、e←F(r)−eを計算する。
工程#1(続き):
次いで、証明者アルゴリズムPは、c←H(r,G(t,r)+e)を計算する。次いで、証明者アルゴリズムPは、c←H(r−t,u)を計算する。次いで、証明者アルゴリズムPは、c←H(r,e−G(r,u))を計算する。次いで、証明者アルゴリズムPは、c←H(t,e)を計算する。次いで、証明者アルゴリズムPは、c←H(u,e)を計算する。工程#1で生成されたメッセージ(c,c,c,c,c)は、検証者アルゴリズムVに送られる。
工程#2:
メッセージ(c,c,c,c,c)を受け取った検証者アルゴリズムVは、4つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す4つの数値{0,1,2,3}の中から1つの数値を選択し、選択した数値を要求Chに設定する。この要求Chは証明者アルゴリズムPに送られる。
工程#3:
要求Chを受け取った証明者アルゴリズムPは、受け取った要求Chに応じて検証者アルゴリズムVに送る返答Rspを生成する。Ch=0の場合、証明者アルゴリズムPは、返答Rsp=(r,t,u,e)を生成する。Ch=1の場合、証明者アルゴリズムPは、返答Rsp=(r,u,e)を生成する。Ch=2の場合、証明者アルゴリズムPは、返答Rsp=(r,t,e)を生成する。Ch=3の場合、証明者アルゴリズムPは、返答Rsp=(r,t,u,e)を生成する。工程#3で生成された返答Rspは、検証者アルゴリズムVに送られる。
工程#4:
返答Rspを受け取った検証者アルゴリズムVは、受け取った返答Rspを利用して以下の検証処理を実行する。
Ch=0の場合、検証者アルゴリズムVは、c=H(r−t,u)の等号が成り立つか否かを検証する。次いで、検証者アルゴリズムVは、c=H(r,F(r)+G(r,u)−e)の等号が成り立つか否かを検証する。次いで、検証者アルゴリズムVは、c=H(t,e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
Ch=1の場合、検証者アルゴリズムVは、c=H(r,e−G(r,u))の等号が成り立つか否かを検証する。次いで、検証者アルゴリズムVは、c=H(u,e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
Ch=2の場合、検証者アルゴリズムVは、c=H(r,e+G(t,r))の等号が成り立つか否かを検証する。次いで、検証者アルゴリズムVは、c=H(t,e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
Ch=3の場合、検証者アルゴリズムVは、c=H(r,y−F(r)−e−G(t,r))の等号が成り立つか否かを検証する。次いで、検証者アルゴリズムVは、c=H(t,r−u)の等号が成り立つか否かを検証する。次いで、検証者アルゴリズムVは、c=H(u,e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
以上、3パス方式に係る拡張アルゴリズムの構成例について説明した。このアルゴリズムを利用することにより、通信に必要なデータサイズが大幅に削減される。また、3次多項式を利用していることにより、より高い安全性が実現されている。
(2−3−2:並列化アルゴリズム(図8))
次に、図8を参照しながら、3パス方式に係る拡張アルゴリズムの並列化について説明する。なお、鍵生成アルゴリズムGenの構成については説明を省略する。
工程#1:
図8に示すように、証明者アルゴリズムPは、i=1〜Nについて、以下の処理を実行する。まず、証明者アルゴリズムPは、ランダムにベクトルr0i,t0i,u0i∈K及びe0i∈Kを生成する。次いで、証明者アルゴリズムPは、r1i←s−r0iを計算する。この計算は、秘密鍵sをベクトルr0iによりマスクする操作に相当する。次いで、証明者アルゴリズムPは、t1i←r0i−t0iを計算する。次いで、証明者アルゴリズムPは、u1i←r1i−u0iを計算する。次いで、証明者アルゴリズムPは、e1i←F(r0i)−e0iを計算する。
工程#1(続き):
次いで、証明者アルゴリズムPは、c0i←H(r1i,G(t0i,r1i)+e0i)を計算する。次いで、証明者アルゴリズムPは、c1i←H(r0i−t0i,u0i)を計算する。次いで、証明者アルゴリズムPは、c2i←H(r0i,e1i−G(r0i,u1i))を計算する。次いで、証明者アルゴリズムPは、c3i←H(t0i,e0i)を計算する。次いで、証明者アルゴリズムPは、c4i←H(u1i,e1i)を計算する。(c01,c11,c21,c31,c41,…,c0N,c1N,c2N,c3N,c4N)を生成した後、証明者アルゴリズムPは、ハッシュ値Cmt←H(c01,c11,c21,c31,c41,…,c0N,c1N,c2N,c3N,c4N)を計算する。
工程#1で生成されたハッシュ値Cmtは、検証者アルゴリズムVに送られる。
工程#2:
ハッシュ値Cmtを受け取った検証者アルゴリズムVは、i=1〜Nのそれぞれについて、4つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、i=1〜Nのそれぞれについて、検証パターンの種類を表す4つの数値{0,1,2,3}の中から1つの数値を選択し、選択した数値を要求Chに設定する。要求Ch(i=1〜N)は証明者アルゴリズムPに送られる。
工程#3:
要求Ch(i=1〜N)を受け取った証明者アルゴリズムPは、i=1〜Nについて、受け取った要求Chに応じて検証者アルゴリズムVに送る返答Rspを生成する。Ch=0の場合、証明者アルゴリズムPは、返答Rsp=(r0i,t0i,u0i,e0i,c0i,c4i)を生成する。Ch=1の場合、証明者アルゴリズムPは、返答Rsp=(r0i,u1i,e1i,c0i,c1i,c3i)を生成する。Ch=2の場合、証明者アルゴリズムPは、返答Rsp=(r1i,t0i,e0i,c1i,c2i,c4i)を生成する。Ch=3の場合、証明者アルゴリズムPは、返答Rsp=(r1i,t1i,u1i,e1i,c2i,c3i)を生成する。工程#3で生成された返答Rsp(i=1〜N)は、検証者アルゴリズムVに送られる。
工程#4:
返答Rsp(i=1〜N)を受け取った検証者アルゴリズムVは、受け取った返答Rspを利用し、i=1〜Nについて以下の処理を実行する。
Ch=0の場合、検証者アルゴリズムVは、c1i=H(r0i−t0i,u0i)を計算する。次いで、検証者アルゴリズムVは、c2i=H(r0i,F(r0i)+G(r0i,u0i)−e0i)を計算する。次いで、検証者アルゴリズムVは、c3i=H(t0i,e0i)を計算する。そして、検証者アルゴリズムVは、(c0i,c1i,c2i,c3i,c4i)を保持する。
Ch=1の場合、検証者アルゴリズムVは、c2i=H(r0i,e1i−G(r0i,u1i))を計算する。次いで、検証者アルゴリズムVは、c4i=H(u1i,e1i)を計算する。そして、検証者アルゴリズムVは、(c0i,c1i,c2i,c3i,c4i)を保持する。
Ch=2の場合、検証者アルゴリズムVは、c0i=H(r1i,G(t0i,r1i)+e0i)を計算する。次いで、検証者アルゴリズムVは、c3i=H(t0i,e0i)を計算する。そして、検証者アルゴリズムVは、(c0i,c1i,c2i,c3i,c4i)を保持する。
Ch=3の場合、検証者アルゴリズムVは、c0i=H(r1i,y−F(r1i)−e1i−G(t1i,r1i))を計算する。次いで、検証者アルゴリズムVは、c1i=H(t1i,r1i−u1i)を計算する。次いで、検証者アルゴリズムVは、c4i=H(u1i,e1i)を計算する。そして、検証者アルゴリズムVは、(c0i,c1i,c2i,c3i,c4i)を保持する。
i=1〜Nについて上記の処理を実行した後、検証者アルゴリズムVは、Cmt=H(c01,c11,c21,c31,c41,…,c0N,c1N,c2N,c3N,c4N)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
以上、3パス方式に係る拡張アルゴリズムの並列化について説明した。このアルゴリズムを利用することにより、通信に必要なデータサイズが大幅に削減される。また、3次多項式を利用していることにより、より高い安全性が実現されている。
<3:5パスの公開鍵認証方式に係るアルゴリズムの構成>
以下、5パスの公開鍵認証方式に係るアルゴリズムについて説明する。なお、以下の説明において、5パスの公開鍵認証方式のことを「5パス方式」と呼ぶ場合がある。
3パス方式の場合には対話プロトコル1回当たりの偽証確率が2/3であったが、5パス方式の場合には対話プロトコル1回当たりの偽証確率が1/2+1/qとなる。但し、qは、利用する環の位数である。従って、環の位数が十分に大きい場合、5パス方式の方が1回当たりの偽証確率を低減することが可能になり、少ない対話プロトコルの実行回数で、偽証確率を十分に小さくすることができる。
例えば、偽証確率を1/2以下にしたい場合、3パス方式においては、n/(log3−1)=1.701n回以上、対話プロトコルを実行する必要がある。一方、偽証確率を1/2以下にしたい場合、5パス方式においては、n/(1−log(1+1/q))回以上、対話プロトコルを実行する必要がある。従って、q=24にすれば、同じセキュリティレベルを実現するのに必要な通信量は、3パス方式に比べ、5パス方式の方が少なくなるのである。
[3−1:具体的なアルゴリズムの構成例(図9)]
まず、図9を参照しながら、5パス方式に係る具体的なアルゴリズムの構成例について紹介する。図9は、5パス方式に係る具体的なアルゴリズムの構成について説明するための説明図である。なお、5パス方式のアルゴリズムは、鍵生成アルゴリズムGen、証明者アルゴリズムP、検証者アルゴリズムVにより構成される。以下、各アルゴリズムの構成について説明する。
(鍵生成アルゴリズムGen)
鍵生成アルゴリズムGenは、環K上で定義される多変数多項式f(x,…,x),…,f(x,…,x)、及びベクトルs=(s,…,s)∈Kを生成する。次に、鍵生成アルゴリズムGenは、y=(y,…,y)←(f(s),…,f(s))を計算する。そして、鍵生成アルゴリズムGenは、(f,…,f,y)を公開鍵pkに設定し、sを秘密鍵に設定する。なお、以下では、ベクトル(x,…,x)をxと表記し、多変数多項式の組(f(x),…,f(x))をF(x)と表記する。
(証明者アルゴリズムP、検証者アルゴリズムV)
次に、図9を参照しながら、対話プロトコルの中で証明者アルゴリズムP及び検証者アルゴリズムVにより実行される処理について説明する。
工程#1:
図9に示すように、証明者アルゴリズムPは、ランダムに数seedを選択する。次いで、証明者アルゴリズムPは、擬似乱数生成器PRNGに数seedを適用してベクトルr∈K、及び多変数多項式の組F(x)=(f11(x),…,f1m(x))を生成する。つまり、証明者アルゴリズムPは、(r,F)←G(seed)を計算する。次いで、証明者アルゴリズムPは、r←s−rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。
工程#1(続き):
次いで、証明者アルゴリズムPは、F(r)及びrのハッシュ値cを生成する。つまり、証明者アルゴリズムPは、c←H(F(r),r)を計算する。また、証明者アルゴリズムPは、数seedのハッシュ値cを生成する。つまり、証明者アルゴリズムPは、c←H(seed)を計算する。工程#1で生成されたメッセージ(c,c)は、検証者アルゴリズムVに送られる。
工程#2:
メッセージ(c,c)を受け取った検証者アルゴリズムVは、q通り存在する環Kの元からランダムに1つの数Chを選択し、選択した数Chを証明者アルゴリズムPに送る。
工程#3:
数Chを受け取った証明者アルゴリズムPは、F(x)←Ch・F(x+r)+F(x)を計算する。この計算は、xに関して多変数多項式F(x+r)を多変数多項式F(x)によりマスクする操作に相当する。工程#3で生成された多変数多項式Fは、検証者アルゴリズムVに送られる。
工程#4:
多変数多項式Fを受け取った検証者アルゴリズムVは、2つの検証パターンのうち、どちらの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求Chに設定する。この要求Chは証明者アルゴリズムPに送られる。
工程#5:
要求Chを受け取った証明者アルゴリズムPは、受け取った要求Chに応じて検証者アルゴリズムVに送り返す返答Rspを生成する。Ch=0の場合、証明者アルゴリズムPは、返答Rsp=seedを生成する。Ch=1の場合、証明者アルゴリズムPは、返答Rsp=rを生成する。工程#5で生成された返答Rspは、検証者アルゴリズムVに送られる。
工程#6:
返答Rspを受け取った検証者アルゴリズムVは、受け取った返答Rspを利用して以下の検証処理を実行する。
Ch=0の場合、検証者アルゴリズムVは、(r,F)←PRNG(Rsp)を計算する。そして、検証者アルゴリズムVは、c=H(Rsp)の等号が成り立つか否かを検証する。また、検証者アルゴリズムVは、F(x)=Ch・F(x+r)+F(x)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
Ch=1の場合、検証者アルゴリズムVは、r←Rspとする。そして、検証者アルゴリズムVは、c=H(F(r)−Ch・y,r)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
(健全性について)
5パス方式の健全性は、証明者アルゴリズムPが(c,c)、及び、検証者アルゴリズムVが選択する2通りの(Ch,Ch’)について、要求Ch=0及び1に正しく回答した場合に、その回答内容から下記の式(28)〜式(30)を満たすF、F、F’、r、rを計算できるということから保証されている。
Figure 2013042295
5パス方式の健全性が保証されることにより、多次多変数連立方程式の求解問題を解かない限りにおいて1/2+1/qより高い確率で偽証することは不可能であることが保証される。つまり、検証者の要求Ch=0及び1の全てに正しく回答するためには、偽証者が上記の式(28)〜式(30)を満たすF、F、F’、r、rを計算できる必要がある。言い換えると、偽証者はF(s)=yを満たすsを計算できる必要がある。従って、多次多変数連立方程式の求解問題を解かない限り、偽証者は、1/2+1/qより高い確率で偽証を成功させることができないのである。なお、上記の対話プロトコルを十分に多くの回数実行することにより、偽証の成功確率を無視できるほど小さくすることができる。
(ハッシュ関数Hについて)
ここで、ハッシュ関数Hについて説明を補足する。上記のアルゴリズムでは、ハッシュ関数Hを用いてc,cなどを計算しているが、ハッシュ関数Hの代わりにコミットメント関数COMを用いてもよい。コミットメント関数COMは、文字列S及び乱数ρを引数にとる関数である。コミットメント関数の例としては、Shai HaleviとSilvio Micaliによって国際会議CRYPTO1996で発表された方式などがある。
例えば、コミットメント関数COMを用いてc,cを計算する場合について考えてみよう。この場合、c,cを計算する前に乱数ρ,ρを用意し、ハッシュ関数H(・)を適用する代わりにコミットメント関数COM(・,ρ),COM(・,ρ)を適用してc,cを生成する。また、検証者がcを生成するために必要なρは、返答Rspに含めて送られるようにする。
以上、5パス方式に係る具体的なアルゴリズムの構成例について説明した。
[3−2:2次多変数多項式に基づく効率的なアルゴリズム]
次に、5パス方式に係るアルゴリズムを効率化する方法について述べる。ここでは、多変数多項式Fとして2次多項式の組(f(x),…,f(x))を利用する場合について説明する。
3パス方式の効率的なアルゴリズムと同様、2つのベクトルt∈K、e∈Kを用いて、多変数多項式F(x+r)をマスクするために用いた多変数多項式F(x)をF(x)=G(x、t)+eのように表現する。この表現を用いると、多変数多項式F(x+r)について、下記の式(31)で表現される関係が得られる。
Figure 2013042295
そのため、t=Ch・r+t、e=Ch・F(r)+eとすれば、マスク後の多変数多項式F(x)=Ch・F(x+r)+F(x)も、2つのベクトルt∈K、e∈Kにより表現することができる。これらの理由から、F(x)=G(x,t)+eと設定すれば、K上のベクトル及びK上のベクトルを用いてF及びFを表現できるようになり、通信に必要なデータサイズを大幅に減らすことが可能になる。具体的には、数千〜数万倍程度、通信コストが削減される。
また、上記の変形により、F(或いはF)からrに関する情報が一切漏れることはない。例えば、e及びt(或いはe及びt)を与えられても、e及びt(或いはe及びt)を知らない限り、rの情報を一切知ることはできない。従って、零知識性は担保される。以下、図10及び図11を参照しながら、5パス方式に係る効率的なアルゴリズムについて説明する。
(3−2−1:基本構成(図10))
まず、図10を参照しながら、5パス方式に係る効率的なアルゴリズムの基本構成について説明する。なお、鍵生成アルゴリズムGenの構成については説明を省略する。
工程#1:
図10に示すように、証明者アルゴリズムPは、ランダムにベクトルr∈K、t∈K、e∈Kを生成する。次いで、証明者アルゴリズムPは、r←s−rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。次いで、証明者アルゴリズムPは、ベクトルr,t,eのハッシュ値cを生成する。つまり、証明者アルゴリズムPは、c←H(r,t,e)を計算する。次いで、証明者アルゴリズムPは、G(t,r)+e及びrのハッシュ値cを生成する。つまり、証明者アルゴリズムPは、c←H(r,G(t,r)+e)を計算する。工程#1で生成されたメッセージ(c,c)は、検証者アルゴリズムVに送られる。
工程#2:
メッセージ(c,c)を受け取った検証者アルゴリズムVは、q通り存在する環Kの元からランダムに1つの数Chを選択し、選択した数Chを証明者アルゴリズムPに送る。
工程#3:
数Chを受け取った証明者アルゴリズムPは、t←Ch・r−tを計算する。さらに、証明者アルゴリズムPは、e←Ch・F(r)−eを計算する。そして、証明者アルゴリズムPは、t及びeを検証者アルゴリズムVに送る。
工程#4:
及びeを受け取った検証者アルゴリズムVは、2つの検証パターンのうち、どちらの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求Chに設定する。この要求Chは証明者アルゴリズムPに送られる。
工程#5:
要求Chを受け取った証明者アルゴリズムPは、受け取った要求Chに応じて検証者アルゴリズムVに送り返す返答Rspを生成する。Ch=0の場合、証明者アルゴリズムPは、返答Rsp=rを生成する。Ch=1の場合、証明者アルゴリズムPは、返答Rsp=rを生成する。工程#5で生成された返答Rspは、検証者アルゴリズムVに送られる。
工程#6:
返答Rspを受け取った検証者アルゴリズムVは、受け取った返答Rspを利用して以下の検証処理を実行する。
Ch=0の場合、検証者アルゴリズムVは、r←Rspを実行する。そして、検証者アルゴリズムVは、c=H(r,Ch・r−t,Ch・F(r)−e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
Ch=1の場合、検証者アルゴリズムVは、r←Rspを実行する。そして、検証者アルゴリズムVは、c=H(r,Ch・(y−F(r))−G(t,r)−e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
以上、5パス方式に係る効率的なアルゴリズムの構成例について説明した。このアルゴリズムを利用することにより、通信に必要なデータサイズが大幅に削減される。
(3−2−2:並列化アルゴリズム(図11))
次に、図11を参照しながら、図10に示した効率的なアルゴリズムを並列化する方法について説明する。なお、鍵生成アルゴリズムGenの構成については説明を省略する。
先に述べた通り、5パス方式に係る対話プロトコルを適用すれば、偽証が成功する確率を(1/2+1/q)以下に抑制することができる。従って、この対話プロトコルを2回実行すれば、偽証が成功する確率を(1/2+1/q)以下に抑制することができる。さらに、この対話プロトコルをN回実行すると、偽証が成功する確率は(1/2+1/q)となり、Nを十分に大きい数(例えば、N=80)にすれば、偽証が成功する確率は無視できる程度に小さくなる。
対話プロトコルを複数回実行する方法としては、例えば、メッセージ、要求、返答のやり取りを逐次的に複数回繰り返す直列的な方法と、1回分のやり取りで複数回分のメッセージ、要求、返答のやり取りを行う並列的な方法とが考えられる。ここでは、5パス方式に係る上記の対話プロトコルを並列的に実行するアルゴリズム(以下、並列化アルゴリズム)について説明する。
工程#1:
証明者アルゴリズムPは、i=1〜Nについて処理(1)〜処理(4)を実行する。
処理(1):証明者アルゴリズムPは、ランダムにベクトルr0i,t0i∈K及びe0i∈Kを生成する。
処理(2):証明者アルゴリズムPは、r1i←s−r0iを計算する。この計算は、秘密鍵sをベクトルr0iによりマスクする操作に相当する。
処理(3):証明者アルゴリズムPは、c0i←H(r0i,t0i,e0i)を計算する。
処理(4):証明者アルゴリズムPは、c1i←H(r1i,G(t0i,r1i)+e0i)を計算する。
i=1〜Nについて処理(1)〜処理(4)を実行した後、証明者アルゴリズムPは、ハッシュ値Cmt←H(c01,c11,…,c0N,c1N)を実行する。そして、工程#1で生成されたハッシュ値Cmtは、検証者アルゴリズムVに送られる。
工程#2:
ハッシュ値Cmtを受け取った検証者アルゴリズムVは、i=1〜Nのそれぞれについて、q通り存在する環Kの元からランダムに1つの数ChAiを選択し、選択した数ChAi(i=1〜N)を証明者アルゴリズムPに送る。
工程#3:
数ChAi(i=1〜N)を受け取った証明者アルゴリズムPは、i=1〜Nのそれぞれについて、t1i←ChAi・r0i−t0iを計算する。さらに、証明者アルゴリズムPは、i=1〜Nのそれぞれについて、e1i←ChAi・F(r0i)−e0iを計算する。そして、証明者アルゴリズムPは、t11,…,t1N及びe11,…,e1Nを検証者アルゴリズムVに送る。
工程#4:
11,…,t1N及びe11,…,e1Nを受け取った検証者アルゴリズムVは、i=1〜Nのそれぞれについて、2つの検証パターンのうち、どちらの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求ChBiに設定する。要求ChBi(i=1〜N)は証明者アルゴリズムPに送られる。
工程#5:
要求ChBi(i=1〜N)を受け取った証明者アルゴリズムPは、i=1〜Nについて、受け取った要求ChBiに応じて検証者アルゴリズムVに送り返す返答Rspを生成する。ChBi=0の場合、証明者アルゴリズムPは、返答Rsp=(r0i,c1i)を生成する。ChBi=1の場合、証明者アルゴリズムPは、返答Rsp=(r1i,c0i)を生成する。工程#5で生成された返答Rsp(i=1〜N)は、検証者アルゴリズムVに送られる。
工程#6:
返答Rsp(i=1〜N)を受け取った検証者アルゴリズムVは、受け取った返答Rsp(i=1〜N)を利用して以下の処理(1)及び処理(2)を実行する。
処理(1):ChBi=0の場合、検証者アルゴリズムVは、(r0i,c1i)←Rspを実行する。そして、検証者アルゴリズムVは、c0i=H(r0i,ChAi・r0i−t1i,ChAi・F(r0i)−e1i)を計算する。そして、検証者アルゴリズムVは、(c0i,c1i)を保持する。
処理(2):ChBi=1の場合、検証者アルゴリズムVは、(r1i,c0i)←Rspを実行する。そして、検証者アルゴリズムVは、c1i=H(r1i,ChAi・(y−F(r1i))−G(t1i,r1i)−e1i)を計算する。そして、検証者アルゴリズムVは、(c0i,c1i)を保持する。
i=1〜Nについて処理(1)及び処理(2)を実行した後、検証者アルゴリズムVは、Cmt=H(c01,c11,…,c0N,c1N)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
以上、5パス方式に係る効率的な並列化アルゴリズムの構成例について説明した。なお、図11に示した並列化アルゴリズムには、メッセージをハッシュ値に変換してから送信する工夫を盛り込んだ。この工夫により、通信効率が向上する。同様に、要求ChA1,…,ChAN,ChB1,…,ChBNや返答Rsp,…,Rspなどをハッシュ値に変換してから送信するように構成を変形してもよい。このように構成を変形することで、更なる通信効率の向上が期待できる。
[3−3:高次多変数多項式に基づく効率的なアルゴリズム(方式#1)]
上記の効率的なアルゴリズムは、上記の式(8)で定義される2次多項式fの組で多変数多項式Fを表現することにより、上記の式(10)で定義される多項式Gが双線形になるという性質を利用していた。但し、図10に示した効率的なアルゴリズムは、公開鍵F(s)をCh倍した項がChに依存する部分と、それ以外の部分とに分割できることを利用している。しかし、5パス方式の場合も多項式Gがxかyの少なくとも片方について線形であれば、多項式Gが双線形でなくとも、同様に効率的なアルゴリズムを構築することが可能である。
(3次多項式fを利用した効率的なアルゴリズムの構築について)
3パス方式の場合と同様、環R上の3次多項式fを利用した効率的なアルゴリズムの構築方法について検討してみたい。3次多項式fを上記の式(17)のように表現した場合に、G(x,y)及びG(x,y)がx及びyについて線形になることについては式(19)と式(20)より分かる。
そこで、上記の性質を利用し、新たな変数r,r,t,u,eを導入して、公開鍵F(s)をCh倍した項を分割する。多項式G,Gがそれぞれxとyについて線形であるから、変数r,r,t,u,eを用いて、下記の式(32)〜式(35)の関係が成り立つ。また、下記の式(32)〜式(35)は、Chに依存する第1の部分と、Chに依存しない第2の部分とに分けることができる。但し、第1の部分は、(r,t,u,e)で再現可能である。また、第2の部分は、(r,t,u,e)で再現可能である。
例えば、下記の式(32)に含まれる「e,G(t,r)」、下記の式(33)に含まれる「t」、下記の式(34)に含まれる「u」、下記の式(35)に含まれる「e,G(r,u)」は第1の部分である。一方、下記の式(32)に含まれる「Ch・F(r+r),e,Ch・F(r),G(t,r)」、下記の式(33)に含まれる「Ch・r,t」、下記の式(34)に含まれる「Ch・r,u」、下記の式(35)に含まれる「Ch・F(r),G(r,u),e」は第2の部分である。
また、秘密鍵sの定義及び下記の式(32)〜式(35)の関係から、(r,t,u,e)、(r,t,u,e)のいずれか1つを用いても秘密鍵sは得られないことが保証される。これらの性質を利用すると、例えば、環R上の3次多項式fを利用した5パス方式に係る効率的なアルゴリズム(以下、拡張アルゴリズム)を構築することができる。
Figure 2013042295
以下、具体的な拡張アルゴリズムの構成例について説明する。拡張アルゴリズムの設計に関する基本的なポイントは、下記の式(36)及び式(37)で表現されるメッセージを検証者に送ること、及び検証者が選択したChについて、Chに依存する部分(第1の部分)に関する検証を行うことの2点である。但し、「メッセージを生成する際に利用したr及びrを、検証の際に別のr及びrにすり替えられることを防ぐ」ために、r及びrに関する検証を追加した構成例を以下で紹介する。
Figure 2013042295
(3−3−1:基本構成(図12))
まず、図12を参照しながら、5パス方式に係る拡張アルゴリズムの基本構成について説明する。なお、鍵生成アルゴリズムGenの構成については説明を省略する。
工程#1:
図12に示すように、証明者アルゴリズムPは、ランダムにベクトルr,t,u∈K及びe∈Kを生成する。次いで、証明者アルゴリズムPは、r←s−rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。次いで、証明者アルゴリズムPは、c←H(r,t,e−G(r,u))を計算する。次いで、証明者アルゴリズムPは、c←H(r,u,G(t,r)+e)を計算する。工程#1で生成されたメッセージ(c,c)は、検証者アルゴリズムVに送られる。
工程#2:
メッセージ(c,c)を受け取った検証者アルゴリズムVは、ランダムに数Chを選択する。この数Chは証明者アルゴリズムPに送られる。
工程#3:
数Chを受け取った証明者アルゴリズムPは、t←Ch・r−tを計算する。次いで、証明者アルゴリズムPは、u←Ch・r−uを計算する。次いで、証明者アルゴリズムPは、e←Ch・F(r)+Ch・G(r,r)−eを計算する。工程#3で生成された(t,u,e)は、検証者アルゴリズムVに送られる。
工程#4:
(t,u,e)を受け取った検証者アルゴリズムVは、2つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求Chに設定する。この要求Chは証明者アルゴリズムPに送られる。
工程#5:
要求Chを受け取った証明者アルゴリズムPは、受け取った要求Chに応じて検証者アルゴリズムVに送る返答Rspを生成する。Ch=0の場合、証明者アルゴリズムPは、返答Rsp=rを生成する。Ch=1の場合、証明者アルゴリズムPは、返答Rsp=rを生成する。工程#5で生成された返答Rspは、検証者アルゴリズムVに送られる。
工程#6:
返答Rspを受け取った検証者アルゴリズムVは、受け取った返答Rspを利用して以下の検証処理を実行する。
Ch=0の場合、検証者アルゴリズムVは、c=H(r,Ch・r−t,Ch・F(r)+G(r,u)−e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
Ch=1の場合、検証者アルゴリズムVは、c=H(r,Ch・r−u,Ch・(y−F(r))−G(t,r)−e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
以上、5パス方式に係る拡張アルゴリズムの構成例について説明した。このアルゴリズムを利用することにより、通信に必要なデータサイズが大幅に削減される。また、3次多項式を利用していることにより、より高い安全性が実現されている。
(3−3−2:並列化アルゴリズム(図13))
次に、図13を参照しながら、5パス方式に係る拡張アルゴリズムの並列化について説明する。なお、鍵生成アルゴリズムGenの構成については説明を省略する。
工程#1:
図13に示すように、証明者アルゴリズムPは、i=1〜Nについて、次の処理を実行する。まず、証明者アルゴリズムPは、ランダムにベクトルr0i,t0i,u0i∈K及びe0i∈Kを生成する。次いで、証明者アルゴリズムPは、r1i←s−r0iを計算する。この計算は、秘密鍵sをベクトルr0iによりマスクする操作に相当する。次いで、証明者アルゴリズムPは、c0i←H(r0i,t0i,e0i−G(r0i,u0i))を計算する。次いで、証明者アルゴリズムPは、c1i←H(r1i,u0i,G(t0i,r1i)+e0i)を計算する。
工程#1(続き):
(c01,c11,…,c0N,c1N)を計算した後、証明者アルゴリズムPは、ハッシュ値Cmt←H(c01,c11,…,c0N,c1N)を計算する。工程#1で生成されたハッシュ値Cmtは、検証者アルゴリズムVに送られる。
工程#2:
ハッシュ値Cmtを受け取った検証者アルゴリズムVは、ランダムに数ChA1,…,ChANを選択する。数ChA1,…,ChANは証明者アルゴリズムPに送られる。
工程#3:
数ChA1,…,ChANを受け取った証明者アルゴリズムPは、i=1〜Nについて、次の処理を実行する。まず、証明者アルゴリズムPは、t1i←ChAi・r0i−t0iを計算する。次いで、証明者アルゴリズムPは、u1i←ChAi・r1i−u0iを計算する。次いで、証明者アルゴリズムPは、e1i←ChAi・F(r0i)+ChAi・G(r0i,r1i)−e0iを計算する。
工程#3で生成された(t11,u11,e11,…,t1N,u1N,e1N)は、検証者アルゴリズムVに送られる。
工程#4:
(t11,u11,e11,…,t1N,u1N,e1N)を受け取った検証者アルゴリズムVは、i=1〜Nのそれぞれについて、2つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、i=1〜Nのそれぞれについて、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求ChBiに設定する。要求ChB1,…,ChBNは証明者アルゴリズムPに送られる。
工程#5:
要求ChB1,…,ChBNを受け取った証明者アルゴリズムPは、i=1〜Nのそれぞれについて、受け取った要求ChBiに応じて検証者アルゴリズムVに送る返答Rspを生成する。ChBi=0の場合、証明者アルゴリズムPは、返答Rsp=(r0i,c1i)を生成する。ChBi=1の場合、証明者アルゴリズムPは、返答Rsp=(r1i,c0i)を生成する。工程#5で生成された返答Rspは、検証者アルゴリズムVに送られる。
工程#6:
返答Rsp(i=1〜N)を受け取った検証者アルゴリズムVは、受け取った返答Rspを利用し、i=1〜Nについて次の処理を実行する。
ChBi=0の場合、検証者アルゴリズムVは、c0i=H(r0i,ChAi・r0i−t1i,ChAi・F(r0i)+G(r0i,u1i)−e1i)を計算する。そして、検証者アルゴリズムVは、(c0i,c1i)を保持する。
ChBi=1の場合、検証者アルゴリズムVは、c1i=H(r1i,ChAi・r1i−u1i,ChAi・(y−F(r1i))−G(t1i,r1i)−e1i)を計算する。そして、検証者アルゴリズムVは、(c0i,c1i)を保持する。
i=1〜Nについて上記の処理を実行した後、検証者アルゴリズムVは、Cmt=H(c01,c11,…,c0N,c1N)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
以上、5パス方式に係る拡張アルゴリズムの並列化について説明した。このアルゴリズムを利用することにより、通信に必要なデータサイズが大幅に削減される。また、3次多項式を利用していることにより、より高い安全性が実現されている。
[3−4:高次多変数多項式に基づく効率的なアルゴリズム(方式#2)]
これまで、環R上の3次多項式fを利用した効率的なアルゴリズムの構築方法について説明してきた。ここでは標数q及び位数qの環R上で定義される高次多項式fを利用した拡張アルゴリズムの構築方法について考える。この高次多項式fは、例えば、下記の式(38)のように表現される。この高次多項式fを用いる場合、G(x,y)=F(x+y)−F(x)−F(y)=(g,…,g)で定義される多項式Gの成分gは、下記の式(39)のように表現される。
Figure 2013042295
従って、Ch∈Rについて、下記の式(40)に示す関係が成り立つ。さらに、下記の式(41)に示す関係も成り立つ。そこで、これらの性質(以下、準線形性と呼ぶ。)を利用し、新たな変数r,r,t0z,eを導入して、公開鍵F(s)をCh倍した項を分割する。多項式Gが準線形性を有することから、変数r,r,t0z,eを用いて、下記の式(42)〜式(44)の関係が成り立つ。また、下記の式(42)〜式(44)は、Chに依存する第1の部分と、Chに依存しない第2の部分とに分けることができる。但し、第1の部分は、(r,t1z,e)で再現可能である。また、第2の部分は、(r,t1z,e)で再現可能である。
例えば、下記の式(42)に含まれる「e,ΣG(t0z,r)」、下記の式(43)に含まれる「t0z」、下記の式(44)に含まれる「e」は第1の部分である。一方、下記の式(42)に含まれる「Ch・F(r+r),e,Ch・F(r),ΣG(t1z,r)」、下記の式(43)に含まれる「Ch q(−z)・r,t1z」(但し、q(z)=q;以下同様)、下記の式(44)に含まれる「Ch・F(r),e」は第2の部分である。
また、秘密鍵sの定義及び下記の式(42)〜式(44)の関係から、(r,t1z,e)、(r,t1z,e)のいずれか1つを用いても秘密鍵sは得られないことが保証される。これらの性質を利用すると、例えば、環R上の高次多項式fを利用した5パス方式に係る効率的なアルゴリズム(以下、高次拡張アルゴリズム)を構築することができる。
Figure 2013042295
以下、具体的な高次拡張アルゴリズムの構成例について説明する。高次拡張アルゴリズムの設計に関する基本的なポイントは、下記の式(45)及び式(46)で表現されるメッセージを検証者に送ること、及び検証者が選択したChについて、Chに依存する部分(第1の部分)に関する検証を行うことの2点である。但し、「メッセージを生成する際に利用したr及びrを、検証の際に別のr及びrにすり替えられることを防ぐ」ために、r及びrに関する検証を追加した構成例を以下で紹介する。
Figure 2013042295
(3−4−1:基本構成(図14))
まず、図14を参照しながら、5パス方式に係る高次拡張アルゴリズムの基本構成について説明する。なお、鍵生成アルゴリズムGenの構成については説明を省略する。
工程#1:
図14に示すように、証明者アルゴリズムPは、ランダムにベクトルr,t01,…,t0k∈K及びe∈Kを生成する。次いで、証明者アルゴリズムPは、r←s−rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。次いで、証明者アルゴリズムPは、c←H(r,t01,…,t0k,e)を計算する。次いで、証明者アルゴリズムPは、c←H(r,Σ(t0z,r)+e)(但し、Σはz=1〜kについての和を表す。)を計算する。工程#1で生成されたメッセージ(c,c)は、検証者アルゴリズムVに送られる。
工程#2:
メッセージ(c,c)を受け取った検証者アルゴリズムVは、ランダムに数Chを選択する。この数Chは証明者アルゴリズムPに送られる。
工程#3:
数Chを受け取った証明者アルゴリズムPは、z=1〜kについて、t1z←(Chq(z−1)・r−t0zを計算する。次いで、証明者アルゴリズムPは、e←Ch・F(r)−eを計算する。工程#3で生成された(t11,…,t1k,e)は、検証者アルゴリズムVに送られる。
工程#4:
(t11,…,t1k,e)を受け取った検証者アルゴリズムVは、2つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求Chに設定する。この要求Chは証明者アルゴリズムPに送られる。
工程#5:
要求Chを受け取った証明者アルゴリズムPは、受け取った要求Chに応じて検証者アルゴリズムVに送る返答Rspを生成する。Ch=0の場合、証明者アルゴリズムPは、返答Rsp=rを生成する。Ch=1の場合、証明者アルゴリズムPは、返答Rsp=rを生成する。工程#5で生成された返答Rspは、検証者アルゴリズムVに送られる。
工程#6:
返答Rspを受け取った検証者アルゴリズムVは、受け取った返答Rspを利用して以下の検証処理を実行する。
Ch=0の場合、検証者アルゴリズムVは、c=H(r,(Chq(0)・r−t11,…,(Chq(k−1)・r−t1k,Ch・F(r)−e)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
Ch=1の場合、検証者アルゴリズムVは、c=H(r,Ch・(y−F(r))−Σ(t1z,r))の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
以上、5パス方式に係る高次拡張アルゴリズムの構成例について説明した。このアルゴリズムを利用することにより、通信に必要なデータサイズが大幅に削減される。また、高次多項式を利用していることにより、より高い安全性が実現されている。
(3−4−2:並列化アルゴリズム(構成例1)(図15))
次に、図15を参照しながら、5パス方式に係る高次拡張アルゴリズムの並列化について説明する。なお、鍵生成アルゴリズムGenの構成については説明を省略する。
工程#1:
図15に示すように、証明者アルゴリズムPは、i=1〜Nについて、次の処理を実行する。まず、証明者アルゴリズムPは、ランダムにベクトルr0i,t01i,…,t0ki∈K及びe0i∈Kを生成する。次いで、証明者アルゴリズムPは、r1i←s−r0iを計算する。この計算は、秘密鍵sをベクトルr0iによりマスクする操作に相当する。次いで、証明者アルゴリズムPは、c0i←H(r0i,t01i,…,t0ki,e0i)を計算する。次いで、証明者アルゴリズムPは、c1i←H(r1i,Σ(t0zi,r1i)+e0i)(但し、Σはz=1〜kについての和を表す。)を計算する。工程#1で生成されたメッセージ(c0i,c1i)(i=1〜N)は、検証者アルゴリズムVに送られる。
工程#2:
メッセージ(c0i,c1i)(i=1〜N)を受け取った検証者アルゴリズムVは、ランダムに数ChA1,…,ChANを選択する。この数ChA1,…,ChANは証明者アルゴリズムPに送られる。
工程#3:
数ChA1,…,ChANを受け取った証明者アルゴリズムPは、i=1〜N及びz=1〜kについて、t1zi←(ChAiq(z−1)・r0i−t0ziを計算する。次いで、証明者アルゴリズムPは、e1i←ChAi・F(r0i)−e0iを計算する。工程#3で生成された(t11i,…,t1ki,e1i)(i=1〜N)は、検証者アルゴリズムVに送られる。
工程#4:
(t11i,…,t1ki,e1i)(i=1〜N)を受け取った検証者アルゴリズムVは、2つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求ChBiに設定する。要求ChBi(i=1〜N)は証明者アルゴリズムPに送られる。
工程#5:
要求ChBi(i=1〜N)を受け取った証明者アルゴリズムPは、i=1〜Nのそれぞれについて、受け取った要求ChBiに応じて検証者アルゴリズムVに送る返答Rspを生成する。ChBi=0の場合、証明者アルゴリズムPは、返答Rsp=r0iを生成する。ChBi=1の場合、証明者アルゴリズムPは、返答Rsp=r1iを生成する。工程#5で生成された返答Rsp(i=1〜N)は、検証者アルゴリズムVに送られる。
工程#6:
返答Rsp(i=1〜N)を受け取った検証者アルゴリズムVは、受け取った返答Rspを利用し、i=1〜Nについて次の認証処理を実行する。
ChBi=0の場合、検証者アルゴリズムVは、c0i=H(r0i,(ChAiq(0)・r0i−t11i,…,(ChAiq(k−1)・r0i−t1ki,ChAi・F(r0i)−e1i)の等号が成り立つか否かを検証する。ChBi=1の場合、検証者アルゴリズムVは、c1i=H(r1i,ChAi・(y−F(r1i))−Σ(t1zi,r1i))の等号が成り立つか否かを検証する。
検証者アルゴリズムVは、全ての検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
以上、5パス方式に係る高次拡張アルゴリズムの並列化について説明した。このアルゴリズムを利用することにより、通信に必要なデータサイズが大幅に削減される。また、高次多項式を利用していることにより、より高い安全性が実現されている。
(3−4−3:並列化アルゴリズム(構成例2:高効率)(図16))
さて、図15に示した高次拡張アルゴリズムの並列化構成において、1パス目にメッセージ(c0i,c1i)(i=1〜N)をそのまま送っていた。しかし、通信効率を考えると、メッセージ(c0i,c1i)(i=1〜N)を1つのハッシュ値に纏めて送る方が好ましい。1パス目でメッセージ(c0i,c1i)(i=1〜N)を1つのハッシュ値に纏めて送るには、図16に示すようにアルゴリズムの構成を変形すればよい。
図16の構成例において、証明者アルゴリズムPは、工程#1でハッシュ値Cmt←H(c01,c11,…,c0N,c1N)を計算している。また、証明者アルゴリズムPは、工程#5で返答Rspを生成する際、ChBi=0の場合に返答Rsp=(r0i,c1i)を生成し、ChBi=1の場合に返答Rsp=(r1i,c0i)を生成している。一方、検証者アルゴリズムVは、工程#6において、(ChAi,ChBi,Rsp)(i=1〜N)から(c01,c11,…,c0N,c1N)を生成し、Cmt=(c01,c11,…,c0N,c1N)の等号が成り立つか否かを検証している。これらの変形を行うことにより、通信効率を高めることが可能になる。
以上、高次拡張アルゴリズムに基づく効率的な並列化アルゴリズムについて説明した。
(3−4−4:並列化アルゴリズム(構成例2:更に高効率)(図17))
さて、図15に示した高次拡張アルゴリズムの並列化構成において、1パス目にメッセージ(c0i,c1i)(i=1〜N)をそのまま送っていた。さらに、3パス目に(t11i,…,t1ki,e1i)(i=1〜N)をそのまま送っていた。しかし、通信効率を考えると、メッセージ(c0i,c1i)(i=1〜N)を1つのハッシュ値に纏めて送る方が好ましい。さらに、(t11i,…,t1ki,e1i)(i=1〜N)を1つのハッシュ値に纏めて送る方が好ましい。1パス目でメッセージ(c0i,c1i)(i=1〜N)を1つのハッシュ値に纏めて送り、3パス目で(t11i,…,t1ki,e1i)(i=1〜N)を1つのハッシュ値に纏めて送るには、図17に示すようにアルゴリズムの構成を変形すればよい。
図17の構成例において、証明者アルゴリズムPは、工程#1でハッシュ値Cmt←H(c01,c11,…,c0N,c1N)を計算している。証明者アルゴリズムPは、工程#3でハッシュ値Cmt←H(t111,…,t1kN,e11,…,e1N)を計算している。また、証明者アルゴリズムPは、工程#5で返答Rspを生成する際、ChBi=0の場合に返答Rsp=(r0i,t01i,…,t0ki,e0i,c1i)を生成し、ChBi=1の場合に返答Rsp=(r1i,t11i,…,t1ki,e1i,c0i)を生成している。
一方、検証者アルゴリズムVは、工程#6において、(ChAi,ChBi,Rsp)(i=1〜N)から(c01,c11,…,c0N,c1N)及び(t111,…,t1kN,e11,…,e1N)を生成し、Cmt=(c01,c11,…,c0N,c1N)及びCmt=(t111,…,t1kN,e11,…,e1N)の等号が成り立つか否かを検証している。これらの変形を行うことにより、通信効率を更に高めることが可能になる。
以上、高次拡張アルゴリズムに基づく更に効率的な並列化アルゴリズムについて説明した。
以上説明した高次拡張アルゴリズムを適用することにより、より安全性が高く効率的な公開鍵認証方式を実現することが可能になる。例えば、5パス方式の拡張アルゴリズムにおいて、(q,n,m,N)=(2,45,30,88)とする場合、公開鍵のサイズは120ビット、秘密鍵のサイズは180ビット、通信データのサイズは27512ビットとなる。
同程度の安全性を担保しようとすると、5パス方式の高次拡張アルゴリズムの場合、例えば、(q,n,m,N)=(2,42,40,118)の条件で済む。この条件において、公開鍵のサイズは80ビット、秘密鍵のサイズは84ビット、通信データのサイズは27814ビットとなる。つまり、高次拡張アルゴリズムを適用することにより、通信データのサイズを同程度に維持しながら、公開鍵のサイズ及び秘密鍵のサイズを大幅に低減することが可能になる。
なお、条件を(q,n,m,N)=(2,28,27,97)に変更してもよい。この場合、公開鍵のサイズは81ビット、秘密鍵のサイズは84ビット、通信データのサイズは27145ビットとなる。さらに、条件を(q,n,m,N)=(2,21,20,88)に変更してもよい。この場合、公開鍵のサイズは80ビット、秘密鍵のサイズは84ビット、通信データのサイズは28392ビットとなる。いずれの条件においても、大幅な効率化が達成されている。
<4:電子署名方式への変形>
ここで、上記の公開鍵認証方式を電子署名方式へと変形する方法を紹介する。
公開鍵認証方式のモデルにおける証明者を電子署名方式における署名者に対応させると、証明者のみが検証者を納得させられるという点において、電子署名方式のモデルと近似していることが容易に理解されよう。こうした考えに基づき、上述した公開鍵認証方式を電子署名方式へと変形する方法について説明する。
[4−1:3パスの公開鍵認証方式から電子署名方式への変形]
まず、3パスの公開鍵認証方式から電子署名方式への変形について説明する。
(4−1−1:電子署名アルゴリズム(構成例1)(図18))
図18に示すように、3パス方式に係る効率的なアルゴリズム(例えば、図6及び図8を参照)は、3回の対話及び4つの工程#1〜工程#4で表現される。
工程#1は、i=1〜Nについて、a=(r0i,t0i,e0i,r1i,t1i,e1i,c0i,c1i,c2i)を生成する処理(1)と、Cmt←H(c01,c11,c21,…,c0N,c1N,c2N)を計算する処理(2)とで構成される。工程#1で証明者アルゴリズムPにより生成されたCmtは、検証者アルゴリズムVへと送られる。
工程#2は、Ch,…,Chを選択する処理で構成される。工程#2で検証者アルゴリズムVにより選択されたCh,…,Chは、証明者アルゴリズムPへと送られる。
工程#3は、Ch,…,Ch及びa,…,aを用いてRsp,…,Rspを生成する処理で構成される。この処理をRsp←Select(Ch,a)と表現する。工程#3で証明者アルゴリズムPにより生成されたRsp,…,Rspは、検証者アルゴリズムVへと送られる。
工程#4は、Ch,…,Ch及びRsp,…,Rspを用いてc01,c11,c21,…,c0N,c1N,c2Nを再生する処理(1)と、再生したc01,c11,c21,…,c0N,c1N,c2Nを用いてCmt=H(c01,c11,c21,…,c0N,c1N,c2N)を検証する処理(2)とで構成される。
上記の工程#1〜工程#4で表現される公開鍵認証方式のアルゴリズムは、図18に示すような署名生成アルゴリズムSig及び署名検証アルゴリズムVerに変形される。
(署名生成アルゴリズムSig)
まず、署名生成アルゴリズムSigの構成について述べる。署名生成アルゴリズムSigは、以下の処理(1)〜処理(5)で構成される。
処理(1):署名生成アルゴリズムSigは、a=(r0i,t0i,e0i,r1i,t1i,e1i,c0i,c1i,c2i)を生成する。
処理(2):署名生成アルゴリズムSigは、Cmt←H(c01,c11,c21,…,c0N,c1N,c2N)を計算する。
処理(3):署名生成アルゴリズムSigは、(Ch,…,Ch)←H(M,Cmt)を計算する。このMは、署名を付与する文書である。
処理(4):署名生成アルゴリズムSigは、Rsp←Select(Chi,)を計算する。
処理(5):署名生成アルゴリズムSigは、(Cmt,Rsp,…,Rsp)を署名に設定する。
(署名検証アルゴリズムVer)
次に、署名検証アルゴリズムVerの構成について述べる。署名検証アルゴリズムVerは、以下の処理(1)〜処理(3)で構成される。
処理(1):署名検証アルゴリズムVerは、(Ch,…,Ch)←H(M,Cmt)を計算する。
処理(2):署名検証アルゴリズムVerは、Ch,…,Ch及びRsp,…,Rspを用いてc01,c11,c21,…,c0N,c1N,c2Nを生成する。
処理(3):署名検証アルゴリズムVerは、再生したc01,c11,c21,…,c0N,c1N,c2Nを用いてCmt=H(c01,c11,c21,…,c0N,c1N,c2N)を検証する。
以上説明したように、公開鍵認証方式のモデルにおける証明者を電子署名方式における署名者に対応させることで、公開鍵認証方式のアルゴリズムを電子署名方式のアルゴリズムへと変形することが可能になる。
(4−1−2:電子署名アルゴリズム(構成例2:高効率)(図19))
ところで、図18に示した署名生成アルゴリズムSigの構成に注目すると、処理(2)及び処理(3)でハッシュ値の計算を行っていることに気づくであろう。また、署名検証アルゴリズムVerの構成に注目すると、処理(1)において、署名生成アルゴリズムSigの処理(3)と同じハッシュ値の計算を行っていることに気づくであろう。これらの処理に注目し、図19に示すように署名生成アルゴリズムSig及び署名検証アルゴリズムVerの構成を改良すると、さらに計算効率を向上させることができる。
(署名生成アルゴリズムSig)
まず、図19を参照しながら、改良後の署名生成アルゴリズムSigの構成について説明する。署名生成アルゴリズムSigは、以下の処理(1)〜処理(4)で構成される。
処理(1):署名生成アルゴリズムSigは、a=(r0i,t0i,e0i,r1i,t1i,e1i,c0i,c1i,c2i)を生成する。
処理(2):署名生成アルゴリズムSigは、(Ch,…,Ch)←H(M,c01,c11,c21,…,c0N,c1N,c2N)を計算する。このMは、署名を付与する文書である。
処理(3):署名生成アルゴリズムSigは、Rsp←Select(Chi,)を計算する。
処理(4):署名生成アルゴリズムSigは、(Ch,…,Ch,Rsp,…,Rsp)を署名に設定する。
(署名検証アルゴリズムVer)
次に、改良後の署名検証アルゴリズムVerの構成について説明する。署名検証アルゴリズムVerは、以下の処理(1)及び処理(2)で構成される。
処理(1):署名検証アルゴリズムVerは、Ch,…,Ch及びRsp,…,Rspを用いてc01,c11,c21,…,c0N,c1N,c2Nを生成する。
処理(2):署名検証アルゴリズムVerは、再生したc01,c11,c21,…,c0N,c1N,c2Nを用いて(Ch,…,Ch)=H(c01,c11,c21,…,c0N,c1N,c2N)を検証する。
上記のように署名生成アルゴリズムSig及び署名検証アルゴリズムVerの構成を改良することにより、各アルゴリズムにおいてハッシュ値の計算が1回ずつ削減され、計算効率が向上する。
[4−2:5パスの公開鍵認証方式から電子署名方式への変形]
次に、5パスの公開鍵認証方式から電子署名方式への変形について説明する。
(4−2−1:電子署名アルゴリズム(構成例1)(図20))
図20に示すように、5パス方式に係る効率的なアルゴリズム(例えば、図11、図13及び図16を参照)は、5回の対話及び6つの工程#1〜工程#6で表現される。
工程#1は、i=1〜Nについて、a=(r0i,t0i,e0i,r1i,t1i,e1i,c0i,c1i)を生成する処理(1)と、Cmt←H(c01,c11,…,c0N,c1N)を計算する処理(2)とで構成される。工程#1で証明者アルゴリズムPにより生成されたCmtは、検証者アルゴリズムVへと送られる。
工程#2は、ChA1,…,ChANを選択する処理で構成される。工程#2で検証者アルゴリズムVにより選択されたChA1,…,ChANは、証明者アルゴリズムPへと送られる。
工程#3は、i=1〜Nについて、b=(t1i,e1i)を生成する処理で構成される。工程#3で証明者アルゴリズムPにより生成されたb,…,bは、検証者アルゴリズムVへと送られる。
工程#4は、ChB1,…,ChBNを選択する処理で構成される。工程#4で検証者アルゴリズムVにより選択されたChB1,…,ChBNは、証明者アルゴリズムPへと送られる。
工程#5は、ChB1,…,ChBN,a,…,a,b,…,bを用いてRsp,…,Rspを生成する処理で構成される。この処理をRsp←Select(ChBi,a,b)と表現する。工程#5で証明者アルゴリズムPにより生成されたRsp,…,Rspは、検証者アルゴリズムVへと送られる。
工程#6は、ChA1,…,ChAN,ChB1,…,ChBN,Rsp,…,Rspを用いてc01,c11,…,c0N,c1Nを再生する処理(1)と、再生したc01,c11,…,c0N,c1Nを用いてCmt=H(c01,c11,…,c0N,c1N)を検証する処理(2)とで構成される。
上記の工程#1〜工程#6で表現される公開鍵認証方式のアルゴリズムは、図20に示すような署名生成アルゴリズムSig及び署名検証アルゴリズムVerに変形される。
(署名生成アルゴリズムSig)
まず、署名生成アルゴリズムSigの構成について述べる。署名生成アルゴリズムSigは、以下の処理(1)〜処理(7)で構成される。
処理(1):署名生成アルゴリズムSigは、a=(r0i,t0i,e0i,r1i,t1i,e1i,c0i,c1i)を生成する。
処理(2):署名生成アルゴリズムSigは、Cmt←H(c01,c11,…,c0N,c1N)を計算する。
処理(3):署名生成アルゴリズムSigは、(ChA1,…,ChAN)←H(M,Cmt)を計算する。このMは、署名を付与する文書である。
処理(4):署名生成アルゴリズムSigは、i=1〜Nについて、b=(t1i,e1i)を生成する。
処理(5):署名生成アルゴリズムSigは、(ChB1,…,ChBN)←H(M,Cmt,ChA1,…,ChAN,b,…,b)を計算する。なお、(ChB1,…,ChBN)←H(ChA1,…,ChAN,b,…,b)と変形してもよい。
処理(6):署名生成アルゴリズムSigは、Rsp←Select(ChBi,a,b)を計算する。
処理(7):署名生成アルゴリズムSigは、(Cmt,b,…,b,Rsp,…,Rsp)を電子署名に設定する。
(署名検証アルゴリズムVer)
次に、署名検証アルゴリズムVerの構成について述べる。署名検証アルゴリズムVerは、以下の処理(1)〜処理(4)で構成される。
処理(1):署名検証アルゴリズムVerは、(ChA1,…,ChAN)←H(M,Cmt)を計算する。
処理(2):署名検証アルゴリズムVerは、(ChB1,…,ChBN)←H(M,Cmt,ChA1,…,ChAN,b,…,b)を計算する。なお、署名検証アルゴリズムVerが実行する処理(5)において、(ChB1,…,ChBN)←H(ChA1,…,ChAN,b,…,b)と変形した場合、署名検証アルゴリズムVerは、(ChB1,…,ChBN)←H(ChA1,…,ChAN,b,…,b)を計算する。
処理(3):署名検証アルゴリズムVerは、ChA1,…,ChAN,ChB1,…,ChBN,Rsp,…,Rspを用いてc01,c11,…,c0N,c1Nを生成する。
処理(4):署名検証アルゴリズムVerは、再生したc01,c11,…,c0N,c1Nを用いてCmt=H(c01,c11,…,c0N,c1N)を検証する。
以上説明したように、公開鍵認証方式のモデルにおける証明者を電子署名方式における署名者に対応させることで、公開鍵認証方式のアルゴリズムを電子署名方式のアルゴリズムへと変形することが可能になる。
(4−2−2:電子署名アルゴリズム(構成例2:高効率)(図21))
図21に示すように、5パス方式に係る更に効率的なアルゴリズム(例えば、図17を参照)は、5回の対話及び6つの工程#1〜工程#6で表現される。
工程#1は、i=1〜Nについて、a=(r0i,t0i,e0i,r1i,t1i,e1i,c0i,c1i)を生成する処理(1)と、Cmt←H(c01,c11,…,c0N,c1N)を計算する処理(2)とで構成される。工程#1で証明者アルゴリズムPにより生成されたCmtは、検証者アルゴリズムVへと送られる。
工程#2は、ChA1,…,ChANを選択する処理で構成される。工程#2で検証者アルゴリズムVにより選択されたChA1,…,ChANは、証明者アルゴリズムPへと送られる。
工程#3は、i=1〜Nについて、b=(t1i,e1i)を生成する処理(1)と、Cmt←H(b,…,b)を計算する処理(2)とで構成される。工程#3で証明者アルゴリズムPにより生成されたCmtは、検証者アルゴリズムVへと送られる。
工程#4は、ChB1,…,ChBNを選択する処理で構成される。工程#4で検証者アルゴリズムVにより選択されたChB1,…,ChBNは、証明者アルゴリズムPへと送られる。
工程#5は、ChB1,…,ChBN,a,…,a,b,…,bを用いてRsp,…,Rspを生成する処理で構成される。この処理をRsp←Select(ChBi,a,b)と表現する。工程#5で証明者アルゴリズムPにより生成されたRsp,…,Rspは、検証者アルゴリズムVへと送られる。
工程#6は、ChA1,…,ChAN,ChB1,…,ChBN,Rsp,…,Rspを用いてc01,c11,…,c0N,c1N,b,…,bを再生する処理(1)と、再生したc01,c11,…,c0N,c1Nを用いてCmt=H(c01,c11,…,c0N,c1N)を検証する処理(2)と、再生したb,…,bを用いてCmt=H(b,…,b)を検証する処理(3)とで構成される。
上記の工程#1〜工程#6で表現される公開鍵認証方式のアルゴリズムは、図21に示すような署名生成アルゴリズムSig及び署名検証アルゴリズムVerに変形される。
(署名生成アルゴリズムSig)
まず、署名生成アルゴリズムSigの構成について述べる。署名生成アルゴリズムSigは、以下の処理(1)〜処理(8)で構成される。
処理(1):署名生成アルゴリズムSigは、a=(r0i,t0i,e0i,r1i,t1i,e1i,c0i,c1i)を生成する。
処理(2):署名生成アルゴリズムSigは、Cmt←H(c01,c11,…,c0N,c1N)を計算する。
処理(3):署名生成アルゴリズムSigは、(ChA1,…,ChAN)←H(M,Cmt)を計算する。このMは、署名を付与する文書である。
処理(4):署名生成アルゴリズムSigは、i=1〜Nについて、b=(t1i,e1i)を生成する。
処理(5):署名生成アルゴリズムSigは、Cmt←H(b,…,b)を計算する。
処理(6):署名生成アルゴリズムSigは、(ChB1,…,ChBN)←H(M,Cmt,ChA1,…,ChAN,Cmt)を計算する。なお、(ChB1,…,ChBN)←H(ChA1,…,ChAN,Cmt)と変形してもよい。
処理(7):署名生成アルゴリズムSigは、Rsp←Select(ChBi,a,b)を計算する。
処理(8):署名生成アルゴリズムSigは、(Cmt,Cmt,Rsp,…,Rsp)を電子署名に設定する。
(署名検証アルゴリズムVer)
次に、署名検証アルゴリズムVerの構成について述べる。署名検証アルゴリズムVerは、以下の処理(1)〜処理(5)で構成される。
処理(1):署名検証アルゴリズムVerは、(ChA1,…,ChAN)←H(M,Cmt)を計算する。
処理(2):署名検証アルゴリズムVerは、(ChB1,…,ChBN)←H(M,Cmt,ChA1,…,ChAN,Cmt)を計算する。なお、署名検証アルゴリズムVerが実行する処理(6)において、(ChB1,…,ChBN)←H(ChA1,…,ChAN,Cmt)と変形した場合、署名検証アルゴリズムVerは、(ChB1,…,ChBN)←H(ChA1,…,ChAN,Cmt)を計算する。
処理(3):署名検証アルゴリズムVerは、ChA1,…,ChAN,ChB1,…,ChBN,Rsp,…,Rspを用いてc01,c11,…,c0N,c1N,b,…,bを生成する。
処理(4):署名検証アルゴリズムVerは、再生したc01,c11,…,c0N,c1Nを用いてCmt=H(c01,c11,…,c0N,c1N)を検証する。
処理(5):署名検証アルゴリズムVerは、再生したb,…,bを用いてCmt=H(b,…,b)を検証する。
以上説明したように、公開鍵認証方式のモデルにおける証明者を電子署名方式における署名者に対応させることで、公開鍵認証方式のアルゴリズムを電子署名方式のアルゴリズムへと変形することが可能になる。
<5:ハイブリッド型アルゴリズム>
偽証が成功する確率を無視できる程度にまで小さくするために、対話プロトコルを複数回実行する必要性については既に説明した通りである。また、対話プロトコルを複数回実行する方法として、直列的な方法と並列的な方法とを紹介した。特に、並列的な方法については、具体的な並列化アルゴリズムを示して説明した。ここでは、直列的な方法と並列的な方法とを組み合わせたハイブリッド型のアルゴリズムを紹介する。
[5−1:3パスの公開鍵認証方式に係るハイブリッド型アルゴリズム]
まず、3パスの公開鍵認証方式に係るハイブリッド型アルゴリズムについて説明する。
(5−1−1:並直列アルゴリズム(図22))
図22を参照しながら、ハイブリッド型の一構成例(以下、並直列構成)について説明する。図22には、基本構成のアルゴリズム及び並直列構成のアルゴリズムを示した。
基本構成の場合、1パス目にメッセージCmtが証明者から検証者へと送られる。2パス目では、検証者から証明者へと要求Chが送られる。3パス目では、証明者から検証者へと返答Rspが送られる。
一方、並直列構成の場合、1パス目にN回分のメッセージ(Cmt,…,Cmt)が証明者から検証者へと送られる。2パス目では、検証者から証明者へと1回分の要求Chが送られる。3パス目では、証明者から検証者へと1回分の返答Rspが送られる。その後、証明者と検証者との間で要求Ch,…,Ch及び返答Rsp,…,Rspのやり取りが逐次的に行われる。
これまで説明してきた公開鍵認証方式のアルゴリズムに基づく並直列構成の場合、受動的攻撃に対する安全性が保証される。また、対話の回数が2N+1回で済む。さらに、1パス目で送信されるN回分のメッセージを1つのハッシュ値に纏めると、通信効率を向上させることができる。
(5−1−2:直並列アルゴリズム(図23))
図23を参照しながら、ハイブリッド型の他の一構成例(以下、直並列構成)について説明する。図23には、基本構成のアルゴリズム及び直並列構成のアルゴリズムを示した。
基本構成の場合、1パス目にメッセージCmtが証明者から検証者へと送られる。2パス目では、検証者から証明者へと要求Chが送られる。3パス目では、証明者から検証者へと返答Rspが送られる。
直並列構成の場合、1パス目に1回分のメッセージCmtが証明者から検証者へと送られる。2パス目では、検証者から証明者へと1回分の要求Chが送られる。その後、証明者と検証者との間でメッセージCmt,…,Cmt及び要求Ch,…,Chのやり取りが逐次的に行われる。要求Chが検証者から証明者へと送られた後、証明者から検証者へとN回分の返答Rsp,…,Rspが送られる。
これまで説明してきた公開鍵認証方式のアルゴリズムに基づく直並列構成の場合、能動的攻撃に対する安全性が保証される。また、対話の回数が2N+1回で済む。
[5−2:5パスの公開鍵認証方式に係るハイブリッド型アルゴリズム]
次に、5パスの公開鍵認証方式に係るハイブリッド型アルゴリズムについて説明する。
(5−2−1:並直列アルゴリズム(構成例#1)(図24))
まず、図24を参照しながら、ハイブリッド型の一構成例(以下、並直列構成#1)について説明する。図24には、基本構成のアルゴリズム及び並直列構成#1のアルゴリズムを示した。
基本構成の場合、1パス目にメッセージCmtが証明者から検証者へと送られる。2パス目では、検証者から証明者へと数Chが送られる。3パス目では、証明者から検証者へとベクトルCmtが送られる。4パス目では、検証者から証明者へと要求Chが送られる。5パス目では、証明者から検証者へと返答Rspが送られる。
並直列構成#1の場合、1パス目にN回分のメッセージ(CmtA1,…,CmtAN)が証明者から検証者へと送られる。2パス目では、検証者から証明者へと1回分の数ChA1が送られる。3パス目では、証明者から検証者へと1回分のベクトルCmtB1が送られる。4パス目では、検証者から証明者へと1回分の要求ChB1が送られる。5パス目では、証明者から検証者へと1回分の返答Rspが送られる。その後、証明者と検証者との間で、ChA2,…,ChAN,CmtB2,…,CmtBN,ChB2,…,ChBN,Rsp,…,Rspのやり取りが逐次的に行われる。
並直列構成#1の場合、受動的攻撃に対する安全性が保証される。また、対話の回数が4N+1回で済む。さらに、1パス目で送信されるN回分のメッセージを1つのハッシュ値に纏めることにより、通信効率を向上させることができる。
(5−2−2:並直列アルゴリズム(構成例#2)(図25))
次に、図25を参照しながら、ハイブリッド型の他の一構成例(以下、並直列構成#2)について説明する。図25には、基本構成のアルゴリズム及び並直列構成#2のアルゴリズムを示した。
並直列構成#2の場合、1パス目にN回分のメッセージ(CmtA1,…,CmtAN)が証明者から検証者へと送られる。2パス目では、検証者から証明者へとN回分の数(ChA1,…,ChAN)が送られる。3パス目では、証明者から検証者へとN回分のベクトル(CmtB1,…,CmtBN)が送られる。4パス目では、検証者から証明者へと1回分の要求ChB1が送られる。5パス目では、証明者から検証者へと1回分の返答Rspが送られる。その後、証明者と検証者との間で、ChB2,…,ChBN,Rsp,…,Rspのやり取りが逐次的に行われる。
並直列構成#2の場合、受動的攻撃に対する安全性が保証される。また、対話の回数が2N+3回で済む。さらに、1パス目で送信されるN回分のメッセージや3パス目で送信されるN回分のベクトルなどを1つのハッシュ値に纏めることにより、通信効率を向上させることができる。
(5−2−3:直並列アルゴリズム(構成例#1)(図26))
次に、図26を参照しながら、ハイブリッド型の他の一構成例(以下、直並列構成#1)について説明する。図26には、基本構成のアルゴリズム及び直並列構成#1のアルゴリズムを示した。
直並列構成#1の場合、1パス目に1回分のメッセージCmtA1が証明者から検証者へと送られる。2パス目では、検証者から証明者へと1回分の数ChA1が送られる。3パス目では、証明者から検証者へと1回分のベクトルCmtB1が送られる。4パス目では、検証者から証明者へと1回分の要求ChB1が送られる。その後、証明者と検証者との間で、CmtA2,…,CmtAN,ChA2,…,ChAN,CmtB2,…,CmtBN,ChB2,…,ChBNのやり取りが逐次的に行われる。最後に、証明者から検証者へとN回分の返答(Rsp…,Rsp)が送られる。
直並列構成#1の場合、能動的攻撃に対する安全性が保証される。また、対話の回数が4N+1回で済む。
(5−2−4:直並列アルゴリズム(構成例#2)(図27))
次に、図27を参照しながら、ハイブリッド型の他の一構成例(以下、直並列構成#2)について説明する。図27には、基本構成のアルゴリズム及び直並列構成#2のアルゴリズムを示した。
直並列構成#2の場合、1パス目に1回分のメッセージCmtA1が証明者から検証者へと送られる。2パス目では、検証者から証明者へと1回分の数ChA1が送られる。その後、証明者と検証者との間で、CmtA2,…,CmtAN,ChA2,…,ChANのやり取りが逐次的に行われる。ChANのやり取りを終えた後、証明者から検証者へとN回分のベクトル(CmtB1,…,CmtBN)が送られる。次いで、検証者から証明者へとN回分の要求(ChB1,…,ChB1)が送られる。最後に、証明者から検証者へとN回分の返答(Rsp…,Rsp)が送られる。
直並列構成#2の場合、能動的攻撃に対する安全性が保証される。また、対話の回数が2N+3回で済む。
以上、5パスの公開鍵認証方式に係るハイブリッド型アルゴリズムについて説明した。
<6:補遺>
ここで、上記の公開鍵認証方式に関する説明の補足を行う。
[6−1:パラメータの設定方法]
ここで、パラメータの設定方法について説明を補足する。
(多変数多項式の係数について)
これまで、多変数多項式の係数又はその係数の生成に利用する乱数シード(以下、多変数多項式の係数など)をどのように設定するかについては詳しく言及してこなかった。多変数多項式の係数などは、システムに共通のパラメータとしてもよいし、ユーザ毎に異なるパラメータとしてもよい。
しかし、多変数多項式の係数などをシステムに共通のパラメータとすると、その多変数多項式に脆弱性が見つかった場合、システム全体について設定を更新する必要が生じてしまう。また、ランダムに選んだ係数を持つ多変数多項式について、平均的な頑強性(解くことの難しさ)は解析されているが、ある特定の係数を持つ多変数多項式について十分な頑強性を有することを保証することは難しい。
そこで、本件発明者は、各ユーザが選択した文字列などを擬似乱数生成器のシードに利用して多変数多項式の係数を生成する仕組みを考案した。例えば、ユーザのe−mailアドレスをシードに利用したり、e−mailアドレスと更新日時などとを結合した文字列をシードに利用したりする方法などが考えられる。このような方法を用いると、万が一、ある文字列から生成された係数を持つ多変数多項式に脆弱性が見つかった場合でも、その係数を持つ多変数多項式を利用しているユーザのみに影響が限定される。また、文字列を変えるだけで多変数多項式が変更されるため、容易に脆弱性を解消することができる。
以上、システムパラメータの設定方法について説明した。なお、上記の説明では文字列を例に挙げたが、ユーザ毎に異なる数字の列や記号の列を利用してもよい。
(多項式の数m及び変数の数nについて)
ところで、これまで説明してきた対話プロトコルは、受動的攻撃に対する安全性が保証されている。しかし、この対話プロトコルを並列的に繰り返し実行する場合、能動的攻撃に対する安全性が確実に保証されることを証明できるようにするには、以下で述べる条件が必要になる。
上記の対話プロトコルは、1組の鍵ペア(公開鍵y、秘密鍵s)を用いて、「証明者がyについてy=F(s)となるsを知っていること」を検証者に検証させるためのアルゴリズムであった。そのため、検証で受理される対話を行った場合、「対話の際に証明者がsを用いた」という情報を検証者に知られてしまう可能性が否定できない。また、多変数多項式Fについて衝突困難性が保証されてない。そのため、上記の対話プロトコルを並列的に繰り返し実行する場合、能動的攻撃に対する安全性が確実に保証されていることを無条件で証明することは難しい。
そこで、本件発明者は、検証で受理される対話を行った場合においても、「対話の際に証明者がsを用いた」という情報を検証者に知られないようにする方法について検討した。そして、本件発明者は、上記の対話プロトコルを並列的に繰り返し実行する場合においても、能動的攻撃に対する安全性を保証することが可能になる方法を考案した。この方法は、公開鍵として用いる多変数多項式f,…,fの数mをその変数の数nよりも十分に小さな値に設定するというものである。例えば、2m−n≪1となるようにm及びnが設定される(例えば、n=160、m=80の場合2−80≪1である。)。
多次多変数方程式の求解問題に対する解答の困難性に安全性の根拠をおく方式において、秘密鍵sと、それに対応する公開鍵pkとが与えられても、その公開鍵pkに対応する別の秘密鍵sを生成することは難しい。そのため、公開鍵pkに対する秘密鍵sが2つ以上存在することを保証すれば、検証で受理される対話を行った場合においても、「対話の際に証明者がsを用いた」という情報を検証者に知られないようにすることが可能になる。つまり、この保証が成り立てば、対話プロトコルを並列的に繰り返し実行する場合においても、能動的攻撃に対する安全性を保証することが可能になる。
図29を参照しながら、m本のn変数多次多項式で構成される関数F:K→Kについて考えると(但し、n>m)、2つ目の原像を持たない定義域の要素数は、最大で|K|−1個しか存在しない。そのため、|K|m−nを十分に小さくすると、2つ目の原像を持たない定義域の要素が選択される確率を無視できる程度にまで小さくすることができる。つまり、n変数多次多項式f,…,fの数mがその変数の数nよりも十分に小さな値に設定されていれば、公開鍵pkに対して2つ以上の秘密鍵sが存在することを保証できる。その結果、検証で受理される対話を行った場合においても、「対話の際に証明者がsを用いた」という情報を検証者に知られないようにすることが可能になり、対話プロトコルを並列的に繰り返し実行する場合においても、能動的攻撃に対する安全性が保証される。
以上説明したように、n変数多次多項式f,…,fの数mがその変数の数nよりも小さな値(n>m;好ましくは2m−n≪1)に設定する設定条件を課すことで、対話プロトコルを並列的に繰り返し実行する場合の安全性を保証することが可能になる。
[6−2:イレギュラーな要求に対する応答方法]
ここで、イレギュラーな要求に対する応答方法について考察する。
(6−2−1:証明者による応答方法について)
対話プロトコルの中で検証者が偽りの要求を投げかけてくる可能性について考えてみよう。例えば、3パス方式の場合、証明者が検証者へとメッセージ(c,c,c)を送り、検証者が証明者へと要求Ch=0を送った後、証明者から検証者へと要求Ch=0に対応する返答Rspが送られる。ここまでは正常な対話である。
その後で、検証者が、証明者に要求Ch=1に対応する返答Rspをさらに要求したものとしよう。もし、この要求に応じ、証明者が要求Ch=1に対応する返答Rspを検証者に送ってしまうと、秘密鍵が検証者に漏洩してしまう。このような秘密鍵の漏洩は現実的に起こりうることである。例えば、検証者は、2パス目で要求Ch=1を送信したのではなく、要求Ch=0を送信したはずだと偽って、要求Ch=1に対応する返答Rspをさらに要求するかもしれない。一方、証明者は、2パス目で送信された要求Chのビットが通信エラーにより別のビットになってしまったと勘違いするかもしれない。
そこで、本件発明者は、秘密鍵の漏洩が生じるのを避ける方法として、1回分のメッセージについて証明者が2通り以上の要求Chに対応する返答を求めてきた場合に、対話を終了するか、或いは、新しい乱数を利用して1パス目から対話をやり直す方法を考案した。この方法を適用すれば、検証者が偽って2通り以上の要求Chに対応する返答を求めてきても、秘密鍵が漏洩することはなくなる。
(6−2−2:検証者による応答方法について)
次に、証明者が偽って要求Chの再送を要求してくる可能性について考えてみよう。例えば、3パス方式において、証明者が検証者へとメッセージ(c,c,c)を送り、検証者が証明者へと要求Ch=0を送った後、証明者が要求Chの再送を要求してきたとしよう。この要求に応じて、検証者が再びランダムに要求Chを選択すると、先に送った要求Ch=0とは異なる要求Ch=1が選択される可能性がある。この場合、検証者から証明者へと要求Ch=1が送られる。仮に、証明者が要求Ch=1に対応する返答Rspを検証者に送ることができたとしよう。
この場合、証明者は、要求Ch=1には回答できるが、要求Ch=0には回答できなかったのかもしれない。つまり、証明者が偽証している可能性が否定できない。例えば、証明者は、要求Chを紛失してしまったので要求Chを再送して欲しいと検証者に求めるかもしれない。一方、検証者は、通信エラーにより先に送信した要求が紛失したと考え、証明者の求めに応じて要求Chを再送してしまうかもしれない。そして、再送した要求Chが先に送信した要求Chと異なるものである場合、偽証が成功してしまう。
この例から分かるように、要求Chがランダムに選ばれることで、証明者に偽証の機会を与えてしまう。そこで、本件発明者は、偽証の機会を与えないようにするため、1回分のメッセージについて証明者が要求Chの送信を再度求めてきた場合に、検証者が対話を終了するか、或いは、新たな乱数を生成せずに前回と同じ要求Chを再送するように対話プロトコルを改良する方法を考案した。この方法を適用すると、要求Chの再送要求を利用した偽証の機会をなくすことができる。
以上、イレギュラーな要求に対する安全な応答方法について説明した。なお、上記の説明においては3パスの基本構成を例に挙げたが、直列的な繰り返し構成、並列的な繰り返し構成、或いは、ハイブリッド型の繰り返し構成についても同様の工夫を加えることにより、安全性を向上させることができる。もちろん、5パスのアルゴリズムについても同様である。
<7:ハードウェア構成例>
上記の各アルゴリズムは、例えば、図28に示す情報処理装置のハードウェア構成を用いて実行することが可能である。つまり、当該各アルゴリズムの処理は、コンピュータプログラムを用いて図28に示すハードウェアを制御することにより実現される。なお、このハードウェアの形態は任意であり、例えば、パーソナルコンピュータ、携帯電話、PHS、PDA等の携帯情報端末、ゲーム機、接触式又は非接触式のICチップ、接触式又は非接触式のICカード、又は種々の情報家電がこれに含まれる。但し、上記のPHSは、Personal Handy−phone Systemの略である。また、上記のPDAは、Personal Digital Assistantの略である。
図28に示すように、このハードウェアは、主に、CPU902と、ROM904と、RAM906と、ホストバス908と、ブリッジ910と、を有する。さらに、このハードウェアは、外部バス912と、インターフェース914と、入力部916と、出力部918と、記憶部920と、ドライブ922と、接続ポート924と、通信部926と、を有する。但し、上記のCPUは、Central Processing Unitの略である。また、上記のROMは、Read Only Memoryの略である。そして、上記のRAMは、Random Access Memoryの略である。
CPU902は、例えば、演算処理装置又は制御装置として機能し、ROM904、RAM906、記憶部920、又はリムーバブル記録媒体928に記録された各種プログラムに基づいて各構成要素の動作全般又はその一部を制御する。ROM904は、CPU902に読み込まれるプログラムや演算に用いるデータ等を格納する手段である。RAM906には、例えば、CPU902に読み込まれるプログラムや、そのプログラムを実行する際に適宜変化する各種パラメータ等が一時的又は永続的に格納される。
これらの構成要素は、例えば、高速なデータ伝送が可能なホストバス908を介して相互に接続される。一方、ホストバス908は、例えば、ブリッジ910を介して比較的データ伝送速度が低速な外部バス912に接続される。また、入力部916としては、例えば、マウス、キーボード、タッチパネル、ボタン、スイッチ、及びレバー等が用いられる。さらに、入力部916としては、赤外線やその他の電波を利用して制御信号を送信することが可能なリモートコントローラ(以下、リモコン)が用いられることもある。
出力部918としては、例えば、CRT、LCD、PDP、又はELD等のディスプレイ装置、スピーカ、ヘッドホン等のオーディオ出力装置、プリンタ、携帯電話、又はファクシミリ等、取得した情報を利用者に対して視覚的又は聴覚的に通知することが可能な装置である。但し、上記のCRTは、Cathode Ray Tubeの略である。また、上記のLCDは、Liquid Crystal Displayの略である。そして、上記のPDPは、Plasma DisplayPanelの略である。さらに、上記のELDは、Electro−Luminescence Displayの略である。
記憶部920は、各種のデータを格納するための装置である。記憶部920としては、例えば、ハードディスクドライブ(HDD)等の磁気記憶デバイス、半導体記憶デバイス、光記憶デバイス、又は光磁気記憶デバイス等が用いられる。但し、上記のHDDは、Hard Disk Driveの略である。
ドライブ922は、例えば、磁気ディスク、光ディスク、光磁気ディスク、又は半導体メモリ等のリムーバブル記録媒体928に記録された情報を読み出し、又はリムーバブル記録媒体928に情報を書き込む装置である。リムーバブル記録媒体928は、例えば、DVDメディア、Blu−rayメディア、HD DVDメディア、各種の半導体記憶メディア等である。もちろん、リムーバブル記録媒体928は、例えば、非接触型ICチップを搭載したICカード、又は電子機器等であってもよい。但し、上記のICは、Integrated Circuitの略である。
接続ポート924は、例えば、USBポート、IEEE1394ポート、SCSI、RS−232Cポート、又は光オーディオ端子等のような外部接続機器930を接続するためのポートである。外部接続機器930は、例えば、プリンタ、携帯音楽プレーヤ、デジタルカメラ、デジタルビデオカメラ、又はICレコーダ等である。但し、上記のUSBは、Universal Serial Busの略である。また、上記のSCSIは、Small Computer System Interfaceの略である。
通信部926は、ネットワーク932に接続するための通信デバイスであり、例えば、有線又は無線LAN、Bluetooth(登録商標)、又はWUSB用の通信カード、光通信用のルータ、ADSL用のルータ、又は接触又は非接触通信用のデバイス等である。また、通信部926に接続されるネットワーク932は、有線又は無線により接続されたネットワークにより構成され、例えば、インターネット、家庭内LAN、赤外線通信、可視光通信、放送、又は衛星通信等である。但し、上記のLANは、Local Area Networkの略である。また、上記のWUSBは、Wireless USBの略である。そして、上記のADSLは、Asymmetric Digital Subscriber Lineの略である。
<8:まとめ>
最後に、本技術の実施形態に係る技術内容について簡単に纏める。ここで述べる技術内容は、例えば、PC、携帯電話、ゲーム機、情報端末、情報家電、カーナビゲーションシステム等、種々の情報処理装置に対して適用することができる。なお、以下で述べる情報処理装置の機能は、1台の情報処理装置を利用して実現することも可能であるし、複数台の情報処理装置を利用して実現することも可能である。また、以下で述べる情報処理装置が処理を実行する際に用いるデータ記憶手段及び演算処理手段は、当該情報処理装置に設けられたものであってもよいし、ネットワークを介して接続された機器に設けられたものであってもよい。
上記の情報処理装置の機能構成は以下のように表現される。例えば、下記(1)に記載の情報処理装置は、多次多変数連立方程式の求解困難性に安全性の根拠を置く効率的な公開鍵認証方式に係るアルゴリズムを実行する機能を有する。
(1)
多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するメッセージ生成部と、
前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するメッセージ提供部と、
前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成する中間情報生成部と、
前記検証者に前記第3の情報を提供する中間情報提供部と、
k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供する回答提供部と、
を備え、
前記ベクトルsは秘密鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
情報処理装置。
(2)
前記メッセージ生成部は、N回分(N≧2)のメッセージを生成し、
前記メッセージ提供部は、N回分の前記メッセージを1回の対話で前記検証者に提供し、
前記中間情報生成部は、N回分の前記メッセージのそれぞれについて前記検証者が選択した前記第1の情報及び前記メッセージを生成する際に得られるN回分の前記第2の情報を用いてN回分の前記第3の情報を生成し、
前記中間情報提供部は、N回分の前記第3の情報を1回の対話で検証者に提供し、
前記回答提供部は、N回分の前記メッセージのそれぞれについて前記検証者が選択した検証パターンに対応するN回分の前記回答情報を1回の対話で前記検証者に提供する、
上記(1)に記載の情報処理装置。
(3)
前記メッセージ生成部は、N回分(N≧2)のメッセージを生成すると共に、N回分の前記メッセージから1つのハッシュ値を生成し、
前記メッセージ提供部は、前記ハッシュ値を前記検証者に提供し、
前記中間情報生成部は、N回分の前記メッセージのそれぞれについて前記検証者が選択した前記第1の情報及び前記メッセージを生成する際に得られるN回分の前記第2の情報を用いてN回分の前記第3の情報を生成し、
前記中間情報提供部は、N回分の前記第3の情報を1回の対話で検証者に提供し、
前記回答提供部は、N回分の前記メッセージのそれぞれについて前記検証者が選択した検証パターンに対応するN回分の前記回答情報、及び、前記公開鍵及び前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行しても得られない一部のメッセージを1回の対話で前記検証者に提供する、
上記(2)に記載の情報処理装置。
(4)
多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報保持部と、
前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するメッセージ取得部と、
前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供する情報提供部と、
前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得する中間情報取得部と、
k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するパターン情報提供部と、
前記選択した検証パターンに対応する回答情報を前記証明者から取得する回答取得部と、
前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証する検証部と、
を備え、
前記ベクトルsは秘密鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
情報処理装置。
(5)
前記メッセージ取得部は、N回分(N≧2)の前記メッセージを1回の対話で取得し、
前記情報提供部は、N回分の前記メッセージのそれぞれについて前記第1の情報をランダムに選択し、選択したN回分の前記第1の情報を1回の対話で前記証明者に提供し、
前記中間情報取得部は、N回分の前記第1の情報及びN回分の前記メッセージを生成する際に得られるN回分の前記第2の情報を用いて前記証明者が生成したN回分の前記第3の情報を取得し、
前記パターン情報提供部は、N回分の前記メッセージのそれぞれについて検証パターンを選択し、選択したN回分の検証パターンの情報を1回の対話で前記証明者に提供し、
前記回答取得部は、前記選択したN回分の検証パターンに対応するN回分の前記回答情報を1回の対話で前記証明者から取得し、
前記検証部は、N回分の前記メッセージの全てについて検証が成功した場合に、前記証明者が前記ベクトルsを保持していると判定する、
上記(4)に記載の情報処理装置。
(6)
前記メッセージ取得部は、N回分(N≧2)の前記メッセージから生成された1つのハッシュ値を取得し、
前記情報提供部は、N回分の前記メッセージのそれぞれについて前記第1の情報をランダムに選択し、選択したN回分の前記第1の情報を1回の対話で前記証明者に提供し、
前記中間情報取得部は、N回分の前記第1の情報及びN回分の前記メッセージを生成する際に得られるN回分の前記第2の情報を用いて前記証明者が生成したN回分の前記第3の情報を取得し、
前記パターン情報提供部は、N回分の前記メッセージのそれぞれについて検証パターンを選択し、選択したN回分の検証パターンの情報を1回の対話で前記証明者に提供し、
前記回答取得部は、前記選択した検証パターンに対応する回答情報、及び、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行しても得られない一部のメッセージを前記証明者から取得し、
前記検証部は、前記ハッシュ値、前記一部のメッセージ、前記公開鍵、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証し、N回分の前記メッセージの全てについて検証が成功した場合に、前記証明者が前記ベクトルsを保持していると判定する、
上記(5)に記載の情報処理装置。
(7)
多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するステップと、
前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するステップと、
前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成するステップと、
前記検証者に前記第3の情報を提供するステップと、
k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供するステップと、
を含み、
前記ベクトルsは秘密鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
情報処理方法。
(8)
多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報処理装置が、
前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するステップと、
前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供するステップと、
前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得するステップと、
k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するステップと、
前記選択した検証パターンに対応する回答情報を前記証明者から取得するステップと、
前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証するステップと、
を含み、
前記ベクトルsは秘密鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
情報処理方法。
(9)
多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するメッセージ生成機能と、
前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するメッセージ提供機能と、
前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成する中間情報生成機能と、
前記検証者に前記第3の情報を提供する中間情報提供機能と、
k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供する回答提供機能と、
をコンピュータに実現させるためのプログラムであり、
前記ベクトルsは秘密鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
プログラム。
(10)
多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報保持機能と、
前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するメッセージ取得機能と、
前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供する情報提供機能と、
前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得する中間情報取得機能と、
k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するパターン情報提供機能と、
前記選択した検証パターンに対応する回答情報を前記証明者から取得する回答取得部と、
前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証する検証機能と、
をコンピュータに実現させるためのプログラムであり、
前記ベクトルsは秘密鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
プログラム。
(11)
多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するメッセージ生成機能と、
前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するメッセージ提供機能と、
前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成する中間情報生成機能と、
前記検証者に前記第3の情報を提供する中間情報提供機能と、
k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供する回答提供機能と、
をコンピュータに実現させるためのプログラムが記録された、コンピュータにより読み取り可能な記録媒体であり、
前記ベクトルsは秘密鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
記録媒体。
(12)
多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報保持機能と、
前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するメッセージ取得機能と、
前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供する情報提供機能と、
前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得する中間情報取得機能と、
k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するパターン情報提供機能と、
前記選択した検証パターンに対応する回答情報を前記証明者から取得する回答取得部と、
前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証する検証機能と、
をコンピュータに実現させるためのプログラムが記録された、コンピュータにより読み取り可能な記録媒体であり、
前記ベクトルsは秘密鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
記録媒体。
(13)
前記m及びnは、m<nの関係を有する、
上記(1)〜(6)のいずれか1項に記載の装置。
(14)
前記m及びnは、2m−n≪1の関係を有する、
上記(13)に記載の装置。
(備考)
上記の証明者アルゴリズムPは、メッセージ生成部、メッセージ提供部、回答提供部、中間情報生成部、中間情報提供部の一例である。また、上記の検証者アルゴリズムVは、情報保持部、メッセージ取得部、パターン情報提供部、回答取得部、検証部、中間情報取得部の一例である。
以上、添付図面を参照しながら本技術の好適な実施形態について説明したが、本技術は係る例に限定されないことは言うまでもない。当業者であれば、特許請求の範囲に記載された範疇内において、各種の変更例または修正例に想到し得ることは明らかであり、それらについても当然に本技術の技術的範囲に属するものと了解される。
Gen 鍵生成アルゴリズム
P 証明者アルゴリズム
V 検証者アルゴリズム
Sig 署名生成アルゴリズム
Ver 署名検証アルゴリズム

Claims (12)

  1. 多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するメッセージ生成部と、
    前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するメッセージ提供部と、
    前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成する中間情報生成部と、
    前記検証者に前記第3の情報を提供する中間情報提供部と、
    k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供する回答提供部と、
    を備え、
    前記ベクトルsは秘密鍵であり、
    前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
    前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
    前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
    情報処理装置。
  2. 前記メッセージ生成部は、N回分(N≧2)のメッセージを生成し、
    前記メッセージ提供部は、N回分の前記メッセージを1回の対話で前記検証者に提供し、
    前記中間情報生成部は、N回分の前記メッセージのそれぞれについて前記検証者が選択した前記第1の情報及び前記メッセージを生成する際に得られるN回分の前記第2の情報を用いてN回分の前記第3の情報を生成し、
    前記中間情報提供部は、N回分の前記第3の情報を1回の対話で検証者に提供し、
    前記回答提供部は、N回分の前記メッセージのそれぞれについて前記検証者が選択した検証パターンに対応するN回分の前記回答情報を1回の対話で前記検証者に提供する、
    請求項1に記載の情報処理装置。
  3. 前記メッセージ生成部は、N回分(N≧2)のメッセージを生成すると共に、N回分の前記メッセージから1つのハッシュ値を生成し、
    前記メッセージ提供部は、前記ハッシュ値を前記検証者に提供し、
    前記中間情報生成部は、N回分の前記メッセージのそれぞれについて前記検証者が選択した前記第1の情報及び前記メッセージを生成する際に得られるN回分の前記第2の情報を用いてN回分の前記第3の情報を生成し、
    前記中間情報提供部は、N回分の前記第3の情報を1回の対話で検証者に提供し、
    前記回答提供部は、N回分の前記メッセージのそれぞれについて前記検証者が選択した検証パターンに対応するN回分の前記回答情報、及び、前記公開鍵及び前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行しても得られない一部のメッセージを1回の対話で前記検証者に提供する、
    請求項2に記載の情報処理装置。
  4. 多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報保持部と、
    前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するメッセージ取得部と、
    前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供する情報提供部と、
    前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得する中間情報取得部と、
    k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するパターン情報提供部と、
    前記選択した検証パターンに対応する回答情報を前記証明者から取得する回答取得部と、
    前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証する検証部と、
    を備え、
    前記ベクトルsは秘密鍵であり、
    前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
    前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
    前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
    情報処理装置。
  5. 前記メッセージ取得部は、N回分(N≧2)の前記メッセージを1回の対話で取得し、
    前記情報提供部は、N回分の前記メッセージのそれぞれについて前記第1の情報をランダムに選択し、選択したN回分の前記第1の情報を1回の対話で前記証明者に提供し、
    前記中間情報取得部は、N回分の前記第1の情報及びN回分の前記メッセージを生成する際に得られるN回分の前記第2の情報を用いて前記証明者が生成したN回分の前記第3の情報を取得し、
    前記パターン情報提供部は、N回分の前記メッセージのそれぞれについて検証パターンを選択し、選択したN回分の検証パターンの情報を1回の対話で前記証明者に提供し、
    前記回答取得部は、前記選択したN回分の検証パターンに対応するN回分の前記回答情報を1回の対話で前記証明者から取得し、
    前記検証部は、N回分の前記メッセージの全てについて検証が成功した場合に、前記証明者が前記ベクトルsを保持していると判定する、
    請求項4に記載の情報処理装置。
  6. 前記メッセージ取得部は、N回分(N≧2)の前記メッセージから生成された1つのハッシュ値を取得し、
    前記情報提供部は、N回分の前記メッセージのそれぞれについて前記第1の情報をランダムに選択し、選択したN回分の前記第1の情報を1回の対話で前記証明者に提供し、
    前記中間情報取得部は、N回分の前記第1の情報及びN回分の前記メッセージを生成する際に得られるN回分の前記第2の情報を用いて前記証明者が生成したN回分の前記第3の情報を取得し、
    前記パターン情報提供部は、N回分の前記メッセージのそれぞれについて検証パターンを選択し、選択したN回分の検証パターンの情報を1回の対話で前記証明者に提供し、
    前記回答取得部は、前記選択した検証パターンに対応する回答情報、及び、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行しても得られない一部のメッセージを前記証明者から取得し、
    前記検証部は、前記ハッシュ値、前記一部のメッセージ、前記公開鍵、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証し、N回分の前記メッセージの全てについて検証が成功した場合に、前記証明者が前記ベクトルsを保持していると判定する、
    請求項5に記載の情報処理装置。
  7. 多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するステップと、
    前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するステップと、
    前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成するステップと、
    前記検証者に前記第3の情報を提供するステップと、
    k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供するステップと、
    を含み、
    前記ベクトルsは秘密鍵であり、
    前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
    前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
    前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
    情報処理方法。
  8. 多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報処理装置が、
    前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するステップと、
    前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供するステップと、
    前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得するステップと、
    k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するステップと、
    前記選択した検証パターンに対応する回答情報を前記証明者から取得するステップと、
    前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証するステップと、
    を含み、
    前記ベクトルsは秘密鍵であり、
    前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
    前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
    前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
    情報処理方法。
  9. 多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するメッセージ生成機能と、
    前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するメッセージ提供機能と、
    前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成する中間情報生成機能と、
    前記検証者に前記第3の情報を提供する中間情報提供機能と、
    k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供する回答提供機能と、
    をコンピュータに実現させるためのプログラムであり、
    前記ベクトルsは秘密鍵であり、
    前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
    前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
    前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
    プログラム。
  10. 多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報保持機能と、
    前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するメッセージ取得機能と、
    前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供する情報提供機能と、
    前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得する中間情報取得機能と、
    k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するパターン情報提供機能と、
    前記選択した検証パターンに対応する回答情報を前記証明者から取得する回答取得部と、
    前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証する検証機能と、
    をコンピュータに実現させるためのプログラムであり、
    前記ベクトルsは秘密鍵であり、
    前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
    前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
    前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
    プログラム。
  11. 多次多変数多項式の組F=(f,…,f)及びベクトルs∈Kに基づいてメッセージを生成するメッセージ生成機能と、
    前記多次多変数多項式の組F及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する検証者に前記メッセージを提供するメッセージ提供機能と、
    前記検証者がランダムに選択した第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて第3の情報を生成する中間情報生成機能と、
    前記検証者に前記第3の情報を提供する中間情報提供機能と、
    k通り(k≧2)の検証パターンの中から前記検証者が選択した検証パターンに対応する回答情報を前記検証者に提供する回答提供機能と、
    をコンピュータに実現させるためのプログラムが記録された、コンピュータにより読み取り可能な記録媒体であり、
    前記ベクトルsは秘密鍵であり、
    前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
    前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して、当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
    前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
    記録媒体。
  12. 多次多変数多項式の組F=(f,…,f)及びベクトルy=(y,…,y)=(f(s),…,f(s))を保持する情報保持機能と、
    前記多次多変数多項式の組F及びベクトルs∈Kに基づいて生成されたメッセージを取得するメッセージ取得機能と、
    前記メッセージを提供した証明者に対し、ランダムに選択した第1の情報を提供する情報提供機能と、
    前記第1の情報及び前記メッセージを生成する際に得られる第2の情報を用いて前記証明者が生成した第3の情報を取得する中間情報取得機能と、
    k通り(k≧3)の検証パターンの中からランダムに選択した1つの検証パターンの情報を前記証明者に提供するパターン情報提供機能と、
    前記選択した検証パターンに対応する回答情報を前記証明者から取得する回答取得部と、
    前記メッセージ、前記第1の情報、前記第3の情報、前記多次多変数多項式の組F、及び前記回答情報に基づいて前記証明者が前記ベクトルsを保持しているか否かを検証する検証機能と、
    をコンピュータに実現させるためのプログラムが記録された、コンピュータにより読み取り可能な記録媒体であり、
    前記ベクトルsは秘密鍵であり、
    前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
    前記メッセージは、前記公開鍵、前記第1の情報、前記第3の情報、前記回答情報を利用して当該回答情報に対応する検証パターン用に予め用意された演算を実行することで得られる情報であり、
    前記多次多変数多項式の組Fは、標数q及び位数qの環R上で定義される多項式f,…,fで構成され、ベクトルx=(xl1,…,xln)(l=1,2)についてG(x,x)=F(x+x)−F(x)−F(x)で定義される多項式G(x,x)が、(x1iq(z)(但し、1≦i≦n、q(z)=q、1≦z≦k)に比例する項で構成されるように設定されている、
    記録媒体。
JP2011177071A 2011-08-12 2011-08-12 情報処理装置、情報処理方法、プログラム、及び記録媒体 Active JP5790287B2 (ja)

Priority Applications (12)

Application Number Priority Date Filing Date Title
JP2011177071A JP5790287B2 (ja) 2011-08-12 2011-08-12 情報処理装置、情報処理方法、プログラム、及び記録媒体
RU2014104084/08A RU2603551C2 (ru) 2011-08-12 2012-06-25 Устройство обработки информации, способ обработки информации, программа и носитель информации
AU2012296044A AU2012296044B2 (en) 2011-08-12 2012-06-25 Information processing device, information processing method, program, and recording medium
EP12823703.9A EP2744146A4 (en) 2011-08-12 2012-06-25 DATA PROCESSING DEVICE, DATA PROCESSING METHOD, PROGRAM, AND RECORDING MEDIUM
CA 2839690 CA2839690A1 (en) 2011-08-12 2012-06-25 Information processing apparatus, information processing method, program, and recording medium
US14/235,240 US9178700B2 (en) 2011-08-12 2012-06-25 Information processing apparatus, information processing method, program, and recording medium
CN201280038070.5A CN103718502B (zh) 2011-08-12 2012-06-25 信息处理设备和信息处理方法
PCT/JP2012/066125 WO2013024629A1 (ja) 2011-08-12 2012-06-25 情報処理装置、情報処理方法、プログラム、及び記録媒体
MX2014001451A MX338025B (es) 2011-08-12 2012-06-25 Dispositivo para el procesamiento de informacion, metodo, programa y medio de registro para el procesamiento de informacion.
BR112014002854A BR112014002854A2 (pt) 2011-08-12 2012-06-25 aparelho e método de processamento de informação, programa, e, mídia de gravação legível por computador
KR1020147002640A KR101986392B1 (ko) 2011-08-12 2012-06-25 정보 처리 장치, 정보 처리 방법, 및 기록 매체
TW101125907A TWI511517B (zh) 2011-08-12 2012-07-18 Information processing apparatus, information processing method, program and recording medium

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2011177071A JP5790287B2 (ja) 2011-08-12 2011-08-12 情報処理装置、情報処理方法、プログラム、及び記録媒体

Publications (2)

Publication Number Publication Date
JP2013042295A true JP2013042295A (ja) 2013-02-28
JP5790287B2 JP5790287B2 (ja) 2015-10-07

Family

ID=47714958

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2011177071A Active JP5790287B2 (ja) 2011-08-12 2011-08-12 情報処理装置、情報処理方法、プログラム、及び記録媒体

Country Status (12)

Country Link
US (1) US9178700B2 (ja)
EP (1) EP2744146A4 (ja)
JP (1) JP5790287B2 (ja)
KR (1) KR101986392B1 (ja)
CN (1) CN103718502B (ja)
AU (1) AU2012296044B2 (ja)
BR (1) BR112014002854A2 (ja)
CA (1) CA2839690A1 (ja)
MX (1) MX338025B (ja)
RU (1) RU2603551C2 (ja)
TW (1) TWI511517B (ja)
WO (1) WO2013024629A1 (ja)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2017169147A (ja) * 2016-03-17 2017-09-21 株式会社東芝 検証装置、電子機器、プログラムおよび検証システム

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2014090372A (ja) * 2012-10-31 2014-05-15 Sony Corp 情報処理装置、情報処理システム、情報処理方法及びコンピュータプログラム
CN103490897B (zh) * 2013-09-17 2017-04-05 华南理工大学 一种多变量公钥签名/验证系统及签名/验证方法
US10484186B2 (en) * 2016-09-30 2019-11-19 Intel Corporation Cascading multivariate quadratic identification schemes for chain of trust
CN110995438B (zh) * 2019-10-24 2022-07-12 南京可信区块链与算法经济研究院有限公司 一种非交互零知识证明方法、系统及存储介质
CN111090842B (zh) * 2019-12-23 2022-04-26 上海源庐加佳信息科技有限公司 一种基于零知识证明的供应链金融客户贷款信息保护方法
US12099997B1 (en) 2020-01-31 2024-09-24 Steven Mark Hoffberg Tokenized fungible liabilities

Family Cites Families (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE19513898B4 (de) * 1995-04-12 2006-11-30 Deutsche Telekom Ag Public-Key-Verfahren zur Verschlüsselung von Daten
CA2263588C (en) * 1996-08-19 2005-01-18 Ntru Cryptosystems, Inc. Public key cryptosystem method and apparatus
US6076163A (en) * 1997-10-20 2000-06-13 Rsa Security Inc. Secure user identification based on constrained polynomials
DE69920875T2 (de) * 1999-04-29 2005-10-27 Bull Cp8 Vorrichtung und Verfahren zum Berechnen einer digitalen Unterschrift
WO2001026278A1 (fr) * 1999-10-01 2001-04-12 France Telecom Jeux de cles particuliers destines a prouver l'authenticite d'une entite ou l'integrite d'un message
US7814320B2 (en) * 2005-07-19 2010-10-12 Ntt Docomo, Inc. Cryptographic authentication, and/or establishment of shared cryptographic keys, using a signing key encrypted with a non-one-time-pad encryption, including (but not limited to) techniques with improved security against malleability attacks
JP4575283B2 (ja) * 2005-11-15 2010-11-04 株式会社東芝 暗号装置、復号装置、プログラム及び方法
KR101367101B1 (ko) * 2006-08-30 2014-02-25 삼성전자주식회사 다항식환을 이용한 키 합의 방법 및 이를 위한 장치
US9059838B2 (en) * 2007-03-30 2015-06-16 Verizon Patent And Licensing Inc. Encryption algorithm with randomized buffer
CN101321058B (zh) * 2007-06-07 2010-12-15 管海明 一种用于编码和译码数字消息的方法和系统
US8019079B2 (en) * 2007-07-08 2011-09-13 Georgia Tech Research Corporation Asymmetric cryptosystem employing paraunitary matrices
JP4612027B2 (ja) * 2007-09-03 2011-01-12 村田機械株式会社 署名システム
US8837736B2 (en) * 2008-04-14 2014-09-16 Koninklijke Philips N.V. Method for distributing encryption means
JP5593850B2 (ja) * 2010-05-31 2014-09-24 ソニー株式会社 認証装置、認証方法、プログラム、及び署名生成装置
JP5594034B2 (ja) * 2010-07-30 2014-09-24 ソニー株式会社 認証装置、認証方法、及びプログラム
US8532289B2 (en) * 2010-08-16 2013-09-10 International Business Machines Corporation Fast computation of a single coefficient in an inverse polynomial
WO2012149395A1 (en) * 2011-04-29 2012-11-01 International Business Machines Corporation Fully homomorphic encryption

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
JPN6012037141; Koichi Sakumoto et al: 'Provable Security of HFE and UOV Signature Schemes againstChosen-Message Attack' 2011年 暗号と情報セキュリティシンポジウム予稿集 CD-ROM , 20110125, 4A1-1 *
JPN6012037142; Koichi Sakumoto et al: 'Public-Key Identification Schemes Based on Multivariate Quadratic Polynomials' Advances in Cryptology-CRYPTO 2011 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August Volume 6841, 20110806, p.706-723, Springer *

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2017169147A (ja) * 2016-03-17 2017-09-21 株式会社東芝 検証装置、電子機器、プログラムおよび検証システム

Also Published As

Publication number Publication date
CA2839690A1 (en) 2013-02-21
JP5790287B2 (ja) 2015-10-07
EP2744146A4 (en) 2015-06-17
MX338025B (es) 2016-03-31
CN103718502B (zh) 2017-02-22
US20140153717A1 (en) 2014-06-05
TW201308969A (zh) 2013-02-16
CN103718502A (zh) 2014-04-09
MX2014001451A (es) 2014-02-27
EP2744146A1 (en) 2014-06-18
BR112014002854A2 (pt) 2017-03-01
US9178700B2 (en) 2015-11-03
RU2014104084A (ru) 2015-08-10
KR20140046455A (ko) 2014-04-18
TWI511517B (zh) 2015-12-01
RU2603551C2 (ru) 2016-11-27
KR101986392B1 (ko) 2019-06-05
AU2012296044A1 (en) 2014-01-30
WO2013024629A1 (ja) 2013-02-21
AU2012296044B2 (en) 2016-02-25

Similar Documents

Publication Publication Date Title
JP5790319B2 (ja) 署名検証装置、署名検証方法、プログラム、及び記録媒体
JP5736816B2 (ja) 認証装置、認証方法、プログラム、及び署名生成装置
JP2013042315A (ja) 情報処理装置、及び情報処理方法
WO2013031533A1 (ja) 情報処理装置、情報処理方法、及びプログラム
JP5790287B2 (ja) 情報処理装置、情報処理方法、プログラム、及び記録媒体
JP5790318B2 (ja) 情報処理装置、署名生成装置、情報処理方法、署名生成方法、及びプログラム
JP5790289B2 (ja) 情報処理装置、情報処理方法、プログラム、及び記録媒体
JP5790291B2 (ja) 情報処理装置、署名提供方法、署名検証方法、プログラム、及び記録媒体
JP5790286B2 (ja) 情報処理装置、署名生成装置、情報処理方法、署名生成方法、及びプログラム
JPWO2013129084A1 (ja) 情報処理装置、情報処理方法、及びプログラム
WO2013031420A1 (ja) 情報処理装置、署名生成装置、署名検証装置、情報処理方法、署名生成方法、及び署名検証方法
JP5790290B2 (ja) 情報処理装置、情報処理方法、プログラム、及びプログラムを記録したコンピュータ読み取り可能な記録媒体
JP5790288B2 (ja) 情報処理装置、及び情報処理方法
WO2013031413A1 (ja) 情報処理装置、情報処理方法、プログラム、及び記録媒体
WO2013024628A1 (ja) 情報処理装置、及び情報処理方法

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20140625

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20150407

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20150526

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20150707

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20150720

R151 Written notification of patent or utility model registration

Ref document number: 5790287

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R151

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250