JP2012155088A - 署名処理システム、鍵生成装置、署名装置、検証装置、署名処理方法及び署名処理プログラム - Google Patents

署名処理システム、鍵生成装置、署名装置、検証装置、署名処理方法及び署名処理プログラム Download PDF

Info

Publication number
JP2012155088A
JP2012155088A JP2011013281A JP2011013281A JP2012155088A JP 2012155088 A JP2012155088 A JP 2012155088A JP 2011013281 A JP2011013281 A JP 2011013281A JP 2011013281 A JP2011013281 A JP 2011013281A JP 2012155088 A JP2012155088 A JP 2012155088A
Authority
JP
Japan
Prior art keywords
signature
key
integer
vector
verification
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
JP2011013281A
Other languages
English (en)
Other versions
JP2012155088A5 (ja
JP5606344B2 (ja
Inventor
Katsuyuki Takashima
克幸 高島
Tatsuaki Okamoto
龍明 岡本
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.)
Mitsubishi Electric Corp
Nippon Telegraph and Telephone Corp
Original Assignee
Mitsubishi Electric Corp
Nippon Telegraph and Telephone 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 JP2011013281A priority Critical patent/JP5606344B2/ja
Application filed by Mitsubishi Electric Corp, Nippon Telegraph and Telephone Corp filed Critical Mitsubishi Electric Corp
Priority to CN201180065941.8A priority patent/CN103348624B/zh
Priority to EP11856860.9A priority patent/EP2670081B1/en
Priority to KR1020137022196A priority patent/KR101431412B1/ko
Priority to ES11856860.9T priority patent/ES2684945T3/es
Priority to US13/981,679 priority patent/US9106408B2/en
Priority to PCT/JP2011/078463 priority patent/WO2012101913A1/ja
Publication of JP2012155088A publication Critical patent/JP2012155088A/ja
Publication of JP2012155088A5 publication Critical patent/JP2012155088A5/ja
Application granted granted Critical
Publication of JP5606344B2 publication Critical patent/JP5606344B2/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/0816Key establishment, i.e. cryptographic processes or cryptographic protocols whereby a shared secret becomes available to two or more parties, for subsequent use
    • GPHYSICS
    • G09EDUCATION; CRYPTOGRAPHY; DISPLAY; ADVERTISING; SEALS
    • G09CCIPHERING OR DECIPHERING APPARATUS FOR CRYPTOGRAPHIC OR OTHER PURPOSES INVOLVING THE NEED FOR SECRECY
    • G09C1/00Apparatus or methods whereby a given sequence of signs, e.g. an intelligible text, is transformed into an unintelligible sequence of signs by transposing the signs or groups of signs or by replacing them by others according to a predetermined system
    • 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/3066Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy involving algebraic varieties, e.g. elliptic or hyper-elliptic curves
    • H04L9/3073Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy involving algebraic varieties, e.g. elliptic or hyper-elliptic curves involving pairings, e.g. identity based encryption [IBE], bilinear mappings or bilinear pairings, e.g. Weil or Tate pairing
    • 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
    • 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
    • H04L9/3255Cryptographic 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 using group based signatures, e.g. ring or threshold signatures

Landscapes

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

Abstract

【課題】設計の自由度の高いノンモノトーン述語をサポートした属性ベース署名方式を提供することを目的とする。
【解決手段】ノンモノトーンスパンプログラムに属性ベクトルの内積を適用することによりアクセスストラクチャを構成した。このアクセスストラクチャは、スパンプログラムの設計と、属性ベクトルの設計とに自由度があり、アクセス制御の設計に大きな自由度を有する。そして、このアクセスストラクチャに対して秘密分散の概念を用いることで、ノンモノトーン述語をサポートした属性ベース署名方式を実現した。
【選択図】図5

Description

この発明は、属性ベース署名(Attribute−Based Signatures,ABS)方式に関するものである。
非特許文献26,29,30,34−37,45,51には、属性ベース署名方式に関する記載がある。特に、非特許文献36,37には、モノトーン述語をサポートした属性ベース署名方式についての記載がある。
Beimel, A., Secure schemes for secret sharing and key distribution. PhD Thesis, Israel Institute of Tech−nology, Technion, Haifa, Israel, 1996. Belenkiy, M., Camenisch, J., Chase, M., Kohlweiss, M., Lysyanskaya, A. and Shacham, H.: Randomizable proofs and delegatable anonymous credentials. CRYPTO 2009. LNCS, Springer Heidelberg (2009) Belenkiy, M., Chase, M., Kohlweiss, M. and Lysyanskaya, A.: P−signatures and noninteractive anonymous credentials. TCC 2008, LNCS, Springer Heidelberg (2008) Bethencourt, J., Sahai, A., Waters, B.: Ciphertext−policy attribute−based encryption. In: 2007 IEEE Sym−posium on Security and Privacy, pp. 321.334. IEEE Press (2007) Boneh, D., Boyen, X.: Efficient selective−ID secure identity based encryption without random oracles. In:Cachin, C., Camenisch, J. (eds.) EUROCRYPT 2004. LNCS, vol. 3027, pp. 223.238. Springer Heidelberg (2004) Boneh, D., Boyen, X.: Secure identity based encryption without random oracles. In: Franklin, M.K. (ed.) CRYPTO 2004. LNCS, vol. 3152, pp. 443.459. Springer Heidelberg (2004) Boneh, D., Boyen, X., Goh, E.: Hierarchical identity based encryption with constant size ciphertext. In:Cramer, R. (ed.) EUROCRYPT 2005. LNCS, vol. 3494, pp. 440.456. Springer Heidelberg (2005) Boneh, D., Franklin, M.: Identity−based encryption from the Weil pairing. In: Kilian, J. (ed.) CRYPTO 2001. LNCS, vol. 2139, pp. 213.229. Springer Heidelberg (2001) Boneh, D., Hamburg, M.: Generalized identity based and broadcast encryption scheme. In: Pieprzyk, J.(ed.) ASIACRYPT 2008. LNCS, vol. 5350, pp. 455.470. Springer Heidelberg (2008) Boneh, D., Katz, J., Improved efficiency for CCA−secure cryptosystems built using identity based encryp−tion. RSA−CT 2005, LNCS, Springer Verlag (2005) Boneh, D., Waters, B.: Conjunctive, subset, and range queries on encrypted data. In: Vadhan, S.P. (ed.) TCC 2007. LNCS, vol. 4392, pp. 535.554. Springer Heidelberg (2007) X. Boyen: Mesh signatures. EUROCRYPT, LNCS, vol. 4515, pp. 210.227. Springer (2007). Boyen, X., Waters, B.: Anonymous hierarchical identity−based encryption (without random oracles). In:Dwork, C. (ed.) CRYPTO 2006. LNCS, vol. 4117, pp. 290.307. Springer Heidelberg (2006) Camenisch, J. and Gross, T.: Efficient attributes for anonymous credentials. CCS 2008. Camenisch, J. and Lysyanskaya, A.: An efficient system for non−transferable anonymous credentials with optinal anonymity revocation. Eurocrypt 2001. Camenisch, J. and Lysyanskaya, A.: Signature schemes and anonymous credentials from bilinear maps. Crypto 2004. Canetti, R., Halevi S., Katz J., Chosen−ciphertext security from identity−based encryption. EUROCRYPT 2004, LNCS, Springer−Verlag (2004) Chaum, D.: Security without identification: Transaction systems to make big brother obsolete. CACM (1985). D. Chaum and E. van Heyst: Group signatures. In proceedings of EUROCRYPT’91, LNCS, vol. 547, pp.257.265 (1991). Cocks, C.: An identity based encryption scheme based on quadratic residues. In: Honary, B. (ed.) IMA Int. Conf. LNCS, vol. 2260, pp. 360.363. Springer Heidelberg (2001) Gentry, C.: Practical identity−based encryption without random oracles. In: Vaudenay, S. (ed.) EURO−CRYPT 2006. LNCS, vol. 4004, pp. 445.464. Springer Heidelberg (2006) Gentry, C., Halevi, S.: Hierarchical identity−based encryption with polynomially many levels. In: Reingold,O. (ed.) TCC 2009. LNCS, vol. 5444, pp. 437.456. Springer Heidelberg (2009) Gentry, C., Silverberg, A.: Hierarchical ID−based cryptography. In: Zheng, Y. (ed.) ASIACRYPT 2002.LNCS, vol. 2501, pp. 548.566. Springer Heidelberg (2002) Goyal, V., Pandey, O., Sahai, A., Waters, B.: Attribute−based encryption for fine−grained access control of encrypted data. In: ACM Conference on Computer and Communication Security 2006, pp. 89.98, ACM (2006) Groth, J., Sahai, A.: Efficient non−interactive proof systems for bilinear groups. In: Smart, N.P. (ed.) EUROCRYPT 2008. LNCS, vol. 4965, pp. 415.432. Springer Heidelberg (2008) S. Guo and Y. Zeng: Attribute−based Signature Scheme, In ISA’08, pp. 509.511 (2008). Horwitz, J., Lynn, B.: Towards hierarchical identity−based encryption. In: Knudsen, L.R. (ed.) EURO−CRYPT 2002. LNCS, vol. 2332, pp. 466.481. Springer Heidelberg (2002) Katz, J., Sahai, A., Waters, B.: Predicate encryption supporting disjunctions, polynomial equations, and inner products. In: Smart, N.P. (ed.) EUROCRYPT 2008. LNCS, vol. 4965, pp. 146.162. Springer Heidel−berg (2008) D. Khader: Attribute Based Group Signatures, Cryptology ePrint Archive, Report 2007/159 (2007). http://eprint.iacr.org/2007/159. D. Khader: Attribute Based Group Signature with Revocation. Cryptology ePrint Archive, Report 2007/241, (2007). http://eprint.iacr.org/2007/241. Lewko, A., Okamoto, T., Sahai, A., Takashima, K. and Waters, B.: Fully Secure Functional Encryption:Attribute−Based Encryption and (Hierarchical) Inner Product Encryption, EUROCRYPT 2010. LNCS,Springer Heidelberg (2010) Lewko, A.B., Waters, B.: Fully secure HIBE with short ciphertexts. ePrint, IACR, http://eprint.iacr.org/2009/482 Lewko, A.B., Waters, B.: Decentralizing Attribute−Based Encryption, ePrint, IACR, http://eprint.iacr.org/2010/351. Jin Li, Man Ho Au, Willy Susilo, Dongqing Xie, Kui Ren: Attribute−based Signature and its Application,ASIACCS’ 2010, ACM (2010) J. Li and K. Kim: Attribute−based ring signatures. 2008. Available at http://eprint.iacr.org/2008/394. To appear in Journal of Information Sciences. Maji, H., Prabhakaran, M., Rosulek, M.: Attribute−Based Signatures: Achieving Attribute−Privacy and Collusion−Resistance. ePrint, IACR, http://eprint.iacr.org/2008/328 Maji, H., Prabhakaran, M., Rosulek, M.: Attribute−Based Signatures. http://www.cs.uiuc.edu/ mmp/research.html Okamoto, T., Takashima, K.: Homomorphic encryption and signatures from vector decomposition. In:Galbraith, S.D., Paterson, K.G. (eds.) Pairing 2008. LNCS, vol. 5209, pp. 57.74. Springer Heidelberg (2008) Okamoto, T., Takashima, K.: Hierarchical predicate encryption for Inner−Products, In: ASIACRYPT 2009, Springer Heidelberg (2009) Okamoto, T., Takashima, K.: Fully Secure Functional Encryption with General Relations from the Deci−sional Linear Assumption, In: CRYPTO 2010, Springer Heidelberg (2010) Ostrovsky, R., Sahai, A., Waters, B.: Attribute−based encryption with non−monotonic access structures. In: ACM Conference on Computer and Communication Security 2007, pp. 195.203, ACM (2007) Pirretti, M., Traynor, P., McDaniel, P., Waters, B.: Secure attribute−based systems. In: ACM Conference on Computer and Communication Security 2006, pp. 99.112, ACM, (2006) Pirretti, M., Traynor, P., McDaniel, P., Waters, B.: Secure attribute−based systems. In: ACM Conference on Computer and Communication Security 2006, pp. 99.112, ACM, (2006) Sahai, A., Waters, B.: Fuzzy identity−based encryption. In: Cramer, R. (ed.) EUROCRYPT 2005. LNCS, vol. 3494, pp. 457.473. Springer Heidelberg (2005) S. F. Shahandashti and R. Safavi−Naini: Threshold attribute−based signatures and their application to anonymous credential systems. In AFRICACRYPT’09, pp. 198.216 (2009). A. Shamir: Identity−based cryptosystems and signature schemes. In CRYPTO’84, pp. 47.53 (1984). Shi, E., Waters, B.: Delegating capability in predicate encryption systems. In: Aceto, L., Damg°ard, I.,Goldberg, L.A., Halldorsson, M.M., Ingolfsdottir, A., Walukiewicz, I. (eds.) ICALP (2) 2008. LNCS, vol.5126, pp. 560.578. Springer Heidelberg (2008) Shi, E., Waters, B.: Delegating capability in predicate encryption systems. In: Aceto, L., Damg°ard, I.,Goldberg, L.A., Halldorsson, M.M., Ingolfsdottir, A., Walukiewicz, I. (eds.) ICALP (2) 2008. LNCS, vol.5126, pp. 560.578. Springer Heidelberg (2008) Waters, B.: Ciphertext−policy attribute−based encryption: an expressive, efficient, and provably secure realization. ePrint, IACR, http://eprint.iacr.org/2008/290 Waters, B.: Dual system encryption: Realizing fully secure IBE and HIBE under simple assumptions. In:Halevi, S. (ed.) CRYPTO 2009. LNCS, vol. 5677, pp. 619.636. Springer Heidelberg (2009) Waters, B.: Dual system encryption: Realizing fully secure IBE and HIBE under simple assumptions. In:Halevi, S. (ed.) CRYPTO 2009. LNCS, vol. 5677, pp. 619.636. Springer Heidelberg (2009)
従来の属性ベース署名方式では、ノンモノトーン述語をサポートしていなかった。
この発明は、ノンモノトーン述語をサポートした属性ベース署名方式を提供することを目的とする。
この発明に係る署名処理システムは、
鍵生成装置と署名装置と検証装置とを備え、t=0,...,d+1(dは1以上の整数)の各整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理システムであり、
前記鍵生成装置は、
t=1,...,dの少なくとも1つ以上の整数tについて、識別情報tと、属性情報xとを含む属性集合Γを入力する第1情報入力部と、
基底B の基底ベクトルb 0,1の係数として所定の値δを設定した鍵要素k を生成する鍵要素0生成部と、
前記第1情報入力部が入力した属性集合Γに含まれる各識別情報tについて、基底B の基底ベクトルb t,1の係数として前記所定の値δを設定し、基底ベクトルb t,2の係数として属性情報xに前記所定の値δを乗じたδxを設定した鍵要素k を生成する鍵要素t生成部と、
基底B d+1の基底ベクトルb d+1,1の係数として前記所定の値δを設定した鍵要素k d+1,1と、基底B d+1の基底ベクトルb d+1,2の係数として前記所定の値δを設定した鍵要素k d+1,2とを生成する鍵要素d+1生成部と、
前記鍵要素0生成部が生成した鍵要素k と、前記鍵要素t生成部が生成した前記属性集合Γに含まれる各識別情報tについての鍵要素k と、前記鍵要素d+1生成部が生成した鍵要素k d+1,1及び鍵要素k d+1,2と、前記属性集合Γとを含む署名鍵skΓを前記署名装置へ送信する署名鍵送信部と
を備え、
前記署名装置は、
i=1,...,L(Lは1以上の整数)の各整数iについての変数ρ(i)であって、識別情報t(t=1,...,dのいずれかの整数)と、属性情報vとの肯定形の組(t,v)又は否定形の組¬(t,v)のいずれかである変数ρ(i)と、L行r列(rは1以上の整数)の所定の行列Mと、メッセージmとを入力する第2情報入力部と、
前記署名鍵送信部が送信した署名鍵skΓを取得する署名鍵取得部と、
前記第2情報入力部が入力した変数ρ(i)と、前記署名鍵取得部が取得した署名鍵skΓに含まれる属性集合Γとに基づき、i=1,...,Lの各整数iのうち、変数ρ(i)が肯定形の組(t,v)であり、かつ、その組のvと、その組の識別情報tが示す属性集合Γに含まれるxとが等しいiと、変数ρ(i)が否定形の組¬(t,v)であり、かつ、その組のvと、その組の識別情報tが示す属性集合Γに含まれるxとが等しくないiとの集合Iを特定するとともに、特定した集合Iに含まれるiについて、前記第2情報入力部が入力した行列Mのi行目の要素であるMに基づき、αを合計した場合に所定のベクトルhとなる補完係数αを計算する補完係数計算部と、
前記署名鍵skΓに含まれる鍵要素k を含む署名要素s を生成する署名要素0生成部と、
i=1,...,Lの各整数iについて、前記補完係数計算部が特定した集合Iに含まれる整数iであり、かつ、変数ρ(i)が肯定形の組(t,v)である場合には値γ:=αとし、前記集合Iに含まれるiであり、かつ、変数ρ(i)が否定形の組¬(t,v)である場合には値γ:=α/(v−x)とし、前記集合Iに含まれない整数iの場合には値γ:=0として、前記署名鍵skΓに含まれる鍵要素k に前記値γを乗じたγ を含む署名要素s を生成する署名要素i生成部と、
前記署名鍵skΓに含まれる鍵要素k d+1,1と、前記メッセージmを用いて生成される値m’を前記鍵要素k d+1,2に乗じたm’・k d+1,2との和を含む署名要素s L+1を生成する署名要素L+1生成部と、
前記署名要素0生成部が生成した署名要素s と、前記署名要素i生成部が生成したi=1,...,Lの各整数iについての署名要素s と、前記署名要素L+1生成部が生成した署名要素s L+1と、前記メッセージmと、前記変数ρ(i)と、前記行列Mとを含む署名データσを前記検証装置へ送信する署名データ送信部と
を備え、
前記検証装置は、
前記署名データ送信部が送信した署名データσを取得するデータ取得部と、
r個の要素を有するベクトルfと前記ベクトルhと用いて生成される値s:=h・f→Tと、所定の値sL+1とから計算される−s−sL+1を、基底Bの基底ベクトルb0,1の係数として設定して検証要素cを生成する検証要素0生成部と、
前記ベクトルfと前記データ取得部が取得した署名データσに含まれる行列Mとに基づき生成される列ベクトルs→T:=(s,...,s:=M・f→Tと、i=1,...,Lの各整数iについての所定の値θとを用いて、i=1,...,Lの各整数iについて、変数ρ(i)が肯定形の組(t,v)である場合には、その組の識別情報tが示す基底Bの基底ベクトルbt,1の係数としてs+θを設定し、基底ベクトルbt,2の係数として−θを設定して検証要素cを生成し、変数ρ(i)が否定形の組¬(t,v)である場合には、その組の識別情報tが示す基底ベクトルbt,1の係数としてsを設定し、基底ベクトルbt,2の係数として−sを設定して検証要素cを生成する検証要素i生成部と、
基底Bd+1の基底ベクトルbd+1,1の係数として、前記所定の値sL+1と前記値m’と所定の値θL+1とから計算されるsL+1−θL+1m’を設定し、基底ベクトルbd+1,2の係数として前記所定の値θL+1を設定して検証要素cL+1を生成する検証要素L+1生成部と、
前記検証要素0生成部が生成した検証要素cと、前記検証要素i生成部が生成した検証要素cと、前記検証要素L+1生成部が生成した検証要素cL+1と、前記署名データσに含まれる署名要素s ,s ,s L+1とについて、ペアリング演算Πi=0 L+1e(c,s )を行い、前記署名データσの正当性を検証するペアリング演算部と
を備えることを特徴とする。
この発明に係る属性ベース署名方式では、ノンモノトーン述語をサポートしている。そのため、利用範囲の広い属性ベース署名方式を実現している。
行列M^の説明図。 行列Mδの説明図。 の説明図。 →Tの説明図。 属性ベース署名方式を実行する署名処理システム10の構成図。 鍵生成装置100の機能を示す機能ブロック図。 署名装置200の機能を示す機能ブロック図。 検証装置300の機能を示す機能ブロック図。 Setupアルゴリズムの処理を示すフローチャート。 KeyGenアルゴリズムの処理を示すフローチャート。 Sigアルゴリズムの処理を示すフローチャート。 Verアルゴリズムの処理を示すフローチャート。 多管理者の説明図。 分散多管理者属性ベース署名方式を実行する署名処理システム10の構成図。 各鍵生成装置100の機能を示す機能ブロック図。 署名装置200の機能を示す機能ブロック図。 検証装置300の機能を示す機能ブロック図。 GSetupアルゴリズムの処理を示すフローチャート。 ASetupアルゴリズムの処理を示すフローチャート。 AttrGenアルゴリズムの処理を示すフローチャート。 Sigアルゴリズムの処理を示すフローチャート。 Verアルゴリズムの処理を示すフローチャート。 鍵生成装置100、署名装置200、検証装置300のハードウェア構成の一例を示す図。
以下、図に基づき、発明の実施の形態を説明する。
以下の説明において、処理装置は後述するCPU911等である。記憶装置は後述するROM913、RAM914、磁気ディスク920等である。通信装置は後述する通信ボード915等である。入力装置は後述するキーボード902、通信ボード915等である。つまり、処理装置、記憶装置、通信装置、入力装置はハードウェアである。
以下の説明における記法について説明する。
Aがランダムな変数または分布であるとき、数101は、Aの分布に従いAからyをランダムに選択することを表す。つまり、数101において、yは乱数である。
Figure 2012155088
Aが集合であるとき、数102は、Aからyを一様に選択することを表す。つまり、数102において、yは一様乱数である。
Figure 2012155088
数103は、yがzにより定義された集合であること、又はyがzを代入された集合であることを表す。
Figure 2012155088
aが定数であるとき、数104は、機械(アルゴリズム)Aが入力xに対しaを出力することを表す。
Figure 2012155088
数105、つまりFは、位数qの有限体を示す。
Figure 2012155088
ベクトル表記は、有限体Fにおけるベクトル表示を表す。つまり、数106である。
Figure 2012155088
数107は、数108に示す2つのベクトルxとvとの数109に示す内積を表す。
Figure 2012155088
Figure 2012155088
Figure 2012155088
は、行列Xの転置行列を表す。
(i=1,...,n)が空間Vのベクトルの要素であるとき、つまり、数110であるとき、数111は、数112によって生成される部分空間を表す。
Figure 2012155088
Figure 2012155088
Figure 2012155088
数113に示す基底Bと基底Bとに対して、数114である。
Figure 2012155088
Figure 2012155088
また、以下の説明において、paramVtにおけるVtはVのことである。
同様に、F ntにおけるntはnのことである。
同様に、skgid,(t,xt)におけるxtはxのことである。
同様に、“δi,j”が上付きで示されている場合、このδi,jは、δi,jを意味する。
また、ベクトルを意味する“→”が下付き文字又は上付き文字に付されている場合、この“→”は下付き文字又は上付き文字に上付きで付されていることを意味する。
また、以下の説明において、署名処理とは、鍵生成処理、署名処理、検証処理を含むものである。
実施の形態1.
この実施の形態では、「属性ベース署名方式」について説明する。
第1に、属性ベース署名について簡単に説明する。
第2に、属性ベース署名方式を実現するための空間である「双対ペアリングベクトル空間(Dual Pairing Vector Spaces,DPVS)」という豊かな数学的構造を有する空間を説明する。
第3に、属性ベース署名方式を実現するための概念を説明する。ここでは、「スパンプログラム(Span Program)」、「属性ベクトルの内積とアクセスストラクチャ」、「秘密分散方式(秘密共有方式)」について説明する。また、「衝突困難ハッシュ関数(Collision Resistant Hash Functions)」についても説明する。
第4に、この実施の形態に係る「属性ベース署名方式」を説明する。まず、「属性ベース署名方式」の基本構成について説明する。次に、「属性ベース署名方式」を実現する「署名処理システム10」の基本構成について説明する。そして、この実施の形態に係る「属性ベース署名方式」及び「署名処理システム10」について詳細に説明する。
<第1.属性ベース署名>
デジタル署名の概念は、DiffieとHellmanとによって1976年に論文で紹介された。そこでは、デジタル署名の概念は、秘密にされる署名鍵skと公開される検証鍵pkとのペアが署名者に対して生成され、署名鍵skを用いて生成されたメッセージmの署名σが、対応する検証鍵pkによって検証されることとされた。つまり、署名鍵skを使って署名されたメッセージ(m,σ)の署名者が、検証鍵pkによって確認されることとされた。
これは、デジタル署名の要件の1つではある。しかし、署名鍵skと検証鍵pkとの関係が密接なため、署名者と署名によって証明される内容との間の関係に柔軟性やプライバシーがない。
署名鍵と検証鍵との関係がより柔軟になり又は洗練されることで、用途が広く、プライバシーが向上したデジタル署名の改良型が研究されている。
署名のこのクラスでは、署名鍵と検証鍵とはそれぞれ、属性xと述語vとによってパラメータ化されている。そして、署名されたメッセージ(m,σ)は、パラメータxを伴う署名鍵skによって生成され、公開された鍵pkとパラメータvとによって、述語vが属性xを受理する場合(v(x)が成立する場合)にのみ、正しいことが検証される。
署名のこのクラスにおける署名者のプライバシーとは、署名鍵skによって生成された述語vに対する署名が、v(x)が成立することを除き属性xに関する情報を漏らさないことである。
述語vがパラメータvとの等号関係である場合(つまり、x=vの場合にのみv(x)が成立する場合)、この述語に対する署名のクラスはIDベース署名(Identity−Based Signatures,IBS)である(非特許文献46参照)。
なお、IDベース署名では、x=vのように、署名者の秘密鍵であるskの属性xを述語vが一意に識別する。そのため、IDベース署名にはプライバシーの余地はない。
グループ署名(Group Signatures)は、署名のこのクラスに含まれる署名である(非特許文献19参照)。グループ署名は、述語のパラメータvがグループ識別子であり、属性xがグループvのメンバーの識別子である(又はpkがグループvを識別する公開鍵であり、skがグループvのメンバーxの秘密鍵である)場合にのみ、v(x)が成立するという述語vを伴う署名である。
プライバシーの要件に基づき、秘密鍵skを使って生成された署名はxがグループvのメンバーであることを除き、識別子xに関する情報を漏らさない。
属性ベース署名は、署名のこのクラス含まれる署名であり、より洗練された述語を伴う署名である(非特許文献26,29,30,34−36,45,51参照)。属性ベース署名は、署名鍵skに対するxが属性(x,...,x)の組であり、検証のためのvが閾値又はアクセスストラクチャの述語である。
存在する属性ベース署名方式における述語の最も広いクラスはモノトーンアクセスストラクチャである(非特許文献36,37参照)。モノトーンアクセスストラクチャでは、述語vは、属性(v,...,v)の組を伴うモノトーンスパンプログラム(M,ρ)(MSP(M,ρ))によって特定され、MSP(M,ρ)が(T(xi_1=v),...,T(xi_j=v))の真の値のベクトルを受理する場合のみ、v(x)が成立する。ここで、φが真である場合、T(φ):=1であり、φが偽である場合、T(φ):=1である。例えば、x=vである場合、T(x=v):=1であり、x≠vである場合、T(x=v):=0である。
このようなモノトーン述語は、AND、OR、閾値のゲートを表現することができる。
属性ベース署名に対するモノトーン述語vの例を説明する。
モノトーン述語vの例としては、(Institute=Univ.A)AND(TH2((Department=Biology),(Gender=Female),(Age=50‘s))OR(Position=Professor))である。ここで、TH2は閾値の値が2の閾値ゲート(つまり、2つ以上成立することを要求するゲート)を意味する。
アリスの属性xが、(Institute=Univ.A),(Department=Biology),(Position=Postdoc),(Age=30),(Gender=Female)であり、ボブの属性xが、(Institute=Univ.A),(Department=Mathematics),(Position=Professor),(Age=45),(Gender=Male)であるとする。属性xと属性xとは全く異なるが、v(x)とv(x)とがいずれも成立することは明らかである。また、述語vを満たす他の多くの属性があることは明らかである。
そのため、アリスとボブとは、この述語における署名を生成することができる。また、属性ベース署名のプライバシー要件に基づき、署名者の属性が述語vを満たすことを除き、述語vに対する署名は署名者、つまりアリスとボブ(又はその他)の属性に関して情報を漏らさない。
属性ベース署名には、属性ベースメッセージング(Attributed−Based Massaging,ABM)、属性ベース認証(Attributed−Based authentication)、trust−negotiation、leaking secrets等の多くのアプリケーションが存在する(非特許文献36,37参照)。
しかし、ノンモノトーン述語に対する属性ベース署名方式は、弱い安全性のものであっても存在しなかった。ノンモノトーン述語は、AND、OR、閾値のゲートと同様に、NOTのゲートを表現することができる。
つまり、モノトーン述語では、(Institute=Univ.A)のように、肯定形の条件は設定できるが、(Institute≠Univ.A)(つまり、Not(Institute=Univ.A))のように否定形の条件は設定できない。これに対して、ノンモノトーン述語では、否定形の条件を設定できる。
大学がUniv.A以外にも多数存在する場合、肯定形の条件のみを用いて、Univ.A以外という否定形の条件を設定するのは困難である(記述が複雑になる)。このことからも、ノンモノトーン述語の有用性が分かる。
<第2.双対ペアリングベクトル空間>
まず、対称双線形ペアリング群(Symmetric Bilinear Pairing Groups)について説明する。
対称双線形ペアリング群(q,G,G,g,e)は、素数qと、位数qの巡回加法群Gと、位数qの巡回乗法群Gと、g≠0∈Gと、多項式時間で計算可能な非退化双線形ペアリング(Nondegenerate Bilinear Pairing)e:G×G→Gとの組である。非退化双線形ペアリングは、e(sg,tg)=e(g,g)stであり、e(g,g)≠1である。
以下の説明において、数115を、1λを入力として、セキュリティパラメータをλとする双線形ペアリング群のパラメータparam:=(q,G,G,g,e)の値を出力するアルゴリズムとする。
Figure 2012155088
次に、双対ペアリングベクトル空間について説明する。
双対ペアリングベクトル空間(q,V,G,A,e)は、対称双線形ペアリング群(param:=(q,G,G,g,e))の直積によって構成することができる。双対ペアリングベクトル空間(q,V,G,A,e)は、素数q、数116に示すF上のN次元ベクトル空間V、位数qの巡回群G、空間Vの標準基底A:=(a,...,a)の組であり、以下の演算(1)(2)を有する。ここで、aは、数117に示す通りである。
Figure 2012155088
Figure 2012155088
演算(1):非退化双線形ペアリング
空間Vにおけるペアリングは、数118によって定義される。
Figure 2012155088
これは、非退化双線形である。つまり、e(sx,ty)=e(x,y)stであり、全てのy∈Vに対して、e(x,y)=1の場合、x=0である。また、全てのiとjとに対して、e(a,a)=e(g,g)δi,jである。ここで、i=jであれば、δi,j=1であり、i≠jであれば、δi,j=0である。また、e(g,g)≠1∈Gである。
演算(2):ディストーション写像
数119に示す空間Vにおける線形変換φi,jは、数120を行うことができる。
Figure 2012155088
Figure 2012155088
ここで、線形変換φi,jをディストーション写像と呼ぶ。
以下の説明において、数121を、1λ(λ∈自然数)、N∈自然数、双線形ペアリング群のパラメータparam:=(q,G,G,g,e)の値を入力として、セキュリティパラメータがλであり、N次元の空間Vとする双対ペアリングベクトル空間のパラメータparam:=(q,V,G,A,e)の値を出力するアルゴリズムとする。
Figure 2012155088
なお、ここでは、上述した対称双線形ペアリング群により、双対ペアリングベクトル空間を構成した場合について説明する。なお、非対称双線形ペアリング群により双対ペアリングベクトル空間を構成することも可能である。以下の説明を、非対称双線形ペアリング群により双対ペアリングベクトル空間を構成した場合に応用することは容易である。
<第3.属性ベース署名方式を実現するための概念>
<第3−1.スパンプログラム>
図1は、行列M^の説明図である。
{p,...,p}を変数の集合とする。M^:=(M,ρ)は、ラベル付けされた行列である。ここで、行列Mは、F上の(L行×r列)の行列である。また、ρは、行列Mの各列に付されたラベルであり、{p,...,p,¬p,...,¬p}のいずれか1つのリテラルへ対応付けられる。なお、Mの全ての行に付されたラベルρi(i=1,...,L)がいずれか1つのリテラルへ対応付けられる。つまり、ρ:{1,...,L}→{p,...,p,¬p,...,¬p}である。
全ての入力列δ∈{0,1}に対して、行列Mの部分行列Mδは定義される。行列Mδは、入力列δによってラベルρに値“1”が対応付けられた行列Mの行から構成される部分行列である。つまり、行列Mδは、δ=1であるようなpに対応付けられた行列Mの行と、δ=0であるような¬pに対応付けられた行列Mの行とからなる部分行列である。
図2は、行列Mδの説明図である。なお、図2では、n=7,L=6,r=5としている。つまり、変数の集合は、{p,...,p}であり、行列Mは(6行×5列)の行列である。また、図2において、ラベルρは、ρが¬pに、ρがpに、ρがpに、ρが¬pに、ρが¬pに、ρがpにそれぞれ対応付けられているとする。
ここで、入力列δ∈{0,1}が、δ=1,δ=0,δ=1,δ=0,δ=0,δ=1,δ=1であるとする。この場合、破線で囲んだリテラル(p,p,p,p,¬p,¬p,¬p)に対応付けられている行列Mの行からなる部分行列が行列Mδである。つまり、行列Mの1行目(M),2行目(M),4行目(M)からなる部分行列が行列Mδである。
言い替えると、写像γ:{1,...,L}→{0,1}が、[ρ(j)=p]∧[δ=1]又は[ρ(j)=¬p]∧[δ=0]である場合、γ(j)=1であり、他の場合、γ(j)=0であるとする。この場合に、Mδ:=(Mγ(j)=1である。ここで、Mは、行列Mのj番目の行である。
つまり、図2では、写像γ(j)=1(j=1,2,4)であり、写像γ(j)=0(j=3,5,6)である。したがって、(Mγ(j)=1は、M,M,Mであり、行列Mδである。
すなわち、写像γ(j)の値が“0”であるか“1”であるかによって、行列Mのj番目の行が行列Mδに含まれるか否かが決定される。
∈span<Mδ>である場合に限り、スパンプログラムM^は入力列δを受理し、他の場合には入力列δを拒絶する。つまり、入力列δによって行列M^から得られる行列Mδの行を線形結合して1が得られる場合に限り、スパンプログラムM^は入力列δを受理する。なお、1とは、各要素が値“1”である行ベクトルである。
例えば、図2の例であれば、行列Mの1,2,4行目からなる行列Mδの各行を線形結合して1が得られる場合に限り、スパンプログラムM^は入力列δを受理する。つまり、α(M)+α(M)+α(M)=1となるα,α,αが存在する場合には、スパンプログラムM^は入力列δを受理する。
ここで、ラベルρが正のリテラル{p,...,p}にのみ対応付けられている場合、スパンプログラムはモノトーンと呼ばれる。一方、ラベルρがリテラル{p,...,p,¬p,...,¬p}に対応付けられている場合、スパンプログラムはノンモノトーンと呼ばれる。ここでは、スパンプログラムはノンモノトーンとする。そして、ノンモノトーンスパンプログラムを用いて、アクセスストラクチャ(ノンモノトーンアクセスストラクチャ)を構成する。
上述したように、スパンプログラムがモノトーンではなく、ノンモノトーンであることにより、スパンプログラムを利用して構成する属性ベース署名方式の利用範囲が広がる。
<第3−2.属性ベクトルの内積とアクセスストラクチャ>
ここでは、属性ベクトルの内積を用いて上述した写像γ(j)を計算する。つまり、属性ベクトルの内積を用いて、行列Mのどの行を行列Mδに含めるかを決定する。
(t=1,...,dでありU⊂{0,1})は、部分全集合(sub−universe)であり、属性の集合である。そして、Uは、それぞれ部分全集合の識別情報(t)と、n次元ベクトル(v)とを含む。つまり、Uは、(t,v)である。ここで、t∈{1,...,d}であり、v∈F ntである。
:=(t,v)をスパンプログラムM^:=(M,ρ)における変数pとする。つまり、p:=(t,v)である。そして、変数(p:=(t,v),(t’,v’),...)としたスパンプログラムM^:=(M,ρ)をアクセスストラクチャSとする。
つまり、アクセスストラクチャS:=(M,ρ)であり、ρ:{1,...,L}→{(t,v),(t’,v’),...,¬(t,v),¬(t’,v’),...}である。
次に、Γを属性の集合とする。つまり、Γ:={(t,x )|x ∈Fqnt,1≦t≦d}である。
アクセスストラクチャSにΓが与えられた場合、スパンプログラムM^:=(M,ρ)に対する写像γ:{1,...,L}→{0,1}は、以下のように定義される。i=1,...,Lの各整数iについて、[ρ(i)=(t,v )]∧[(t,x )∈Γ]∧[v ・x =0]、又は、[ρ(i)=¬(t,v )]∧[(t,x )∈Γ]∧[v ・x ≠0]である場合、γ(j)=1であり、他の場合、γ(j)=0とする。
つまり、属性ベクトルvとxとの内積に基づき、写像γが計算される。そして、上述したように、写像γにより、行列Mのどの行を行列Mδに含めるかが決定される。すなわち、属性ベクトルvとxとの内積により、行列Mのどの行を行列Mδに含めるかが決定され、1∈span<(Mγ(i)=1>である場合に限り、アクセスストラクチャS:=(M,ρ)はΓを受理する。
t∈{1,...,d}の全ての整数tについて、n=2とし、x:=(1,x)、v:=(v,−1)とした場合、このアクセスストラクチャにおける内積述語の関係がより簡単な形式になる。
この場合、(t,x ):=(t,(1,x)),(t,v ):=(t,(v,−1))である。しかし、これらを簡単化して(t,x)、(t,v)と表す。すると、アクセスストラクチャSは、ρ:={1,...,L}→{(t,v),(t’、v’),...,¬(t,v),¬(t’,v’),...}(v,v’,...∈F)であるS:=(M,ρ)となる。また、属性の集合Γは、Γ:={(t,x)|x∈F,1≦t≦d}となる。
そして、アクセスストラクチャSにΓが与えられた場合、スパンプログラムM^:=(M,ρ)に対する写像γ:{1,...,L}→{0,1}は、以下のように定義される。i=1,...,Lの各整数iについて、[ρ(i)=(t,v)]∧[(t,x)∈Γ]∧[v=x]、又は、[ρ(i)=¬(t,v)]∧[(t,x)∈Γ]∧[v≠x]である場合、γ(j)=1であり、他の場合、γ(j)=0とする。
<第3−3.秘密分散方式>
アクセスストラクチャS:=(M,ρ)に対する秘密分散方式について説明する。
なお、秘密分散方式とは、秘密情報を分散させ、意味のない分散情報にすることである。例えば、秘密情報sを10個に分散させ、10個の分散情報を生成する。ここで、10個の分散情報それぞれは、秘密情報sの情報を有していない。したがって、ある1個の分散情報を手に入れても秘密情報sに関して何ら情報を得ることはできない。一方、10個の分散情報を全て手に入れれば、秘密情報sを復元できる。
また、10個の分散情報を全て手に入れなくても、一部だけ(例えば、8個)手に入れれば秘密情報sを復元できる秘密分散方式もある。このように、10個の分散情報のうち8個で秘密情報sを復元できる場合を、8−out−of−10と呼ぶ。つまり、n個の分散情報のうちt個で秘密情報sを復元できる場合を、t−out−of−nと呼ぶ。このtを閾値と呼ぶ。
また、d,...,d10の10個の分散情報を生成した場合に、d,...,dまでの8個の分散情報であれば秘密情報sを復元できるが、d,...,d10までの8個の分散情報であれば秘密情報sを復元できないというような秘密分散方式もある。つまり、手に入れた分散情報の数だけでなく、分散情報の組合せに応じて秘密情報sを復元できるか否かを制御する秘密分散方式もある。
図3は、sの説明図である。図4は、s→Tの説明図である。
行列Mを(L行×r列)の行列とする。f→Tを数122に示す列ベクトルとする。
Figure 2012155088
数123に示すsを共有される秘密情報とする。
Figure 2012155088
また、数124に示すs→TをsのL個の分散情報のベクトルとする。
Figure 2012155088
そして、分散情報sをρ(i)に属するものとする。
アクセスストラクチャS:=(M,ρ)がΓを受理する場合、つまりγ:{1,...,L}→{0,1}について1∈span<(Mγ(i)=1>である場合、I⊆{i∈{1,...,L}|γ(i)=1}である定数{α∈F|i∈I}が存在する。
これは、図2の例で、α(M)+α(M)+α(M)=1となるα,α,αが存在する場合には、スパンプログラムM^は入力列δを受理すると説明したことからも明らかである。つまり、α(M)+α(M)+α(M)=1となるα,α,αが存在する場合には、スパンプログラムM^が入力列δを受理するのであれば、α(M)+α(M)+α(M)=1となるα,α,αが存在する。
そして、数125である。
Figure 2012155088
なお、定数{α}は、行列Mのサイズにおける多項式時間で計算可能である。
この実施の形態及び以下の実施の形態に係る属性ベース署名方式は、上述したように、スパンプログラムに内積述語と秘密分散方式とを適用してアクセスストラクチャを構成する。そのため、スパンプログラムにおける行列Mや、内積述語における属性情報x及び属性情報v(述語情報)を設計することにより、アクセス制御を自由に設計することができる。つまり、非常に高い自由度でアクセス制御の設計を行うことができる。なお、行列Mの設計は、秘密分散方式の閾値等の条件設計に相当する。
特に、この実施の形態及び以下の実施の形態に係る属性ベース署名方式におけるアクセスストラクチャは、ノンモノトーンスパンプログラムを用いたノンモノトーンアクセスストラクチャを構成する。つまり、この実施の形態及び以下の実施の形態に係る属性ベース署名方式は、ノンモノトーン述語を伴う署名方式である。そのため、アクセス制御の設計の自由度がより高くなる。
<第3−4.衝突困難ハッシュ関数>
衝突困難ハッシュ関数とは、出力が同じになる2つの入力を見つけることが困難なハッシュ関数である。
自然数λをセキュリティパラメータとする。アルゴリズムGbpgに関する衝突困難ハッシュ関数系Hと、多項式poly(λ)とについて以下の2つのことが言える。
1.鍵空間系は、λによって索引付けされる。各鍵空間は、KHλによって示されるビット列における確率空間である。1λを入力とした場合の出力分布がKHλと等しい確率的多項式時間アルゴリズムが存在する。
2.ハッシュ関数系は、λと、KHλからランダムに選択されたhkと、D:={0,1}poly(λ)とによって索引付けされる。ここで、各関数Hhk λ,Dは、Dの要素からF への写像である。なお、qは、アルゴリズムGbpg(1λ)の出力paramの最初の要素である。1λとhkとd∈Dとを入力として、Hhk λ,D(d)を出力する決定的多項式時間アルゴリズムがある。
εを確率的多項式時間機械であるとする。全てのλに対して、数126を定義する。
Figure 2012155088
どんな確率的多項式時間攻撃者εに対しても、Advε H,CR(λ)が無視し得る程度であるなら、Hは衝突困難ハッシュ関数系である。
<第4.属性ベース署名方式の構成>
<第4−1.属性ベース署名方式の基本構成>
属性ベース署名方式は、Setup、KeyGen、Sig、Verの4つのアルゴリズムを備える。
(Setup)
Setupアルゴリズムは、セキュリティパラメータλと、属性のフォーマットn:=((d;n,u,w,z(t=1,...,d))とを入力として、公開パラメータpkと、マスター鍵skとを出力する確率的アルゴリズムである。
(KeyGen)
KeyGenアルゴリズムは、属性の集合であるΓ:={(t,x )|x ∈F nt\{0},1≦t≦d}と、公開パラメータpkと、マスター鍵skとを入力として、署名鍵skΓを出力する確率的アルゴリズムである。
(Sig)
Sigアルゴリズムは、メッセージmと、属性の集合Γを受理するようなアクセスストラクチャS:=(M,ρ)と、署名鍵skΓと、公開パラメータpkとを入力として、署名s→*とメッセージmとアクセスストラクチャSとを含む署名データσを出力する確率的アルゴリズムである。
(Ver)
Verアルゴリズムは、署名データσと、公開パラメータpkとを入力として、ブール値1(受理)又は0(拒絶)を出力するアルゴリズムである。
属性ベース署名方式は、数127に示す全ての公開パラメータpk及びマスター鍵skと、全てのメッセージmと、全ての属性の集合Γと、数128に示す全ての署名鍵skΓと、属性の集合Γを受理する全てのアクセスストラクチャSと、数129に示す全ての署名データσとに対して、確率1で1=Ver(pk,m,S,σ)が成立する。
Figure 2012155088
Figure 2012155088
Figure 2012155088
<第4−2.署名処理システム10>
上述した属性ベース署名方式のアルゴリズムを実行する署名処理システム10について説明する。
図5は、属性ベース署名方式のアルゴリズムを実行する署名処理システム10の構成図である。
署名処理システム10は、鍵生成装置100、署名装置200、検証装置300を備える。
鍵生成装置100は、セキュリティパラメータλと、属性のフォーマットn:=((d;n,u,w,z(t=1,...,d))とを入力としてSetupアルゴリズムを実行して、公開パラメータpkとマスター鍵skとを生成する。そして、鍵生成装置100は、生成した公開パラメータpkを公開する。また、鍵生成装置100は、属性の集合であるΓ:={(t,x )|x ∈F nt\{0},1≦t≦d}と、公開パラメータpkと、マスター鍵skとを入力としてKeyGenアルゴリズムを実行して、署名鍵skΓを生成して署名装置200へ秘密裡に配布する。
署名装置200は、メッセージmと、属性の集合Γを受理するようなアクセスストラクチャS:=(M,ρ)と、署名鍵skΓと、公開パラメータpkとを入力としてSigアルゴリズムを実行して、署名s→*とメッセージmとアクセスストラクチャSとを含む署名データσを生成する。署名装置200は、生成した署名データσを検証装置300へ送信する。
検証装置300は、署名データσと、公開パラメータpkとを入力としてVerアルゴリズムを実行して、ブール値1(受理)又は0(拒絶)を出力する。
<第4−3.属性ベース署名方式及び署名処理システム10の詳細>
図6から図12に基づき、属性ベース署名方式、及び、属性ベース署名方式を実行する署名処理システム10の機能と動作とについて説明する。
図6は、鍵生成装置100の機能を示す機能ブロック図である。図7は、署名装置200の機能を示す機能ブロック図である。図8は、検証装置300の機能を示す機能ブロック図である。
図9と図10とは、鍵生成装置100の動作を示すフローチャートである。なお、図9はSetupアルゴリズムの処理を示すフローチャートであり、図10はKeyGenアルゴリズムの処理を示すフローチャートである。図11は、署名装置200の動作を示すフローチャートであり、Sigアルゴリズムの処理を示すフローチャートである。図12は、検証装置300の動作を示すフローチャートであり、Verアルゴリズムの処理を示すフローチャートである。
鍵生成装置100の機能と動作とについて説明する。
図6に示すように、鍵生成装置100は、マスター鍵生成部110、マスター鍵記憶部120、情報入力部130(第1情報入力部)、署名鍵生成部140、鍵配布部150(署名鍵送信部)を備える。
また、署名鍵生成部140は、乱数生成部141、鍵要素0生成部142、鍵要素t生成部143、鍵要素d+1生成部144を備える。
なお、以下の説明において、H:=(KHλ,Hhk λ,D)は、上述した衝突困難ハッシュ関数系である。
まず、図9に基づき、鍵生成装置100が実行するSetupアルゴリズムの処理について説明する。
(S101:正規直交基底生成ステップ)
マスター鍵生成部110は、処理装置により、数130を計算して、paramn→と、t=0,...,d+1の各整数tについて基底B及び基底B とをランダムに生成する。
Figure 2012155088
つまり、マスター鍵生成部110は以下の処理を実行する。
(1)マスター鍵生成部110は、入力装置により、セキュリティパラメータλ(1λ)と、属性のフォーマットn:=((d;n,u,w,z(t=0,...,d+1))とを入力する。ここで、dは1以上の整数である。t=0についてのnは1であり、t=1,...,dまでの各整数tについてnは1以上の整数であり、t=d+1についてのnは2である。t=0,...,d+1までの各整数tについてu,w,zは1以上の整数である。
(2)マスター鍵生成部110は、処理装置により、(1)で入力したセキュリティパラメータλ(1λ)を入力としてアルゴリズムGbpgを実行して、ランダムに双線形ペアリング群のパラメータparam:=(q,G,G,g,e)の値を生成する。
(3)マスター鍵生成部110は、処理装置により、乱数ψを生成する。また、マスター鍵生成部110は、t=0,...,d+1の各整数tについてNにn+u+w+zを設定する。
続いて、マスター鍵生成部110は、t=0,...,d+1の各整数tについて以下の(4)から(8)までの処理を実行する。
(4)マスター鍵生成部110は、処理装置により、(1)で入力したセキュリティパラメータλ(1λ)と、(3)で設定したNと、(2)で生成したparam:=(q,G,G,g,e)の値とを入力としてアルゴリズムGdpvsを実行して、双対ペアリングベクトル空間のパラメータparamVt:=(q,V,G,A,e)の値を生成する。
(5)マスター鍵生成部110は、処理装置により、(3)で設定したNと、Fとを入力として、線形変換X:=(χt,i,ji,jをランダムに生成する。なお、GLは、General Linearの略である。つまり、GLは、一般線形群であり、行列式が0でない正方行列の集合であり、乗法に関し群である。また、(χt,i,ji,jは、行列χt,i,jの添え字i,jに関する行列という意味であり、ここでは、i,j=1,...,nである。
(6)マスター鍵生成部110は、処理装置により、乱数ψと線形変換Xとに基づき、(νt,i,ji,j:=ψ・(X −1を生成する。なお、(νt,i,ji,jも(χt,i,ji,jと同様に、行列νt,i,jの添え字i,jに関する行列という意味であり、ここでは、i,j=1,...,nである。
(7)マスター鍵生成部110は、処理装置により、(5)で生成した線形変換Xに基づき、(4)で生成した標準基底Aから基底Bを生成する。
(8)マスター鍵生成部110は、処理装置により、(6)で生成した(νt,i,ji,jに基づき、(4)で生成した標準基底Aから基底B を生成する。
(9)マスター鍵生成部110は、処理装置により、gにe(g,g)ψを設定する。また、マスター鍵生成部110は、paramn→に(4)で生成した{paramVtt=0,...,d+1と、gとを設定する。なお、t=0,...,d+1とi=1,...,Nとの各整数t,iについて、g=e(bt,i,b t,i)である。
すなわち、(S101)で、マスター鍵生成部110は、数131に示すアルゴリズムGobを実行して、paramn→と、t=0,...,d+1の各整数tについて基底B及び基底B とを生成する。
Figure 2012155088
(S102:ハッシュキー生成ステップ)
マスター鍵生成部110は、処理装置により、数132を計算して、ハッシュキーhkをランダムに生成する。
Figure 2012155088
(S103:公開パラメータ生成ステップ)
マスター鍵生成部110は、処理装置により、基底Bの部分基底B^と、t=1,...,dの各整数tについて基底Bの部分基底B^と、基底Bd+1の部分基底B^d+1とを数133に示すように生成する。
Figure 2012155088
また、マスター鍵生成部110は、処理装置により、t=1,...,dの各整数tについて基底B の部分基底B^ と、基底Bd+1の部分基底B^ d+1とを数134に示すように生成する。
Figure 2012155088
マスター鍵生成部110は、生成した部分基底B^(t=0,...,d+1)と部分基底B^ (t=1,...,d+1)と、(S101)で入力されたセキュリティパラメータλ(1λ)と、(S101)で生成したparamn→と、(S102)で生成したハッシュキーhkと、基底ベクトルb 0,1+u0+1,...,b 0,1+u0+w0(ここでu0、w0は、u,wのことである)とを合わせて、公開パラメータpkとする。
(S104:マスター鍵生成ステップ)
マスター鍵生成部110は、基底B の基底ベクトルb 0,1をマスター鍵skとする。
(S105:マスター鍵記憶ステップ)
マスター鍵記憶部120は、(S103)で生成した公開パラメータpkを記憶装置に記憶する。また、マスター鍵記憶部120は、(S104)で生成したマスター鍵skを記憶装置に記憶する。
つまり、(S101)から(S104)において、鍵生成装置100は数135に示すSetupアルゴリズムを実行して、公開パラメータpkとマスター鍵skとを生成する。そして、(S105)で、鍵生成装置100は生成された公開パラメータpkとマスター鍵skとを記憶装置に記憶する。
なお、公開パラメータは、例えば、ネットワークを介して公開され、署名装置200や検証装置300が取得可能な状態にされる。
Figure 2012155088
次に、図10に基づき、鍵生成装置100が実行するKeyGenアルゴリズムの処理について説明する。
(S201:情報入力ステップ)
情報入力部130は、入力装置により、属性の集合Γ:={(t,x :=(xt,i)(i=1,...,n))|1≦t≦d}を入力する。tは、1以上d以下の全ての整数ではなく、1以上d以下の少なくとも一部の整数であってもよい。
(S202:乱数生成ステップ)
乱数生成部141は、処理装置により、乱数δと、乱数φ,φt,ι,φd+1,1,ι,φd+1,2,ι(t=1,...,d;ι=1,...,w)とを数136に示すように生成する。
Figure 2012155088
(S203:鍵要素0生成ステップ)
鍵要素0生成部142は、処理装置により、署名鍵skΓの要素である鍵要素k を数137に示すように生成する。
Figure 2012155088
なお、上述したように、数113に示す基底Bと基底Bとに対して、数114である。したがって、数137は、以下のように、基底B の基底ベクトルの係数が設定されることを意味する。ここでは、表記を簡略化して、基底ベクトルb 0,iのうち、iの部分のみで基底ベクトルを特定する。例えば、基底ベクトル1であれば、基底ベクトルb 0,1を意味する。また、基底ベクトル1,...,3であれば、基底ベクトルb 0,1,...,b 0,3を意味する。
基底B の基底ベクトル1の係数として乱数δが設定される。基底ベクトル1+1,...,1+uの係数として0が設定される。基底ベクトル1+u+1,...,1+u+wの係数として乱数φ0,1,...,φ0,wo(ここで、w0はwのことである)が設定される。基底ベクトル1+u+w+1,...,1+u+w+zの係数として0が設定される。
(S204:鍵要素t生成ステップ)
鍵要素t生成部143は、処理装置により、属性の集合Γに含まれる(t,x )の各整数tについて、署名鍵skΓの要素である鍵要素k を数138に示すように生成する。
Figure 2012155088
つまり、数138は、数137と同様に、以下のように、基底B の基底ベクトルの係数が設定されることを意味する。なお、ここでは、表記を簡略化して、基底ベクトルb t,iのうち、iの部分のみで基底ベクトルを特定する。例えば、基底ベクトル1であれば、基底ベクトルb t,1を意味する。また、基底ベクトル1,...,3であれば、基底ベクトルb t,1,...,b t,3を意味する。
基底ベクトル1,...,nの係数としてδxt,1,...,δxt,nt(ここで、ntはnのことである)が設定される。基底ベクトルn+1,...,n+uの係数として0が設定される。基底ベクトルn+u+1,...,n+u+wの係数として乱数φt,1,...,φt,wt(ここで、wtはwのことである)が設定される。基底ベクトルn+u+w+1,...,n+u+w+zの係数として0が設定される。
(S205:鍵要素d+1生成ステップ)
鍵要素d+1生成部144は、処理装置により、署名鍵skΓの要素である鍵要素k d+1,1と鍵要素k d+1,2とを数139に示すように生成する。
Figure 2012155088
つまり、数139は、数137と同様に、以下のように、基底B d+1の基底ベクトルの係数が設定されることを意味する。なお、ここでは、表記を簡略化して、基底ベクトルb d+1,iのうち、iの部分のみで基底ベクトルを特定する。例えば、基底ベクトル1であれば、基底ベクトルb d+1,1を意味する。また、基底ベクトル1,...,3であれば、基底ベクトルb d+1,1,...,b d+1,3を意味する。
まず、鍵要素k d+1,1については、基底ベクトル1の係数として乱数δが設定される。基底ベクトル2の係数として0が設定される。基底ベクトル2+1,...,2+ud+1の係数として0が設定される。基底ベクトル2+ud+1+1,...,2+ud+1+wd+1の係数として乱数φd+1,1,1,...,φd+1,1,wd+1(ここで、wd+1はwd+1のことである)が設定される。基底ベクトル2+ud+1+wd+1+1,...,2+ud+1+wd+1+zd+1の係数として0が設定される。
また、鍵要素k d+1,2については、基底ベクトル1の係数として0が設定される。基底ベクトル2の係数として乱数δが設定される。基底ベクトル2+1,...,2+ud+1の係数として0が設定される。基底ベクトル2+ud+1+1,...,2+ud+1+wd+1の係数として乱数φd+1,2,1,...,φd+1,2,wd+1(ここで、wd+1はwd+1のことである)が設定される。基底ベクトル2+ud+1+wd+1+1,...,2+ud+1+wd+1+zd+1の係数として0が設定される。
(S206:鍵配布ステップ)
鍵配布部150は、属性の集合Γと、鍵要素k と、鍵要素k (tは属性の集合Γに含まれる(t,x )におけるt)と、鍵要素k d+1,1及び鍵要素k d+1,2とを要素とする署名鍵skΓを、例えば通信装置によりネットワークを介して秘密裡に署名装置200へ配布する。もちろん、署名鍵skΓは、他の方法により署名装置200へ配布されてもよい。
つまり、(S201)から(S205)において、鍵生成装置100は数140に示すKeyGenアルゴリズムを実行して、署名鍵skΓを生成する。そして、(S206)で、鍵生成装置100は生成された署名鍵skΓを署名装置200へ配布する。
Figure 2012155088
署名装置200の機能と動作とについて説明する。
図7に示すように、署名装置200は、署名鍵取得部210、情報入力部220(第2情報入力部)、スパンプログラム計算部230、補完係数計算部240、署名データ生成部250、署名データ送信部260(署名データ出力部)を備える。
また、情報入力部220は、述語情報入力部221、メッセージ入力部222を備える。また、署名データ生成部250は、乱数生成部251、署名要素0生成部252、署名要素i生成部253、署名要素L+1生成部254を備える。
図11に基づき、署名装置200が実行するSigアルゴリズムの処理について説明する。
(S301:署名鍵取得ステップ)
署名鍵取得部210は、例えば、通信装置によりネットワークを介して、鍵生成装置100が生成した署名鍵skΓを取得する。また、署名鍵取得部210は、鍵生成装置100が生成した公開パラメータpkを取得する。
(S302:情報入力ステップ)
述語情報入力部221は、入力装置により、アクセスストラクチャS:=(M,ρ)を入力する。なお、行列Mは、L行×r列の行列である。L,rは、1以上の整数である。
また、メッセージ入力部222は、入力装置により、署名を付すメッセージmを入力する。
なお、アクセスストラクチャSの行列Mの設定については、実現したいシステムの条件に応じて設定されるものである。
(S303:スパンプログラム計算ステップ)
スパンプログラム計算部230は、処理装置により、(S302)で入力したアクセスストラクチャSが、(S301)で取得した署名鍵skΓに含まれる属性の集合Γを受理するか否かを判定する。
なお、アクセスストラクチャが属性の集合を受理するか否かの判定方法は、「第3.関数型暗号を実現するための概念」で説明した通りである。
スパンプログラム計算部230は、アクセスストラクチャSが属性の集合Γを受理する場合(S303で受理)、処理を(S304)へ進める。一方、アクセスストラクチャSが属性の集合Γを拒絶する場合(S303で拒絶)、処理を終了する。
(S304:補完係数計算ステップ)
補完係数計算部430は、処理装置により、数141となるIと、Iに含まれる各整数iについて定数(補完係数)αとを計算する。
Figure 2012155088
なお、Mとは、行列Mのi行目のことである。
(S305:乱数生成ステップ)
乱数生成部251は、処理装置により、乱数ξと、乱数β(i=1,...,L)とを数142に示すように生成する。
Figure 2012155088
(S306:署名要素0生成ステップ)
署名要素0生成部252は、処理装置により、署名データσの要素である署名要素s を数143に示すように生成する。
Figure 2012155088
ここで、r は、数144(数110から数112及びこれらの数式の説明を参照)である。
Figure 2012155088
(S307:署名要素i生成ステップ)
署名要素i生成部253は、処理装置により、i=1,...,Lの各整数iについて、署名データσの要素である署名要素s を数145に示すように生成する。
Figure 2012155088
ここで、r は、数146(数110から数112及びこれらの数式の説明を参照)である。
Figure 2012155088
また、γとy :=(yi,i’(i’=1,...,n)とは、数147である。
Figure 2012155088
(S308:署名要素L+1生成ステップ)
署名要素L+1生成部254は、処理装置により、署名データσの要素である署名要素s L+1を数148に示すように生成する。
Figure 2012155088
ここで、r L+1は、数149(数110から数112及びこれらの数式の説明を参照)である。
Figure 2012155088
(S309:データ送信ステップ)
署名データ送信部260は、署名要素s と、署名要素s (i=1,...,L)と、署名要素s L+1と、メッセージmと、アクセスストラクチャS:=(M,ρ)とを含む署名データσを、例えば通信装置によりネットワークを介して検証装置300へ送信する。もちろん、署名データσは、他の方法により検証装置300へ送信されてもよい。
つまり、(S301)から(S308)において、署名装置200は数150に示すSigアルゴリズムを実行して、署名データσを生成する。そして、(S309)で、署名装置200は生成された署名データσを検証装置300へ配布する。
Figure 2012155088
検証装置300の機能と動作とについて説明する。
図8に示すように、検証装置300は、公開パラメータ取得部310、データ受信部320、検証鍵生成部330、ペアリング演算部340を備える。
また、検証鍵生成部330は、乱数生成部331、fベクトル生成部332、sベクトル生成部333、検証要素0生成部334、検証要素i生成部335、検証要素L+1生成部336を備える。
図12に基づき、検証装置300が実行するVerアルゴリズムの処理について説明する。
(S401:公開パラメータ取得ステップ)
公開パラメータ取得部310は、例えば、通信装置によりネットワークを介して、鍵生成装置100が生成した公開パラメータpkを取得する。
(S402:署名データ受信ステップ)
データ受信部320は、例えば、通信装置によりネットワークを介して、署名装置200が送信した署名データσを受信する。
(S403:fベクトル生成ステップ)
fベクトル生成部332は、処理装置により、r個の要素を有するベクトルfを数151に示すようにランダムに生成する。
Figure 2012155088
(S404:sベクトル生成ステップ)
sベクトル生成部333は、処理装置により、(S402)で受信した署名データσに含まれるアクセスストラクチャSの(L行×r列)の行列Mと、(S403)で生成したr個の要素を有するベクトルfとに基づき、ベクトルs→Tを数152に示すように生成する。
Figure 2012155088
また、sベクトル生成部333は、処理装置により、(S403)で生成したベクトルfに基づき、値sを数153に示すように生成する。なお、1は、全ての要素が値1のベクトルである。
Figure 2012155088
(S405:乱数生成ステップ)
乱数生成部331は、処理装置により、i=1,...,z0の各整数iについて乱数η0,iと、i=1,...,zd+1の各整数iについて乱数ηL+1,iと、乱数θL+1と、乱数sL+1とを数154に示すように生成する。
Figure 2012155088
(S406:検証要素0生成ステップ)
検証要素0生成部334は、処理装置により、検証鍵の要素である検証要素cを数155に示すように生成する。
Figure 2012155088
なお、上述したように、数113に示す基底Bと基底Bとに対して、数114である。したがって、数155は、以下のように、基底Bの基底ベクトルの係数が設定されることを意味する。こでは、表記を簡略化して、基底ベクトルb0,iのうち、iの部分のみで基底ベクトルを特定する。例えば、基底ベクトル1であれば、基底ベクトルb0,1を意味する。また、基底ベクトル1,...,3であれば、基底ベクトルb0,1,...,b0,3を意味する。
基底Bの基底ベクトル1の係数として−s−sL+1が設定される。基底ベクトル1+1,...,1+u+wの係数として0が設定される。基底ベクトル1+u+w+1,...,1+u+w+zの係数として乱数η0,1,...,η0,z0(ここで、z0はzのことである)が設定される。
(S407:検証要素i生成ステップ)
検証要素i生成部335は、処理装置により、i=1,...,Lの各整数iについて、検証鍵の要素である検証要素cを数156に示すように生成する。
Figure 2012155088
つまり、数156は、数155と同様に、以下のように、基底Bの基底ベクトルの係数が設定されることを意味する。なお、ここでは、表記を簡略化して、基底ベクトルbt,iのうち、iの部分のみで基底ベクトルを特定する。例えば、基底ベクトル1であれば、基底ベクトルbt,1を意味する。また、基底ベクトル1,...,3であれば、基底ベクトルbt,1,...,bt,3を意味する。
ρ(i)が肯定形の組(t,v )である場合には、基底ベクトル1の係数としてs+θi,1が設定される。基底ベクトル2,...,nの係数としてθi,2,...,θi,nt(ここで、ntはnのことである)が設定される。基底ベクトルn+1,...,n+u+wの係数として0が設定される。基底ベクトルn+u+w+1,...,n+u+w+zの係数としてηi,1,...,ηi,zt(ここで、ztはzのことである)が設定される。
一方、ρ(i)が否定形の組¬(t,v )である場合には、基底ベクトル1,...,nの係数としてsi,1,...,θi,nt(ここで、ntはnのことである)が設定される。基底ベクトル2の係数として−sが設定される。基底ベクトルn+1,...,n+u+wの係数として0が設定される。基底ベクトルn+u+w+1,...,n+u+w+zの係数としてηi,1,...,ηi,zt(ここで、ztはzのことである)が設定される。
なお、θ及びηi,i’(i’=1,...,z)は乱数生成部233によって生成される一様乱数である。
(S408:署名要素L+1生成ステップ)
検証要素L+1生成部336は、処理装置により、検証鍵の要素である検証要素cL+1を数157に示すように生成する。
Figure 2012155088
つまり、数157は、数155と同様に、以下のように、基底Bd+1の基底ベクトルの係数が設定されることを意味する。なお、ここでは、表記を簡略化して、基底ベクトルbd+1,iのうち、iの部分のみで基底ベクトルを特定する。例えば、基底ベクトル1であれば、基底ベクトルbd+1,1を意味する。また、基底ベクトル1,...,3であれば、基底ベクトルbd+1,1,...,bd+1,3を意味する。
基底ベクトル1の係数としてsL+1−θL+1・Hhk λ,D(m||S)が設定される。基底ベクトル2の係数としてθL+1が設定される。基底ベクトル2+1,...,2+ud+1+wd+1の係数として0が設定される。基底ベクトル2+ud+1+wd+1+1,...,2+ud+1+wd+1+zd+1の係数として乱数ηL+1,1,...,ηL+1,zd+1(ここで、zd+1はzd+1のことである)が設定される。
(S409:第1ペアリング演算ステップ)
ペアリング演算部340は、処理装置により、ペアリング演算e(b0,1,s )を計算する。
ペアリング演算e(b0,1,s )を計算した結果が値1であれば、ペアリング演算部340は、署名の検証に失敗したことを示す値0を出力して、処理を終了する。一方、ペアリング演算e(b0,1,s )を計算した結果が値1でなければ、ペアリング演算部340は、処理をS410へ進める。
(S410:第2ペアリング演算ステップ)
ペアリング演算部340は、処理装置により、数158に示すペアリング演算を計算する。
Figure 2012155088
数158に示すペアリング演算を計算した結果が値1であれば、ペアリング演算部340は、署名の検証に成功したことを示す値1を出力する。一方、その他の値であれば、ペアリング演算部340は、署名の検証に失敗したことを示す値0を出力する。
なお、数159に示すように、数158を計算することにより、署名データσが正当なものであれば、値1が得られる。
Figure 2012155088
つまり、(S401)から(S410)において、検証装置300は、数160に示すVerアルゴリズムを実行して、署名データσを検証する。
Figure 2012155088
以上のように、実施の形態1に係る署名処理システム10は、スパンプログラムと内積述語と秘密分散とを用いて構成したアクセスストラクチャSを用いて、属性ベース署名方式を実現する。特に、実施の形態1に係る署名処理システム10は、ノンモノトーンスパンプログラムを用いるため、ノンモノトーン述語を伴う属性ベース署名方式を実現する。
実施の形態1に係る署名処理システム10が実現する属性ベース署名方式は、安全性が高く、プライバシー要件を満たしている。なお、安全性が高いとは、署名を他人に偽造される可能性が低いということである。
なお、(S409)でペアリング演算e(b0,1,s )を行うのは、署名データσが、秘密である(マスター鍵skである)基底ベクトルb 0,1を用いることなく生成された署名データでないことを確認するためである。
ペアリング演算e(b0,1,s )は、署名要素s に基底ベクトルb 0,1が含まれているか、つまり基底ベクトルb 0,1の係数として0以外の値が設定されているかを確認する演算である。ペアリング演算e(b0,1,s )=1であれば、署名要素s では基底ベクトルb 0,1の係数として0が設定されており、署名データσは、基底ベクトルb 0,1を用いることなく生成された署名データであるということになる。したがって、この場合、署名データσは不正なものであると認められる。
なお、上記説明において、u、w、z(t=0,...,d+1)の次元は、安全性を高めるために設けた次元である。したがって、安全性が低くなってしまうが、u、w、z(t=0,...,d+1)をそれぞれ0として、u、w、z(t=0,...,d+1)の次元を設けなくてもよい。
また、上記説明では、(S101)でNにn+u+w+zを設定した。しかし、n+u+w+zをn+n+n+1として、Nに3n+1を設定してもよい。ここで、nは1であり、n(t=1,...,d+1)は2である。
この場合、数135に示すSetupアルゴリズムは、数161のように書き換えられる。なお、Gobは数162のように書き換えられる。
Figure 2012155088
Figure 2012155088
また、数140に示すKeyGenアルゴリズムは、数163のように書き換えられる。
Figure 2012155088
また、数150に示すSigアルゴリズムは、数164のように書き換えられる。
Figure 2012155088
また、数159に示すVerアルゴリズムは、数165のように書き換えられる。
Figure 2012155088
また、Setupアルゴリズムは、署名処理システム10のセットアップ時に一度実行すればよく、署名鍵を生成する度に実行する必要はない。また、上記説明では、SetupアルゴリズムとKeyGenアルゴリズムとを鍵生成装置100が実行するとしたが、SetupアルゴリズムとKeyGenアルゴリズムとをそれぞれ異なる装置が実行するとしてもよい。
実施の形態2.
この実施の形態では、「分散多管理者属性ベース署名方式」について説明する。
第1に、「分散多管理者(Decentralized Multi−Authority)」という概念について説明する。
第2に、この実施の形態に係る「分散多管理者属性ベース署名方式」を説明する。まず、「分散多管理者属性ベース署名方式」の基本構成について説明する。次に、「分散多管理者属性ベース署名方式」を実現する「署名処理システム10」の基本構成について説明する。そして、この実施の形態に係る「分散多管理者属性ベース署名方式」及び「署名処理システム10」について詳細に説明する。
<第1.分散多管理者という概念>
まず、「多管理者」について説明する。多管理者とは、署名鍵を生成する管理者が複数存在するという意味である。
一般的な署名処理システムでは、システム全体のセキュリティはある1つの機関(管理者)に依存している。例えば、実施の形態1で説明した署名処理システム10であれば、システム全体のセキュリティは、マスター鍵skを生成する鍵生成装置100に依存している。鍵生成装置100のセキュリティが破られたり、マスター鍵skが漏洩した場合、署名処理システム10は全体が機能しなくなる。
しかし、多管理者とすることで、一部の管理者のセキュリティが破られたり、一部の管理者の秘密鍵(マスター鍵)が漏洩した場合であっても、署名処理システムの一部だけが機能しなくなるだけであり、他の部分については正常に機能する状態とすることができる。
図13は、多管理者の説明図である。
図13では、役所が、住所、電話番号、年齢等の属性について管理する。また、警察が、運転免許の種別等の属性について管理する。また、会社Aが、会社Aにおける役職、会社Aにおける所属等の属性について管理する。そして、役所が管理する属性を示すための署名鍵1は役所が発行し、警察が管理する属性を示すための署名鍵2は警察が発行し、会社Aが管理する属性を示すための署名鍵3は会社Aが発行する。
署名をする署名者は、役所、警察、会社A等の各管理者が発行した署名鍵1,2,3を合わせた署名鍵用い、署名データを生成する。つまり、署名者から見た場合、各管理者から発行された署名鍵を合わせたものが、自分に発行された1つの署名鍵となる。
例えば、会社Aのマスター鍵が漏洩した場合、署名処理システムは、会社Aの属性に関しては機能しなくなるが、他の管理者が管理する属性に関しては機能する。つまり、署名データの検証ができた場合、会社Aが管理する属性については信頼できないが、他の属性については信頼することができる。
また、図13の例からも分かるように、属性ベース署名では、複数の管理者が存在し、各管理者が属性におけるあるカテゴリー(部分空間)又は定義域を管理し、そのカテゴリーにおけるユーザの属性についての署名鍵(の一片)を発行することが自然である。
次に、「分散(Decentralized)」について説明する。分散とは、どの機関も管理者となることができ、他の機関とやりとりすることなく、署名鍵(の一片)を発行することができ、各ユーザが他の機関とやりとりすることなく、管理者から署名鍵(の一片)を取得できることである。
例えば、中央管理者がいる場合、分散とは言えない。中央管理者とは、他の管理者よりも上位の管理者である。中央管理者のセキュリティが破られた場合、全ての管理者のセキュリティが破られてしまう。
<第2.分散多管理者属性ベース署名方式の構成>
<第2−1.分散多管理者属性ベース署名方式の基本構成>
分散多管理者属性ベース署名方式は、GSetup、ASetup、AttrGen、Sig、Verの4つのアルゴリズムを備える。
(GSetup)
GSetupアルゴリズムは、セキュリティパラメータλが入力され、公開パラメータgparamを出力する確率的アルゴリズムである。
(ASetup)
ASetupアルゴリズムは、公開パラメータgparamと、管理者の識別情報tとを入力として、管理者秘密鍵askと、管理者公開パラメータapkとを出力する確率的アルゴリズムである。
(AttrGen)
AttrGenアルゴリズムは、公開パラメータgparamと、管理者の識別情報tと、管理者秘密鍵askと、ユーザの識別情報gidと、属性x :=(xt,i)(i=1,...,n)∈Fとを入力として、署名鍵uskgid,(t,xt)を出力する確率的アルゴリズムである。
(Sig)
Sigアルゴリズムは、公開パラメータgparamと、署名鍵uskgid,(t,xt)と、メッセージmと、アクセスストラクチャS:=(M,ρ)とを入力として、署名s→*とメッセージmとアクセスストラクチャSとを含む署名データσを出力する確率的アルゴリズムである。
(Ver)
Verアルゴリズムは、署名データσと、公開パラメータgparamと、管理者公開パラメータapkとを入力として、ブール値1(受理)又は0(拒絶)を出力するアルゴリズムである。
<第2−2.署名処理システム10>
上述した分散多管理者属性ベース署名方式のアルゴリズムを実行する署名処理システム10について説明する。
図14は、分散多管理者属性ベース署名方式のアルゴリズムを実行する署名処理システム10の構成図である。
署名処理システム10は、複数の鍵生成装置100、署名装置200、検証装置300を備える。
いずれか(1つ)の鍵生成装置100は、セキュリティパラメータλを入力としてGSetupアルゴリズムを実行して、公開パラメータgparamを生成する。そして、その鍵生成装置100は、生成した公開パラメータgparamを公開する。
各鍵生成装置100は、公開パラメータgparamと、その鍵生成装置100に割り当てられた識別情報tとを入力としてASetupアルゴリズムを実行して、管理者秘密鍵askと、管理者公開パラメータapkとを生成する。そして、各鍵生成装置100は、公開パラメータgparamと、その鍵生成装置100に割り当てられた識別情報tと、管理者秘密鍵askと、ユーザの識別情報gidと、属性x:=(xt,i)(i=1,...,n)∈Fとを入力としてAttrGenアルゴリズムを実行して、署名鍵uskgid,(t,xt)を生成して署名装置200へ秘密裡に配布する。
署名装置200は、公開パラメータgparamと、署名鍵uskgid,(t,xt)と、メッセージmと、アクセスストラクチャS:=(M,ρ)とを入力としてSigアルゴリズムを実行して、署名s→*とメッセージmとアクセスストラクチャSとを含む署名データσを生成する。署名装置200は、生成した署名データσを検証装置300へ送信する。
検証装置300は、署名データσと、公開パラメータgparamと、管理者公開パラメータapkとを入力としてVerアルゴリズムを実行して、ブール値1(受理)又は0(拒絶)を出力する。
<第2−3.分散多管理者属性ベース署名方式及び署名処理システム10の詳細>
図15から図22に基づき、分散多管理者属性ベース署名方式、及び、分散多管理者属性ベース署名方式を実行する署名処理システム10の機能と動作とについて説明する。
図15は、各鍵生成装置100の機能を示す機能ブロック図である。図16は、署名装置200の機能を示す機能ブロック図である。図17は、検証装置300の機能を示す機能ブロック図である。
図18から図20は、鍵生成装置100の動作を示すフローチャートである。なお、図18はGSetupアルゴリズムの処理を示すフローチャートであり、図19はASetupアルゴリズムの処理を示すフローチャートであり、図20はAttrGenアルゴリズムの処理を示すフローチャートである。図21は、署名装置200の動作を示すフローチャートであり、Sigアルゴリズムの処理を示すフローチャートである。図22は、検証装置300の動作を示すフローチャートであり、Verアルゴリズムの処理を示すフローチャートである。
鍵生成装置100の機能と動作とについて説明する。
図15に示すように、鍵生成装置100は、マスター鍵生成部110、マスター鍵記憶部120、情報入力部130(第1情報入力部)、署名鍵生成部140、鍵配布部150(署名鍵送信部)を備える。
また、マスター鍵生成部110は、グローバルパラメータ生成部111、管理者秘密鍵生成部112を備える。署名鍵生成部140は、乱数生成部141、鍵要素生成部145を備える。
まず、図18に基づき、鍵生成装置100が実行するGSetupアルゴリズムの処理について説明する。なお、上述したように、GSetupアルゴリズムは、複数の鍵生成装置100のうち1つの鍵生成装置100が実行すればよい。
(S501:セキュリティパラメータ入力ステップ)
グローバルパラメータ生成部111は、入力装置により、セキュリティパラメータλ(1λ)を入力する。
(S502:双線形ペアリング群生成ステップ)
グローバルパラメータ生成部111は、処理装置により、S501で入力したセキュリティパラメータλ(1λ)を入力としてアルゴリズムGbpgを実行して、ランダムに双線形ペアリング群のパラメータparam:=(q,G,G,g,e)の値を生成する。
(S503:パラメータ生成ステップ)
ハッシュ関数HとHとを、数166に示すハッシュ関数とする。
Figure 2012155088
グローバルパラメータ生成部111は、処理装置により、数167に示すグローバルパラメータgparamの要素G,G,G,G,Gを生成する。
Figure 2012155088
また、グローバルパラメータ生成部111は、g:=e(G,G)、g:=e(G,G)とする。
(S504:パラメータ記憶ステップ)
マスター鍵記憶部120は、(S502)で生成したparamと、(S503)でグローバルパラメータ生成部111が設定したハッシュ関数H,Hと、生成した要素G,G,G,G,Gと、設定した値g,gとを、グローバルパラメータgparamとして記憶装置に記憶する。
つまり、(S501)から(S503)において、鍵生成装置100は数168に示すGSetupアルゴリズムを実行して、グローバルパラメータgparamを生成する。そして、(S504)で、鍵生成装置100は生成されたグローバルパラメータgparamを記憶装置に記憶する。
なお、グローバルパラメータgparamは、例えば、ネットワークを介して公開され、他の鍵生成装置100や署名装置200や検証装置300が取得可能な状態にされる。
Figure 2012155088
次に、図19に基づき、鍵生成装置100が実行するASetupアルゴリズムの処理について説明する。なお、上述したように、ASetupアルゴリズムは、複数の鍵生成装置100全てが実行してもよいし、複数の鍵生成装置100のうち一部の鍵生成装置100だけが実行してもよい。
(S601:情報入力ステップ)
情報入力部130は、入力装置により、自己(その鍵生成装置100)に割り当てられた識別情報tを入力する。なお、各鍵生成装置100には、それぞれ異なる識別情報tが割り当てられている。
また、情報入力部130は、例えば、通信装置によりネットワークを介して、グローバルパラメータgparamを取得する。なお、自己がグローバルパラメータgparamを生成した鍵生成装置100である場合には、グローバルパラメータgparamをマスター鍵記憶部120から読み出せばよい。
(S602:空間生成ステップ)
管理者秘密鍵生成部112は、処理装置により、セキュリティパラメータλ(1λ)と、N=2n+2+u+w+zと、param:=(q,G,G,g,e)の値とを入力としてアルゴリズムGdpvsを実行して、双対ペアリングベクトル空間のパラメータparamVt:=(q,V,G,A,e)の値を生成する。
なお、n,u,w,zは、1以上の整数である。
(S603:基底U生成ステップ)
管理者秘密鍵生成部112は、処理装置により、l=1,...,4の各整数lについて、基底Uを数169に示すように生成する。
Figure 2012155088
(S604:線形変換生成ステップ)
管理者秘密鍵生成部112は、処理装置により、n+u+w+zと、Fとを入力として、線形変換X:=(χt,i,ji,jを数170に示すようにランダムに生成する。
Figure 2012155088
(S605:基底B生成ステップ)
管理者秘密鍵生成部112は、処理装置により、基底B及び基底B を数171に示すように生成する。
Figure 2012155088
また、管理者秘密鍵生成部112は、π,π’,μ∈Fを、G=πG,G=π’G,G=μGとなる値とする。すると、数172となる。
Figure 2012155088
(S606:基底B^生成ステップ)
管理者秘密鍵生成部112は、処理装置により、基底Bの部分基底B^と、基底Bの部分基底B^ とを数173に示すように生成する。
Figure 2012155088
(S607:マスター鍵記憶ステップ)
マスター鍵記憶部120は、(S602)で生成したパラメータparamVtと、(S606)で生成した部分基底B^及び部分基底B^ とを管理者公開パラメータapkとして記憶装置に記憶する。また、マスター鍵記憶部120は、(S604)で生成した線形変換Xを管理者秘密鍵askとして記憶装置に記憶する。
つまり、(S601)から(S606)において、鍵生成装置100は数174に示すASetupアルゴリズムを実行して、管理者公開パラメータapkと管理者秘密鍵askとを生成する。そして、(S607)で、鍵生成装置100は生成された管理者公開パラメータapkと管理者秘密鍵askとを記憶装置に記憶する。
なお、管理者公開パラメータapkは、例えば、ネットワークを介して公開され、署名装置200や検証装置300が取得可能な状態にされる。
Figure 2012155088
次に、図20に基づき、鍵生成装置100が実行するAttrGenアルゴリズムの処理について説明する。なお、上述したように、AttrGenアルゴリズムは、複数の鍵生成装置100のうち、ASetupアルゴリズムを実行した鍵生成装置100が実行する。
(S701:情報入力ステップ)
情報入力部130は、入力装置により、自己(その鍵生成装置100)に割り当てられた識別情報tと、署名鍵を発行するユーザの識別情報gidと、属性情報x :=(xt,i)(i=1,...,n)とを入力する。
また、情報入力部130は、例えば、通信装置によりネットワークを介して、グローバルパラメータgparamを取得する。なお、自己がグローバルパラメータgparamを生成した鍵生成装置100である場合には、グローバルパラメータgparamをマスター鍵記憶部120から読み出せばよい。
また、情報入力部130は、マスター鍵記憶部120から管理者秘密鍵askを読み出す。
(S702:乱数生成ステップ)
乱数生成部141は、処理装置により、識別情報tとj=1,2の各整数jとについて、乱数φ t,jを数175に示すように生成する。
Figure 2012155088
(S703:鍵要素生成ステップ)
数176であるとする。
Figure 2012155088
鍵要素生成部145は、処理装置により、識別情報tとj=1,2の各整数jとについて、署名鍵uskgid,(t,xt)の要素である鍵要素k t,jを数177に示すように生成する。
Figure 2012155088
なお、上述したように、数113に示す基底Bと基底Bとに対して、数114である。したがって、数177は、以下のように、基底B の基底ベクトルの係数が設定されることを意味する。ここでは、表記を簡略化して、基底ベクトルb t,iのうち、iの部分のみで基底ベクトルを特定する。例えば、基底ベクトル1であれば、基底ベクトルb t,1を意味する。また、基底ベクトル1,...,3であれば、基底ベクトルb t,1,...,b t,3を意味する。
基底ベクトル1,...,nの係数として(δ+1)xt,1,...,(δ+1)xt,nt(ここで、ntはnのことである)が設定される。基底クトルn+1,...,2nの係数として−δt,1,...,−δt,nt(ここで、ntはnのことである)が設定される。基底ベクトル2n+1,...,2n+2+uの係数として0が設定される。基底ベクトル2n+2+u+1,...,2n+2+u+wの係数として乱数φt,j、1,...,φt,j,wt(ここで、wtはwのことである)が設定される。基底ベクトル2n+2+u+w+1,...,2n+2+u+w+zの係数として0が設定される。
(S704:鍵配布ステップ)
鍵配布部150は、ユーザの識別情報gidと、識別情報t及び属性情報x と、鍵要素k t,jとを要素とする署名鍵uskgid,(t,xt)を、例えば通信装置によりネットワークを介して秘密裡に署名装置200へ配布する。もちろん、署名鍵uskgid,(t,xt)は、他の方法により署名装置200へ配布されてもよい。
つまり、(S701)から(S703)において、鍵生成装置100は数178に示すAttrGenアルゴリズムを実行して、署名鍵uskgid,(t,xt)を生成する。そして、(S704)で、鍵生成装置100は生成された署名鍵uskgid,(t,xt)を署名装置200へ配布する。
Figure 2012155088
署名装置200の機能と動作とについて説明する。
図16に示すように、署名装置200は、署名鍵取得部210、情報入力部220(第2情報入力部)、スパンプログラム計算部230、補完係数計算部240、署名データ生成部250、署名データ送信部260(署名データ出力部)を備える。
また、情報入力部220は、述語情報入力部221、メッセージ入力部222を備える。また、署名データ生成部250は、乱数生成部251、署名要素生成部255を備える。
図21に基づき、署名装置200が実行するSigアルゴリズムの処理について説明する。
(S801:署名鍵取得ステップ)
署名鍵取得部210は、例えば、通信装置によりネットワークを介して、各鍵生成装置100が生成した署名鍵uskgid,(t,xt)を取得する。また、署名鍵取得部210は、鍵生成装置100が生成したグローバルパラメータgparamを取得する。
(S802:情報入力ステップ)
述語情報入力部221は、入力装置により、アクセスストラクチャS:=(M,ρ)を入力する。なお、行列Mは、L行×r列の行列である。L,rは、1以上の整数である。
また、メッセージ入力部222は、入力装置により、署名を付すメッセージmを入力する。
なお、アクセスストラクチャSの行列Mの設定については、実現したいシステムの条件に応じて設定されるものである。
(S803:スパンプログラム計算ステップ)
スパンプログラム計算部230は、処理装置により、(S802)で入力したアクセスストラクチャSが、(S801)で取得した署名鍵uskgid,(t,xt)に含まれる属性情報x の集合Γを受理するか否かを判定する。
なお、アクセスストラクチャが属性の集合を受理するか否かの判定方法は、実施の形態1における「第3.関数型暗号を実現するための概念」で説明した通りである。
スパンプログラム計算部230は、アクセスストラクチャSが属性の集合Γを受理する場合(S803で受理)、処理を(S804)へ進める。一方、アクセスストラクチャSが属性情報x の集合Γを拒絶する場合(S803で拒絶)、処理を終了する。
(S804:補完係数計算ステップ)
補完係数計算部430は、処理装置により、数179となるIと、Iに含まれる各整数iについて定数(補完係数)αとを計算する。
Figure 2012155088
なお、Mとは、行列Mのi行目のことである。
(S805:乱数生成ステップ)
乱数生成部251は、処理装置により、乱数ξ,ξと、乱数β,β’(i=1,...,L)とを数180に示すように生成する。
Figure 2012155088
(S806:署名要素生成ステップ)
署名要素生成部255は、処理装置により、i=1,...,Lの各整数iについて、署名データσの要素である署名要素s を数181に示すように生成する。
Figure 2012155088
ここで、r は、数182(数110から数112及びこれらの数式の説明を参照)である。
Figure 2012155088
また、γとy :=(yi,i’)(i’=1,...,n)とy’ :=(y’i,i’)(i’=1,...,n)とは、数183である。
Figure 2012155088
(S807:データ送信ステップ)
署名データ送信部260は、署名要素s (i=1,...,L)と、メッセージmと、アクセスストラクチャS:=(M,ρ)と、g:=g ξ2(ここで、ξ2はξである)とを含む署名データσを、例えば通信装置によりネットワークを介して検証装置300へ送信する。もちろん、署名データσは、他の方法により検証装置300へ送信されてもよい。
つまり、(S801)から(S806)において、署名装置200は数184に示すSigアルゴリズムを実行して、署名データσを生成する。そして、(S807)で、署名装置200は生成された署名データσを検証装置300へ配布する。
Figure 2012155088
検証装置300の機能と動作とについて説明する。
図17に示すように、検証装置300は、公開パラメータ取得部310、データ受信部320(データ取得部)、検証鍵生成部330、ペアリング演算部340を備える。
また、検証鍵生成部330は、乱数生成部331、fベクトル生成部332、sベクトル生成部333、検証要素生成部337を備える。
図22に基づき、検証装置300が実行するVerアルゴリズムの処理について説明する。
(S901:公開パラメータ取得ステップ)
公開パラメータ取得部310は、例えば、通信装置によりネットワークを介して、各鍵生成装置100が生成したグローバルパラメータgparamと、管理者公開パラメータapkとを取得する。
(S902:署名データ受信ステップ)
データ受信部320は、例えば、通信装置によりネットワークを介して、署名装置200が送信した署名データσを受信する。
(S903:fベクトル生成ステップ)
fベクトル生成部332は、処理装置により、r個の要素を有するベクトルfを数185に示すようにランダムに生成する。
Figure 2012155088
(S904:sベクトル生成ステップ)
sベクトル生成部333は、処理装置により、(S902)で受信した署名データσに含まれるアクセスストラクチャSの(L行×r列)の行列Mと、(S903)で生成したr個の要素を有するベクトルfとに基づき、ベクトルs→Tを数186に示すように生成する。
Figure 2012155088
また、sベクトル生成部333は、処理装置により、(S903)で生成したベクトルfに基づき、値sを数187に示すように生成する。なお、1は、全ての要素が値1のベクトルである。
Figure 2012155088
(S905:f’ベクトル生成ステップ)
fベクトル生成部332は、処理装置により、r個の要素を有するベクトルf’を数188に示すようにランダムに生成する。
Figure 2012155088
(S906:s’ベクトル生成ステップ)
sベクトル生成部333は、処理装置により、(L行×r列)の行列Mと、r個の要素を有するベクトルf’とに基づき、ベクトル(s’)を数189に示すように生成する。
Figure 2012155088
(S907:乱数生成ステップ)
乱数生成部331は、処理装置により、乱数σと値σとを数190に示すように生成する。
Figure 2012155088
(S908:検証要素生成ステップ)
検証要素生成部337は、処理装置により、i=1,...,Lの各整数iについて、検証鍵の要素である検証要素cを数191に示すように生成する。
Figure 2012155088
なお、上述したように、数113に示す基底Bと基底Bとに対して、数114である。したがって、数191は、以下のように、基底Bの基底ベクトルの係数が設定されることを意味する。ここでは、表記を簡略化して、基底ベクトルbt,iのうち、iの部分のみで基底ベクトルを特定する。例えば、基底ベクトル1であれば、基底ベクトルbt,1を意味する。また、基底ベクトル1,...,3であれば、基底ベクトルbt,1,...,bt,3を意味する。
ρ(i)が肯定形の組(t,v )である場合には、基底ベクトル1の係数としてs+θi,1が設定される。基底ベクトル2,...,nの係数としてθi,2,...,θi,nt(ここで、ntはnのことである)が設定される。基底ベクトルn+1の係数としてs’+θ’vi,1が設定される。基底ベクトルn+2,...,2nの係数としてθ’vi,2,...,θ’vi,nt(ここで、ntはnのことである)が設定される。基底ベクトル2n+1の係数としてσ−θ’’H(m,S)が設定される。なお、H(m,S)とは、ハッシュ関数Hの入力として、メッセージmとアクセスストラクチャSとが与えられることを意味する。例えば、H(m||S)としてもよい。基底ベクトル2n+2の係数としてθ’’が設定される。基底ベクトル2n+2+1,...,2n+2+u+wの係数として0が設定される。基底ベクトル2n+2+u+w+1,...,2n+2+u+w+zの係数としてηi,1,...,ηi,zt(ここで、ztはzのことである)が設定される。
一方、ρ(i)が否定形の組¬(t,v )である場合には、基底ベクトル1,...,nの係数としてsi,1,...,si,nt(ここで、ntはnのことである)が設定される。基底ベクトルn+1,...,2nの係数としてs’vi,1,...,s’vi,nt(ここで、ntはnのことである)が設定される。基底ベクトル2n+1の係数としてσ−θ’’H(m,S)が設定される。基底ベクトル2n+2の係数としてθ’’が設定される。基底ベクトル2n+2+1,...,2n+2+u+wの係数として0が設定される。基底ベクトル2n+2+u+w+1,...,2n+2+u+w+zの係数としてηi,1,...,ηi,zt(ここで、ztはzのことである)が設定される。
(S909:ペアリング演算ステップ)
ペアリング演算部340は、処理装置により、数192に示すペアリング演算を計算する。
Figure 2012155088
数192に示すペアリング演算を計算した結果が値g s0 σ0(ここでs0はsであり、σ0はσである)であれば、ペアリング演算部340は、署名の検証に成功したことを示す値1を出力する。一方、その他の値であれば、ペアリング演算部340は、署名の検証に失敗したことを示す値0を出力する。
なお、数193に示すように、数192を計算することにより、署名データσが正当なものであれば、値1が得られる。
Figure 2012155088
つまり、(S901)から(S909)において、検証装置300は、数194に示すVerアルゴリズムを実行して、署名データσを検証する。
Figure 2012155088
以上のように、実施の形態2に係る署名処理システム10は、複数の鍵生成装置100が署名鍵を生成する多管理者属性ベース署名方式を実現する。特に、署名処理システム10が実現する署名方式は、中央管理者がいない分散多管理者属性ベース署名方式である。
なお、実施の形態2に係る署名処理システム10は、実施の形態1に係る署名処理システム10と同様に、ノンモノトーン述語を伴う属性ベース署名方式を実現する。
実施の形態2に係る署名処理システム10が実現する属性ベース署名方式は、安全性が高く、プライバシー要件を満たしている。
なお、上記説明において、u、w、z(t=1,...,d)の次元は、安全性を高めるために設けた次元である。したがって、安全性が低くなってしまうが、u、w、z(t=1,...,d)をそれぞれ0として、u、w、z(t=1,...,d)の次元を設けなくてもよい。
また、上記説明では、基底B及び基底B の次元数を2n+2+u+w+zに設定した。しかし、2n+2+u+w+zを2+2+2+6+4+1として、基底B及び基底B の次元数を17としてもよい。
この場合、数168に示すGSetupアルゴリズムは、数195のように書き換えられる。
Figure 2012155088
また、数174に示すASetupアルゴリズムは、数196のように書き換えられる。
Figure 2012155088
また、数178に示すAttrGenアルゴリズムは、数197のように書き換えられる。
Figure 2012155088
また、数184に示すSigアルゴリズムは、数198のように書き換えられる。
Figure 2012155088
また、数194に示すVerアルゴリズムは、数199のように書き換えられる。
Figure 2012155088
また、GSetupアルゴリズムは、署名処理システム10のセットアップ時にいずれかの鍵生成装置100が一度実行すればよく、署名鍵を生成する度に実行する必要はない。同様に、ASetupアルゴリズムは、署名処理システム10のセットアップ時に各鍵生成装置100が一度実行すればよく、署名鍵を生成する度に実行する必要はない。
また、上記説明では、GSetupアルゴリズムとASetupアルゴリズムとKeyGenアルゴリズムとを鍵生成装置100が実行するとしたが、GSetupアルゴリズムとASetupアルゴリズムとKeyGenアルゴリズムとをそれぞれ異なる装置が実行するとしてもよい。
実施の形態3.
以上の実施の形態では、双対ベクトル空間において署名処理を実現する方法について説明した。この実施の形態では、双対加群において署名処理を実現する方法について説明する。
つまり、以上の実施の形態では、素数位数qの巡回群において署名処理を実現した。しかし、合成数Mを用いて数200のように環Rを表した場合、環Rを係数とする加群においても、上記実施の形態で説明した署名処理を適用することができる。
Figure 2012155088
実施の形態1で説明した属性ベース署名方式を、環Rを係数とする加群において実現すると数201から数205のようになる。
Figure 2012155088
Figure 2012155088
Figure 2012155088
Figure 2012155088
Figure 2012155088
実施の形態2で説明した分散多管理者属性ベース署名方式を、環Rを係数とする加群において実現すると数206から数210のようになる。
Figure 2012155088
Figure 2012155088
Figure 2012155088
Figure 2012155088
Figure 2012155088
なお、安全性の証明の観点から、以上の実施の形態において、i=1,...,Lの各整数iについてのρ(i)は、それぞれ異なる識別情報tについての肯定形の組(t,v )又は否定形の組¬(t,v )であると限定してもよい。
言い替えると、ρ(i)=(t,v )又はρ(i)=¬(t,v )である場合に、関数ρを、ρ(i)=tである{1,...,L}→{1,..,d}の写像であるとする。この場合、ρが単射であると限定してもよい。なお、ρ(i)は、上述したアクセスストラクチャS:=(M,ρ(i))のρ(i)である。
また、上記説明では、スパンプログラムM^は、入力列δによって行列M^から得られる行列Mδの行を線形結合して1が得られる場合に限り、入力列δを受理するとした。しかし、スパンプログラムM^は、1ではなく、他のベクトルhが得られる場合に限り、入力列δを受理するとしてもよい。
この場合、KeyGenアルゴリズムにおいて、s:=1・f→Tではなく、s:=h・f→Tとすればよい。
次に、実施の形態における署名処理システム10(鍵生成装置100、署名装置200、検証装置300)のハードウェア構成について説明する。
図23は、鍵生成装置100、署名装置200、検証装置300のハードウェア構成の一例を示す図である。
図23に示すように、鍵生成装置100、署名装置200、検証装置300は、プログラムを実行するCPU911(Central・Processing・Unit、中央処理装置、処理装置、演算装置、マイクロプロセッサ、マイクロコンピュータ、プロセッサともいう)を備えている。CPU911は、バス912を介してROM913、RAM914、LCD901(Liquid Crystal Display)、キーボード902(K/B)、通信ボード915、磁気ディスク装置920と接続され、これらのハードウェアデバイスを制御する。磁気ディスク装置920(固定ディスク装置)の代わりに、光ディスク装置、メモリカード読み書き装置などの記憶装置でもよい。磁気ディスク装置920は、所定の固定ディスクインタフェースを介して接続される。
ROM913、磁気ディスク装置920は、不揮発性メモリの一例である。RAM914は、揮発性メモリの一例である。ROM913とRAM914と磁気ディスク装置920とは、記憶装置(メモリ)の一例である。また、キーボード902、通信ボード915は、入力装置の一例である。また、通信ボード915は、通信装置の一例である。さらに、LCD901は、表示装置の一例である。
磁気ディスク装置920又はROM913などには、オペレーティングシステム921(OS)、ウィンドウシステム922、プログラム群923、ファイル群924が記憶されている。プログラム群923のプログラムは、CPU911、オペレーティングシステム921、ウィンドウシステム922により実行される。
プログラム群923には、上記の説明において「マスター鍵生成部110」、「マスター鍵記憶部120」、「情報入力部130」、「署名鍵生成部140」、「鍵配布部150」、「署名鍵取得部210」、「情報入力部220」、「スパンプログラム計算部230」、「補完係数計算部240」、「署名データ生成部250」、「署名データ送信部260」、「公開パラメータ取得部310」、「データ受信部320」、「検証鍵生成部330」、「ペアリング演算部340」等として説明した機能を実行するソフトウェアやプログラムやその他のプログラムが記憶されている。プログラムは、CPU911により読み出され実行される。
ファイル群924には、上記の説明において「公開パラメータ」、「マスター鍵」、「署名データσ」、「署名鍵」、「アクセスストラクチャS」、「属性情報」、「属性の集合Γ」、「メッセージm」等の情報やデータや信号値や変数値やパラメータが、「ファイル」や「データベース」の各項目として記憶される。「ファイル」や「データベース」は、ディスクやメモリなどの記録媒体に記憶される。ディスクやメモリなどの記憶媒体に記憶された情報やデータや信号値や変数値やパラメータは、読み書き回路を介してCPU911によりメインメモリやキャッシュメモリに読み出され、抽出・検索・参照・比較・演算・計算・処理・出力・印刷・表示などのCPU911の動作に用いられる。抽出・検索・参照・比較・演算・計算・処理・出力・印刷・表示のCPU911の動作の間、情報やデータや信号値や変数値やパラメータは、メインメモリやキャッシュメモリやバッファメモリに一時的に記憶される。
また、上記の説明におけるフローチャートの矢印の部分は主としてデータや信号の入出力を示し、データや信号値は、RAM914のメモリ、その他光ディスク等の記録媒体やICチップに記録される。また、データや信号は、バス912や信号線やケーブルその他の伝送媒体や電波によりオンライン伝送される。
また、上記の説明において「〜部」として説明するものは、「〜回路」、「〜装置」、「〜機器」、「〜手段」、「〜機能」であってもよく、また、「〜ステップ」、「〜手順」、「〜処理」であってもよい。また、「〜装置」として説明するものは、「〜回路」、「〜機器」、「〜手段」、「〜機能」であってもよく、また、「〜ステップ」、「〜手順」、「〜処理」であってもよい。さらに、「〜処理」として説明するものは「〜ステップ」であっても構わない。すなわち、「〜部」として説明するものは、ROM913に記憶されたファームウェアで実現されていても構わない。或いは、ソフトウェアのみ、或いは、素子・デバイス・基板・配線などのハードウェアのみ、或いは、ソフトウェアとハードウェアとの組み合わせ、さらには、ファームウェアとの組み合わせで実施されても構わない。ファームウェアとソフトウェアは、プログラムとして、ROM913等の記録媒体に記憶される。プログラムはCPU911により読み出され、CPU911により実行される。すなわち、プログラムは、上記で述べた「〜部」としてコンピュータ等を機能させるものである。あるいは、上記で述べた「〜部」の手順や方法をコンピュータ等に実行させるものである。
10 署名処理システム、100 鍵生成装置、110 マスター鍵生成部、111 グローバルパラメータ生成部、112 管理者秘密鍵生成部、120 マスター鍵記憶部、130 情報入力部、140 署名鍵生成部、141 乱数生成部、142 鍵要素0生成部、143 鍵要素t生成部、144 鍵要素d+1生成部、145 鍵要素生成部、150 鍵配布部、200 署名装置、210 署名鍵取得部、220 情報入力部、221 述語情報入力部、222 メッセージ入力部、230 スパンプログラム計算部、240 補完係数計算部、250 署名データ生成部、251 乱数生成部、252 署名要素0生成部、253 署名要素i生成部、254 署名要素L+1生成部、255 署名要素生成部、260 署名データ送信部、300 検証装置、310 公開パラメータ取得部、320 データ受信部、330 検証鍵生成部、331 乱数生成部、332 fベクトル生成部、333 sベクトル生成部、334 検証要素0生成部、335 検証要素i生成部、336 検証要素L+1生成部、337 検証要素生成部、340 ペアリング演算部。

Claims (16)

  1. 鍵生成装置と署名装置と検証装置とを備え、t=0,...,d+1(dは1以上の整数)の各整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理システムであり、
    前記鍵生成装置は、
    t=1,...,dの少なくとも1つ以上の整数tについて、識別情報tと、属性情報x :=(xt,i)(i=1,...,n,nは1以上の整数)とを含む属性集合Γを入力する第1情報入力部と、
    基底B の基底ベクトルb 0,1の係数として所定の値δを設定した鍵要素k を生成する鍵要素0生成部と、
    前記第1情報入力部が入力した属性集合Γに含まれる各識別情報tについて、基底B の基底ベクトルb t,i(i=1,...,n)の係数として属性情報x に前記所定の値δを乗じたδxt,i(i=1,...,n)を設定した鍵要素k を生成する鍵要素t生成部と、
    基底B d+1の基底ベクトルb d+1,1の係数として前記所定の値δを設定した鍵要素k d+1,1と、基底B d+1の基底ベクトルb d+1,2の係数として前記所定の値δを設定した鍵要素k d+1,2とを生成する鍵要素d+1生成部と、
    前記鍵要素0生成部が生成した鍵要素k と、前記鍵要素t生成部が生成した前記属性集合Γに含まれる各識別情報tについての鍵要素k と、前記鍵要素d+1生成部が生成した鍵要素k d+1,1及び鍵要素k d+1,2と、前記属性集合Γとを含む署名鍵skΓを前記署名装置へ送信する署名鍵送信部と
    を備え、
    前記署名装置は、
    i=1,...,L(Lは1以上の整数)の各整数iについての変数ρ(i)であって、識別情報t(t=1,...,dのいずれかの整数)と、属性情報v :=(vi,i’)(i’=1,...,n)との肯定形の組(t,v )又は否定形の組¬(t,v )のいずれかである変数ρ(i)と、L行r列(rは1以上の整数)の所定の行列Mと、メッセージmとを入力する第2情報入力部と、
    前記署名鍵送信部が送信した署名鍵skΓを取得する署名鍵取得部と、
    前記第2情報入力部が入力した変数ρ(i)と、前記署名鍵取得部が取得した署名鍵skΓに含まれる属性集合Γとに基づき、i=1,...,Lの各整数iのうち、変数ρ(i)が肯定形の組(t,v )であり、かつ、その組のv と、その組の識別情報tが示す属性集合Γに含まれるx との内積が0となるiと、変数ρ(i)が否定形の組¬(t,v )であり、かつ、その組のv と、その組の識別情報tが示す属性集合Γに含まれるx との内積が0とならないiとの集合Iを特定するとともに、特定した集合Iに含まれるiについて、前記第2情報入力部が入力した行列Mのi行目の要素であるMに基づき、αを合計した場合に所定のベクトルhとなる補完係数αを計算する補完係数計算部と、
    前記署名鍵skΓに含まれる鍵要素k を含む署名要素s を生成する署名要素0生成部と、
    i=1,...,Lの各整数iについて、前記補完係数計算部が特定した集合Iに含まれる整数iであり、かつ、変数ρ(i)が肯定形の組(t,v )である場合には値γ:=αとし、前記集合Iに含まれるiであり、かつ、変数ρ(i)が否定形の組¬(t,v )である場合には値γ:=α/(v ・x )とし、前記集合Iに含まれない整数iの場合には値γ:=0として、前記署名鍵skΓに含まれる鍵要素k に前記値γを乗じたγ を含む署名要素s を生成する署名要素i生成部と、
    前記署名鍵skΓに含まれる鍵要素k d+1,1と、前記メッセージmを用いて生成される値m’を前記鍵要素k d+1,2に乗じたm’・k d+1,2との和を含む署名要素s L+1を生成する署名要素L+1生成部と、
    前記署名要素0生成部が生成した署名要素s と、前記署名要素i生成部が生成したi=1,...,Lの各整数iについての署名要素s と、前記署名要素L+1生成部が生成した署名要素s L+1と、前記メッセージmと、前記変数ρ(i)と、前記行列Mとを含む署名データσを前記検証装置へ送信する署名データ送信部と
    を備え、
    前記検証装置は、
    前記署名データ送信部が送信した署名データσを取得するデータ取得部と、
    r個の要素を有するベクトルfと前記ベクトルhと用いて生成される値s:=h・f→Tと、所定の値sL+1とから計算される−s−sL+1を、基底Bの基底ベクトルb0,1の係数として設定して検証要素cを生成する検証要素0生成部と、
    前記ベクトルfと前記データ取得部が取得した署名データσに含まれる行列Mとに基づき生成される列ベクトルs→T:=(s,...,s:=M・f→Tと、i=1,...,Lの各整数iについての所定の値θとを用いて、i=1,...,Lの各整数iについて、変数ρ(i)が肯定形の組(t,v )である場合には、その組の識別情報tが示す基底Bの基底ベクトルbt,1の係数としてs+θi,1を設定し、基底ベクトルbt,i’(i’=2,...,n)の係数としてθi,i’(i’=2,...,n)を設定して検証要素cを生成し、変数ρ(i)が否定形の組¬(t,v )である場合には、その組の識別情報tが示す基底ベクトルbt,i’(i’=1,...,n)の係数としてsi,i’(i’=1,...,n)を設定して検証要素cを生成する検証要素i生成部と、
    基底Bd+1の基底ベクトルbd+1,1の係数として、前記所定の値sL+1と前記値m’と所定の値θL+1とから計算されるsL+1−θL+1m’を設定し、基底ベクトルbd+1,2の係数として前記所定の値θL+1を設定して検証要素cL+1を生成する検証要素L+1生成部と、
    前記検証要素0生成部が生成した検証要素cと、前記検証要素i生成部が生成した検証要素cと、前記検証要素L+1生成部が生成した検証要素cL+1と、前記署名データσに含まれる署名要素s ,s ,s L+1とについて、ペアリング演算Πi=0 L+1e(c,s )を行い、前記署名データσの正当性を検証するペアリング演算部と
    を備えることを特徴とする署名処理システム。
  2. 前記署名処理システムは、
    少なくとも基底ベクトルbt,i(i=1,...,1+u,...,1+u+w,...,1+u+w+z)を有する基底Bと、
    少なくとも基底ベクトルbt,i(i=1,...,n,...,n+u,...,n+u+w,...,n+u+w+z)(u,w,zは1以上の整数)を有する基底B(t=1,...,d)と、
    少なくとも基底ベクトルbt,i(i=1,2,...,2+ud+1,...,2+ud+1+wd+1,...,2+ud+1+wd+1+zd+1)を有する基底Bd+1と、
    少なくとも基底ベクトルb t,i(i=1,...,1+u,...,1+u+w,...,1+u+w+z)を有する基底B と、
    少なくとも基底ベクトルb t,i(i=1,...,n,...,n+u,...,n+u+w,...,n+u+w+z)(u,w,zは1以上の整数)を有する基底B (t=1,...,d)と、
    少なくとも基底ベクトルb t,i(i=1,2,...,2+ud+1,...,2+ud+1+wd+1,...,2+ud+1+wd+1+zd+1)を有する基底B d+1
    を用いて署名処理を実行し、
    前記鍵生成装置では、
    前記鍵要素0生成部は、乱数δと乱数φ0,i(i=1,...,w)とに基づき、数1に示す鍵要素k を生成し、
    前記鍵要素t生成部は、前記乱数δと乱数φt,i(i=1,...,w)とに基づき、前記属性集合Γに含まれる各識別情報tについて、数2に示す鍵要素k を生成し、
    前記鍵要素d+1生成部は、前記乱数δと乱数φd+1,1,i(i=1,...,wd+1)と乱数φd+1,2,i(i=1,...,wd+1)とに基づき、数3に示す鍵要素k d+1,1と鍵要素k d+1,2とを生成し、
    前記署名装置では、
    前記署名要素0生成部は、乱数ξに基づき、数4に示す署名要素s を生成し、
    前記署名要素i生成部は、i=1,...,Lの各整数iについて、前記乱数ξに基づき、数5に示す署名要素s を生成し、
    前記署名要素L+1生成部は、前記乱数ξと前記値m’とに基づき、数6に示す署名要素s L+1を生成し、
    前記検証装置では、
    前記検証要素0生成部は、前記値sと乱数sL+1と乱数η0,i(i=1,...,z)とに基づき、数7に示す検証要素cを生成し、
    前記検証要素i生成部は、前記列ベクトルs→Tと乱数θと乱数ηi,i’(i=1,...,L;i’=1,...,z)とに基づき、i=1,...,Lの各整数iについて、数8に示す検証要素cを生成し、
    前記検証要素L+1生成部は、前記乱数sL+1と乱数θL+1と乱数ηL+1,i’(i’=1,...,zd+1)と前記値m’とに基づき、数9に示す検証要素cL+1を生成する
    ことを特徴とする請求項1に記載の署名処理システム。
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
  3. 前記署名装置では、
    前記署名要素L+1生成部は、前記メッセージmと、前記行列Mと、i=1,...,Lの各整数iについての前記変数ρ(i)とを入力としたハッシュ値を前記値m’として用いて、署名要素s L+1を生成し、
    前記検証装置では、
    前記検証要素L+1生成部は、前記ハッシュ値を前記値m’として用いて、検証要素cL+1を生成する
    ことを特徴とする請求項1又は2に記載の署名処理システム。
  4. t=0,...,d+1(dは1以上の整数)の各整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理システムにおいて、署名鍵skΓを生成する鍵生成装置であり、
    t=1,...,dの少なくとも1つ以上の整数tについて、識別情報tと、属性情報x :=(xt,i)(i=1,...,n,nは1以上の整数)とを含む属性集合Γを入力する第1情報入力部と、
    基底B の基底ベクトルb 0,1の係数として所定の値δを設定した鍵要素k を生成する鍵要素0生成部と、
    前記第1情報入力部が入力した属性集合Γに含まれる各識別情報tについて、基底B の基底ベクトルb t,i(i=1,...,n)の係数として属性情報x に前記所定の値δを乗じたδxt,i(i=1,...,n)を設定した鍵要素k を生成する鍵要素t生成部と、
    基底B d+1の基底ベクトルb d+1,1の係数として前記所定の値δを設定した鍵要素k d+1,1と、基底B d+1の基底ベクトルb d+1,2の係数として前記所定の値δを設定した鍵要素k d+1,2とを生成する鍵要素d+1生成部と、
    前記鍵要素0生成部が生成した鍵要素k と、前記鍵要素t生成部が生成した前記属性集合Γに含まれる各識別情報tについての鍵要素k と、前記鍵要素d+1生成部が生成した鍵要素k d+1,1及び鍵要素k d+1,2と、前記属性集合Γとを含む署名鍵skΓを署名装置へ送信する署名鍵送信部と
    を備えることを特徴とする鍵生成装置。
  5. t=0,...,d+1(dは1以上の整数)の各整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理システムにおいて、署名データσを生成する署名装置であり、
    t=1,...,dの少なくとも1つ以上の整数tについて、識別情報tと、属性情報x :=(xt,i)(i=1,...,n,nは1以上の整数)とを含む属性集合Γと、
    基底B の基底ベクトルb 0,1の係数として所定の値δが設定された鍵要素k と、
    前記第1情報入力部が入力した属性集合Γに含まれる各識別情報tについて、基底B の基底ベクトルb t,i(i=1,...,n)の係数として属性情報x に前記所定の値δを乗じたδxt,i(i=1,...,n)が設定された鍵要素k と、
    基底B d+1の基底ベクトルb d+1,1の係数として前記所定の値δが設定された鍵要素k d+1,1と、
    基底B d+1の基底ベクトルb d+1,2の係数として前記所定の値δが設定された鍵要素k d+1,2
    を署名鍵skΓとして取得する署名鍵取得部と、
    i=1,...,L(Lは1以上の整数)の各整数iについての変数ρ(i)であって、識別情報t(t=1,...,dのいずれかの整数)と、属性情報v :=(vi,i’)(i’=1,...,n)との肯定形の組(t,v )又は否定形の組¬(t,v )のいずれかである変数ρ(i)と、L行r列(rは1以上の整数)の所定の行列Mと、メッセージmとを入力する第2情報入力部と、
    前記第2情報入力部が入力した変数ρ(i)と、前記署名鍵取得部が取得した署名鍵skΓに含まれる属性集合Γとに基づき、i=1,...,Lの各整数iのうち、変数ρ(i)が肯定形の組(t,v )であり、かつ、その組のv と、その組の識別情報tが示す属性集合Γに含まれるx との内積が0となるiと、変数ρ(i)が否定形の組¬(t,v )であり、かつ、その組のv と、その組の識別情報tが示す属性集合Γに含まれるx とがの内積が0とならないiとの集合Iを特定するとともに、特定した集合Iに含まれるiについて、前記第2情報入力部が入力した行列Mのi行目の要素であるMに基づき、αを合計した場合に所定のベクトルhとなる補完係数αを計算する補完係数計算部と、
    前記署名鍵skΓに含まれる鍵要素k を含む署名要素s を生成する署名要素0生成部と、
    i=1,...,Lの各整数iについて、前記補完係数計算部が特定した集合Iに含まれる整数iであり、かつ、変数ρ(i)が肯定形の組(t,v )である場合には値γ:=αとし、前記集合Iに含まれるiであり、かつ、変数ρ(i)が否定形の組¬(t,v )である場合には値γ:=α/(v ・x )とし、前記集合Iに含まれない整数iの場合には値γ:=0として、前記署名鍵skΓに含まれる鍵要素k に前記値γを乗じたγ を含む署名要素s を生成する署名要素i生成部と、
    前記署名鍵skΓに含まれる鍵要素k d+1,1と、前記メッセージmを用いて生成される値m’を前記鍵要素k d+1,2に乗じたm’・k d+1,2との和を含む署名要素s L+1を生成する署名要素L+1生成部と、
    前記署名要素0生成部が生成した署名要素s と、前記署名要素i生成部が生成したi=1,...,Lの各整数iについての署名要素s と、前記署名要素L+1生成部が生成した署名要素s L+1と、前記メッセージmと、前記変数ρ(i)と、前記行列Mとを含む署名データσを検証装置へ送信する署名データ送信部と
    を備えることを特徴とする署名装置。
  6. t=0,...,d+1(dは1以上の整数)の各整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理システムにおいて、署名データσを検証する検証装置であり、
    署名要素s と、i=1,...,Lの各整数iについての署名要素s と、署名要素s L+1と、メッセージmと、i=1,...,L(Lは1以上の整数)の各整数iについての変数ρ(i)であって、識別情報t(t=1,...,dのいずれかの整数)と、属性情報v :=(vi,i’)(i’=1,...,n)との肯定形の組(t,v )又は否定形の組¬(t,v )のいずれかである変数ρ(i)と、L行r列(rは1以上の整数)の所定の行列Mとを含む署名データσを取得するデータ取得部と、
    r個の要素を有するベクトルfとr個の要素を有するベクトルhと用いて生成される値s:=h・f→Tと、所定の値sL+1とから計算される−s−sL+1を、基底Bの基底ベクトルb0,1の係数として設定して検証要素cを生成する検証要素0生成部と、
    前記ベクトルfと前記データ取得部が取得した署名データσに含まれる行列Mとに基づき生成される列ベクトルs→T:=(s,...,s:=M・f→Tと、i=1,...,Lの各整数iについての所定の値θとを用いて、i=1,...,Lの各整数iについて、変数ρ(i)が肯定形の組(t,v )である場合には、その組の識別情報tが示す基底Bの基底ベクトルbt,1の係数としてs+θi,1を設定し、基底ベクトルbt,i’(i’=2,...,n)の係数としてθi,i’(i’=2,...,n)を設定して検証要素cを生成し、変数ρ(i)が否定形の組¬(t,v )である場合には、その組の識別情報tが示す基底ベクトルbt,i’(i’=1,...,n)の係数としてsi,i’(i’=1,...,n)を設定して検証要素cを生成する検証要素i生成部と、
    基底Bd+1の基底ベクトルbd+1,1の係数として、前記所定の値sL+1と前記値m’と所定の値θL+1とから計算されるsL+1−θL+1m’を設定し、基底ベクトルbd+1,2の係数として前記所定の値θL+1を設定して検証要素cL+1を生成する検証要素L+1生成部と、
    前記検証要素0生成部が生成した検証要素cと、前記検証要素i生成部が生成した検証要素cと、前記検証要素L+1生成部が生成した検証要素cL+1と、前記署名データσに含まれる署名要素s ,s ,s L+1とについて、ペアリング演算Πi=0 L+1e(c,s )を行い、前記署名データσの正当性を検証するペアリング演算部と
    を備えることを特徴とする検証装置。
  7. d個(dは1以上の整数)の鍵生成装置と、署名装置と、検証装置とを備え、t=1,...,dの少なくとも1つ以上の整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理システムであり、
    前記d個の鍵生成装置の各鍵生成装置は、
    t=1,...,dのうち鍵生成装置毎に予め定められた整数tについての属性情報x :=(xt,i)(i=1,...,n,nは1以上の整数)を入力する第1情報入力部と、
    前記整数tと、j=1,2の各整数jについて、前記第1情報入力部が入力した属性情報x と、所定の値δと、所定の値Δと、基底B の基底ベクトルb t,i(i=1,...,2n)とに基づき、数10に示すベクトルを含む鍵要素k t,jを生成する鍵要素生成部と、
    前記鍵要素生成部が生成した鍵要素k t,jと、前記属性情報x とを含む署名鍵uskを前記署名装置へ送信する署名鍵送信部と
    を備え、
    前記署名装置は、
    i=1,...,L(Lは1以上の整数)の各整数iについての変数ρ(i)であって、識別情報t(t=1,...,dのいずれかの整数)と、属性情報v :=(vi,i’)(i’=1,...,n)との肯定形の組(t,v )又は否定形の組¬(t,v )のいずれかである変数ρ(i)と、L行r列(rは1以上の整数)の所定の行列Mと、メッセージmとを入力する第2情報入力部と、
    前記d個の鍵生成装置のうち、少なくとも1つ以上の鍵生成装置の署名鍵送信部が送信した署名鍵uskを取得する署名鍵取得部と、
    前記第2情報入力部が入力した変数ρ(i)と、前記署名鍵取得部が取得した署名鍵uskに含まれる属性情報xとに基づき、i=1,...,Lの各整数iのうち、変数ρ(i)が肯定形の組(t,v )であり、かつ、その組の識別情報tが示すxを含む署名鍵uskを前記署名鍵取得部が取得しており、かつ、その組のv と、その組の識別情報tが示す属性情報x との内積が0となるiと、変数ρ(i)が否定形の組¬(t,v )であり、かつ、その組の識別情報tが示すx を含む署名鍵uskを前記署名鍵取得部が取得しており、かつ、その組のv と、その組の識別情報tが示す属性情報x との内積が0とならないiとの集合Iを特定するとともに、特定した集合Iに含まれるiについて、前記第2情報入力部が入力した行列Mのi行目の要素であるMに基づき、αを合計した場合に所定のベクトルhとなる補完係数αを計算する補完係数計算部と、
    前記署名鍵uskに含まれる鍵要素k t,1及び鍵要素k t,2と、所定の値ξ,Ε,μと、前記メッセージmから計算される値m’とに基づき、i=1,...,Lの各整数iについて、前記補完係数計算部が特定した集合Iに含まれる整数iであり、かつ、変数ρ(i)が肯定形の組(t,v )である場合には値γ:=αとし、前記集合Iに含まれるiであり、かつ、変数ρ(i)が否定形の組¬(t,v )である場合には値γ:=α/(v・x)とし、前記集合Iに含まれない整数iの場合には値γ:=0として、基底B の基底ベクトルb t,i(i=2n+1,2n+2)を用いて、数11に示すベクトルを含む署名要素s を生成する署名要素生成部と、
    前記署名要素生成部が生成したi=1,...,Lの各整数iについての署名要素s と、前記メッセージmと、前記変数ρ(i)と、前記行列Mとを含む署名データσを前記検証装置へ送信する署名データ送信部と
    を備え、
    前記検証装置は、
    前記署名データ送信部が送信した署名データσを取得するデータ取得部と、
    r個の要素を有するベクトルfと、前記データ取得部が取得した署名データσに含まれる行列Mとに基づき列ベクトルs→T:=(s,...,s:=M・f→Tを生成するとともに、s:=h・f→Tとして、s=h・(f’)であるr個の要素を有するベクトルf’と、前記行列Mとに基づき列ベクトル(s’):=(s’,...,s’):=M・(f’)を生成するベクトル生成部と、
    前記ベクトル生成部が生成した列ベクトルs→T及び列ベクトル(s’)と、i=1,...,Lの各整数iについての所定の値θ,θ’,θ’’,σとに基づき、i=1,...,Lの各整数iについて、変数ρ(i)が肯定形の組(t,v )である場合には、その組の識別情報tが示す基底Bの基底ベクトルbt,i’(i’=1,...,2n+2)を用いて、数12に示すベクトルを含む検証要素cを生成し、変数ρ(i)が否定形の組¬(t,v )である場合には、その組の識別情報tが示す基底ベクトルbt,i(i’=1,...,2n+2)を用いて、数13に示すベクトルを含む検証要素cを生成する検証要素生成部と、
    前記検証要素生成部が生成した検証要素cと、前記署名データσに含まれる署名要素s とについて、ペアリング演算Πi=1 e(c,s )を行い、前記署名データσの正当性を検証するペアリング演算部と
    を備えることを特徴とする署名処理システム。
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
  8. 前記署名処理システムは、
    t=1,...,dの少なくとも1つ以上の整数tについて、少なくとも基底ベクトルbt,i(i=1,...,2n+2,...,2n+2+u,...,2n+2+u+w,...,2n+2+u+w+z)(u,w,zは1以上の整数)を有する基底Bと、少なくとも基底ベクトルb t,i(i=1,...,2n+2,...,2n+2+u,...,2n+2+u+w,...,2n+2+u+w+z)を有する基底B とを用いて署名処理を実行し、
    前記鍵生成装置では、
    前記属性情報x と前記所定の値δ,Δと乱数φt,j,i(j=1,2;i=1,...,w)とに基づき、前記整数tと、j=1,2の各整数jについて、数14に示す鍵要素k t,jを生成し、
    前記署名装置では、
    前記署名要素生成部は、前記鍵要素k t,1及び前記鍵要素k t,2と乱数ξ,ξと所定の値Ε,π,π’,μと前記値m’とに基づき、i=1,...,Lの各整数iについて、数15に示すr ,γ,y :=(yi,i)(i=1,...,n),y’ :=(y’i,i)(i=1,...,n)を用いて、数16に示す署名要素s を生成し、
    前記検証装置では、
    前記検証要素生成部は、前記列ベクトルs→T及び前記列ベクトル(s’)と乱数θ,θ’,θ’’と前記所定の値σと乱数ηi,i’(i=1,...,L;i’=1,...,z)とに基づき、i=1,...,Lの各整数iについて、変数ρ(i)が肯定形の組(t,v )である場合には、数17に示す検証要素cを生成し、変数ρ(i)が否定形の組¬(t,v )である場合には、数18に示す検証要素cを生成する
    ことを特徴とする請求項7に記載の署名処理システム。
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
  9. 前記署名装置では、
    前記署名要素生成部は、前記メッセージmと、前記行列Mと、i=1,...,Lの各整数iについての前記変数ρ(i)とを入力としたハッシュ値を前記値m’として用いて、署名要素s を生成し、
    前記検証装置では、
    前記検証要素生成部は、前記ハッシュ値を前記値m’として用いて、検証要素cを生成する
    ことを特徴とする請求項7又は8に記載の署名処理システム。
  10. t=1,...,dの少なくとも1つ以上の整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理システムにおいて、署名鍵uskを生成する鍵生成装置であり、
    t=1,...,dのうち所定の整数tについて、属性情報x :=(xt,i)(i=1,...,n)を入力する第1情報入力部と、
    前記整数tと、j=1,2の各整数jについて、前記第1情報入力部が入力した属性情報x と、所定の値δと、所定の値Δと、基底B の基底ベクトルb t,i(i=1,...,2n)とに基づき、数19に示すベクトルを含む鍵要素k t,jを生成する鍵要素生成部と、
    前記鍵要素生成部が生成した鍵要素k t,jと、前記属性情報x とを含む署名鍵uskを署名装置へ送信する署名鍵送信部と
    を備えることを特徴とする鍵生成装置。
    Figure 2012155088
  11. t=1,...,dの少なくとも1つ以上の整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理システムにおいて、署名データσを生成する署名装置であり、
    t=1,...,dのうち少なくとも一部の整数tと、j=1,2の各整数jとについて、属性情報x :=(xt,i)(i=1,...,n)と、所定の値δと、所定の値Δと、基底B の基底ベクトルb t,i(i=1,...,2n)とに基づき、数20に示すベクトルを含むように生成された鍵要素k t,jと、前記属性情報x とを含む署名鍵uskを取得する署名鍵取得部と、
    i=1,...,L(Lは1以上の整数)の各整数iについての変数ρ(i)であって、識別情報t(t=1,...,dのいずれかの整数)と、属性情報v :=(vi,i’)(i’=1,...,n)との肯定形の組(t,v )又は否定形の組¬(t,v )のいずれかである変数ρ(i)と、L行r列(rは1以上の整数)の所定の行列Mと、メッセージmとを入力する第2情報入力部と、
    前記第2情報入力部が入力した変数ρ(i)と、前記署名鍵取得部が取得した署名鍵uskに含まれる属性情報x とに基づき、i=1,...,Lの各整数iのうち、変数ρ(i)が肯定形の組(t,v )であり、かつ、その組の識別情報tが示すx を含む署名鍵uskを前記署名鍵取得部が取得しており、かつ、その組のv と、その組の識別情報tが示す属性情報x との内積が0となるiと、変数ρ(i)が否定形の組¬(t,v )であり、かつ、その組の識別情報tが示すx を含む署名鍵uskを前記署名鍵取得部が取得しており、かつ、その組のv と、その組の識別情報tが示す属性情報x との内積が0とならないが等しくないiとの集合Iを特定するとともに、特定した集合Iに含まれるiについて、前記第2情報入力部が入力した行列Mのi行目の要素であるMに基づき、αを合計した場合に所定のベクトルhとなる補完係数αを計算する補完係数計算部と、
    前記署名鍵uskに含まれる鍵要素k t,1及び鍵要素k t,2と、所定の値ξ,Ε,μと、前記メッセージmから計算される値m’とに基づき、i=1,...,Lの各整数iについて、前記補完係数計算部が特定した集合Iに含まれる整数iであり、かつ、変数ρ(i)が肯定形の組(t,v )である場合には値γ:=αとし、前記集合Iに含まれるiであり、かつ、変数ρ(i)が否定形の組¬(t,v )である場合には値γ:=α/(v ・x )とし、前記集合Iに含まれない整数iの場合には値γ:=0として、基底B の基底ベクトルb t,i(i=2n+1,2n+2)を用いて、数21に示すベクトルを含む署名要素s を生成する署名要素生成部と、
    前記署名要素生成部が生成したi=1,...,Lの各整数iについての署名要素s と、前記メッセージmと、前記変数ρ(i)と、前記行列Mとを含む署名データσを前記検証装置へ送信する署名データ送信部と
    を備えることを特徴とする署名装置。
    Figure 2012155088
    Figure 2012155088
  12. t=1,...,dの少なくとも1つ以上の整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理システムにおいて、署名データσを検証する検証装置であり、
    i=1,...,Lの各整数iについての署名要素s と、メッセージmと、i=1,...,L(Lは1以上の整数)の各整数iについての変数ρ(i)であって、識別情報t(t=1,...,dのいずれかの整数)と、属性情報v :=(vi,i’)(i’=1,...,n)との肯定形の組(t,v )又は否定形の組¬(t,v )のいずれかである変数ρ(i)と、L行r列(rは1以上の整数)の所定の行列Mとを含む署名データσを取得するデータ取得部と、
    r個の要素を有するベクトルfと、前記データ取得部が取得した署名データσに含まれる行列Mとに基づき列ベクトルs→T:=(s,...,s:=M・f→Tを生成するとともに、s:=h・f→Tとして、s=h・(f’)であるr個の要素を有するベクトルf’と、前記行列Mとに基づき列ベクトル(s’):=(s’,...,s’):=M・(f’)を生成するベクトル生成部と、
    前記ベクトル生成部が生成した列ベクトルs→T及び列ベクトル(s’)と、i=1,...,Lの各整数iについての所定の値θ,θ’,θ’’,σとに基づき、i=1,...,Lの各整数iについて、変数ρ(i)が肯定形の組(t,v )である場合には、その組の識別情報tが示す基底Bの基底ベクトルbt,i’(i’=1,...,2n+2)を用いて、数22に示すベクトルを含む検証要素cを生成し、変数ρ(i)が否定形の組¬(t,v )である場合には、その組の識別情報tが示す基底ベクトルbt,i(i’=1,...,2n+2)を用いて、数23に示すベクトルを含む検証要素cを生成する検証要素生成部と、
    前記検証要素生成部が生成した検証要素cと、前記署名データσに含まれる署名要素s とについて、ペアリング演算Πi=1 e(c,s )を行い、前記署名データσの正当性を検証するペアリング演算部と
    を備えることを特徴とする検証装置。
    Figure 2012155088
    Figure 2012155088
  13. t=0,...,d+1(dは1以上の整数)の各整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理方法であり、
    鍵生成装置が、t=1,...,dの少なくとも1つ以上の整数tについて、識別情報tと、属性情報x :=(xt,i)(i=1,...,n,nは1以上の整数)とを含む属性集合Γを入力する第1情報入力工程と、
    前記鍵生成装置が、基底B の基底ベクトルb 0,1の係数として所定の値δを設定した鍵要素k を生成する鍵要素0生成工程と、
    前記鍵生成装置が、前記第1情報入力工程で入力された属性集合Γに含まれる各識別情報tについて、基底B の基底ベクトルb t,i(i=1,...,n)の係数として属性情報x に前記所定の値δを乗じたδxt,i(i=1,...,n)を設定した鍵要素k を生成する鍵要素t生成工程と、
    前記鍵生成装置が、基底B d+1の基底ベクトルb d+1,1の係数として前記所定の値δを設定した鍵要素k d+1,1と、基底B d+1の基底ベクトルb d+1,2の係数として前記所定の値δを設定した鍵要素k d+1,2とを生成する鍵要素d+1生成工程と、
    前記鍵生成装置が、前記鍵要素0生成工程で生成された鍵要素k と、前記鍵要素t生成工程で生成された前記属性集合Γに含まれる各識別情報tについての鍵要素k と、前記鍵要素d+1生成工程で生成された鍵要素k d+1,1及び鍵要素k d+1,2と、前記属性集合Γとを含む署名鍵skΓを署名装置へ送信する署名鍵送信工程と、
    前記署名装置が、i=1,...,L(Lは1以上の整数)の各整数iについての変数ρ(i)であって、識別情報t(t=1,...,dのいずれかの整数)と、属性情報v :=(vi,i’)(i’=1,...,n)との肯定形の組(t,v )又は否定形の組¬(t,v )のいずれかである変数ρ(i)と、L行r列(rは1以上の整数)の所定の行列Mと、メッセージmとを入力する第2情報入力工程と、
    前記署名装置が、前記署名鍵送信工程で送信された署名鍵skΓを取得する署名鍵取得工程と、
    前記署名装置が、前記第2情報入力工程で入力された変数ρ(i)と、前記署名鍵取得工程で取得された署名鍵skΓに含まれる属性集合Γとに基づき、i=1,...,Lの各整数iのうち、変数ρ(i)が肯定形の組(t,v )であり、かつ、その組のv と、その組の識別情報tが示す属性集合Γに含まれるx との内積が0となるiと、変数ρ(i)が否定形の組¬(t,v )であり、かつ、その組のv と、その組の識別情報tが示す属性集合Γに含まれるx との内積が0とならないiとの集合Iを特定するとともに、特定された集合Iに含まれるiについて、前記第2情報入力工程で入力された行列Mのi行目の要素であるMに基づき、αを合計した場合に所定のベクトルhとなる補完係数αを計算する補完係数計算工程と、
    前記署名装置が、前記署名鍵skΓに含まれる鍵要素k を含む署名要素s を生成する署名要素0生成工程と、
    前記署名装置が、i=1,...,Lの各整数iについて、前記補完係数計算工程で特定された集合Iに含まれる整数iであり、かつ、変数ρ(i)が肯定形の組(t,v )である場合には値γ:=αとし、前記集合Iに含まれるiであり、かつ、変数ρ(i)が否定形の組¬(t,v )である場合には値γ:=α/(v ・x )とし、前記集合Iに含まれない整数iの場合には値γ:=0として、前記署名鍵skΓに含まれる鍵要素k に前記値γを乗じたγ を含む署名要素s を生成する署名要素i生成工程と、
    前記署名装置が、前記署名鍵skΓに含まれる鍵要素k d+1,1と、前記メッセージmを用いて生成される値m’を前記鍵要素k d+1,2に乗じたm’・k d+1,2との和を含む署名要素s L+1を生成する署名要素L+1生成工程と、
    前記署名装置が、前記署名要素0生成工程で生成された署名要素s と、前記署名要素i生成工程で生成されたi=1,...,Lの各整数iについての署名要素s と、前記署名要素L+1生成工程で生成された署名要素s L+1と、前記メッセージmと、前記変数ρ(i)と、前記行列Mとを含む署名データσを検証装置へ送信する署名データ送信工程と、
    前記検証装置が、前記署名データ送信工程で送信された署名データσを取得するデータ取得工程と、
    前記検証装置が、r個の要素を有するベクトルfと前記ベクトルhと用いて生成される値s:=h・f→Tと、所定の値sL+1とから計算される−s−sL+1を、基底Bの基底ベクトルb0,1の係数として設定して検証要素cを生成する検証要素0生成工程と、
    前記検証装置が、前記ベクトルfと前記データ取得工程で取得された署名データσに含まれる行列Mとに基づき生成される列ベクトルs→T:=(s,...,s:=M・f→Tと、i=1,...,Lの各整数iについての所定の値θとを用いて、i=1,...,Lの各整数iについて、変数ρ(i)が肯定形の組(t,v )である場合には、その組の識別情報tが示す基底Bの基底ベクトルbt,1の係数としてs+θi,1を設定し、基底ベクトルbt,i’(i’=2,...,n)の係数としてθi,i’(i’=2,...,n)を設定して検証要素cを生成し、変数ρ(i)が否定形の組¬(t,v )である場合には、その組の識別情報tが示す基底ベクトルbt,i’(i’=1,...,n)の係数としてsi,i’(i’=1,...,n)を設定して検証要素cを生成する検証要素i生成工程と、
    前記検証装置が、基底Bd+1の基底ベクトルbd+1,1の係数として、前記所定の値sL+1と前記値m’と所定の値θL+1とから計算されるsL+1−θL+1m’を設定し、基底ベクトルbd+1,2の係数として前記所定の値θL+1を設定して検証要素cL+1を生成する検証要素L+1生成工程と、
    前記検証装置が、前記検証要素0生成工程で生成された検証要素cと、前記検証要素i生成工程で生成された検証要素cと、前記検証要素L+1生成工程で生成された検証要素cL+1と、前記署名データσに含まれる署名要素s ,s ,s L+1とについて、ペアリング演算Πi=0 L+1e(c,s )を行い、前記署名データσの正当性を検証するペアリング演算工程と
    を備えることを特徴とする署名処理方法。
  14. 鍵生成プログラムと署名プログラムと検証プログラムとを備え、t=0,...,d+1(dは1以上の整数)の各整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理プログラムであり、
    前記鍵生成プログラムは、
    t=1,...,dの少なくとも1つ以上の整数tについて、識別情報tと、属性情報x :=(xt,i)(i=1,...,n,nは1以上の整数)とを含む属性集合Γを入力する第1情報入力処理と、
    基底B の基底ベクトルb 0,1の係数として所定の値δを設定した鍵要素k を生成する鍵要素0生成処理と、
    前記第1情報入力処理で入力された属性集合Γに含まれる各識別情報tについて、基底B の基底ベクトルb t,i(i=1,...,n)の係数として属性情報x に前記所定の値δを乗じたδxt,i(i=1,...,n)を設定した鍵要素k を生成する鍵要素t生成処理と、
    基底B d+1の基底ベクトルb d+1,1の係数として前記所定の値δを設定した鍵要素k d+1,1と、基底B d+1の基底ベクトルb d+1,2の係数として前記所定の値δを設定した鍵要素k d+1,2とを生成する鍵要素d+1生成処理と、
    前記鍵要素0生成処理で生成された鍵要素k と、前記鍵要素t生成処理で生成された前記属性集合Γに含まれる各識別情報tについての鍵要素k と、前記鍵要素d+1生成処理で生成された鍵要素k d+1,1及び鍵要素k d+1,2と、前記属性集合Γとを含む署名鍵skΓを前記署名装置へ送信する署名鍵送信処理と
    をコンピュータに実行させ、
    前記署名プログラムは、
    i=1,...,L(Lは1以上の整数)の各整数iについての変数ρ(i)であって、識別情報t(t=1,...,dのいずれかの整数)と、属性情報v :=(vi,i’)(i’=1,...,n)との肯定形の組(t,v )又は否定形の組¬(t,v )のいずれかである変数ρ(i)と、L行r列(rは1以上の整数)の所定の行列Mと、メッセージmとを入力する第2情報入力処理と、
    前記署名鍵送信処理で送信された署名鍵skΓを取得する署名鍵取得処理と、
    前記第2情報入力処理で入力された変数ρ(i)と、前記署名鍵取得処理で取得された署名鍵skΓに含まれる属性集合Γとに基づき、i=1,...,Lの各整数iのうち、変数ρ(i)が肯定形の組(t,v )であり、かつ、その組のv と、その組の識別情報tが示す属性集合Γに含まれるx との内積が0となるiと、変数ρ(i)が否定形の組¬(t,v )であり、かつ、その組のv と、その組の識別情報tが示す属性集合Γに含まれるx との内積が0とならないiとの集合Iを特定するとともに、特定された集合Iに含まれるiについて、前記第2情報入力処理で入力された行列Mのi行目の要素であるMに基づき、αを合計した場合に所定のベクトルhとなる補完係数αを計算する補完係数計算処理と、
    前記署名鍵skΓに含まれる鍵要素k を含む署名要素s を生成する署名要素0生成処理と、
    i=1,...,Lの各整数iについて、前記補完係数計算処理で特定された集合Iに含まれる整数iであり、かつ、変数ρ(i)が肯定形の組(t,v )である場合には値γ:=αとし、前記集合Iに含まれるiであり、かつ、変数ρ(i)が否定形の組¬(t,v )である場合には値γ:=α/(v ・x )とし、前記集合Iに含まれない整数iの場合には値γ:=0として、前記署名鍵skΓに含まれる鍵要素k に前記値γを乗じたγ を含む署名要素s を生成する署名要素i生成処理と、
    前記署名鍵skΓに含まれる鍵要素k d+1,1と、前記メッセージmを用いて生成される値m’を前記鍵要素k d+1,2に乗じたm’・k d+1,2との和を含む署名要素s L+1を生成する署名要素L+1生成処理と、
    前記署名要素0生成処理で生成された署名要素s と、前記署名要素i生成処理で生成されたi=1,...,Lの各整数iについての署名要素s と、前記署名要素L+1生成処理で生成された署名要素s L+1と、前記メッセージmと、前記変数ρ(i)と、前記行列Mとを含む署名データσを前記検証装置へ送信する署名データ送信処理と
    をコンピュータに実行させ、
    前記検証プログラムは、
    前記署名データ送信処理で送信された署名データσを取得するデータ取得処理と、
    r個の要素を有するベクトルfと前記ベクトルhと用いて生成される値s:=h・f→Tと、所定の値sL+1とから計算される−s−sL+1を、基底Bの基底ベクトルb0,1の係数として設定して検証要素cを生成する検証要素0生成処理と、
    前記ベクトルfと前記データ取得処理で取得された署名データσに含まれる行列Mとに基づき生成される列ベクトルs→T:=(s,...,s:=M・f→Tと、i=1,...,Lの各整数iについての所定の値θとを用いて、i=1,...,Lの各整数iについて、変数ρ(i)が肯定形の組(t,v )である場合には、その組の識別情報tが示す基底Bの基底ベクトルbt,1の係数としてs+θi,1を設定し、基底ベクトルbt,i’(i’=2,...,n)の係数としてθi,i’(i’=2,...,n)を設定して検証要素cを生成し、変数ρ(i)が否定形の組¬(t,v )である場合には、その組の識別情報tが示す基底ベクトルbt,i’(i’=1,...,n)の係数としてsi,i’(i’=1,...,n)を設定して検証要素cを生成する検証要素i生成処理と、
    基底Bd+1の基底ベクトルbd+1,1の係数として、前記所定の値sL+1と前記値m’と所定の値θL+1とから計算されるsL+1−θL+1m’を設定し、基底ベクトルbd+1,2の係数として前記所定の値θL+1を設定して検証要素cL+1を生成する検証要素L+1生成処理と、
    前記検証要素0生成処理で生成された検証要素cと、前記検証要素i生成処理で生成された検証要素cと、前記検証要素L+1生成処理で生成された検証要素cL+1と、前記署名データσに含まれる署名要素s ,s ,s L+1とについて、ペアリング演算Πi=0 L+1e(c,s )を行い、前記署名データσの正当性を検証するペアリング演算処理と
    をコンピュータに実行させることを特徴とする署名処理プログラム。
  15. t=1,...,d(dは1以上の整数)の少なくとも1つ以上の整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理方法であり、
    d個の鍵生成装置の少なくとも1個以上の鍵生成装置が、t=1,...,dのうち鍵生成装置毎に予め定められた整数tについての属性情報x :=(xt,i)(i=1,...,n)を入力する第1情報入力工程と、
    前記少なくとも1個以上の鍵生成装置が、前記整数tと、j=1,2の各整数jについて、前記第1情報入力工程で入力された属性情報x と、所定の値δと、所定の値Δと、基底B の基底ベクトルb t,i(i=1,...,2n)とに基づき、数24に示すベクトルを含む鍵要素k t,jを生成する鍵要素生成工程と、
    前記少なくとも1個以上の鍵生成装置が、前記鍵要素生成工程で生成された鍵要素k t,jと、前記属性情報x とを含む署名鍵uskを署名装置へ送信する署名鍵送信工程と、
    前記署名装置が、i=1,...,L(Lは1以上の整数)の各整数iについての変数ρ(i)であって、識別情報t(t=1,...,dのいずれかの整数)と、属性情報v :=(vi,i’)(i’=1,...,n)との肯定形の組(t,v )又は否定形の組¬(t,v )のいずれかである変数ρ(i)と、L行r列(rは1以上の整数)の所定の行列Mと、メッセージmとを入力する第2情報入力工程と、
    前記署名装置が、前記d個の鍵生成装置のうち、少なくとも1つ以上の鍵生成装置の署名鍵送信工程で送信された署名鍵uskを取得する署名鍵取得工程と、
    前記署名装置が、前記第2情報入力工程で入力された変数ρ(i)と、前記署名鍵取得工程で取得された署名鍵uskに含まれる属性情報x とに基づき、i=1,...,Lの各整数iのうち、変数ρ(i)が肯定形の組(t,v )であり、かつ、その組の識別情報tが示すx を含む署名鍵uskを前記署名鍵取得工程で取得しており、かつ、その組のv と、その組の識別情報tが示す属性情報x との内積が0となるiと、変数ρ(i)が否定形の組¬(t,v )であり、かつ、その組の識別情報tが示すx を含む署名鍵uskを前記署名鍵取得工程で取得しており、かつ、その組のv と、その組の識別情報tが示す属性情報x との内積が0とならないiとの集合Iを特定するとともに、特定された集合Iに含まれるiについて、前記第2情報入力工程で入力された行列Mのi行目の要素であるMに基づき、αを合計した場合に所定のベクトルhとなる補完係数αを計算する補完係数計算工程と、
    前記署名装置が、前記署名鍵uskに含まれる鍵要素k t,1及び鍵要素k t,2と、所定の値ξ,Ε,μと、前記メッセージmから計算される値m’とに基づき、i=1,...,Lの各整数iについて、前記補完係数計算工程で特定された集合Iに含まれる整数iであり、かつ、変数ρ(i)が肯定形の組(t,v )である場合には値γ:=αとし、前記集合Iに含まれるiであり、かつ、変数ρ(i)が否定形の組¬(t,v )である場合には値γ:=α/(v ・x )とし、前記集合Iに含まれない整数iの場合には値γ:=0として、基底B の基底ベクトルb t,i(i=2n+1,2n+2)を用いて、数25に示すベクトルを含む署名要素s を生成する署名要素生成工程と、
    前記署名装置が、前記署名要素生成工程で生成されたi=1,...,Lの各整数iについての署名要素s と、前記メッセージmと、前記変数ρ(i)と、前記行列Mとを含む署名データσを検証装置へ送信する署名データ送信工程と、
    前記検証装置が、前記署名データ送信工程が送信された署名データσを取得するデータ取得工程と、
    前記検証装置が、r個の要素を有するベクトルfと、前記データ取得工程で取得された署名データσに含まれる行列Mとに基づき列ベクトルs→T:=(s,...,s:=M・f→Tを生成するとともに、s:=h・f→Tとして、s=h・(f’)であるr個の要素を有するベクトルf’と、前記行列Mとに基づき列ベクトル(s’):=(s’,...,s’):=M・(f’)を生成するベクトル生成工程と、
    前記検証装置が、前記ベクトル生成工程で生成された列ベクトルs→T及び列ベクトル(s’)と、i=1,...,Lの各整数iについての所定の値θ,θ’,θ’’,σとに基づき、i=1,...,Lの各整数iについて、変数ρ(i)が肯定形の組(t,v )である場合には、その組の識別情報tが示す基底Bの基底ベクトルbt,i’(i’=1,...,2n+2)を用いて、数26に示すベクトルを含む検証要素cを生成し、変数ρ(i)が否定形の組¬(t,v )である場合には、その組の識別情報tが示す基底ベクトルbt,1から基底ベクトルbt,i(i’=1,...,2n+2)を用いて、数27に示すベクトルを含む検証要素cを生成する検証要素生成工程と、
    前記検証装置が、前記検証要素生成工程で生成された検証要素cと、前記署名データσに含まれる署名要素s とについて、ペアリング演算Πi=1 e(c,s )を行い、前記署名データσの正当性を検証するペアリング演算工程と
    を備えることを特徴とする署名処理方法。
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
  16. d個(dは1以上の整数)の鍵生成装置で動作させる鍵生成プログラムと、署名装置で動作させる署名プログラムと、検証装置で動作させる検証プログラムとを備え、t=1,...,dの少なくとも1つ以上の整数tについての基底Bと基底B とを用いて署名処理を実行する署名処理プログラムであり、
    前記鍵生成プログラムは、
    t=1,...,dのうち鍵生成装置毎に予め定められた整数tについての属性情報x :=(xt,i)(i=1,...,n)を入力する第1情報入力処理と、
    前記整数tと、j=1,2の各整数jについて、前記第1情報入力処理で入力された属性情報x と、所定の値δと、所定の値Δと、基底B の基底ベクトルb t,i(i=1,...,2n)とに基づき、数28に示すベクトルを含む鍵要素k t,jを生成する鍵要素生成処理と、
    前記鍵要素生成処理で生成された鍵要素k t,jと、前記属性情報x とを含む署名鍵uskを前記署名装置へ送信する署名鍵送信処理と
    をコンピュータに実行させ、
    前記署名プログラムは、
    i=1,...,L(Lは1以上の整数)の各整数iについての変数ρ(i)であって、識別情報t(t=1,...,dのいずれかの整数)と、属性情報v :=(vi,i’)(i’=1,...,n)との肯定形の組(t,v )又は否定形の組¬(t,v )のいずれかである変数ρ(i)と、L行r列(rは1以上の整数)の所定の行列Mと、メッセージmとを入力する第2情報入力処理と、
    前記d個の鍵生成装置のうち、少なくとも1つ以上の鍵生成装置の署名鍵送信処理で送信された署名鍵uskを取得する署名鍵取得処理と、
    前記第2情報入力処理で入力された変数ρ(i)と、前記署名鍵取得処理で取得された署名鍵uskに含まれる属性情報x とに基づき、i=1,...,Lの各整数iのうち、変数ρ(i)が肯定形の組(t,v )であり、かつ、その組の識別情報tが示すx を含む署名鍵uskを前記署名鍵取得処理で取得しており、かつ、その組のv と、その組の識別情報tが示す属性情報x との内積が0となるiと、変数ρ(i)が否定形の組¬(t,v )であり、かつ、その組の識別情報tが示すx を含む署名鍵uskを前記署名鍵取得処理で取得しており、かつ、その組のv と、その組の識別情報tが示す属性情報x との内積が0とならないiとの集合Iを特定するとともに、特定された集合Iに含まれるiについて、前記第2情報入力処理で入力された行列Mのi行目の要素であるMに基づき、αを合計した場合に所定のベクトルhとなる補完係数αを計算する補完係数計算処理と、
    前記署名鍵uskに含まれる鍵要素k t,1及び鍵要素k t,2と、所定の値ξ,Ε,μと、前記メッセージmから計算される値m’とに基づき、i=1,...,Lの各整数iについて、前記補完係数計算処理で特定された集合Iに含まれる整数iであり、かつ、変数ρ(i)が肯定形の組(t,v )である場合には値γ:=αとし、前記集合Iに含まれるiであり、かつ、変数ρ(i)が否定形の組¬(t,v )である場合には値γ:=α/(v ・x )とし、前記集合Iに含まれない整数iの場合には値γ:=0として、基底B の基底ベクトルb t,i(i=2n+1,2n+2)を用いて、数29に示すベクトルを含む署名要素s を生成する署名要素生成処理と、
    前記署名要素生成処理で生成されたi=1,...,Lの各整数iについての署名要素s と、前記メッセージmと、前記変数ρ(i)と、前記行列Mとを含む署名データσを前記検証装置へ送信する署名データ送信処理と
    をコンピュータに実行させ、
    前記検証プログラムは、
    前記署名データ送信処理で送信された署名データσを取得するデータ取得処理と、
    r個の要素を有するベクトルfと、前記データ取得処理で取得された署名データσに含まれる行列Mとに基づき列ベクトルs→T:=(s,...,s:=M・f→Tを生成するとともに、s:=h・f→Tとして、s=h・(f’)であるr個の要素を有するベクトルf’と、前記行列Mとに基づき列ベクトル(s’):=(s’,...,s’):=M・(f’)を生成するベクトル生成処理と、
    前記ベクトル生成処理で生成された列ベクトルs→T及び列ベクトル(s’)と、i=1,...,Lの各整数iについての所定の値θ,θ’,θ’’,σとに基づき、i=1,...,Lの各整数iについて、変数ρ(i)が肯定形の組(t,v )である場合には、その組の識別情報tが示す基底Bの基底ベクトルbt,i’(i’=1,...,2n+2)を用いて、数30に示すベクトルを含む検証要素cを生成し、変数ρ(i)が否定形の組¬(t,v )である場合には、その組の識別情報tが示す基底ベクトルbt,i(i’=1,...,2n+2)を用いて、数31に示すベクトルを含む検証要素cを生成する検証要素生成処理と、
    前記検証要素生成処理で生成された検証要素cと、前記署名データσに含まれる署名要素s とについて、ペアリング演算Πi=1 e(c,s )を行い、前記署名データσの正当性を検証するペアリング演算処理と
    をコンピュータに実行させることを特徴とする署名処理プログラム。
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
    Figure 2012155088
JP2011013281A 2011-01-25 2011-01-25 署名処理システム、鍵生成装置、署名装置、検証装置、署名処理方法及び署名処理プログラム Active JP5606344B2 (ja)

Priority Applications (7)

Application Number Priority Date Filing Date Title
JP2011013281A JP5606344B2 (ja) 2011-01-25 2011-01-25 署名処理システム、鍵生成装置、署名装置、検証装置、署名処理方法及び署名処理プログラム
EP11856860.9A EP2670081B1 (en) 2011-01-25 2011-12-08 Signature processing system, key generation device, signature device, verification device, signature processing method and signature processing program
KR1020137022196A KR101431412B1 (ko) 2011-01-25 2011-12-08 서명 처리 시스템, 키 생성 장치, 서명 장치, 검증 장치, 서명 처리 방법 및 서명 처리 프로그램을 기록한 컴퓨터 판독 가능한 기록 매체
ES11856860.9T ES2684945T3 (es) 2011-01-25 2011-12-08 Sistema de procesamiento de firmas, dispositivo de generación de claves, dispositivo de firmas, dispositivo de verificación, método de procesamiento de firmas y programa de procesamiento de firmas
CN201180065941.8A CN103348624B (zh) 2011-01-25 2011-12-08 签名处理系统、密钥生成装置、签名装置、验证装置、签名处理方法以及签名处理程序
US13/981,679 US9106408B2 (en) 2011-01-25 2011-12-08 Signature processing system, key generation device, signature device, verification device, signature processing method, and signature processing program
PCT/JP2011/078463 WO2012101913A1 (ja) 2011-01-25 2011-12-08 署名処理システム、鍵生成装置、署名装置、検証装置、署名処理方法及び署名処理プログラム

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2011013281A JP5606344B2 (ja) 2011-01-25 2011-01-25 署名処理システム、鍵生成装置、署名装置、検証装置、署名処理方法及び署名処理プログラム

Publications (3)

Publication Number Publication Date
JP2012155088A true JP2012155088A (ja) 2012-08-16
JP2012155088A5 JP2012155088A5 (ja) 2014-01-09
JP5606344B2 JP5606344B2 (ja) 2014-10-15

Family

ID=46580497

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2011013281A Active JP5606344B2 (ja) 2011-01-25 2011-01-25 署名処理システム、鍵生成装置、署名装置、検証装置、署名処理方法及び署名処理プログラム

Country Status (7)

Country Link
US (1) US9106408B2 (ja)
EP (1) EP2670081B1 (ja)
JP (1) JP5606344B2 (ja)
KR (1) KR101431412B1 (ja)
CN (1) CN103348624B (ja)
ES (1) ES2684945T3 (ja)
WO (1) WO2012101913A1 (ja)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2015136049A (ja) * 2014-01-17 2015-07-27 日本電信電話株式会社 代理署名装置、署名検証装置、鍵生成装置、代理署名システム、およびプログラム
US9640090B2 (en) 2014-02-24 2017-05-02 Mitsubishi Electric Corporation Cryptographic system and computer readable medium
JP2020149003A (ja) * 2019-03-15 2020-09-17 三菱電機株式会社 署名装置、検証装置、署名方法、検証方法、署名プログラム及び検証プログラム

Families Citing this family (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP2755158A1 (en) * 2013-01-09 2014-07-16 Thomson Licensing Method and device for privacy-respecting data processing
EP2860904A1 (en) * 2013-10-08 2015-04-15 Thomson Licensing Method for signing a set of binary elements, and updating such signature, corresponding electronic device and computer program product
EP2860905A1 (en) * 2013-10-09 2015-04-15 Thomson Licensing Method for ciphering a message via a keyed homomorphic encryption function, corresponding electronic device and computer program product
JP6204271B2 (ja) * 2014-06-05 2017-09-27 日本電信電話株式会社 署名システム、鍵生成装置、およびプログラム
WO2016014048A1 (en) * 2014-07-23 2016-01-28 Hewlett-Packard Development Company, L.P. Attribute-based cryptography
KR102575665B1 (ko) * 2018-04-10 2023-09-06 비자 인터네셔널 서비스 어소시에이션 모바일 장치용 변조 방지 데이터 인코딩
CN109728910A (zh) * 2018-12-27 2019-05-07 北京永恒纪元科技有限公司 一种高效的门限分布式椭圆曲线密钥生成及签名方法和系统
CN114189340B (zh) * 2021-12-09 2023-05-23 电子科技大学 一种基于素数阶群的基于属性签名方法

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO1997016903A1 (en) * 1995-11-03 1997-05-09 Stefanus Alfonsus Brands Cryptographic methods for demonstrating satisfiable formulas from propositional logic
WO2007135580A2 (en) * 2006-05-21 2007-11-29 International Business Machines Corporation Assertion message signatures
US20100115281A1 (en) * 2008-08-28 2010-05-06 International Business Machines Corporation Attributes in cryptographic credentials
WO2011007697A1 (ja) * 2009-07-13 2011-01-20 日本電気株式会社 匿名認証署名システム、ユーザ装置、検証装置、署名方法、検証方法およびそれらのプログラム

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6320966B1 (en) 1996-10-23 2001-11-20 Stefanus A. Brands Cryptographic methods for demonstrating satisfiable formulas from propositional logic
US7181017B1 (en) * 2001-03-23 2007-02-20 David Felsher System and method for secure three-party communications
CN1954548B (zh) * 2005-04-18 2010-07-21 松下电器产业株式会社 签名生成装置及签名验证装置
US8280039B2 (en) * 2005-12-28 2012-10-02 Panasonic Corporation Signature generating device, signature generating method and signature generating program
WO2008085579A2 (en) * 2006-10-25 2008-07-17 Spyrus, Inc. Method and system for deploying advanced cryptographic algorithms
KR101351789B1 (ko) * 2009-04-24 2014-01-15 니뽄 덴신 덴와 가부시키가이샤 암호 시스템, 암호 통신 방법, 암호화 장치, 키 생성 장치, 복호 장치, 콘텐츠 서버 장치, 프로그램, 기억매체
JP5291795B2 (ja) * 2009-04-24 2013-09-18 日本電信電話株式会社 暗号化装置、復号装置、暗号化方法、復号方法、セキュリティ方法、プログラム及び記録媒体
JP5693206B2 (ja) 2010-12-22 2015-04-01 三菱電機株式会社 暗号処理システム、鍵生成装置、暗号化装置、復号装置、暗号処理方法及び暗号処理プログラム

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO1997016903A1 (en) * 1995-11-03 1997-05-09 Stefanus Alfonsus Brands Cryptographic methods for demonstrating satisfiable formulas from propositional logic
WO2007135580A2 (en) * 2006-05-21 2007-11-29 International Business Machines Corporation Assertion message signatures
US20100115281A1 (en) * 2008-08-28 2010-05-06 International Business Machines Corporation Attributes in cryptographic credentials
WO2011007697A1 (ja) * 2009-07-13 2011-01-20 日本電気株式会社 匿名認証署名システム、ユーザ装置、検証装置、署名方法、検証方法およびそれらのプログラム

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
JPN6014031997; Khader, D.: 'Authenticating with Attributes' Cryptology ePrint Archive Report 2008/031, 20080128 *
JPN6014031998; Maji, H. et al.: 'Attribute-Based Signatures: Achieving Attribute-Privacy and Collusion-Resistance' Cryptology ePrint Archive Report 2008/328, 20080803 *

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2015136049A (ja) * 2014-01-17 2015-07-27 日本電信電話株式会社 代理署名装置、署名検証装置、鍵生成装置、代理署名システム、およびプログラム
US9640090B2 (en) 2014-02-24 2017-05-02 Mitsubishi Electric Corporation Cryptographic system and computer readable medium
JP2020149003A (ja) * 2019-03-15 2020-09-17 三菱電機株式会社 署名装置、検証装置、署名方法、検証方法、署名プログラム及び検証プログラム
WO2020188906A1 (ja) * 2019-03-15 2020-09-24 三菱電機株式会社 署名装置、検証装置、署名方法、検証方法、署名プログラム及び検証プログラム
JP7233265B2 (ja) 2019-03-15 2023-03-06 三菱電機株式会社 署名装置、検証装置、署名方法、検証方法、署名プログラム及び検証プログラム

Also Published As

Publication number Publication date
US9106408B2 (en) 2015-08-11
ES2684945T3 (es) 2018-10-05
WO2012101913A1 (ja) 2012-08-02
EP2670081B1 (en) 2018-07-11
CN103348624B (zh) 2016-04-27
US20130322627A1 (en) 2013-12-05
CN103348624A (zh) 2013-10-09
KR101431412B1 (ko) 2014-08-19
JP5606344B2 (ja) 2014-10-15
EP2670081A4 (en) 2017-07-26
EP2670081A1 (en) 2013-12-04
KR20130130810A (ko) 2013-12-02

Similar Documents

Publication Publication Date Title
JP5606344B2 (ja) 署名処理システム、鍵生成装置、署名装置、検証装置、署名処理方法及び署名処理プログラム
JP5424974B2 (ja) 暗号処理システム、鍵生成装置、暗号化装置、復号装置、署名処理システム、署名装置及び検証装置
JP5618881B2 (ja) 暗号処理システム、鍵生成装置、暗号化装置、復号装置、暗号処理方法及び暗号処理プログラム
JP5693206B2 (ja) 暗号処理システム、鍵生成装置、暗号化装置、復号装置、暗号処理方法及び暗号処理プログラム
JP5680007B2 (ja) 暗号システム、暗号方法及び暗号プログラム
JP5769401B2 (ja) 暗号処理システム、鍵生成装置、鍵委譲装置、暗号化装置、復号装置、暗号処理方法及びプログラム
JP5334873B2 (ja) 暗号処理システム、鍵生成装置、鍵委譲装置、暗号化装置、復号装置、暗号処理方法及び暗号処理プログラム
JP5921410B2 (ja) 暗号システム
JP5606351B2 (ja) 暗号処理システム、鍵生成装置、暗号化装置、復号装置、鍵委譲装置、暗号処理方法及び暗号処理プログラム

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20131114

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20131114

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: 20140729

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20140826

R150 Certificate of patent or registration of utility model

Ref document number: 5606344

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

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

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

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250