WO2013024697A1 - 情報処理装置、署名提供方法、署名検証方法、プログラム、及び記録媒体 - Google Patents
情報処理装置、署名提供方法、署名検証方法、プログラム、及び記録媒体 Download PDFInfo
- Publication number
- WO2013024697A1 WO2013024697A1 PCT/JP2012/069447 JP2012069447W WO2013024697A1 WO 2013024697 A1 WO2013024697 A1 WO 2013024697A1 JP 2012069447 W JP2012069447 W JP 2012069447W WO 2013024697 A1 WO2013024697 A1 WO 2013024697A1
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- information
- algorithm
- verifier
- pieces
- prover
- Prior art date
Links
Images
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/32—Cryptographic 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/3247—Cryptographic 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
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/30—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy
- H04L9/3006—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy underlying computational problems or public-key parameters
- H04L9/3026—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy underlying computational problems or public-key parameters details relating to polynomials generation, e.g. generation of irreducible polynomials
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/30—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy
- H04L9/3093—Public 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
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/32—Cryptographic 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/3218—Cryptographic 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 proof of knowledge, e.g. Fiat-Shamir, GQ, Schnorr, ornon-interactive zero-knowledge proofs
- H04L9/3221—Cryptographic 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 proof of knowledge, e.g. Fiat-Shamir, GQ, Schnorr, ornon-interactive zero-knowledge proofs interactive zero-knowledge proofs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
- G06F7/60—Methods or arrangements for performing computations using a digital non-denominational number representation, i.e. number representation without radix; Computing devices using combinations of denominational and non-denominational quantity representations, e.g. using difunction pulse trains, STEELE computers, phase computers
- G06F7/72—Methods or arrangements for performing computations using a digital non-denominational number representation, i.e. number representation without radix; Computing devices using combinations of denominational and non-denominational quantity representations, e.g. using difunction pulse trains, STEELE computers, phase computers using residue arithmetic
- G06F7/724—Finite field arithmetic
- G06F7/725—Finite field arithmetic over elliptic curves
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L63/00—Network architectures or network communication protocols for network security
- H04L63/08—Network architectures or network communication protocols for network security for authentication of entities
Definitions
- the present technology relates to an information processing apparatus, a signature providing method, a signature verification method, a program, and a recording medium.
- Electronic signatures are used to identify the creator of an electronic document. Therefore, the electronic signature should be generated only by the creator of the electronic document. If a malicious third party can generate the same electronic signature, that third party can impersonate the creator of the electronic document. That is, a malicious third party may forge the electronic document.
- a digital signature system widely used at present, for example, an RSA signature system, a DSA signature system, etc. are known.
- the RSA signature scheme is based on "the difficulty of prime factorization for large composite numbers (hereinafter, prime factorization problem)" as the basis of security.
- DSA signature scheme is based on "difficulty of deriving solution for discrete logarithm problem” as the basis of security.
- MI Magnetic-Imai cryptography
- HFE Hidden Field Equation cryptography
- OV Olet-Vinegar signature scheme
- TTM Treatment Method cryptography
- the multivariate polynomial problem is an example of a problem called the NP hard problem which is difficult to solve even using a quantum computer.
- a public key authentication method using a multivariate polynomial problem represented by HFE or the like utilizes a multiorder multivariate simultaneous equation in which a special trap door is installed.
- multiorder multivariate simultaneous equations F and linear transformations A and B become trap doors.
- a public key authentication method or a digital signature method can be realized, which is based on the difficulty of solution of multi-order multivariable simultaneous equations.
- the present technology is to realize an electronic signature system having high security and high efficiency by using multi-order multivariate simultaneous equations for which means (trap door) to be solved efficiently is not known.
- the present invention is intended to provide a new and improved information processing apparatus, a signature providing method, a signature verification method, a program, and a recording medium.
- the document M and the N sets of documents for a message generation unit and a unidirectional function that selects one piece of first information from k pieces (k ⁇ 3) of pieces of first information for one set of input information
- a first information selection unit for selecting N pieces of first information by inputting a message, and a second information generation unit for generating N pieces of second information respectively corresponding to the N pieces of first information
- An information holding unit holding (f 1 (s), ..., f m (s)), N sets of messages generated based on the set F of multi-order multivariate polynomials and the vector s ⁇ K n Documents M and N for a message acquisition unit to be acquired and a unidirectional function for selecting one piece of first information from k pieces (k ⁇ 3) pieces of first information for one set of input information
- a digital signature acquiring unit configured to acquire an electronic signature including N pieces of first information selected by inputting the message and the N pieces of second information respectively corresponding to the N pieces of first information ,
- a signature verification unit for verifying the legitimacy of M, wherein the vector s is a signature
- the set F and the vector y are public keys, and the message is a predetermined operation selected according to a
- N sets of messages based on a set of multi-order multivariate polynomials F (f 1 ,..., F m ) and vectors s ⁇ K n defined on a ring K
- the vector s is a signature key
- the set F of the multi-order multivariate polynomials and the vector y are public keys
- the message uses the public key and the second information
- a program is provided, which is information obtained by executing a predetermined operation selected according to the type of first information corresponding to the second information.
- An information holding function for holding (f 1 (s), ..., f m (s)), N sets of messages generated based on the set F of multi-order multivariate polynomials and the vector s ⁇ K n Documents M and N for a message acquisition function to be acquired and a one-way function that selects one piece of first information from k pieces (k) 3) pieces of first information for one set of input information
- the message is information obtained by executing a predetermined operation selected according to the type of first information corresponding to the second information using the public key and the second information.
- N sets of messages based on a set of multi-order multivariate polynomials F (f 1 ,..., F m ) and vectors s ⁇ K n defined on a ring K
- the vector s is a signature key
- the set F of the multi-order multivariate polynomials and the vector y are public keys
- the message is a computer readable recording medium having the program of A recording medium is provided, which is information obtained by executing a predetermined operation selected according to the type of first information corresponding to the second information using a public key and the second information.
- An information holding function for holding (f 1 (s), ..., f m (s)), N sets of messages generated based on the set F of multi-order multivariate polynomials and the vector s ⁇ K n Documents M and N for a message acquisition function to be acquired and a one-way function that selects one piece of first information from k pieces (k) 3) pieces of first information for one set of input information
- the message, the set F of the multi-order multivariate polynomials, the vector y, and the electronic signature are examples of the set F of the multi-order multivariate polynomials, the vector y, and the electronic signature.
- a computer-readable recording medium having recorded thereon a program for causing a computer to realize a signature verification function of verifying the legitimacy of the document M, the vector s being a signature key,
- the set F of variable polynomials and the vector y are public keys, and the message is selected according to the type of first information corresponding to the second information using the public key and the second information.
- a recording medium is provided which is information obtained by executing a predetermined operation.
- FIG. 1 is an explanatory diagram for describing an outline of an algorithm of the public key authentication scheme.
- Public key authentication is used to convince a person (certifier) to be another person (verifier) that the person is the person using the public key pk and the secret key sk.
- the public key pk A of the prover A is disclosed to the verifier B.
- the prover A's secret key sk A is secretly managed by the prover A.
- the person who knows the secret key sk A corresponding to the public key pk A is considered to be the prover A himself.
- the secret key sk corresponding to the public key pk A by the certifier A through the dialogue protocol
- the verifier B should be presented with evidence that he knows A. Then, if evidence that the prover A knows the secret key sk A is presented to the verifier B and the examiner B confirms the evidence, the legitimacy (identity) of the prover A is It will be proved.
- the first condition is to “make the probability of false proof established by a false witness who does not have the secret key sk when executing the dialogue protocol as small as possible”. It is called “soundness” that this first condition holds. In other words, soundness can be reworded as "a false witness that does not have the secret key sk can not establish false evidence with a probability that can not be ignored during execution of the dialogue protocol.”
- the second condition is, "even if you perform an interactive protocol, information of the secret key sk A of the prover A has there is no leak at all to the verifier B" that is. It is called “zero knowledge" that this second condition holds.
- model In the model of the public key authentication scheme, as shown in FIG. 1, there are two entities, a prover and a verifier.
- the prover uses the key generation algorithm Gen to generate a set of a prover's unique secret key sk and a public key pk.
- the prover executes the dialogue protocol with the verifier using the set of the secret key sk and the public key pk generated using the key generation algorithm Gen.
- the prover executes the dialogue protocol using the prover algorithm P.
- the prover uses the prover algorithm P to present to the verifier the evidence of holding the secret key sk in the dialogue protocol.
- the verifier executes the dialogue protocol using the verifier algorithm V, and verifies whether or not the prover holds the private key corresponding to the public key published by the prover. That is, the verifier is an entity that verifies whether the prover holds the private key corresponding to the public key.
- the model of the public key authentication scheme is composed of three entities of a prover and a verifier, and three algorithms of a key generation algorithm Gen, a prover algorithm P, and a verifier algorithm V.
- the expressions “prover” and “verifier” are used, these expressions mean entity to the last. Therefore, the subject that executes the key generation algorithm Gen and the prover algorithm P is an information processing apparatus corresponding to the entity of the "prover”. Similarly, the subject that executes the verifier algorithm V is an information processing apparatus.
- the hardware configuration of these information processing apparatuses is, for example, as shown in FIG. That is, the key generation algorithm Gen, the prover algorithm P, and the verifier algorithm V are executed by the CPU 902 or the like based on programs recorded in the ROM 904, the RAM 906, the storage unit 920, the removable recording medium 928 or the like.
- the key generation algorithm Gen is used by the prover.
- the key generation algorithm Gen is an algorithm that generates a pair of a secret key sk unique to the prover and a public key pk.
- the public key pk generated by the key generation algorithm Gen is released. Then, the public key pk released is used by the verifier.
- the prover manages the secret key sk generated by the key generation algorithm Gen in a secret.
- the secret key sk secretly managed by the prover is used to prove to the verifier that the prover holds the secret key sk corresponding to the public key pk.
- the key generation algorithm Gen is expressed as the following equation (1) as an algorithm which receives the security parameter 1 ⁇ ( ⁇ is an integer of 0 or more) and outputs the secret key sk and the public key pk. Ru.
- the prover algorithm P is used by the prover.
- the prover algorithm P is an algorithm for proving to the verifier that the prover holds the secret key sk corresponding to the public key pk. That is, the prover algorithm P is an algorithm that receives the secret key sk and the public key pk as input, and executes the dialogue protocol.
- the verifier algorithm V is used by the verifier.
- the verifier algorithm V is an algorithm for verifying whether the prover holds the secret key sk corresponding to the public key pk in the dialogue protocol.
- the verifier algorithm V is an algorithm that receives the public key pk and outputs 0 or 1 (1 bit) according to the result of execution of the interaction protocol.
- the verifier determines that the prover is invalid when the verifier algorithm V outputs 0, and determines that the prover is valid when 1 is output.
- the verifier algorithm V is expressed as the following equation (2).
- the dialogue protocol needs to satisfy the two conditions of soundness and zero knowledge.
- the prover executes a procedure dependent on the secret key sk, notifies the verifier of the result, and It is necessary to have the verifier perform verification based on Performing procedures dependent on the secret key sk is necessary to ensure soundness.
- FIG. 2 is an explanatory diagram for explaining an outline of an algorithm of the digital signature scheme.
- the electronic signature refers to a mechanism for providing the recipient with signature data that is known only to the creator of the data and providing it to the recipient, and verifying the signature data on the recipient side.
- model In the model of the electronic signature scheme, as shown in FIG. 2, there are two entities, a signer and a verifier.
- the model of the electronic signature scheme is composed of three algorithms: a key generation algorithm Gen, a signature generation algorithm Sig, and a signature verification algorithm Ver.
- the signer generates a pair of a signer's unique signature key sk and a verification key pk using the key generation algorithm Gen. Further, the signer generates a digital signature ⁇ to be attached to the document M using the signature generation algorithm Sig. That is, the signer is an entity that gives the document M a digital signature.
- the verifier verifies the electronic signature ⁇ attached to the document M using the signature verification algorithm Ver. That is, the verifier is an entity that verifies the digital signature ⁇ in order to confirm whether the creator of the document M is a signer.
- the expressions “signer” and “verifier” mean the entities to the last. Therefore, the subject that executes the key generation algorithm Gen and the signature generation algorithm Sig is an information processing apparatus corresponding to the “signer” entity. Similarly, an entity that executes the signature verification algorithm Ver is an information processing apparatus.
- the hardware configuration of these information processing apparatuses is, for example, as shown in FIG. That is, the key generation algorithm Gen, the signature generation algorithm Sig, and the signature verification algorithm Ver are executed by the CPU 902 or the like based on programs recorded in the ROM 904, the RAM 906, the storage unit 920, the removable recording medium 928 or the like.
- the key generation algorithm Gen is used by the signer.
- the key generation algorithm Gen is an algorithm that generates a pair of a signer-specific signature key sk and a verification key pk.
- the verification key pk generated by the key generation algorithm Gen is released.
- the signature key sk generated by the key generation algorithm Gen is secretly managed by the signer.
- the signature key sk is used to generate the electronic signature ⁇ given to the document M.
- the key generation algorithm Gen takes a security parameter 1 ⁇ ( ⁇ is an integer of 0 or more) as an input, and outputs a signature key sk and a public key pk.
- the key generation algorithm Gen can be formally expressed as the following equation (3).
- the signature generation algorithm Sig is used by the signer.
- the signature generation algorithm Sig is an algorithm for generating a digital signature ⁇ given to the document M.
- the signature generation algorithm Sig is an algorithm that receives the signature key sk and the document M and outputs a digital signature ⁇ .
- This signature generation algorithm Sig can be formally expressed as the following equation (4).
- the signature verification algorithm Ver is used by the verifier.
- the signature verification algorithm Ver is an algorithm for verifying whether the digital signature ⁇ is a valid electronic signature for the document M.
- the signature verification algorithm Ver is an algorithm that receives a signer's verification key pk, a document M, and a digital signature ⁇ as input, and outputs 0 or 1 (1 bit).
- This signature verification algorithm Ver can be formally expressed as the following equation (5).
- the verifier determines that the electronic signature ⁇ is invalid when the signature verification algorithm Ver outputs 0 (when the public key pk rejects the document M and the electronic signature ⁇ ), and outputs 1 ( If the public key pk accepts the document M and the electronic signature ⁇ ), it is determined that the electronic signature ⁇ is valid.
- FIG. 3 is an explanatory diagram for describing an n-pass public key authentication scheme.
- the public key authentication method is an authentication method that proves to the verifier that the prover holds the secret key sk corresponding to the public key pk in the dialogue protocol.
- the dialogue protocol needs to satisfy two conditions of soundness and zero knowledge. Therefore, in the dialogue protocol, as shown in FIG. 3, both the prover and the verifier exchange information n times while executing processing.
- an "n-pass" public key authentication scheme a scheme in which information is transmitted and received n times.
- the present embodiment relates to a public key authentication scheme and a digital signature scheme that base security on the difficulty of solving a multi-order multivariate simultaneous equation.
- the present embodiment relates to a public key authentication method and an electronic signature method using multi-order multivariate simultaneous equations which do not have means (trap door) to be solved efficiently unlike the conventional methods such as the HFE electronic signature method.
- FIG. 4 is an explanatory diagram for describing an algorithm of the present method.
- the present method includes a key generation algorithm Gen, a prover algorithm P, and a verifier algorithm V. The configuration of each algorithm will be described below.
- the key generation algorithm Gen sets (f 1 (x 1 ,..., X n ),..., F m (x 1 ,..., X n ), y) as the public key pk and s as the secret key Set
- the vector (x 1 ,..., X n ) is represented as x
- the set of multivariate polynomials (f 1 (x),..., F m (x)) is represented as F (x) make it
- the public key pk is assumed to be public to the verifier. Also, it is assumed that the secret key s is secretly managed by the prover. Hereinafter, the description will be made along the flowchart shown in FIG.
- Process # 1 (cont.): Then, the prover algorithm P calculates z ⁇ s ⁇ r. This calculation corresponds to an operation of masking the secret key s by the vector r. Furthermore, the prover algorithm P calculates F B (x) ⁇ F (x + r) + F A (x). This calculation corresponds to the operation of masking the multivariable polynomial F (x + r) with respect to x by the multivariable polynomial F A (x).
- Process # 1 (cont.): Then, the prover algorithm P generates a hash value c 1 of F A (z) and z. That is, the prover algorithm P calculates c 1 HH 1 (F A (z), z). Also, the prover algorithm P generates a hash value c 2 of several w A. That is, the prover algorithm P calculates c 2 ⁇ H 2 (w A ). Furthermore, the prover algorithm P generates the hash value c 3 of the multivariable polynomial F B. That is, the prover algorithm P calculates c 3 H H 3 (F B (x)). The above H 1 strict, H 2 strict, H 3 strict Are hash functions.
- This hash value (c 1 , c 2 , c 3 ) is sent as a message to the verifier algorithm V.
- the information on s, the information on r, and the information on z never leak to the verifier.
- Process # 2 The verifier algorithm V that has received the message (c 1 , c 2 , c 3 ) selects which one of the three verification patterns to use. For example, the verifier algorithm V selects one numerical value from three numerical values ⁇ 0, 1, 2 ⁇ representing the type of verification pattern, and sets the selected numerical value in the request d. This request d is sent to the prover algorithm P.
- Process # 3 The prover algorithm P that has received the request d generates a response ⁇ to be sent to the verifier algorithm V according to the received request d.
- the response ⁇ generated in step # 3 is sent to the verifier algorithm V.
- Process # 4 The verifier algorithm V that has received the response ⁇ executes the following verification process using the received response ⁇ .
- the above prover algorithm P generates a message c 1 from F B (z) and z.
- F B (z) F A (z)
- the same dialogue protocol is realized even if it is modified to generate the message c 1 from F A (z) and z.
- the configuration of the prover algorithm P may be modified such that the hash value of F B (z) and the hash value of z are separately calculated, and each is sent as a message to the verifier algorithm V.
- the public key is (F, y).
- the multivariate polynomial F included in the public key is a parameter that does not depend on the secret key sk. Therefore, the multivariate polynomial F may not be set for each prover, and the multivariate polynomial F common to the entire system may be used. In this case, the public key set for each prover is only y, which makes it possible to reduce the size of the public key. However, from the viewpoint of security, it may be preferable to set the multivariable polynomial F for each prover. The setting method of the multivariate polynomial F in such a case will be described in detail later.
- the public key is (f 1 ,..., F m , y) in the above dialogue protocol
- F (f 1 ,..., F m ) is a parameter which may be appropriately selected. Therefore, the prover and the verifier may, for example, prepare a seed w pk of a random number and calculate F G G * (w pk ) using the pseudo random number generator G * .
- the public key is (w pk , y), and the size of the public key can be smaller than when (F, y) is released as a public key.
- c 1 , c 2 and c 3 are calculated using the hash functions H 1 , H 2 and H 3 , but the commitment function COM may be used instead of the hash function.
- the commitment function COM is a function that takes two arguments, a string S and a random number ⁇ .
- An example of the commitment function is the method presented by Shai Halevi and Silvio Micali at the international conference CRYPTO1996.
- FIG. 5 is an explanatory diagram for explaining the flow of the dialogue protocol based on the extension method.
- the extension method described here is to convert messages (c 1 , c 2 , c 3 ) to be transmitted in the first pass into one hash value c and send it to the verifier. However, a message that can not be recovered even using the response ⁇ sent in the third pass is sent to the verifier together with the response ⁇ . Applying this extension technique makes it possible to reduce the amount of information sent to the verifier in the dialogue protocol.
- the configuration of each algorithm related to the extension method will be described in detail.
- the key generation algorithm Gen sets (f 1 (x 1 ,..., X n ),..., F m (x 1 ,..., X n ), y) as the public key pk and s as the secret key Set
- the vector (x 1 ,..., X n ) is represented as x
- the set of multivariate polynomials (f 1 (x),..., F m (x)) is represented as F (x) make it
- the public key pk is assumed to be public to the verifier. Also, it is assumed that the secret key s is secretly managed by the prover. Hereinafter, the description will be made along the flowchart shown in FIG.
- Process # 1 (cont.): Then, the prover algorithm P calculates z ⁇ s ⁇ r. This calculation corresponds to an operation of masking the secret key s by the vector r. Furthermore, the prover algorithm P calculates F B (x) ⁇ F (x + r) + F A (x). This calculation corresponds to the operation of masking the set of polynomials F (x + r) for x by the set of polynomials F A (x).
- Process # 1 (cont.): Then, the prover algorithm P generates a hash value c 1 of F B (z) and z. That is, the prover algorithm P calculates c 1 ⁇ H 1 (F B (z), z). Also, the prover algorithm P generates a hash value c 2 of several w A. That is, the prover algorithm P calculates c 2 ⁇ H 2 (w A ). Furthermore, the prover algorithm P generates a hash value c 3 of the polynomial set F B. That is, the prover algorithm P calculates c 3 HH 3 (F B ). The above H 1 strict, H 2 strict, H 3 strict Are hash functions.
- the prover algorithm P applies the set of hash values (c 1 , c 2 , c 3 ) to the hash function H to generate the hash value c, and generates the generated hash value c as the verifier algorithm V Send to
- Process # 2 The verifier algorithm V that has received the hash value c selects which one of the three verification patterns to use. For example, the verifier algorithm V selects one numerical value from three numerical values ⁇ 0, 1, 2 ⁇ representing the type of verification pattern, and sets the selected numerical value in the request d. This request d is sent to the prover algorithm P.
- Process # 4 The verifier algorithm V that has received the response ⁇ executes the following verification process using the received response ( ⁇ , c * ).
- a serial method in which the exchange of messages, requests, and replies is sequentially repeated plural times and the exchange of messages, requests, and answers for plural times in one exchange are performed.
- a parallel method can be considered.
- a method will be described in which the dialog protocol according to the present method is extended to a dialog protocol (hereinafter, parallelization algorithm) according to a parallel method.
- parallelization algorithm is as shown in FIG. The contents of the parallelization algorithm will be described below with reference to FIG.
- the key generation algorithm Gen sets (f 1 (x 1 ,..., X n ),..., F m (x 1 ,..., X n ), y) as the public key pk and s as the secret key Set
- the vector (x 1 ,..., X n ) is represented as x
- the set of multivariate polynomials (f 1 (x),..., F m (x)) is represented as F (x) make it
- the public key pk is assumed to be public to the verifier. Also, it is assumed that the secret key s is secretly managed by the prover. Hereinafter, the description will be made along the flowchart shown in FIG.
- Process (1) The prover algorithm P arbitrarily selects a number w i .
- the prover algorithm P calculates F i A GG 2 (w i A ).
- Process (4) The prover algorithm P calculates z i ss i ⁇ r i . This calculation corresponds to the operation of masking the secret key s i by the vector r i .
- Process (6) The prover algorithm P generates a hash value c 1, i of F i B (z i ) and z i . That is, the prover algorithm P calculates c 1, i ⁇ H 1 (F i B (z i ), z i ).
- the prover algorithm P calculates c 3, i ⁇ H 3 (F i B ).
- H 1 straight-edged
- H 2 straight-edged
- H 3 straight-edged
- the hash values (c 1, i , c 2, i , c 3, i ) are messages.
- hash value c H (c 1,1, c 1,2, c 1,3, ..., c N, 1, c N, 2, c N, 3) may be modified to transmit.
- the dialogue protocol such that such a message is sent from the prover to the verifier with the response.
- the message to be sent in the first pass is only one hash value c, and the amount of communication is significantly reduced. For example, in the case of N parallel repetition configurations, it is possible to reduce the number of pieces of information to be sent by 2N-1.
- the inventor of the present invention examined a method of preventing the verifier from knowing the information that "the prover used s in the dialogue" even when the dialogue accepted in the verification was performed. Then, the inventor of the present invention has devised a method that makes it possible to guarantee the security against active attacks even when repeatedly executing the above dialogue protocol in parallel.
- FIG. 7 is an explanatory diagram for describing one specific example of the present method.
- the key generation algorithm Gen sets (f 1 ,..., F m , y) as the public key pk and sets s as the secret key.
- the vector (x 1 ,..., X n ) is represented as x
- the set of quadratic polynomials (f 1 (x),..., F m (x)) is represented as F (x).
- the quadratic polynomial f i (x) is expressed as the following equation (8).
- Process # 1 First, the prover algorithm P arbitrarily selects the number w. Next, the prover algorithm P applies the number w to the pseudo random number generator G 1 to generate a vector r ⁇ K n and a number w A. That is, the prover algorithm P calculates (r, w A ) G G 1 (w). Next, the prover algorithm P applies the number w A to the pseudo random number generator G 2 to generate a set of linear polynomials f 1 A (x),..., F m A (x). That is, the prover algorithm P calculates (f 1 A ,..., F m A ) ⁇ -G 2 (w A ). However, the first-order polynomial f i A (x) is expressed as the following equation (9). Also, a set of linear polynomials (f 1 A (x),..., F m A (x)) is expressed as F A (x).
- Process # 1 (cont.): Then, the prover algorithm P calculates z ⁇ s ⁇ r. This calculation corresponds to an operation of masking the secret key s by the vector r. Furthermore, the prover algorithm P calculates F B (x) ⁇ F (x + r) + F A (x). This calculation corresponds to an operation of masking a quadratic polynomial F (x + r) with respect to x by a linear polynomial F A (x). Within F (x + r), information about r only appears in the first order term of x. So all the information about r is masked by F A (x).
- Process # 1 (cont.): Then, the prover algorithm P generates a hash value c 1 of F A (z) and z. That is, the prover algorithm P calculates c 1 HH 1 (F A (z), z). Also, the prover algorithm P generates a hash value c 2 of several w A. That is, the prover algorithm P calculates c 2 ⁇ H 2 (w A ). Furthermore, the prover algorithm P generates the hash value c 3 of the multivariable polynomial F B. That is, the prover algorithm P calculates c 3 HH 3 (F B ). The above H 1 presented, H 2 strict, H 3 strict Are hash functions. The messages (c 1 , c 2 , c 3 ) generated in step # 1 are sent to the verifier algorithm V.
- Process # 2 The verifier algorithm V that has received the message (c 1 , c 2 , c 3 ) selects which one of the three verification patterns to use. For example, the verifier algorithm V selects one numerical value from three numerical values ⁇ 0, 1, 2 ⁇ representing the type of verification pattern, and sets the selected numerical value in the request d. This request d is sent to the prover algorithm P.
- Process # 3 The prover algorithm P that has received the request d generates a response ⁇ to be sent to the verifier algorithm V according to the received request d.
- the response ⁇ generated in step # 3 is sent to the verifier algorithm V.
- Process # 4 The verifier algorithm V that has received the response ⁇ executes the following verification process using the received response ⁇ .
- the multivariate polynomial F can be expressed as the following Expression (11) and Expression (12). The fact that this expression holds can be easily confirmed from the following equation (13).
- F (x + y) is divided into a first part dependent on x, a second part dependent on y, and a third part dependent on both x and y
- F b (x, y) corresponding to x is bilinear with respect to x and y. Using this property makes it possible to construct an efficient algorithm.
- the sum of the multivariate polynomial F (x + r) and F A (x) is expressed as the following equation (14).
- Process # 1 The prover algorithm P arbitrarily selects the number w.
- the prover algorithm P applies the number w to the pseudo random number generator G 1 to generate a vector r ⁇ K n and a number w A. That is, the prover algorithm P calculates (r, w A ) G G 1 (w).
- the prover algorithm P applies the number w A to the pseudo random number generator G 2 to generate two vectors t ⁇ K n and e ⁇ K m . That is, the prover algorithm P calculates (t, e) G G 2 (w A ).
- the prover algorithm P calculates z ⁇ s ⁇ r. This calculation corresponds to an operation of masking the secret key s by the vector r.
- the prover algorithm P calculates t A ⁇ r + t.
- the prover algorithm P calculates e A ⁇ F (r) + e.
- Process # 1 (cont.): Next, the prover algorithm P calculates F b (z, t) based on the above equation (14) to generate a hash value c 1 of F b (z, t) + e and z. That is, the prover algorithm P calculates c 1 ⁇ H 1 (F b (z, t) + e, z). Also, the prover algorithm P generates a hash value c 2 of several w A. That is, the prover algorithm P calculates c 2 ⁇ H 2 (w A ). Furthermore, the prover algorithm P generates a hash value c 3 of two vectors t A and e A.
- the prover algorithm P calculates c 3 HH 3 (t A , e A ).
- the above H 1 are hash functions.
- the messages (c 1 , c 2 , c 3 ) generated in step # 1 are sent to the verifier algorithm V.
- Process # 2 The verifier algorithm V that has received the message (c 1 , c 2 , c 3 ) selects which one of the three verification patterns to use. For example, the verifier algorithm V selects one numerical value from three numerical values ⁇ 0, 1, 2 ⁇ representing the type of verification pattern, and sets the selected numerical value in the request d. This request d is sent to the prover algorithm P.
- Process # 3 The prover algorithm P that has received the request d generates a response ⁇ to be sent to the verifier algorithm V according to the received request d.
- Process # 4 The verifier algorithm V that has received the response ⁇ executes the following verification process using the received response ⁇ .
- Process # 1 The prover algorithm P arbitrarily generates vectors r, t ⁇ K n and e ⁇ K m . Then, the prover algorithm P calculates r A ⁇ s ⁇ r. This calculation corresponds to an operation of masking the secret key s by the vector r. Furthermore, the prover algorithm P calculates t A ⁇ r ⁇ t. Then, the prover algorithm P calculates e A ⁇ F (r) -e.
- Process # 2 The verifier algorithm V that has received the message (c 1 , c 2 , c 3 ) selects which one of the three verification patterns to use. For example, the verifier algorithm V selects one numerical value from three numerical values ⁇ 0, 1, 2 ⁇ representing the type of verification pattern, and sets the selected numerical value in the request d. This request d is sent to the prover algorithm P.
- Process # 4 The verifier algorithm V that has received the response ⁇ executes the following verification process using the received response ⁇ .
- Process (1) The prover algorithm P arbitrarily generates vectors r i , t i ⁇ K n and e i ⁇ K m .
- the above H H 1
- H 2 H 2
- H 3 are hash functions.
- the hash value Cmt generated in step # 1 is sent to the verifier algorithm V. In this way, the verifier algorithm V is performed after the messages (c 1,1 , c 2,1 , c 3,1 ,..., C 1, N , c 2, N , c 3, N ) are converted into hash values. It is possible to reduce the amount of communication by sending to.
- the responses Rsp 1 ,..., Rsp N generated in step # 3 are sent to the verifier algorithm V.
- the verifier algorithm V outputs the value 1 indicating the authentication success when the verification is successful, and outputs the value 0 indicating the authentication failure when the verification fails.
- the parallelization algorithm shown in FIG. 11 incorporates a device for converting a message into a hash value and then transmitting it. Communication efficiency improves by this device.
- the Cmt generated by the prover algorithm P in step # 1 is sent to the verifier algorithm V.
- Step # 2 is configured by a process of selecting d 1 ,..., D N.
- the d 1 ,..., D N selected by the verifier algorithm V at step # 2 are sent to the prover algorithm P.
- Step # 3 d 1, ..., d N and a 1, ..., Rsp 1 with a N, ..., consisting of the process of generating Rsp N. This process is expressed as Rsp i SelectSelect (d i, a i ).
- the Rsp 1 ,..., Rsp N generated by the prover algorithm P at step # 3 are sent to the verifier algorithm V.
- Step # 4 is performed using d 1 ,..., D N and R sp 1 ,..., R sp N and using c 1,1 , c 2,1 , c 3,1 , ..., c 1, N , c 2, N , Cmt using the process (1) for regenerating c 3, N and the regenerated c 1 , 1 , c 2 , 2 , c 3 , 3 , ..., c 1, N , c 2, N , c 3, N
- a process (2) of verifying H (c1, 1 , c2, 1 , c3 , 1 , ..., c1 , N , c2 , N , c3 , N ).
- the algorithm of the public key authentication scheme expressed in the above steps # 1 to # 4 is transformed into a signature generation algorithm Sig and a signature verification algorithm Ver as shown in FIG.
- the signature generation algorithm Sig is composed of the following processes (1) to (5).
- Treatment (1): The signature generation algorithm Sig, a i (r i, t i, e i, r i A, t i A, e i A, c 1, i, c 2, i, c 3, i Generate).
- the signature verification algorithm Ver is composed of the following processing (1) to processing (3).
- Process (1): The signature verification algorithm Ver calculates (d 1 ,..., D N ) H H (M, Cmt). Processing (2): The signature verification algorithm Ver, d 1, ..., d N and Rsp 1, ..., c 1,1 with Rsp N, c 2,1, c 3,1 , ..., c 1, N , C 2, N , c 3, N are generated. Process (3): The signature verification algorithm Ver uses the reproduced c 1,1 , c 2,1 , c 3,1 ,..., C 1, N , c 2, N , c 3, N and Cmt H. ( C1,1 , c2,1 , c3,1 , ..., c1 , N , c2 , N , c3 , N ) are verified.
- the algorithm of the public key authentication scheme can be transformed into the algorithm of the digital signature scheme.
- the signature generation algorithm Sig is composed of the following processing (1) to processing (4).
- the signature generation algorithm Sig, a i (r i, t i, e i, r i A, t i A, e i A, c 1, i, c 2, i, c 3, i Generate).
- This M is a document to which a signature is given.
- the signature verification algorithm Ver is configured by the following processing (1) and processing (2).
- Treatment (1) The signature verification algorithm Ver, d 1, ..., d N and Rsp 1, ..., c 1,1 with Rsp N, c 2,2, c 3,3 , ..., c 1, N , C 2, N , c 3, N are generated.
- Process (2): The signature verification algorithm Ver uses the reproduced c 1,1 , c 2,1 , c 3,1 ,..., C 1, N , c 2, N , c 3, N (d 1 ,..., D N ) H (M, c 1,1 , c 2,1 , c 3,1 ,..., C 1, N , c 2, N , c 3, N ) are verified.
- this method is a method of establishing safety based on the difficulty of solving the solution problem of multi-order multivariate simultaneous equations.
- this method is characterized in that complex multi-order multivariate simultaneous equations can be used.
- no particular limitation has been made to the form of multiorder multivariate simultaneous equations, but for example, multiorder multivariate simultaneous equations that include cryptographic element technology for which the difficulty is sufficiently compensated. It is preferred to use.
- specific examples of multi-order multivariable simultaneous equations applicable to the present method are introduced.
- Finding a solution of a multi-order multivariate simultaneous equation expressing such a common key block cipher is equivalent to recovering a key of the common key block cipher from plaintext and ciphertext. That is, as long as the security of the common key block cipher is maintained, the difficulty of solving multi-order multivariate simultaneous equations expressing the common key block cipher is secured. Therefore, if a multiorder multivariate simultaneous equation expressing a common key block encryption system is applied to this method, a public key authentication system having security equivalent to that of the common key block encryption system is realized. .
- the hash function is expressed by a multi-order multivariable simultaneous equation having an input message and a hash value as variables
- the degree of the polynomial is increased, so that the data size for expressing the simultaneous equation is increased. Therefore, in addition to the input message and the hash value, a variable for expressing the internal state is introduced.
- this variable it is possible to reduce the order of multiorder multivariate simultaneous equations expressing a hash function. For example, an applicable value is substituted into a variable representing a hash value, and a simultaneous equation on variables for representing an input message and an internal state is introduced. By adopting such a method, although the number of variables is increased, the order is reduced, so the expression of simultaneous equations becomes compact.
- Hybrid configuration 1 A hybrid type algorithm (hereinafter referred to as parallel serial algorithm) will be described with reference to FIG.
- FIG. 14 shows a basic configuration according to the present method, a serialization algorithm which serializes this basic configuration, a parallelization algorithm which is parallelized, and a parallel-serial algorithm.
- the message (c 1 , c 2 , c 3 ) is sent from the prover to the verifier.
- a request d is sent from the verifier to the prover.
- the prover sends a response ⁇ to the verifier.
- N messages (c 1 , 1 , c 2 , 1 , c 3 , 1 ,..., C 1, N , c 2, N , c 3, N ) is sent from the prover to the verifier.
- N times of requests (d 1 ,..., D N ) are sent from the verifier to the prover.
- N prove responses ( ⁇ 1 ,..., ⁇ N ) are sent from the prover to the verifier.
- the parallelization algorithm according to this method guarantees security against passive attacks. Also, the number of dialogues is three. Furthermore, communication efficiency can be improved by grouping N messages sent in the first pass into one hash value.
- one message (c 1,1 , c 2,1 , c 3,1 ) is sent from the prover to the verifier.
- a single request d 1 is sent from the verifier to the prover.
- one test response ⁇ 1 is sent from the prover to the verifier.
- one message (c 1,2 , c 2,2 , c 3,2 ) is sent from the prover to the verifier.
- a single request d 2 is sent from the verifier to the prover.
- one test response ⁇ 2 is sent from the prover to the verifier.
- the dialogue is repeatedly executed until a response ⁇ N is sent from the prover to the verifier.
- the serialization algorithm is secure against active attacks. It is also possible to prove that the false proof probability is reliably reduced.
- the parallel-serial algorithm is an algorithm combining the properties of the parallelization algorithm and the properties of the serialization algorithm.
- N messages (c 1 , 1 , c 2 , 1 , c 3 , 1 ,..., C 1, N , c 2, N , c 3, N ) is sent from the prover to the verifier.
- a single request d 1 is sent from the verifier to the prover.
- one test response ⁇ 1 is sent from the prover to the verifier.
- exchange of requirements d 2 ,..., D N and replies ⁇ 2 ,..., ⁇ N is performed between the prover and the verifier.
- FIG. 15 shows a basic configuration according to the present method, a serialization algorithm in which the basic configuration is serialized, a parallelization algorithm in parallel, and a series-parallel algorithm.
- the basic configuration, the serialization algorithm, and the configuration and properties of the parallelization algorithm are as described above.
- the serial-parallel algorithm shown in FIG. 15 is an algorithm combining the property of the parallelization algorithm and the property of the serialization algorithm.
- one message (c 1,1 , c 2,1 , c 3,1 ) is sent from the prover to the verifier.
- a single request d 1 is sent from the verifier to the prover.
- messages between prover and the verifier (c 1,2, c 2,2, c 3,2), ..., (c 1, N, c 2, N, c 3, N) and the required d
- the exchange of 2 , ..., d N is performed.
- N responses ⁇ 1 ,..., ⁇ N are sent from the prover to the verifier.
- the false evidence probability per interaction protocol was 2/3, but in the present method, as described later, it is per interaction protocol
- the false evidence rate is 1/2 + 1 / q. Where q is the order of the ring to be used. Therefore, if the order of the ring is sufficiently large, as shown in FIG. 39, the present method can reduce the false recognition probability per time, and the false identification probability is reduced with the number of executions of the dialogue protocol. It can be made small enough.
- the dialogue protocol according to the 5-pass public key authentication scheme may seem to be less efficient than the dialogue protocol according to the 3-pass public key authentication scheme.
- the 5-pass public key authentication scheme if the order of the ring is sufficiently large, the false probability per interaction protocol will be close to 1/2, so it is necessary to achieve the same security level The number of executions of the interactive protocol can be reduced.
- FIG. 16 is an explanatory diagram for describing a configuration of an algorithm according to the present method.
- the key generation algorithm Gen sets (f 1 ,..., F m , y) as the public key pk and sets s as the secret key.
- a vector (x 1 ,..., X n ) is represented as x
- a set of multivariable multi-degree polynomials (f 1 (x),..., F m (x)) is represented as F (x) Do.
- Process # 1 (cont.): Then, the prover algorithm P generates a hash value c 1 of F A (z) and z. That is, the prover algorithm P calculates c 1 HH 1 (F A (z), z). Also, the prover algorithm P generates a number w of hash values c 2 . That is, the prover algorithm P calculates c 2 HH 2 (w). The above H 1 explicit and H 2 strict are hash functions. The messages (c 1 , c 2 ) generated in step # 1 are sent to the verifier. At this time, it should be noted that the information on s, the information on r, and the information on z never leak to the verifier.
- Process # 2 The verifier algorithm V randomly selects one number ⁇ from the elements of the ring K existing q ways, and sends the selected number ⁇ to the prover algorithm P.
- Process # 3 The prover algorithm P that has received the number ⁇ calculates F B (x) ⁇ ⁇ F (x + r) + F A (x). This calculation corresponds to the operation of masking the multivariable polynomial F (x + r) with respect to x by the multivariable polynomial F A (x).
- Process # 4 The verifier algorithm V that has received the multivariate polynomial F B selects which of the two verification patterns is to be used. For example, the verifier algorithm V selects one numerical value from two numerical values ⁇ 0, 1 ⁇ representing the type of verification pattern, and sets the selected numerical value to the request d. This request d is sent to the prover algorithm P.
- Process # 5 The prover algorithm P that has received the request d generates a response ⁇ to be sent back to the verifier algorithm V in response to the received request d.
- the response ⁇ generated in step # 5 is sent to the verifier algorithm V.
- Process # 6 The verifier algorithm V that has received the response ⁇ executes the following verification process using the received response ⁇ .
- the false witness can not succeed in false proof with a probability higher than 1/2 + 1 / q. Note that by executing the above dialogue protocol a sufficient number of times, it is possible to make the probability of success in perjury small enough to ignore.
- the above key generation algorithm Gen calculates y ⁇ F (s) and sets the public key to (F, y).
- the key generation algorithm Gen takes (f 1 * (x),..., F m * (x)) ((f 1 (x) -y) as (y 1 , ..., y m ) F F (s) It may be configured to calculate 1 ,..., F m (x) -y m ) and set the public key to (f 1 * ,..., F m * ).
- the prover algorithm P may calculate the hash value of F B (z) and the hash value of z separately and send each as a message to the verifier.
- FIG. 17 is an explanatory diagram for explaining the flow of the dialogue protocol based on the extension method.
- the key generation algorithm Gen sets (f 1 ,..., F m , y) as the public key pk and sets s as the secret key.
- a vector (x 1 ,..., X n ) is represented as x
- a set of multivariable multi-degree polynomials (f 1 (x),..., F m (x)) is represented as F (x) Do.
- Process # 1 First, the prover algorithm P arbitrarily selects the number w. Next, the prover algorithm P applies the number w to the pseudo random number generator G to generate a vector r ⁇ K n and a multivariate polynomial F A (x). That is, the prover algorithm P calculates (r, F A ) G G (w). Then, the prover algorithm P calculates z ⁇ s ⁇ r. This calculation corresponds to an operation of masking the secret key s by the vector r.
- Process # 1 (cont.): Then, the prover algorithm P generates a hash value c 1 of F A (z) and z. That is, the prover algorithm P calculates c 1 HH 1 (F A (z), z). Also, the prover algorithm P generates a number w of hash values c 2 . That is, the prover algorithm P calculates c 2 HH 2 (w). The above H 1 explicit and H 2 strict are hash functions. The message (c 1 , c 2 ) generated in step # 1 is sent to the verifier algorithm V.
- Process # 2 The verifier algorithm V that receives the message (c 1 , c 2 ) randomly selects one number ⁇ from the elements of the ring K existing q ways, and sends the selected number ⁇ to the prover algorithm P.
- Process # 3 The prover algorithm P that has received the number ⁇ calculates F B (x) ⁇ ⁇ F (x + r) + F A (x). This calculation corresponds to the operation of masking the multivariate polynomial F (x + r) with x using the multivariate polynomial F A (x). Furthermore, the prover algorithm P generates a hash value c 3 of the set of multivariate polynomials F B. That is, the prover algorithm P calculates c 3 H H 3 (F B (x)). The above H 3 explicit is a hash function. Message c 3 generated in step # 3 is sent to the verifier.
- Process # 4 Verifier algorithm V having received message c 3, of the two verification patterns, selects whether to use the verification pattern. For example, the verifier algorithm V selects one numerical value from two numerical values ⁇ 0, 1 ⁇ representing the type of verification pattern, and sets the selected numerical value to the request d. This request d is sent to the prover algorithm P.
- Process # 5 The prover algorithm P that has received the request d generates a response ⁇ to be sent back to the verifier algorithm V in response to the received request d.
- the response ⁇ generated in step # 5 is sent to the verifier algorithm V.
- Process # 6 The verifier algorithm V that has received the response ⁇ executes the following verification process using the received response ⁇ .
- a serial method in which the exchange of messages, requests, and replies is sequentially repeated plural times and the exchange of messages, requests, and answers for plural times in one exchange are performed.
- a parallel method can be considered.
- a method will be described in which the dialog protocol according to the present method is extended to a dialog protocol (hereinafter, parallelization algorithm) according to a parallel method.
- parallelization algorithm is as shown in FIG. The contents of the parallelization algorithm will be described below with reference to FIG.
- the key generation algorithm Gen sets (f 1 ,..., F m , y) as the public key pk and sets s as the secret key.
- a vector (x 1 ,..., X n ) is represented as x
- a set of multivariable multi-degree polynomials (f 1 (x),..., F m (x)) is represented as F (x) Do.
- the public key pk is assumed to be public to the verifier. Also, it is assumed that the secret key s is secretly managed by the prover. The description will be continued below with reference to the flowchart shown in FIG.
- Process (1) The prover algorithm P arbitrarily selects a number w i .
- Process (4) The prover algorithm P generates a hash value c 1, i of F i A (z i ) and z i . That is, the prover algorithm P calculates c 1, i ⁇ H 1 (F i A (z i ), z i ).
- the method of executing the dialogue protocol of this method in parallel has been described above. As described above, by repeatedly executing the dialogue protocol of the present method, it is possible to reduce the probability of success of false evidence to a negligible extent.
- the extension method can also be parallelized in the same manner.
- step # 1 After step # 1 above, instead of sending the message (c 1,1 , c 1,2 ,..., C N, 1 , c N, 2 ) to the verifier algorithm V, the message has a hash value H (c
- the configuration of the dialogue protocol may be modified such that 1 , 1 , c 1 2 ,..., C N, 1 , c N, 2 ) are collectively transmitted.
- the message to be sent in the first pass is only one hash value, and the amount of communication can be significantly reduced.
- the reply since there is a message that can not be restored by the verifier algorithm V even when using the information sent from the prover algorithm P, when the reply is sent, the message also needs to be sent. According to this configuration, it is possible to reduce the number of pieces of information to be sent by N ⁇ 1 in the case of N parallel repeated configurations.
- Process (1) The prover algorithm P arbitrarily selects a number w i .
- Process (4) The prover algorithm P generates a hash value c 1, i of F i A (z i ) and z i . That is, the prover algorithm P calculates c 1, i ⁇ H 1 (F i A (z i ), z i ).
- the dialogue protocol according to the present embodiment guarantees a security level against passive attacks. However, if you apply the above method of repeatedly executing this dialogue protocol in parallel and repeat the conditions described below to prove that the security level against active attacks is assuredly assured. It will be necessary.
- the prover proves to the verifier through the dialogue what it knows. Therefore, when the dialog accepted in the verification is performed, there is no denying possibility that the verifier may be informed of the information that "the prover used s in the dialog". Moreover, the collision resistance is not guaranteed for the multivariate polynomial F. Therefore, it is difficult to unconditionally prove that the security against active attacks is reliably guaranteed when the above interaction protocol is repeatedly executed in parallel.
- the inventor of the present invention examined a method of preventing the verifier from knowing the information that "the prover used s in the dialogue" even when the dialogue accepted in the verification was performed. Then, the inventor of the present invention has devised a method of enabling to prove that the security against active attacks is assuredly assured even when repeatedly executing the above-mentioned dialogue protocol in parallel.
- FIG. 20 is an explanatory diagram for describing one specific example of the present method.
- the key generation algorithm Gen sets (f 1 ,..., F m , y) as the public key pk and sets s as the secret key.
- the vector (x 1 ,..., X n ) is represented as x
- the set of quadratic polynomials (f 1 (x),..., F m (x)) is represented as F (x).
- Process # 1 (cont.): Then, the prover algorithm P generates a hash value c 1 of F A (z) and z. That is, the prover algorithm P calculates c 1 HH 1 (F A (z), z). Also, the prover algorithm P generates a number w of hash values c 2 . That is, the prover algorithm P calculates c 2 HH 2 (w). The above H 1 explicit and H 2 strict are hash functions. The message (c 1 , c 2 ) generated in step # 1 is sent to the verifier algorithm V.
- Process # 2 The verifier algorithm V that receives the message (c 1 , c 2 ) randomly selects one number ⁇ from the elements of the ring K existing q ways, and sends the selected number ⁇ to the prover algorithm P.
- Process # 3 The prover algorithm P that has received the number ⁇ calculates F B (x) ⁇ ⁇ F (x + r) + F A (x). This calculation corresponds to the operation of masking the multivariable polynomial F (x + r) with respect to x by the multivariable polynomial F A (x).
- the multivariable polynomial F B generated at step # 3 is sent to the verifier algorithm V.
- Process # 4 The verifier algorithm V that has received the multivariate polynomial F B selects which of the two verification patterns is to be used. For example, the verifier algorithm V selects one numerical value from two numerical values ⁇ 0, 1 ⁇ representing the type of verification pattern, and sets the selected numerical value to the request d. This request d is sent to the prover algorithm P.
- Process # 5 The prover algorithm P that has received the request d generates a response ⁇ to be sent back to the verifier algorithm V in response to the received request d.
- the response ⁇ generated in step # 5 is sent to the verifier algorithm V.
- Process # 6 The verifier algorithm V that has received the response ⁇ executes the following verification process using the received response ⁇ .
- Process # 1 First, the prover algorithm P arbitrarily selects the number w. Next, the prover algorithm P applies the number w to the pseudo random number generator G to generate vectors r ⁇ K n , t ⁇ K n and e ⁇ K m . That is, the prover algorithm P calculates (r, t, e) ⁇ -G (w). Then, the prover algorithm P calculates z ⁇ s ⁇ r. This calculation corresponds to an operation of masking the secret key s by the vector r.
- Process # 1 (cont.): Then, the prover algorithm P generates a hash value c 1 of F b (z, t) + e and z. That is, the prover algorithm P calculates c 1 ⁇ H 1 (F b (z, t) + e, z). Also, the prover algorithm P generates a number w of hash values c 2 . That is, the prover algorithm P calculates c 2 HH 2 (w). The above H 1 covered and H 2 strict are hash functions. The message (c 1 , c 2 ) generated in step # 1 is sent to the verifier algorithm V.
- Process # 2 The verifier algorithm V that receives the message (c 1 , c 2 ) randomly selects one number ⁇ from the elements of the ring K existing q ways, and sends the selected number ⁇ to the prover algorithm P.
- Process # 3 The prover algorithm P that has received the number ⁇ calculates t A ⁇ r + t. Furthermore, the prover algorithm P calculates e A ⁇ F (r) + e. Then, the prover algorithm P sends t A and e A to the verifier algorithm V.
- Process # 4 The verifier algorithm V that has received t A and e A selects which one of two verification patterns to use. For example, the verifier algorithm V selects one numerical value from two numerical values ⁇ 0, 1 ⁇ representing the type of verification pattern, and sets the selected numerical value to the request d. This request d is sent to the prover algorithm P.
- Process # 5 The prover algorithm P that has received the request d generates a response ⁇ to be sent back to the verifier algorithm V in response to the received request d.
- the response ⁇ generated in step # 5 is sent to the verifier algorithm V.
- Process # 6 The verifier algorithm V that has received the response ⁇ executes the following verification process using the received response ⁇ .
- step # 3 of the algorithm shown in FIG. 22 this calculation may be transformed into a calculation of t A ⁇ (r + t) as shown in FIG. 23.
- ⁇ is selected from ⁇ ⁇ R K ⁇ ⁇ 0 ⁇ in step # 2.
- step # 3 of the algorithm shown in FIG. 25 this calculation may be transformed into calculation of t A ⁇ (r + t) as shown in FIG. 26.
- FIG. 29 Parallelization of efficient algorithm: Fig. 29
- parallelization algorithm The configuration shown in FIG. 29 (hereinafter, parallelization algorithm) is obtained by parallelizing the efficient algorithm shown in FIG.
- the efficient algorithm shown in FIG. 28 is an algorithm having substantially the same configuration as the efficient algorithm shown in FIG.
- the description will be made in accordance with the flowchart shown in FIG.
- Process (1) The prover algorithm P arbitrarily generates vectors r i , t i ⁇ K n and e i ⁇ K m .
- the verifier algorithm V outputs the value 1 indicating the authentication success when the verification is successful, and outputs the value 0 indicating the authentication failure when the verification fails.
- the verifier algorithm V outputs the value 1 indicating the authentication success when the verification is successful, and outputs the value 0 indicating the authentication failure when the verification fails.
- FIG. 30 (More efficient parallelization algorithm: Fig. 31)
- the parallelization algorithm shown in FIG. 30 can be further streamlined as shown in FIG. As shown in FIG. 31, this parallelization algorithm converts (t 1 A , e 1 A ,..., T N A , e N A ) into a hash value v in step # 3, and the hash value v is converted to
- the third pass is configured to send from the prover algorithm P to the verifier algorithm V in the third pass.
- Hybrid configuration 1 A hybrid type algorithm (hereinafter referred to as parallel serial algorithm) will be described with reference to FIG.
- FIG. 32 shows a basic configuration according to the present method, a serialization algorithm which serializes this basic configuration, a parallelization algorithm which is parallelized, and a parallel-serial algorithm.
- N numbers ( ⁇ 1 ,..., ⁇ N ) are sent from the verifier to the prover.
- a vector of N times from the prover to the verifier (t 1 A, ..., t N A, e 1 A, ..., e N A) is sent.
- N times of requests (d 1 ,..., D N ) are sent from the verifier to the prover.
- N proves ( ⁇ 1 ,..., ⁇ N ) are sent from the prover to the verifier.
- the parallelization algorithm according to this method guarantees security against passive attacks. Also, the number of dialogues is five. Further, communication efficiency can be improved by combining N messages sent in the first pass, N vectors sent in the third pass, etc. into one hash value.
- one message (c 1,1 , c 2,1 ) is sent from the prover to the verifier.
- a number ⁇ 1 is sent from the verifier to the prover.
- one vector (t 1 A , e 1 A ) is sent from the prover to the verifier.
- a single request d 1 is sent from the verifier to the prover.
- one test response ⁇ 1 is sent from the prover to the verifier.
- the dialogue is repeatedly executed until a response ⁇ N is sent from the prover to the verifier.
- the serialization algorithm is secure against active attacks. It is also possible to prove that the false proof probability is reliably reduced.
- the parallel-serial algorithm is an algorithm combining the properties of the parallelization algorithm and the properties of the serialization algorithm.
- N messages (c 1 , 1 , c 2 , 1 ,..., C 1, N , c 2, N ) are transmitted from the prover to the verifier in the first pass Sent.
- a number ⁇ 1 is sent from the verifier to the prover.
- one vector (t 1 A , e 1 A ) is sent from the prover to the verifier.
- a single request d 1 is sent from the verifier to the prover.
- one test response ⁇ 1 is sent from the prover to the verifier.
- FIG. 33 shows a basic configuration according to the present method, a serialization algorithm which serializes this basic configuration, a parallelization algorithm which is parallelized, and a parallel-serial algorithm.
- the basic configuration, the serialization algorithm, and the configuration and properties of the parallelization algorithm are as described above.
- the parallel-serial algorithm shown in FIG. 33 is an algorithm combining the property of the parallelization algorithm and the property of the serialization algorithm.
- N messages (c 1,1 , c 2,1 ,..., C 1, N , c 2, N ) are sent from the prover to the verifier.
- N numbers ( ⁇ 1 ,..., ⁇ N ) are sent from the verifier to the prover.
- N vectors (t 1 A , e 1 A ,..., T N A , e N A ) are sent from the prover to the verifier.
- a single request d 1 is sent from the verifier to the prover.
- one test response ⁇ 1 is sent from the prover to the verifier. Thereafter, exchange of d 2 ,..., D N , ⁇ 2 ,..., ⁇ N is performed between the prover and the verifier.
- the number of dialogues is 2N + 3. Further, communication efficiency can be improved by combining N messages transmitted in the first pass, N vectors transmitted in the third pass, etc. into one hash value.
- FIG. 34 shows a basic configuration according to the present method, a serialization algorithm which serializes this basic configuration, a parallelization algorithm which is parallelized, and a serial-parallel algorithm.
- the basic configuration, the serialization algorithm, and the configuration and properties of the parallelization algorithm are as described above.
- the serial-parallel algorithm shown in FIG. 34 is an algorithm combining the property of the parallelization algorithm and the property of the serialization algorithm.
- this series-parallel algorithm in the first pass, one message (c 1,1 , c 2,1 ) is sent from the prover to the verifier.
- a number ⁇ 1 is sent from the verifier to the prover.
- one vector (t 1 A , e 1 A ) is sent from the prover to the verifier.
- a single request d 1 is sent from the verifier to the prover. Then, between the prover and the verifier, c 1,2, c 2,2, ...
- N proves ( ⁇ 1 ..., ⁇ N ) are sent from the prover to the verifier.
- FIG. 35 shows a basic configuration according to the present method, a serialization algorithm which serializes this basic configuration, a parallelization algorithm which is parallelized, and a series parallel algorithm.
- the basic configuration, the serialization algorithm, and the configuration and properties of the parallelization algorithm are as described above.
- the serial-parallel algorithm shown in FIG. 35 is an algorithm combining the property of the parallelization algorithm and the property of the serialization algorithm.
- this series-parallel algorithm in the first pass, one message (c 1,1 , c 2,1 ) is sent from the prover to the verifier.
- a number ⁇ 1 is sent from the verifier to the prover. Thereafter, exchange of c 1,2 , c 2,2 ,..., C 1, N , c 2, N , ⁇ 2 ,..., ⁇ N is performed between the prover and the verifier.
- N vectors of vectors (t 1 A , e 1 A ,..., t N A , e N A ) are sent from the prover to the verifier.
- N requests (d 1 ,..., D 1 ) are sent from the verifier to the prover.
- N proves ( ⁇ 1 ..., ⁇ N ) are sent from the prover to the verifier.
- the efficient algorithm according to the first and second embodiments described above is configured to use a second-order multivariate polynomial expressed by the following equation (20) as a public key (or a system parameter) .
- the above efficient algorithm can be extended to a configuration in which a multivariate polynomial having an order of third or higher is used as a public key (or system parameter).
- the conditions under which the multivariate polynomial f 1 can be used as a public key in the efficient algorithm according to the first and second embodiments described above are: (x 1 ,..., X n ) and It is to be bilinear with respect to y 1 ,..., y n ).
- bilinearity can be easily confirmed as shown in the following equation (23) (underlined portions are linear for each of x i and y i ).
- bilinearity can be confirmed as shown in the following equation (24).
- the underlined part of the following equation (24) indicates bilinearity on the field p (GF) of order p. Therefore, when using the multivariate polynomial expressed by the above equation (21) as the public key of the efficient algorithm according to the second embodiment, the number transmitted by the verifier after step # 2 of the algorithm ⁇ needs to be limited to the elements of GF (p).
- the relationship between the multivariate polynomial (hereinafter referred to as second-order polynomial) expressed by the above equation (20) and the multivariate polynomial (hereinafter referred to as multi-order polynomial) represented by the above equation (21) I want to keep it.
- the solution difficulty of a simultaneous equation composed of mk second-order polynomials is equivalent to the solution difficulty of a simultaneous equation composed of m multi-order polynomials.
- 80 present a simultaneous equations composed of 80 variables quadratic polynomial defined by position number 2 on the body, and 10 a variable multi-order polynomial of ten defined in position on the body of 2 8, The difficulty of answering is equivalent.
- an element of GF (2 8 ) and an element of GF (2) 8 are identified by isomorphism, they are represented by a set of 80 80-variable quadratic polynomials defined on the field of order 2 the function to be and equivalent, the function represented by a set of ten 10 variable multi-order polynomials defined by position number 2 8 on the body exists. For this reason, it is possible to arbitrarily select whether to use the above second-order polynomial or the above-mentioned multiple-order polynomial.
- the efficient algorithm according to the first and second embodiments described above can be extended to use a multi-degree polynomial as a public key, so that the unit of operation can be matched to the architecture for implementing the unit. It will be possible. As a result, computational efficiency can be improved.
- the term g l (x, y) does not become bilinear. Therefore, four variables x 1, x 2, x 3, claim from x 4 two selected six x i x j, and four variables x 1, x 2, x 3, but from x 4 3 three selected
- the four terms x i x j x k are expressed by four variables t ij , t ij A , t ijk and t ijk A as in the following equation (28) and equation (29). Using this expression, the above-described efficient algorithm can be realized using multivariate polynomials of third order or higher.
- a fourth-order term is added to the second-order polynomial, but instead of the fourth-order term, a third-order term (for example, x 1 x 2 x 3 ) Or a fifth or higher order term (for example, x 1 x 2 x 3 x 4 x 5 ) may be added.
- a third-order term for example, x 1 x 2 x 3
- a fifth or higher order term for example, x 1 x 2 x 3 x 4 x 5
- coefficients of multivariate polynomials and the like are parameters common to the system, when vulnerability is found in the multivariate polynomials, it becomes necessary to update the setting for the entire system. Also, for multivariate polynomials with randomly selected coefficients, although the average robustness (the difficulty of solving) is analyzed, it must be sufficiently robust for multivariate polynomials with certain specific coefficients It is difficult to guarantee.
- the inventor of the present invention has devised a mechanism for generating coefficients of a multivariate polynomial by using a character string or the like selected by each user as a seed of a pseudorandom number generator. For example, a method of using a user's e-mail address as a seed or using a character string obtained by combining an e-mail address and an update date and time as a seed may be considered. If such a method is used, even if vulnerability is found in a multivariate polynomial having a coefficient generated from a certain character string, the influence is limited to only users using the multivariate polynomial having that coefficient. Be done. In addition, since the multivariate polynomial is changed only by changing the character string, the vulnerability can be easily eliminated.
- the setting method of the system parameter was demonstrated.
- the character string is taken as an example, but a string of numbers or a string of symbols different for each user may be used.
- the prover may misunderstand that the bit of the request d transmitted in the second pass has become another bit due to a communication error.
- the inventor of the present invention has devised a method for avoiding the occurrence of leakage of the secret key as described above. Specifically, when the prover requests a response to two or more requests d for one message, the dialog is ended or the dialog is started from the first pass using a new random number. A way to start over was devised. If this method is applied, even if the verifier falsely requests a response corresponding to two or more requests d, the secret key will not be leaked.
- the device for preventing leakage of the private key due to the irregular request has been described.
- the three-pass basic configuration is taken as an example here, the security can be improved by adding the same idea to the serial method, parallel method, or hybrid type algorithm. .
- the same is true for the 5-pass algorithm.
- the prover may request the verifier to resend the request d because the request d is lost.
- the verifier may consider that the request transmitted earlier has been lost due to a communication error, and may resend the request d at the request of the prover. If the retransmitted request d is different from the previously transmitted request d, the falsification is successful.
- the request d being randomly selected provides the prover with an opportunity of false evidence. Therefore, the inventor of the present invention has devised a method for preventing the opportunity of perjury.
- the verifier terminates the dialogue or retransmits the same request d as the previous one without generating a new random number. To improve the dialogue protocol. By applying this method, it is possible to eliminate the opportunity for falsification using request d's retransmission request.
- ⁇ 6 Hardware configuration example>
- Each of the above algorithms can be executed using, for example, the hardware configuration of the information processing apparatus shown in FIG. That is, the processing of each algorithm is realized by controlling the hardware shown in FIG. 38 using a computer program.
- the form of this hardware is arbitrary and, for example, personal computer, portable telephone, portable information terminal such as PHS, PDA, game machine, contact or non-contact IC chip, contact or non-contact IC This includes cards, or various home information appliances.
- PHS is an abbreviation for Personal Handy-phone System.
- the above PDA is an abbreviation of Personal Digital Assistant.
- this hardware mainly includes a CPU 902, a ROM 904, a RAM 906, a host bus 908, and a bridge 910. Further, the hardware includes an external bus 912, an interface 914, an input unit 916, an output unit 918, a storage unit 920, a drive 922, a connection port 924, and a communication unit 926.
- said CPU is the abbreviation for Central Processing Unit.
- ROM is an abbreviation of Read Only Memory.
- the above RAM is an abbreviation of Random Access Memory.
- the CPU 902 functions as, for example, an arithmetic processing unit or a control unit, and controls the entire operation of each component or a part thereof based on various programs recorded in the ROM 904, the RAM 906, the storage unit 920, or the removable recording medium 928.
- the ROM 904 is a means for storing a program read by the CPU 902, data used for an operation, and the like.
- the RAM 906 temporarily or permanently stores, for example, a program read by the CPU 902, various parameters that appropriately change when the program is executed, and the like.
- a host bus 908 capable of high-speed data transmission.
- the host bus 908 is connected to the external bus 912, which has a relatively low data transmission speed, via the bridge 910, for example.
- the input unit 916 for example, a mouse, a keyboard, a touch panel, a button, a switch, a lever, or the like is used.
- a remote controller capable of transmitting a control signal using infrared rays or other radio waves may be used.
- a display device such as a CRT, LCD, PDP, or ELD
- an audio output device such as a speaker or a headphone, a printer, a mobile phone, or a facsimile etc.
- the above-mentioned CRT is an abbreviation of Cathode Ray Tube.
- the above LCD is an abbreviation of Liquid Crystal Display.
- the above-mentioned PDP is an abbreviation of Plasma Display Panel.
- the above ELD is an abbreviation of Electro-Luminescence Display.
- the storage unit 920 is a device for storing various data.
- a magnetic storage device such as a hard disk drive (HDD), a semiconductor storage device, an optical storage device, a magneto-optical storage device, or the like is used.
- HDD hard disk drive
- the above HDD is an abbreviation of Hard Disk Drive.
- the drive 922 is a device that reads information recorded in a removable recording medium 928 such as, for example, a magnetic disk, an optical disk, a magneto-optical disk, or a semiconductor memory, or writes information in the removable recording medium 928.
- the removable recording medium 928 is, for example, a DVD medium, a Blu-ray medium, an HD DVD medium, various semiconductor storage media, and the like.
- the removable recording medium 928 may be, for example, an IC card equipped with a noncontact IC chip, an electronic device, or the like.
- the above IC is an abbreviation for Integrated Circuit.
- the connection port 924 is a port for connecting an external connection device 930 such as a USB port, an IEEE 1394 port, a SCSI, an RS-232C port, or an optical audio terminal.
- the external connection device 930 is, for example, a printer, a portable music player, a digital camera, a digital video camera, an IC recorder, or the like.
- USB is an abbreviation of Universal Serial Bus.
- SCSI is an abbreviation of Small Computer System Interface.
- the communication unit 926 is a communication device for connecting to the network 932, and for example, a wired or wireless LAN, a communication card for Bluetooth (registered trademark) or WUSB, a router for optical communication, a router for ADSL, or a contact Or a device for contactless communication.
- a network 932 connected to the communication unit 926 is configured by a wired or wirelessly connected network, and is, for example, the Internet, a home LAN, infrared communication, visible light communication, broadcasting, satellite communication, or the like.
- the above-mentioned LAN is an abbreviation of Local Area Network.
- WUSB is an abbreviation of Wireless USB.
- the above-mentioned ADSL is an abbreviation of Asymmetric Digital Subscriber Line.
- the functional configuration of the above information processing apparatus is expressed as follows.
- the information processing apparatus described in the following (1) has an efficient digital signature scheme signature providing function that bases security on the difficulty of solving multi-order multivariate simultaneous equations.
- a message generator for generating N sets of messages based on a set of multi-order multivariate polynomials F (f 1 ,..., F m ) defined on a ring K and a vector s ⁇ K n ;
- a document M and N sets of said messages are input to a unidirectional function which selects one piece of first information from k pieces (k (3) of pieces of first information for one set of input information.
- a first information selection unit that selects N pieces of first information;
- a second information generator configured to generate N pieces of second information respectively corresponding to the N pieces of first information;
- the vector s is a signature key
- the set F of multi-order multivariate polynomials and the vector y are public keys
- the message is information obtained by executing a predetermined operation selected according to a type of first information corresponding to the second information using the public key and the second information.
- Information processing device is information obtained by executing a predetermined operation selected according to a type of first information corresponding to the second information using the public key and the second information.
- the set F of multi-order multivariate polynomials is generated using information different for each user who generates the public key, The information processing apparatus according to the above (1) or (2).
- a document M and N sets of the message are input to a one-way function that selects one piece of first information from k pieces (k) 3) pieces of first information for one set of input information
- a signature acquisition unit for acquiring an electronic signature including N pieces of first information selected by the user and N pieces of second information respectively corresponding to the N pieces of first information;
- a signature verification unit that verifies the legitimacy of the document M based on the message, the set F of the multi-order multivariate polynomials, the vector y, and the electronic signature; Equipped with The vector s is a signature key,
- the set F of multi-order multivariate polynomials is generated using information different for each user who generates the public key, The information processing apparatus according to (5) or (6) above.
- a document M and N sets of the message are input to a one-way function that selects one piece of first information from k pieces (k) 3) pieces of first information for one set of input information
- Including The vector s is a signature key,
- a message generation function of generating N sets of messages based on a set of multi-order multivariate polynomials F (f 1 ,..., F m ) defined on a ring K and a vector s ⁇ K n ;
- a document M and N sets of said messages are input to a unidirectional function which selects one piece of first information from k pieces (k (3) of pieces of first information for one set of input information.
- the vector s is a signature key
- the set F of multi-order multivariate polynomials and the vector y are public keys
- the message is information obtained by executing a predetermined operation selected according to a type of first information corresponding to the second information using the public key and the second information. program.
- S Information holding function, and A message acquisition function of acquiring N sets of messages generated based on the set F of multi-order multivariate polynomials and a vector s ⁇ K n ;
- a document M and N sets of the message are input to a one-way function that selects one piece of first information from k pieces (k) 3) pieces of first information for one set of input information
- a signature verification function for verifying the legitimacy of the document M based on the message, the set F of the multi-order multivariate polynomials, the vector y, and the electronic signature; Is a program to make computer
- the vector s is a
- a message generation function of generating N sets of messages based on a set of multi-order multivariate polynomials F (f 1 ,..., F m ) defined on a ring K and a vector s ⁇ K n ;
- a document M and N sets of said messages are input to a unidirectional function which selects one piece of first information from k pieces (k (3) of pieces of first information for one set of input information.
- the vector s is a signature key
- the set F of multi-order multivariate polynomials and the vector y are public keys
- the message is information obtained by executing a predetermined operation selected according to a type of first information corresponding to the second information using the public key and the second information. recoding media.
- the m and n have a relation of m ⁇ n, The information processing apparatus according to any one of the above (1) to (8).
- the m and n have a relationship of 2 m ⁇ n ⁇ 1.
- the above signature generation algorithm Sig is an example of a message generation unit, a first information selection unit, a second information generation unit, and a signature provision unit.
- the above signature verification algorithm Ver is an example of a message acquisition unit, a signature acquisition unit, and a signature verification unit.
Landscapes
- Engineering & Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Theoretical Computer Science (AREA)
- Computing Systems (AREA)
- General Physics & Mathematics (AREA)
- Mathematical Analysis (AREA)
- Mathematical Optimization (AREA)
- Mathematical Physics (AREA)
- Pure & Applied Mathematics (AREA)
- Algebra (AREA)
- Physics & Mathematics (AREA)
- Storage Device Security (AREA)
Abstract
Description
ここで、以下に記載する本技術の実施形態に関する説明の流れについて簡単に述べる。まず、図1を参照しながら、公開鍵認証方式のアルゴリズム構成について説明する。次いで、図2を参照しながら、電子署名方式のアルゴリズム構成について説明する。次いで、図3を参照しながら、nパスの公開鍵認証方式について説明する。
1:はじめに
1-1:公開鍵認証方式のアルゴリズム
1-2:電子署名方式のアルゴリズム
1-3:nパスの公開鍵認証方式
2:第1実施形態
2-1:公開鍵認証方式のアルゴリズム
2-2:拡張アルゴリズム
2-3:並列化アルゴリズム
2-4:具体例(2次多項式を利用する場合)
2-5:効率的なアルゴリズム
2-6:電子署名方式への変形
2-6-1:変形方法
2-6-2:電子署名アルゴリズムの効率化
2-7:多次多変数連立方程式の形式
2-7-1:共通鍵ブロック暗号に関する形式
2-7-2:ハッシュ関数に関する形式
2-7-3:ストリーム暗号に関する形式
2-8:直列・並列ハイブリッドアルゴリズム
3:第2実施形態
3-1:公開鍵認証方式のアルゴリズム
3-2:拡張アルゴリズム
3-3:並列化アルゴリズム
3-4:具体例(2次多項式を利用する場合)
3-5:効率的なアルゴリズム
3-6:直列・並列ハイブリッドアルゴリズム
4:効率的なアルゴリズムの拡張
4-1:多変数多項式の高次化について
4-2:拡張方式(高次項の追加)
5:頑強性を高める仕組み
5-1:システムパラメータの設定方法
5-2:イレギュラーな要求に対する応答方法
5-2-1:証明者による応答方法について
5-2-2:検証者による応答方法について
6:ハードウェア構成例
7:まとめ
はじめに、本技術に係る実施形態について詳細に説明するに先立ち、公開鍵認証方式のアルゴリズム、電子署名方式のアルゴリズム、及びnパスの公開鍵認証方式について、その概要を簡単に説明する。
まず、図1を参照しながら、公開鍵認証方式のアルゴリズムについて概要を説明する。図1は、公開鍵認証方式のアルゴリズムについて概要を説明するための説明図である。
公開鍵認証方式のモデルには、図1に示すように、証明者と検証者という2つのエンティティが存在する。証明者は、鍵生成アルゴリズムGenを用いて、証明者固有の秘密鍵skと公開鍵pkの組を生成する。次いで、証明者は、鍵生成アルゴリズムGenを用いて生成した秘密鍵skと公開鍵pkの組を利用して検証者と対話プロトコルを実行する。このとき、証明者は、証明者アルゴリズムPを利用して対話プロトコルを実行する。上記の通り、証明者は、証明者アルゴリズムPを利用し、対話プロトコルの中で秘密鍵skを保有している証拠を検証者に提示する。
鍵生成アルゴリズムGenは、証明者により利用される。鍵生成アルゴリズムGenは、証明者に固有の秘密鍵skと公開鍵pkとの組を生成するアルゴリズムである。鍵生成アルゴリズムGenにより生成された公開鍵pkは公開される。そして、公開された公開鍵pkは、検証者により利用される。一方、鍵生成アルゴリズムGenにより生成された秘密鍵skは、証明者が秘密に管理する。そして、証明者により秘密に管理される秘密鍵skは、公開鍵pkに対応する秘密鍵skを証明者が保有していることを検証者に対して証明するために利用される。形式的に、鍵生成アルゴリズムGenは、セキュリティパラメータ1λ(λは0以上の整数)を入力とし、秘密鍵skと公開鍵pkを出力するアルゴリズムとして、下記の式(1)のように表現される。
証明者アルゴリズムPは、証明者により利用される。証明者アルゴリズムPは、公開鍵pkに対応する秘密鍵skを証明者が保有していることを検証者に対して証明するためのアルゴリズムである。つまり、証明者アルゴリズムPは、秘密鍵skと公開鍵pkとを入力とし、対話プロトコルを実行するアルゴリズムである。
検証者アルゴリズムVは、検証者により利用される。検証者アルゴリズムVは、対話プロトコルの中で、公開鍵pkに対応する秘密鍵skを証明者が保有しているか否かを検証するアルゴリズムである。検証者アルゴリズムVは、公開鍵pkを入力とし、対話プロトコルの実行結果に応じて0又は1(1bit)を出力するアルゴリズムである。なお、検証者は、検証者アルゴリズムVが0を出力した場合には証明者が不正なものであると判断し、1を出力した場合には証明者が正当なものであると判断する。形式的に、検証者アルゴリズムVは、下記の式(2)のように表現される。
次に、図2を参照しながら、電子署名方式のアルゴリズムについて概要を説明する。図2は、電子署名方式のアルゴリズムについて概要を説明するための説明図である。
電子署名方式のモデルには、図2に示すように、署名者及び検証者という2つのエンティティが存在する。そして、電子署名方式のモデルは、鍵生成アルゴリズムGen、署名生成アルゴリズムSig、署名検証アルゴリズムVerという3つのアルゴリズムにより構成される。
鍵生成アルゴリズムGenは、署名者により利用される。鍵生成アルゴリズムGenは、署名者固有の署名鍵skと検証鍵pkとの組を生成するアルゴリズムである。鍵生成アルゴリズムGenにより生成された検証鍵pkは公開される。一方、鍵生成アルゴリズムGenにより生成された署名鍵skは、署名者により秘密に管理される。そして、署名鍵skは、文書Mに付与される電子署名σの生成に利用される。例えば、鍵生成アルゴリズムGenは、セキュリティパラメータ1λ(λは0以上の整数)を入力とし、署名鍵sk及び公開鍵pkを出力する。この場合、鍵生成アルゴリズムGenは、形式的に、下記の式(3)のように表現することができる。
署名生成アルゴリズムSigは、署名者により利用される。署名生成アルゴリズムSigは、文書Mに付与される電子署名σを生成するアルゴリズムである。署名生成アルゴリズムSigは、署名鍵skと文書Mとを入力とし、電子署名σを出力するアルゴリズムである。この署名生成アルゴリズムSigは、形式的に、下記の式(4)のように表現することができる。
署名検証アルゴリズムVerは、検証者により利用される。署名検証アルゴリズムVerは、電子署名σが文書Mに対する正当な電子署名であるか否かを検証するアルゴリズムである。署名検証アルゴリズムVerは、署名者の検証鍵pk、文書M、電子署名σを入力とし、0又は1(1bit)を出力するアルゴリズムである。この署名検証アルゴリズムVerは、形式的に、下記の式(5)のように表現することができる。なお、検証者は、署名検証アルゴリズムVerが0を出力した場合(公開鍵pkが文書Mと電子署名σを拒否する場合)に電子署名σが不当であると判断し、1を出力した場合(公開鍵pkが文書Mと電子署名σを受理する場合)に電子署名σが正当であると判断する。
次に、図3を参照しながら、nパスの公開鍵認証方式について説明する。図3は、nパスの公開鍵認証方式について説明するための説明図である。
以下、本技術の第1実施形態について説明する。本実施形態は、多次多変数連立方程式に対する求解問題の困難性に安全性の根拠をおく公開鍵認証方式及び電子署名方式に関する。但し、本実施形態は、HFE電子署名方式などの従来手法とは異なり、効率的に解く手段(トラップドア)を持たない多次多変数連立方程式を利用する公開鍵認証方式及び電子署名方式に関する。
まず、図4を参照しながら、本実施形態に係る公開鍵認証方式(以下、本手法)のアルゴリズムについて説明する。図4は、本手法のアルゴリズムについて説明するための説明図である。なお、本手法は、鍵生成アルゴリズムGen、証明者アルゴリズムP、検証者アルゴリズムVにより構成される。以下、各アルゴリズムの構成について説明する。
鍵生成アルゴリズムGenは、環K上で定義されるm本の多変数多項式f1(x1,…,xn),…,fm(x1,…,xn)、及びベクトルs=(s1,…,sn)∈Knを生成する。次に、鍵生成アルゴリズムGenは、y=(y1,…,ym)←(f1(s),…,fm(s))を計算する。そして、鍵生成アルゴリズムGenは、(f1(x1,…,xn),…,fm(x1,…,xn),y)を公開鍵pkに設定し、sを秘密鍵に設定する。なお、以下では、ベクトル(x1,…,xn)をxと表記し、多変数多項式の組(f1(x),…,fm(x))をF(x)と表記することにする。
次に、図4を参照しながら、対話プロトコルの中で証明者アルゴリズムPが実行する処理及び検証者アルゴリズムVが実行する処理について説明する。
まず、証明者アルゴリズムPは、任意に数wを選択する。次いで、証明者アルゴリズムPは、擬似乱数生成器G1に数wを適用してベクトルr∈Kn及び数wAを生成する。つまり、証明者アルゴリズムPは、(r,wA)←G1(w)を計算する。次いで、証明者アルゴリズムPは、擬似乱数生成器G2に数wAを適用して多変数多項式FA(x)=(fA 1(x),…,fA m(x))を生成する。つまり、証明者アルゴリズムPは、FA←G2(wA)を計算する。
次いで、証明者アルゴリズムPは、z←s-rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。さらに、証明者アルゴリズムPは、FB(x)←F(x+r)+FA(x)を計算する。この計算は、xに関して多変数多項式F(x+r)を多変数多項式FA(x)によりマスクする操作に相当する。
次いで、証明者アルゴリズムPは、FA(z)及びzのハッシュ値c1を生成する。つまり、証明者アルゴリズムPは、c1←H1(FA(z),z)を計算する。また、証明者アルゴリズムPは、数wAのハッシュ値c2を生成する。つまり、証明者アルゴリズムPは、c2←H2(wA)を計算する。さらに、証明者アルゴリズムPは、多変数多項式FBのハッシュ値c3を生成する。つまり、証明者アルゴリズムPは、c3←H3(FB(x))を計算する。なお、上記のH1(…)、H2(…)、H3(…)は、ハッシュ関数である。このハッシュ値(c1,c2,c3)は、メッセージとして検証者アルゴリズムVに送られる。このとき、sに関する情報、rに関する情報、zに関する情報が検証者に一切漏れない点に注意されたい。
メッセージ(c1,c2,c3)を受け取った検証者アルゴリズムVは、3つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す3つの数値{0,1,2}の中から1つの数値を選択し、選択した数値を要求dに設定する。この要求dは証明者アルゴリズムPに送られる。
要求dを受け取った証明者アルゴリズムPは、受け取った要求dに応じて検証者アルゴリズムVに送る返答σを生成する。d=0の場合、証明者アルゴリズムPは、返答σ=wを生成する。d=1の場合、証明者アルゴリズムPは、返答σ=(wA,z)を生成する。d=2の場合、証明者アルゴリズムPは、返答σ=(FB(z),z)を生成する。工程#3で生成された返答σは、検証者アルゴリズムVに送られる。このとき、d=0の場合にはzに関する情報が検証者に一切漏れておらず、d=1又は2の場合にはrに関する情報が検証者に一切漏れない点に注意されたい。
返答σを受け取った検証者アルゴリズムVは、受け取った返答σを利用して以下の検証処理を実行する。
ここで、本手法の健全性について説明を補足する。本手法の健全性は、「検証者アルゴリズムVが選択可能な要求d=0,1,2の全てについて、証明者アルゴリズムPが正しい返答σを返したならば、下記の式(6)及び式(7)を満たすFD、FC、rA、zAが計算可能になる」という論理に基づいて保証されている。
ここで、上記アルゴリズムの一変形例を紹介する。上記の鍵生成アルゴリズムGenは、y←F(s)を計算し、公開鍵を(F,y)に設定していた。一方、本変形例において、鍵生成アルゴリズムGenは、(y1,…,ym)←F(s)及び(f1 *(x),…,fm *(x))←(f1(x)-y1,…,fm(x)-ym)を計算し、公開鍵を(f1 *,…,fm *)に設定する。このように変形すると、y=0として対話プロトコルを実行することが可能になる。
次に、図5を参照しながら、本手法を拡張した公開鍵認証方式(以下、拡張手法)のアルゴリズムについて説明する。図5は、拡張手法に基づく対話プロトコルの流れについて説明するための説明図である。
鍵生成アルゴリズムGenは、環K上で定義されるm本の多変数多項式f1(x1,…,xn),…,fm(x1,…,xn)、及びベクトルs=(s1,…,sn)∈Knを生成する。次に、鍵生成アルゴリズムGenは、y=(y1,…,ym)←(f1(s),…,fm(s))を計算する。そして、鍵生成アルゴリズムGenは、(f1(x1,…,xn),…,fm(x1,…,xn),y)を公開鍵pkに設定し、sを秘密鍵に設定する。なお、以下では、ベクトル(x1,…,xn)をxと表記し、多変数多項式の組(f1(x),…,fm(x))をF(x)と表記することにする。
次に、図5を参照しながら、対話プロトコルの中で証明者アルゴリズムPが実行する処理及び検証者アルゴリズムVが実行する処理について説明する。
まず、証明者アルゴリズムPは、任意に数wを選択する。次いで、証明者アルゴリズムPは、擬似乱数生成器G1に数wを適用してベクトルr∈Knと数wAを生成する。つまり、証明者アルゴリズムPは、(r,wA)←G1(w)を計算する。次いで、証明者アルゴリズムPは、擬似乱数生成器G2に数wAを適用して多変数多項式FA(x)=(fA 1(x),…,fA m(x))を生成する。つまり、証明者アルゴリズムPは、FA←G2(wA)を計算する。
次いで、証明者アルゴリズムPは、z←s-rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。さらに、証明者アルゴリズムPは、FB(x)←F(x+r)+FA(x)を計算する。この計算は、xについての多項式の組F(x+r)を多項式の組FA(x)によりマスクする操作に相当する。
次いで、証明者アルゴリズムPは、FB(z)とzのハッシュ値c1を生成する。つまり、証明者アルゴリズムPは、c1←H1(FB(z),z)を計算する。また、証明者アルゴリズムPは、数wAのハッシュ値c2を生成する。つまり、証明者アルゴリズムPは、c2←H2(wA)を計算する。さらに、証明者アルゴリズムPは、多項式の組FBのハッシュ値c3を生成する。つまり、証明者アルゴリズムPは、c3←H3(FB)を計算する。なお、上記のH1(…)、H2(…)、H3(…)は、ハッシュ関数である。拡張方式の場合、証明者アルゴリズムPは、ハッシュ値の組(c1,c2,c3)をハッシュ関数Hに適用してハッシュ値cを生成し、生成したハッシュ値cを検証者アルゴリズムVに送る。
ハッシュ値cを受け取った検証者アルゴリズムVは、3つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す3つの数値{0,1,2}の中から1つの数値を選択し、選択した数値を要求dに設定する。この要求dは証明者アルゴリズムPに送られる。
要求dを受け取った証明者アルゴリズムPは、受け取った要求dに応じて検証者アルゴリズムVに送る返答σを生成する。d=0の場合、証明者アルゴリズムPは、返答(σ,c*)=(w,c1)を生成する。d=1の場合、証明者アルゴリズムPは、返答(σ,c*)=((wA,z),c3)を生成する。d=2の場合、証明者アルゴリズムPは、返答(σ,c*)=((FB,z),c2)を生成する。工程#3で生成された返答(σ,c*)は、検証者アルゴリズムVに送られる。
返答σを受け取った検証者アルゴリズムVは、受け取った返答(σ,c*)を利用して以下の検証処理を実行する。
先に述べた通り、本手法又は拡張手法に係る対話プロトコルを適用すれば、偽証が成功する確率を2/3以下に抑制することができる。従って、この対話プロトコルを2回実行すれば、偽証が成功する確率を(2/3)2以下に抑制することができる。さらに、この対話プロトコルをN回実行すると、偽証が成功する確率は(2/3)Nとなり、Nを十分に大きい数(例えば、N=140)にすれば、偽証が成功する確率は無視できる程度に小さくなる。
鍵生成アルゴリズムGenは、環K上で定義されるm本の多変数多項式f1(x1,…,xn),…,fm(x1,…,xn)、及びベクトルs=(s1,…,sn)∈Knを生成する。次に、鍵生成アルゴリズムGenは、y=(y1,…,ym)←(f1(s),…,fm(s))を計算する。そして、鍵生成アルゴリズムGenは、(f1(x1,…,xn),…,fm(x1,…,xn),y)を公開鍵pkに設定し、sを秘密鍵に設定する。なお、以下では、ベクトル(x1,…,xn)をxと表記し、多変数多項式の組(f1(x),…,fm(x))をF(x)と表記することにする。
次に、図6を参照しながら、対話プロトコルの中で証明者アルゴリズムPが実行する処理及び検証者アルゴリズムVが実行する処理について説明する。
まず、証明者アルゴリズムPは、i=1~Nについて、以下の処理(1)~処理(8)を実行する。
処理(1):証明者アルゴリズムPは、任意に数wiを選択する。
処理(2):証明者アルゴリズムPは、擬似乱数生成器G1に数wiを適用してベクトルri∈Knと数wi Aを生成する。つまり、証明者アルゴリズムPは、(ri,wi A)←G1(wi)を計算する。
処理(3):証明者アルゴリズムPは、擬似乱数生成器G2に数wi Aを適用して多変数多項式の組Fi A(x)を生成する。つまり、証明者アルゴリズムPは、Fi A←G2(wi A)を計算する。
処理(4):証明者アルゴリズムPは、zi←si-riを計算する。この計算は、秘密鍵siをベクトルriによりマスクする操作に相当する。
処理(5):証明者アルゴリズムPは、Fi B(x)←F(x+ri)+Fi A(x)を計算する。この計算は、xについての多項式の組F(x+ri)を多項式の組Fi A(x)によりマスクする操作に相当する。
処理(6):証明者アルゴリズムPは、Fi B(zi)及びziのハッシュ値c1,iを生成する。つまり、証明者アルゴリズムPは、c1,i←H1(Fi B(zi),zi)を計算する。
処理(7):証明者アルゴリズムPは、数wi Aのハッシュ値c2,iを生成する。つまり、証明者アルゴリズムPは、c2,i←H2(wi A)を計算する。
処理(8):証明者アルゴリズムPは、多項式の組Fi Bのハッシュ値c3,iを生成する。つまり、証明者アルゴリズムPは、c3,i←H3(Fi B)を計算する。
なお、上記のH1(…)、H2(…)、H3(…)は、ハッシュ関数である。また、ハッシュ値(c1,i,c2,i,c3,i)はメッセージである。
メッセージ(c1,i,c2,i,c3,i)(i=1~N)を受け取った検証者アルゴリズムVは、i=1~Nのそれぞれについて、3つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、i=1~Nのそれぞれについて、検証パターンの種類を表す3つの数値{0,1,2}の中から1つの数値を選択し、選択した数値を要求diに設定する。この要求diは証明者アルゴリズムPに送られる。
要求di(i=1~N)を受け取った証明者アルゴリズムPは、受け取った要求diに応じて検証者アルゴリズムVに送る返答σiを生成する。このとき、証明者アルゴリズムPは、i=1~Nについて、以下の処理(1)~処理(3)を実行する。
処理(1):di=0の場合、証明者アルゴリズムPは、返答σi=wiを生成する。
処理(2):di=1の場合、証明者アルゴリズムPは、返答σi=(wi A,zi)を生成する。
処理(3):di=2の場合、証明者アルゴリズムPは、返答σi=(Fi B,zi)を生成する。
上記の処理(1)~処理(3)の処理が実行された後、返答σi(i=1~N)は、検証者アルゴリズムVに送られる。
返答σi(i=1~N)を受け取った検証者アルゴリズムVは、受け取った返答σi(i=1~N)を利用して以下の検証処理を実行する。なお、以下の処理は、i=1~Nについて実行される。
さて、本実施形態に係る対話プロトコルは、受動的攻撃に対する安全性が保証されている。しかし、この対話プロトコルを並列的に繰り返し実行する上記の方法を適用した場合、能動的攻撃に対する安全性が確実に保証されていることを証明できるようにするには、以下に示すような条件が必要になる。
次に、図7を参照しながら、多変数多項式Fとしてn変数2次多項式を利用する場合について説明する。図7は、本手法の一具体例について説明するための説明図である。
鍵生成アルゴリズムGenは、環K上で定義されるm本の2次多項式f1(x1,…,xn),…,fm(x1,…,xn)、及びベクトルs=(s1,…,sn)∈Knを生成する。次に、鍵生成アルゴリズムGenは、y=(y1,…,ym)←(f1(s),…,fm(s))を計算する。そして、鍵生成アルゴリズムGenは、(f1,…,fm,y)を公開鍵pkに設定し、sを秘密鍵に設定する。なお、以下では、ベクトル(x1,…,xn)をxと表記し、2次多項式の組(f1(x),…,fm(x))をF(x)と表記する。但し、2次多項式fi(x)は、下記の式(8)のように表現されるものとする。
次に、図7を参照しながら、対話プロトコルの中で証明者アルゴリズムP及び検証者アルゴリズムVにより実行される処理について説明する。
まず、証明者アルゴリズムPは、任意に数wを選択する。次いで、証明者アルゴリズムPは、擬似乱数生成器G1に数wを適用してベクトルr∈Knと数wAを生成する。つまり、証明者アルゴリズムPは、(r,wA)←G1(w)を計算する。次いで、証明者アルゴリズムPは、擬似乱数生成器G2に数wAを適用して1次多項式の組f1 A(x),…,fm A(x)を生成する。つまり、証明者アルゴリズムPは、(f1 A,…,fm A)←G2(wA)を計算する。但し、1次多項式fi A(x)は、下記の式(9)のように表現される。また、1次多項式の組(f1 A(x),…,fm A(x))をFA(x)と表記する。
次いで、証明者アルゴリズムPは、z←s-rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。さらに、証明者アルゴリズムPは、FB(x)←F(x+r)+FA(x)を計算する。この計算は、xに関して2次多項式F(x+r)を1次多項式FA(x)によりマスクする操作に相当する。F(x+r)の中においてrに関する情報はxの1次の項にしか現れない。そのため、rに関する情報は全てFA(x)によりマスクされる。
次いで、証明者アルゴリズムPは、FA(z)及びzのハッシュ値c1を生成する。つまり、証明者アルゴリズムPは、c1←H1(FA(z),z)を計算する。また、証明者アルゴリズムPは、数wAのハッシュ値c2を生成する。つまり、証明者アルゴリズムPは、c2←H2(wA)を計算する。さらに、証明者アルゴリズムPは、多変数多項式FBのハッシュ値c3を生成する。つまり、証明者アルゴリズムPは、c3←H3(FB)を計算する。なお、上記のH1(…)、H2(…)、H3(…)は、ハッシュ関数である。工程#1で生成されたメッセージ(c1,c2,c3)は、検証者アルゴリズムVに送られる。
メッセージ(c1,c2,c3)を受け取った検証者アルゴリズムVは、3つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す3つの数値{0,1,2}の中から1つの数値を選択し、選択した数値を要求dに設定する。この要求dは証明者アルゴリズムPに送られる。
要求dを受け取った証明者アルゴリズムPは、受け取った要求dに応じて検証者アルゴリズムVに送る返答σを生成する。d=0の場合、証明者アルゴリズムPは、返答σ=wを生成する。d=1の場合、証明者アルゴリズムPは、返答σ=(wA,z)を生成する。d=2の場合、証明者アルゴリズムPは、返答σ=(FB(z),z)を生成する。工程#3で生成された返答σは、検証者アルゴリズムVに送られる。
返答σを受け取った検証者アルゴリズムVは、受け取った返答σを利用して以下の検証処理を実行する。
次に、本手法に係るアルゴリズムを効率化する方法について述べる。2次多項式の組(f1(x),…,fm(x))は、下記の式(10)のように表現することができる。但し、x=(x1,…,xn)である。また、A1,…,Amは、n×n行列である。さらに、b1,…,bmはそれぞれn×1ベクトルである。
まず、図8に示した効率的なアルゴリズムの構成について説明する。
証明者アルゴリズムPは、任意に数wを選択する。次いで、証明者アルゴリズムPは、擬似乱数生成器G1に数wを適用してベクトルr∈Knと数wAを生成する。つまり、証明者アルゴリズムPは、(r,wA)←G1(w)を計算する。次いで、証明者アルゴリズムPは、擬似乱数生成器G2に数wAを適用して2つのベクトルt∈Kn、e∈Kmを生成する。つまり、証明者アルゴリズムPは、(t,e)←G2(wA)を計算する。次いで、証明者アルゴリズムPは、z←s-rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。さらに、証明者アルゴリズムPは、tA←r+tを計算する。次いで、証明者アルゴリズムPは、eA←F(r)+eを計算する。
次いで、証明者アルゴリズムPは、上記の式(14)に基づいてFb(z,t)を算出し、Fb(z,t)+e及びzのハッシュ値c1を生成する。つまり、証明者アルゴリズムPは、c1←H1(Fb(z,t)+e,z)を計算する。また、証明者アルゴリズムPは、数wAのハッシュ値c2を生成する。つまり、証明者アルゴリズムPは、c2←H2(wA)を計算する。さらに、証明者アルゴリズムPは、2つのベクトルtA及びeAのハッシュ値c3を生成する。つまり、証明者アルゴリズムPは、c3←H3(tA,eA)を計算する。なお、上記のH1(…)、H2(…)、H3(…)は、ハッシュ関数である。工程#1で生成されたメッセージ(c1,c2,c3)は、検証者アルゴリズムVに送られる。
メッセージ(c1,c2,c3)を受け取った検証者アルゴリズムVは、3つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す3つの数値{0,1,2}の中から1つの数値を選択し、選択した数値を要求dに設定する。この要求dは証明者アルゴリズムPに送られる。
要求dを受け取った証明者アルゴリズムPは、受け取った要求dに応じて検証者アルゴリズムVに送る返答σを生成する。d=0の場合、証明者アルゴリズムPは、返答σ=wを生成する。d=1の場合、証明者アルゴリズムPは、返答σ=(wA,z)を生成する。d=2の場合、証明者アルゴリズムPは、返答σ=(tA,eA,z)を生成する。工程#3で生成された返答σは、検証者アルゴリズムVに送られる。
返答σを受け取った検証者アルゴリズムVは、受け取った返答σを利用して以下の検証処理を実行する。
次に、図9に示した効率的なアルゴリズムの構成について説明する。図9に示した構成を適用した場合も、図8に示した構成を適用した場合と同様に、通信効率及び計算効率の向上効果が得られる。但し、ここでは図8に示した構成との差分について述べる。
次に、図10に示した効率的なアルゴリズムの構成について説明する。
証明者アルゴリズムPは、任意にベクトルr,t∈Kn及びe∈Kmを生成する。次いで、証明者アルゴリズムPは、rA←s-rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。さらに、証明者アルゴリズムPは、tA←r-tを計算する。次いで、証明者アルゴリズムPは、eA←F(r)-eを計算する。
次いで、証明者アルゴリズムPは、c1←H1(Fb(rA,t)+e,rA)を計算する。次いで、証明者アルゴリズムPは、c2←H2(t,e)を計算する。次いで、証明者アルゴリズムPは、c3←H3(tA,eA)を計算する。なお、上記のH1(…)、H2(…)、H3(…)は、ハッシュ関数である。工程#1で生成されたメッセージ(c1,c2,c3)は、検証者アルゴリズムVに送られる。
メッセージ(c1,c2,c3)を受け取った検証者アルゴリズムVは、3つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す3つの数値{0,1,2}の中から1つの数値を選択し、選択した数値を要求dに設定する。この要求dは証明者アルゴリズムPに送られる。
要求dを受け取った証明者アルゴリズムPは、受け取った要求dに応じて検証者アルゴリズムVに送る返答σを生成する。d=0の場合、証明者アルゴリズムPは、返答σ=(r,tA,eA)を生成する。d=1の場合、証明者アルゴリズムPは、返答σ=(rA,t,e)を生成する。d=2の場合、証明者アルゴリズムPは、返答σ=(rA,tA,eA)を生成する。工程#3で生成された返答σは、検証者アルゴリズムVに送られる。
返答σを受け取った検証者アルゴリズムVは、受け取った返答σを利用して以下の検証処理を実行する。
次に、図11を参照しながら、効率的なアルゴリズムを並列化する方法について説明する。図11に示した構成(以下、並列化アルゴリズム)は、上記の構成例3に係る効率的なアルゴリズムを並列化したものである。
証明者アルゴリズムPは、i=1~Nについて処理(1)~処理(6)を実行する。
処理(1):証明者アルゴリズムPは、任意にベクトルri,ti∈Kn及びei∈Kmを生成する。
処理(2):証明者アルゴリズムPは、ri A←s-riを計算する。この計算は、秘密鍵sをベクトルriによりマスクする操作に相当する。さらに、証明者アルゴリズムPは、ti A←ri-tiを計算する。
処理(3):証明者アルゴリズムPは、ei A←F(ri)-eiを計算する。
処理(4):証明者アルゴリズムPは、c1,i←H1(Fb(ri A,ti)+ei,ri A)を計算する。
処理(5):証明者アルゴリズムPは、c2,i←H2(ti,ei)を計算する。
処理(6):証明者アルゴリズムPは、c3,i←H3(ti A,ei A)を計算する。
i=1~Nについて上記の処理(1)~処理(6)を実行した後、証明者アルゴリズムPは、Cmt←H(c1,1,c2,1,c3,1,…,c1,N,c2,N,c3,N)を計算する。なお、上記のH(…)、H1(…)、H2(…)、H3(…)は、ハッシュ関数である。工程#1で生成されたハッシュ値Cmtは、検証者アルゴリズムVに送られる。このように、メッセージ(c1,1,c2,1,c3,1,…,c1,N,c2,N,c3,N)をハッシュ値に変換してから検証者アルゴリズムVに送ることで、通信量を削減することが可能になる。
ハッシュ値Cmtを受け取った検証者アルゴリズムVは、i=1~Nのそれぞれについて、3つの検証パターンのうち、どの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、i=1~Nのそれぞれについて、検証パターンの種類を表す3つの数値{0,1,2}の中から1つの数値を選択し、選択した数値を要求diに設定する。これらの要求d1,…,dNは、証明者アルゴリズムPに送られる。
要求d1,…,dNを受け取った証明者アルゴリズムPは、受け取った要求d1,…,dNのそれぞれ応じて検証者アルゴリズムVに送る返答Rsp1,…,RspNを生成する。di=0の場合、証明者アルゴリズムPは、σi=(ri,ti A,ei A)を生成する。さらに、証明者アルゴリズムPは、Rspi=(σi,c1,i)を生成する。di=1の場合、証明者アルゴリズムPは、σi=(ri A,ti,ei)を生成する。さらに、証明者アルゴリズムPは、Rspi=(σi,c3,i)を生成する。di=2の場合、証明者アルゴリズムPは、σi=(ri A,ti A,ei A)を生成する。さらに、証明者アルゴリズムPは、Rspi=(σi,c2,i)を生成する。
返答Rsp1,…,RspNを受け取った検証者アルゴリズムVは、受け取った返答Rsp1,…,RspNを利用して以下の処理(1)~処理(3)をi=1~Nについて実行する。但し、検証者アルゴリズムVは、di=0の場合に処理(1)を実行し、di=1の場合に処理(2)を実行し、di=2の場合に処理(3)を実行する。
ここで、本手法に係る公開鍵認証方式を電子署名方式へと変形する方法を紹介する。なお、公開鍵認証方式のモデルにおける証明者を電子署名方式における署名者に対応させると、証明者のみが検証者を納得させられるという点において、電子署名方式のモデルと近似していることが容易に理解されよう。こうした考えに基づき、本手法に係る公開鍵認証方式を電子署名方式へと変形する方法について説明する。
ここでは、上記の効率的なアルゴリズムの構成例3を電子署名方式のアルゴリズムに変形する方法を例に挙げて説明する。構成例3に係るアルゴリズムは、図12に示すように、おおまかに以下の4つの工程#1~工程#4で表現される。
まず、署名生成アルゴリズムSigの構成について述べる。署名生成アルゴリズムSigは、以下の処理(1)~処理(5)で構成される。
処理(2):署名生成アルゴリズムSigは、Cmt←H(c1,1,c2,1,c3,1,…,c1,N,c2,N,c3,N)を計算する。
処理(3):署名生成アルゴリズムSigは、(d1,…,dN)←H(M,Cmt)を計算する。このMは、署名を付与する文書である。
処理(4):署名生成アルゴリズムSigは、Rspi←Select(di,ai)を計算する。
処理(5):署名生成アルゴリズムSigは、(Cmt,Rsp1,…,RspN)を署名に設定する。
次に、署名検証アルゴリズムVerの構成について述べる。署名検証アルゴリズムVerは、以下の処理(1)~処理(3)で構成される。
処理(2):署名検証アルゴリズムVerは、d1,…,dN及びRsp1,…,RspNを用いてc1,1,c2,1,c3,1,…,c1,N,c2,N,c3,Nを生成する。
処理(3):署名検証アルゴリズムVerは、再生したc1,1,c2,1,c3,1,…,c1,N,c2,N,c3,Nを用いてCmt=H(c1,1,c2,1,c3,1,…,c1,N,c2,N,c3,N)を検証する。
さて、図13に示した署名生成アルゴリズムSigの構成に注目すると、処理(2)及び処理(3)でハッシュ値の計算を行っていることに気づくであろう。また、署名検証アルゴリズムVerの構成に注目すると、処理(1)において、署名生成アルゴリズムSigの処理(3)と同じハッシュ値の計算を行っていることに気づくであろう。これらの処理に注目し、図13に示すように署名生成アルゴリズムSig及び署名検証アルゴリズムVerの構成を改良することで、さらに計算効率を向上させることができる。
まず、改良後の署名生成アルゴリズムSigの構成について述べる。署名生成アルゴリズムSigは、以下の処理(1)~処理(4)で構成される。
処理(2):署名生成アルゴリズムSigは、(d1,…,dN)←H(M,c1,1,c2,2,c3,3,…,c1,N,c2,N,c3,N)を計算する。このMは、署名を付与する文書である。
処理(3):署名生成アルゴリズムSigは、Rspi←Select(di,ai)を計算する。
処理(4):署名生成アルゴリズムSigは、(d1,…,dN,Rsp1,…,RspN)を署名に設定する。
次に、改良後の署名検証アルゴリズムVerの構成について述べる。署名検証アルゴリズムVerは、以下の処理(1)及び処理(2)で構成される。
処理(2):署名検証アルゴリズムVerは、再生したc1,1,c2,1,c3,1,…,c1,N,c2,N,c3,Nを用いて(d1,…,dN)=H(M,c1,1,c2,1,c3,1,…,c1,N,c2,N,c3,N)を検証する。
これまで説明してきたように、本手法は、多次多変数連立方程式の求解問題に対する解答の困難性に安全性の根拠をおく方式である。また、本手法は、複雑な多次多変数連立方程式を利用可能な点に特徴がある。ここまでの説明においては多次多変数連立方程式の形式に特別な限定を行ってこなかったが、例えば、十分に困難性が補償されている暗号要素技術を表現に含む多次多変数連立方程式を利用することが好ましい。以下、本手法に適用可能な多次多変数連立方程式の具体例を紹介する。
AES、DES、KATANなどの共通鍵ブロック暗号技術は、よく解析され、安全性及び信頼性が高い要素技術である。これらの共通鍵ブロック暗号は、共通鍵ブロック暗号の鍵、平文、暗号文を変数とする多次多変数連立方程式により表現することができる。この多次多変数連立方程式において平文と暗号文を表現する変数に値を与えると、この多次多変数連立方程式は、鍵を表現する変数だけを変数に持つ方程式になる。
同様に、SHA-1、SHA-256などのハッシュ関数に関する多次多変数連立方程式を本手法に適用することも可能である。これらのハッシュ関数は、ハッシュ関数の入力となるメッセージと出力となるハッシュ値を変数とする多次多変数連立方程式で表現することができる。この多次多変数連立方程式において、ハッシュ値を表現する変数に適当な値を与えると、対応する入力を表現した変数に関する多次多変数連立方程式が得られる。
同様に、Triviumなどのストリーム暗号に関する多次多変数連立方程式を本手法に適用することも可能である。これらのストリーム暗号は、ストリーム暗号の初期の内部状態を表現する変数及び出力されるストリームを表現する変数に関する多次多変数連立方程式で表現することが可能である。この場合、出力ストリームを表現する変数に適当な値を与えると、対応する初期の内部状態を表現するための変数に関する多次多変数連立方程式が得られる。
偽証が成功する確率を無視できる程度にまで小さくするために、対話プロトコルを複数回実行する必要性については既に説明した通りである。また、対話プロトコルを複数回実行する方法として、直列的な方法と並列的な方法とを紹介した。特に、並列的な方法については、具体的な並列化アルゴリズムを示して説明した。ここでは、直列的な方法と並列的な方法とを組み合わせたハイブリッドタイプのアルゴリズムを紹介する。
図14を参照しながら、ハイブリッドタイプのアルゴリズム(以下、並直列アルゴリズム)について説明する。図14には、本手法に係る基本構成、この基本構成を直列化した直列化アルゴリズム、並列化した並列化アルゴリズム、及び並直列アルゴリズムを示した。
図15を参照しながら、他のハイブリッドタイプのアルゴリズム(以下、直並列アルゴリズム)について説明する。図15には、本手法に係る基本構成、この基本構成を直列化した直列化アルゴリズム、並列化した並列化アルゴリズム、及び直並列アルゴリズムを示した。なお、基本構成、直列化アルゴリズム、並列化アルゴリズムの構成及び性質については、上記の通りである。
次に、本技術の第2実施形態について説明する。これまで3パスの公開鍵認証方式について説明してきた。本実施形態では、5パスの公開鍵認証方式(以下、本手法)について説明する。本手法は、検証者の検証パターンを2q通りにすることにより、公開鍵認証方式の健全性を確保する方式である。
以下、図16を参照しながら、5パスの公開鍵認証方式(本手法)に係るアルゴリズム構成について説明する。図16は、本手法に係るアルゴリズムの構成について説明するための説明図である。
鍵生成アルゴリズムGenは、環K上で定義されるm本の多変数多次多項式f1(x1,…,xn),…,fm(x1,…,xn)と、ベクトルs=(s1,…,sn)∈Knを生成する。次に、鍵生成アルゴリズムGenは、y=(y1,…,ym)←f1(s),…,fm(s)を計算する。そして、鍵生成アルゴリズムGenは、(f1,…,fm,y)を公開鍵pkに設定し、sを秘密鍵に設定する。なお、以下では、ベクトル(x1,…,xn)をxと表記し、多変数多次多項式の組(f1(x),…,fm(x))をF(x)と表記する。
次に、図16を参照しながら、対話プロトコルの中で証明者アルゴリズムP及び検証者アルゴリズムVが実行する処理について説明する。この対話プロトコルの中で、証明者は、秘密鍵sの情報を検証者に一切漏らさずに、「自身がy=F(s)を満たすsを知っていること」を検証者に示す。一方、検証者は、証明者がy=F(s)を満たすsを知っているか否かを検証する。なお、公開鍵pkは、検証者に公開されているものとする。また、秘密鍵sは、証明者により秘密に管理されているものとする。以下、図16に示したフローチャートに沿って説明を進める。
まず、証明者アルゴリズムPは、任意に数wを選択する。次いで、証明者アルゴリズムPは、擬似乱数生成器Gに数wを適用してベクトルr∈Knと、n変数多項式の組FA(x)=(f1 A(x),…,fm A(x))を生成する。つまり、証明者アルゴリズムPは、(r,FA)←G(w)を計算する。次いで、証明者アルゴリズムPは、z←s-rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。
次いで、証明者アルゴリズムPは、FA(z)及びzのハッシュ値c1を生成する。つまり、証明者アルゴリズムPは、c1←H1(FA(z),z)を計算する。また、証明者アルゴリズムPは、数wのハッシュ値c2を生成する。つまり、証明者アルゴリズムPは、c2←H2(w)を計算する。なお、上記のH1(…)、H2(…)は、ハッシュ関数である。工程#1で生成されたメッセージ(c1,c2)は、検証者に送られる。このとき、sに関する情報、rに関する情報、zに関する情報が検証者に一切漏れない点に注意されたい。
検証者アルゴリズムVは、q通り存在する環Kの元からランダムに1つの数αを選択し、選択した数αを証明者アルゴリズムPに送る。
数αを受け取った証明者アルゴリズムPは、FB(x)←αF(x+r)+FA(x)を計算する。この計算は、xに関して多変数多項式F(x+r)を多変数多項式FA(x)によりマスクする操作に相当する。工程#3で生成された多変数多項式FBは、検証者アルゴリズムVに送られる。このとき、d=0の場合にはzに関する情報が検証者に一切漏れておらず、d=1の場合にはrに関する情報が検証者に一切漏れない点に注意されたい。
多変数多項式FBを受け取った検証者アルゴリズムVは、2つの検証パターンのうち、どちらの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求dに設定する。この要求dは証明者アルゴリズムPに送られる。
要求dを受け取った証明者アルゴリズムPは、受け取った要求dに応じて検証者アルゴリズムVに送り返す返答σを生成する。d=0の場合、証明者アルゴリズムPは、返答σ=wを生成する。d=1の場合、証明者アルゴリズムPは、返答σ=zを生成する。工程#5で生成された返答σは、検証者アルゴリズムVに送られる。
返答σを受け取った検証者アルゴリズムVは、受け取った返答σを利用して以下の検証処理を実行する。
本手法の健全性は、証明者アルゴリズムPが(c1,c2)、及び、検証者アルゴリズムVが選択する2通りの(α1,α2)について、要求d=0及び1に正しく回答した場合に、その回答内容から下記の式(15)~式(17)を満たすF1 D、F2 D、FC、rA、zAを計算できるということから保証されている。
上記の鍵生成アルゴリズムGenは、y←F(s)を計算し、公開鍵を(F,y)に設定している。しかし、鍵生成アルゴリズムGenは、(y1,…,ym)←F(s)として、(f1 *(x),…,fm *(x))←(f1(x)-y1,…,fm(x)-ym)を計算し、公開鍵を(f1 *,…,fm *)に設定するように構成されていてもよい。このように変形すると、証明者アルゴリズムPと検証者アルゴリズムVとの間でy=0として対話プロトコルを実行することが可能になる。
次に、図17を参照しながら、本手法を拡張した公開鍵認証方式(以下、拡張手法)のアルゴリズムについて説明する。図17は、拡張手法に基づく対話プロトコルの流れについて説明するための説明図である。
鍵生成アルゴリズムGenは、環K上で定義されるm本の多変数多次多項式f1(x1,…,xn),…,fm(x1,…,xn)、及びベクトルs=(s1,…,sn)∈Knを生成する。次に、鍵生成アルゴリズムGenは、y=(y1,…,ym)←(f1(s),…,fm(s))を計算する。そして、鍵生成アルゴリズムGenは、(f1,…,fm,y)を公開鍵pkに設定し、sを秘密鍵に設定する。なお、以下では、ベクトル(x1,…,xn)をxと表記し、多変数多次多項式の組(f1(x),…,fm(x))をF(x)と表記する。
次に、図17を参照しながら、対話プロトコルの中で証明者アルゴリズムP及び検証者アルゴリズムVが実行する処理について説明する。この対話プロトコルの中で、証明者は、秘密鍵sの情報を検証者に一切漏らさずに、「自身がy=F(s)を満たすsを知っていること」を検証者に示す。一方、検証者は、証明者がy=F(s)を満たすsを知っているか否かを検証する。なお、公開鍵pkは、検証者に公開されているものとする。また、秘密鍵sは、証明者により秘密に管理されているものとする。以下、図17に示したフローチャートに沿って説明を進める。
まず、証明者アルゴリズムPは、任意に数wを選択する。次いで、証明者アルゴリズムPは、擬似乱数生成器Gに数wを適用してベクトルr∈Kn及び多変数多項式FA(x)を生成する。つまり、証明者アルゴリズムPは、(r,FA)←G(w)を計算する。次いで、証明者アルゴリズムPは、z←s-rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。
次いで、証明者アルゴリズムPは、FA(z)及びzのハッシュ値c1を生成する。つまり、証明者アルゴリズムPは、c1←H1(FA(z),z)を計算する。また、証明者アルゴリズムPは、数wのハッシュ値c2を生成する。つまり、証明者アルゴリズムPは、c2←H2(w)を計算する。なお、上記のH1(…)、H2(…)は、ハッシュ関数である。工程#1で生成されたメッセージ(c1,c2)は、検証者アルゴリズムVに送られる。
メッセージ(c1,c2)を受け取った検証者アルゴリズムVは、q通り存在する環Kの元からランダムに1つの数αを選択し、選択した数αを証明者アルゴリズムPに送る。
数αを受け取った証明者アルゴリズムPは、FB(x)←αF(x+r)+FA(x)を計算する。この計算は、xについて多変数多項式F(x+r)を多変数多項式FA(x)によりマスクする操作に相当する。さらに、証明者アルゴリズムPは、多変数多項式の組FBのハッシュ値c3を生成する。つまり、証明者アルゴリズムPは、c3←H3(FB(x))を計算する。なお、上記のH3(…)は、ハッシュ関数である。工程#3で生成されたメッセージc3は、検証者に送られる。
メッセージc3を受け取った検証者アルゴリズムVは、2つの検証パターンのうち、どちらの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求dに設定する。この要求dは証明者アルゴリズムPに送られる。
要求dを受け取った証明者アルゴリズムPは、受け取った要求dに応じて検証者アルゴリズムVに送り返す返答σを生成する。d=0の場合、証明者アルゴリズムPは、返答σ=wを生成する。d=1の場合、証明者アルゴリズムPは、返答σ=(z,FB)を生成する。工程#5で生成された返答σは、検証者アルゴリズムVに送られる。
返答σを受け取った検証者アルゴリズムVは、受け取った返答σを利用して以下の検証処理を実行する。
さて、先に述べた通り、本手法又は拡張手法に係る対話プロトコルを適用すれば、偽証が成功する確率を(1/2+1/q)以下に抑制することができる。従って、この対話プロトコルを2回実行すれば、偽証が成功する確率を(1/2+1/q)2以下に抑制することができる。さらに、この対話プロトコルをN回実行すると、偽証が成功する確率は(1/2+1/q)Nとなり、Nを十分に大きい数(例えば、N=80)にすれば、偽証が成功する確率は無視できる程度に小さくなる。
鍵生成アルゴリズムGenは、環K上で定義されるm本の多変数多次多項式f1(x1,…,xn),…,fm(x1,…,xn)、及びベクトルs=(s1,…,sn)∈Knを生成する。次に、鍵生成アルゴリズムGenは、y=(y1,…,ym)←(f1(s),…,fm(s))を計算する。そして、鍵生成アルゴリズムGenは、(f1,…,fm,y)を公開鍵pkに設定し、sを秘密鍵に設定する。なお、以下では、ベクトル(x1,…,xn)をxと表記し、多変数多次多項式の組(f1(x),…,fm(x))をF(x)と表記する。
次に、図18を参照しながら、対話プロトコルの中で証明者アルゴリズムPが実行する処理及び検証者アルゴリズムVが実行する処理について説明する。
まず、証明者アルゴリズムPは、i=1~Nについて、以下の処理(1)~処理(5)を実行する。
処理(1):証明者アルゴリズムPは、任意に数wiを選択する。
処理(2):証明者アルゴリズムPは、擬似乱数生成器Gに数wiを適用してベクトルri∈Kn及び多項式の組Fi A(x)を生成する。つまり、証明者アルゴリズムPは、(ri,Fi A)←G(wi)を計算する。
処理(3):証明者アルゴリズムPは、zi←s-riを計算する。この計算は、秘密鍵sをベクトルriによりマスクする操作に相当する。
処理(4):証明者アルゴリズムPは、Fi A(zi)及びziのハッシュ値c1,iを生成する。つまり、証明者アルゴリズムPは、c1,i←H1(Fi A(zi),zi)を計算する。
処理(5):証明者アルゴリズムPは、数wi Aのハッシュ値c2,iを生成する。つまり、証明者アルゴリズムPは、c2,i←H2(wi A)を計算する。
メッセージ(c1,i,c2,i)(i=1~N)を受け取った検証者アルゴリズムVは、q通り存在する環Kの元からランダムにN個の数α1,…,αNを選択する。そして、検証者アルゴリズムVは、選択した数α1,…,αNを証明者アルゴリズムPに送る。
数α1,…,αNを受け取った証明者アルゴリズムPは、i=1~Nについて、Fi B(x)←αiF(x+ri)+Fi A(x)を計算する。この計算は、xに関して多変数多項式F(x+ri)を多変数多項式Fi A(x)によりマスクする操作に相当する。そして、証明者アルゴリズムPは、多変数多項式F1 B,…,FN Bを検証者アルゴリズムVに送る。
多変数多項式F1 B,…,FN Bを受け取った検証者アルゴリズムVは、i=1~Nのそれぞれについて、2つの検証パターンのうち、どちらの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、i=1~Nのそれぞれについて、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求diに設定する。この要求diは証明者アルゴリズムPに送られる。
要求di(i=1~N)を受け取った証明者アルゴリズムPは、受け取った要求diに応じて検証者アルゴリズムVに送り返す返答σiを生成する。ここで、証明者アルゴリズムPは、i=1~Nについて、以下の処理(1)及び処理(2)を実行する。
処理(1):di=0の場合、証明者アルゴリズムPは、返答σi=wiを生成する。
処理(2):di=1の場合、証明者アルゴリズムPは、返答σi=ziを生成する。
上記の処理(1)及び処理(2)の処理が実行された後、返答σi(i=1~N)は、検証者アルゴリズムVに送られる。
返答σi(i=1~N)を受け取った検証者アルゴリズムVは、受け取った返答σi(i=1~N)を利用して以下の検証処理を実行する。なお、以下の処理は、i=1~Nについて実行される。
上記の工程#1の後、メッセージ(c1,1,c1,2,…,cN,1,cN,2)を検証者アルゴリズムVに送信する代わりに、メッセージをハッシュ値H(c1,1,c1,2,…,cN,1,cN,2)にまとめて送信するように対話プロトコルの構成を変形してもよい。この変形を適用すると、1パス目で送るメッセージが1つのハッシュ値だけとなり、大幅に通信量を削減することが可能になる。但し、証明者アルゴリズムPから送られる情報を用いても検証者アルゴリズムVにより復元できないメッセージが存在するため、返答が送られる際に、そのメッセージも送られるようにする必要がある。なお、この構成によると、N回の並列的繰り返し構成の場合、送るべき情報の数をN-1個削減することが可能になる。
ここで、図19を参照しながら、拡張方式に係る並列化アルゴリズムの構成について説明する。なお、鍵生成アルゴリズムGenの構成については本手法に係る並列化アルゴリズムと同じであるため、詳細な説明を省略する。
まず、証明者アルゴリズムPは、i=1~Nについて、以下の処理(1)~処理(5)を実行する。
処理(1):証明者アルゴリズムPは、任意に数wiを選択する。
処理(2):証明者アルゴリズムPは、擬似乱数生成器Gに数wiを適用してベクトルri∈Kn及び多変数多項式の組Fi A(x)を生成する。つまり、証明者アルゴリズムPは、(ri,Fi A)←G(wi)を計算する。
処理(3):証明者アルゴリズムPは、zi←s-riを計算する。この計算は、秘密鍵sをベクトルriによりマスクする操作に相当する。
処理(4):証明者アルゴリズムPは、Fi A(zi)及びziのハッシュ値c1,iを生成する。つまり、証明者アルゴリズムPは、c1,i←H1(Fi A(zi),zi)を計算する。
処理(5):証明者アルゴリズムPは、数wiのハッシュ値c2,iを生成する。つまり、証明者アルゴリズムPは、c2,i←H2(wi)を計算する。
メッセージ(c1,i,c2,i)(i=1~N)を受け取った検証者アルゴリズムVは、q通り存在する環Kの元からランダムにN個の数α1,…,αNを選択する。そして、検証者アルゴリズムVは、選択した数α1,…,αNを証明者に送る。
数α1,…,αNを受け取った証明者アルゴリズムPは、i=1~Nについて、Fi B(x)←αiF(x+ri)+Fi A(x)を計算する。この計算は、xに関して多変数多項式F(x+ri)を多変数多項式Fi A(x)によりマスクする操作に相当する。次いで、証明者アルゴリズムPは、多変数多項式F1 B,…,FN Bのハッシュ値c3を生成する。つまり、証明者アルゴリズムPは、c3←H3(F1 B,…,FN B)を計算する。なお、上記のH3(…)は、ハッシュ関数である。工程#3で生成されたメッセージc3は、検証者アルゴリズムVに送られる。
メッセージc3を受け取った検証者アルゴリズムVは、i=1~Nのそれぞれについて、2つの検証パターンのうち、どちらの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、i=1~Nのそれぞれについて、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求diに設定する。この要求diは証明者アルゴリズムPに送られる。
要求di(i=1~N)を受け取った証明者アルゴリズムPは、受け取った要求diに応じて検証者アルゴリズムVに送り返す返答σiを生成する。ここで、証明者アルゴリズムPは、i=1~Nについて、以下の処理(1)及び処理(2)を実行する。
処理1:di=0の場合、証明者アルゴリズムPは、返答σi=wiを生成する。
処理2:di=1の場合、証明者アルゴリズムPは、返答σi=(zi,Fi B)を生成する。
上記の処理(1)及び処理(2)の処理が実行された後、返答σi(i=1~N)は、検証者アルゴリズムVに送られる。
返答σi(i=1~N)を受け取った検証者アルゴリズムVは、受け取った返答σi(i=1~N)を利用して以下の検証処理を実行する。なお、以下の処理は、i=1~Nについて実行される。
さて、上記の第1実施形態に係る対話プロトコルと同様、本実施形態に係る対話プロトコルは、受動的攻撃に対する安全性レベルを保証している。しかし、この対話プロトコルを並列的に繰り返し実行する上記の方法を適用した場合、能動的攻撃に対する安全性レベルが確実に保証されているということを証明するには、以下で説明するような条件が必要になる。
次に、図20を参照しながら、多変数多項式Fとしてn変数2次多項式を利用する場合について説明する。図20は、本手法の一具体例について説明するための説明図である。
鍵生成アルゴリズムGenは、環K上で定義されるm本の2次多項式f1(x1,…,xn),…,fm(x1,…,xn)、及びベクトルs=(s1,…,sn)∈Knを生成する。次に、鍵生成アルゴリズムGenは、y=(y1,…,ym)←(f1(s),…,fm(s))を計算する。そして、鍵生成アルゴリズムGenは、(f1,…,fm,y)を公開鍵pkに設定し、sを秘密鍵に設定する。なお、以下では、ベクトル(x1,…,xn)をxと表記し、2次多項式の組(f1(x),…,fm(x))をF(x)と表記する。
次に、図20を参照しながら、対話プロトコルの中で証明者アルゴリズムP及び検証者アルゴリズムVにより実行される処理について説明する。
まず、証明者アルゴリズムPは、任意に数wを選択する。次いで、証明者アルゴリズムPは、擬似乱数生成器Gに数wを適用してベクトルr∈Kn、及び多変数多項式の組FA(x)=(f1 A(x),…,fm A(x))を生成する。つまり、証明者アルゴリズムPは、(r,FA)←G(w)を計算する。次いで、証明者アルゴリズムPは、z←s-rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。但し、2次多項式fi A(x)は、下記の式(18)のように表現される。
次いで、証明者アルゴリズムPは、FA(z)及びzのハッシュ値c1を生成する。つまり、証明者アルゴリズムPは、c1←H1(FA(z),z)を計算する。また、証明者アルゴリズムPは、数wのハッシュ値c2を生成する。つまり、証明者アルゴリズムPは、c2←H2(w)を計算する。なお、上記のH1(…)、H2(…)は、ハッシュ関数である。工程#1で生成されたメッセージ(c1,c2)は、検証者アルゴリズムVに送られる。
メッセージ(c1,c2)を受け取った検証者アルゴリズムVは、q通り存在する環Kの元からランダムに1つの数αを選択し、選択した数αを証明者アルゴリズムPに送る。
数αを受け取った証明者アルゴリズムPは、FB(x)←αF(x+r)+FA(x)を計算する。この計算は、xに関して多変数多項式F(x+r)を多変数多項式FA(x)によりマスクする操作に相当する。工程#3で生成された多変数多項式FBは、検証者アルゴリズムVに送られる。
多変数多項式FBを受け取った検証者アルゴリズムVは、2つの検証パターンのうち、どちらの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求dに設定する。この要求dは証明者アルゴリズムPに送られる。
要求dを受け取った証明者アルゴリズムPは、受け取った要求dに応じて検証者アルゴリズムVに送り返す返答σを生成する。d=0の場合、証明者アルゴリズムPは、返答σ=wを生成する。d=1の場合、証明者アルゴリズムPは、返答σ=zを生成する。工程#5で生成された返答σは、検証者アルゴリズムVに送られる。
返答σを受け取った検証者アルゴリズムVは、受け取った返答σを利用して以下の検証処理を実行する。
次に、本手法に係るアルゴリズムを効率化する方法について述べる。上記の第1実施形態において考察した効率化方法と同様、2つのベクトルt∈Kn、e∈Kmを用いて、多変数多項式F(x+r)をマスクするために用いた多変数多項式FA(x)をFA(x)=Fb(x、t)+eのように表現する。この表現を用いると、多変数多項式F(x+r)について、下記の式(19)で表現される関係が得られる。
まず、図21に示した効率的なアルゴリズムの構成について説明する。
まず、証明者アルゴリズムPは、任意に数wを選択する。次いで、証明者アルゴリズムPは、擬似乱数生成器Gに数wを適用してベクトルr∈Kn、t∈Kn、e∈Kmを生成する。つまり、証明者アルゴリズムPは、(r,t,e)←G(w)を計算する。次いで、証明者アルゴリズムPは、z←s-rを計算する。この計算は、秘密鍵sをベクトルrによりマスクする操作に相当する。
次いで、証明者アルゴリズムPは、Fb(z,t)+e及びzのハッシュ値c1を生成する。つまり、証明者アルゴリズムPは、c1←H1(Fb(z,t)+e,z)を計算する。また、証明者アルゴリズムPは、数wのハッシュ値c2を生成する。つまり、証明者アルゴリズムPは、c2←H2(w)を計算する。なお、上記のH1(…)、H2(…)は、ハッシュ関数である。工程#1で生成されたメッセージ(c1,c2)は、検証者アルゴリズムVに送られる。
メッセージ(c1,c2)を受け取った検証者アルゴリズムVは、q通り存在する環Kの元からランダムに1つの数αを選択し、選択した数αを証明者アルゴリズムPに送る。
数αを受け取った証明者アルゴリズムPは、tA←αr+tを計算する。さらに、証明者アルゴリズムPは、eA←αF(r)+eを計算する。そして、証明者アルゴリズムPは、tA及びeAを検証者アルゴリズムVに送る。
tA及びeAを受け取った検証者アルゴリズムVは、2つの検証パターンのうち、どちらの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求dに設定する。この要求dは証明者アルゴリズムPに送られる。
要求dを受け取った証明者アルゴリズムPは、受け取った要求dに応じて検証者アルゴリズムVに送り返す返答σを生成する。d=0の場合、証明者アルゴリズムPは、返答σ=wを生成する。d=1の場合、証明者アルゴリズムPは、返答σ=zを生成する。工程#5で生成された返答σは、検証者アルゴリズムVに送られる。
返答σを受け取った検証者アルゴリズムVは、受け取った返答σを利用して以下の検証処理を実行する。
次に、図22に示した効率的なアルゴリズムの構成について説明する。図22に示した構成を適用した場合も、図20に示した構成を適用した場合と同様に、通信効率及び計算効率の向上効果が得られる。但し、ここでは図20に示した構成との差分について述べる。
次に、図23に示した効率的なアルゴリズムの構成について説明する。図23に示した構成を適用した場合も、図20に示した構成を適用した場合と同様に、通信効率及び計算効率の向上効果が得られる。但し、ここでは図22に示した構成との差分について述べる。
次に、図24に示した効率的なアルゴリズムの構成について説明する。図24に示した構成を適用した場合も、図20に示した構成を適用した場合と同様に、通信効率及び計算効率の向上効果が得られる。但し、ここでは図22に示した構成との差分について述べる。
次に、図25に示した効率的なアルゴリズムの構成について説明する。図25に示した構成を適用した場合も、図20に示した構成を適用した場合と同様に、通信効率及び計算効率の向上効果が得られる。但し、ここでは図22に示した構成との差分について述べる。
次に、図26に示した効率的なアルゴリズムの構成について説明する。図26に示した構成を適用した場合も、図20に示した構成を適用した場合と同様に、通信効率及び計算効率の向上効果が得られる。但し、ここでは図25に示した構成との差分について述べる。
次に、図27に示した効率的なアルゴリズムの構成について説明する。図27に示した構成を適用した場合も、図20に示した構成を適用した場合と同様に、通信効率及び計算効率の向上効果が得られる。但し、ここでは図25に示した構成との差分について述べる。
次に、図29を参照しながら、効率的なアルゴリズムを並列化する方法について説明する。図29に示した構成(以下、並列化アルゴリズム)は、図28に示した効率的なアルゴリズムを並列化したものである。なお、図28に示した効率的なアルゴリズムは、図22に示した効率的なアルゴリズムと実質的に同じ構成を有するアルゴリズムである。以下、図29に示したフローチャートに沿って説明を進める。
証明者アルゴリズムPは、i=1~Nについて処理(1)~処理(4)を実行する。
処理(1):証明者アルゴリズムPは、任意にベクトルri,ti∈Kn及びei∈Kmを生成する。
処理(2):証明者アルゴリズムPは、ri A←s-riを計算する。この計算は、秘密鍵sをベクトルriによりマスクする操作に相当する。
処理(3):証明者アルゴリズムPは、c1,i←H1(ri,ti,ei)を計算する。
処理(4):証明者アルゴリズムPは、c2,i←H2(ri A,Fb(ri A,ti)+ei)を計算する。
工程#1で生成されたメッセージ(c1,1,c2,1,…,c1,N,c2,N)は、検証者アルゴリズムVに送られる。
メッセージ(c1,1,c2,1,…,c1,N,c2,N)を受け取った検証者アルゴリズムVは、i=1~Nのそれぞれについて、q通り存在する環Kの元からランダムに1つの数αiを選択し、選択した数αiを証明者アルゴリズムPに送る。
数αiを受け取った証明者アルゴリズムPは、i=1~Nのそれぞれについて、ti A←αiri-tiを計算する。さらに、証明者アルゴリズムPは、i=1~Nのそれぞれについて、ei A←αiF(ri)-eiを計算する。そして、証明者アルゴリズムPは、t1 A,…,tN A及びe1 A,…,eN Aを検証者アルゴリズムVに送る。
t1 A,…,tN A及びe1 A,…,eN Aを受け取った検証者アルゴリズムVは、i=1~Nのそれぞれについて、2つの検証パターンのうち、どちらの検証パターンを利用するかを選択する。例えば、検証者アルゴリズムVは、検証パターンの種類を表す2つの数値{0,1}の中から1つの数値を選択し、選択した数値を要求diに設定する。この要求di(i=1~N)は証明者アルゴリズムPに送られる。
要求di(i=1~N)を受け取った証明者アルゴリズムPは、i=1~Nについて、受け取った要求diに応じて検証者アルゴリズムVに送り返す返答σiを生成する。di=0の場合、証明者アルゴリズムPは、返答σi=riを生成する。di=1の場合、証明者アルゴリズムPは、返答σi=ri Aを生成する。工程#5で生成された返答σiは、検証者アルゴリズムVに送られる。
返答σi(i=1~N)を受け取った検証者アルゴリズムVは、受け取った返答σi(i=1~N)を利用して以下の検証処理を実行する。
図29に示した並列化アルゴリズムは、図30に示すように効率化することができる。図30に示すように、この並列化アルゴリズムは、工程#1において、メッセージ(c1,1,c2,1,…,c1,N,c2,N)をハッシュ値cに変換し、そのハッシュ値cを1パス目で証明者アルゴリズムPから検証者アルゴリズムVへと送るように構成されている。また、この並列化アルゴリズムは、工程#5において、di=0の場合に返答σi=(ri,c2,i)を生成し、di=1の場合に返答σi=(ri A,c1,i)を生成するように構成されている。さらに、この並列化アルゴリズムは、工程#6において、次のような処理を実行するように構成されている。
まず、検証者アルゴリズムVは、i=1~Nについて、処理(1)及び処理(2)を実行する。但し、実際には、di=0の場合に処理(1)が実行され、di=1の場合に処理(2)が実行される。
処理(1):di=0の場合、検証者アルゴリズムVは、(ri,c2,i)←σiを実行する。さらに、検証者アルゴリズムVは、c1,i=H1(ri,αiri-ti A,αiF(ri)-ei A)を計算する。そして、検証者アルゴリズムVは、(c1,i,c2,i)を保持する。
処理(2):di=1の場合、検証者アルゴリズムVは、(ri A,c1,i)←σiを実行する。さらに、検証者アルゴリズムVは、c2,i=H2(ri A,αi(y-F(ri A))-Fb(ti A,ri A)-ei A)を計算する。そして、検証者アルゴリズムVは、(c1,i,c2,i)を保持する。
i=1~Nについて、上記の処理(1)及び処理(2)を実行した後、検証者アルゴリズムVは、c=H(c1,1,c2,1,…,c1,N,c2,N)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、この検証が成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
図30に示した並列化アルゴリズムは、図31に示すように更に効率化することができる。図31に示すように、この並列化アルゴリズムは、工程#3において、(t1 A,e1 A,…,tN A,eN A)をハッシュ値vに変換し、そのハッシュ値vを3パス目で証明者アルゴリズムPから検証者アルゴリズムVへと送るように構成されている。また、この並列化アルゴリズムは、工程#5において、di=0の場合に返答σi=(ri,ti,ei,c2,i)を生成し、di=1の場合に返答σi=(ri A,ti A,ei A,c1,i)を生成するように構成されている。さらに、この並列化アルゴリズムは、工程#6において、次のような処理を実行するように構成されている。
まず、検証者アルゴリズムVは、i=1~Nについて、処理(1)及び処理(2)を実行する。但し、実際には、di=0の場合に処理(1)が実行され、di=1の場合に処理(2)が実行される。
処理(1):di=0の場合、検証者アルゴリズムVは、(ri,ti,ei,c2,i)←σiを実行する。そして、検証者アルゴリズムVは、c1,i=H1(ri,ti,ei)を計算する。さらに、検証者アルゴリズムVは、ti A←αiri-ti、ei A←αiF(ri)-eiを計算する。そして、検証者アルゴリズムVは、(c1,i,c2,i)及び(ti A,ei A)を保持する。
処理(2):di=1の場合、検証者アルゴリズムVは、(ri A,ti A,ei A,c1,i)←σiを実行する。そして、検証者アルゴリズムVは、c2,i=H2(ri A,αi(y-F(ri A))-Fb(ri A,ti A)-ei A)を計算する。そして、検証者アルゴリズムVは、(c1,i,c2,i)及び(ti A,ei A)を保持する。
i=1~Nについて、上記の処理(1)及び処理(2)を実行した後、検証者アルゴリズムVは、c=H(c1,1,c2,1,…,c1,N,c2,N)の等号が成り立つか否かを検証する。さらに、検証者アルゴリズムVは、v=H(t1 A,e1 A,…,tN A,eN A)の等号が成り立つか否かを検証する。検証者アルゴリズムVは、これらの検証が全て成功した場合に認証成功を示す値1を出力し、検証に失敗があった場合に認証失敗を示す値0を出力する。
偽証が成功する確率を無視できる程度にまで小さくするために、対話プロトコルを複数回実行する必要性については既に説明した通りである。また、対話プロトコルを複数回実行する方法として、直列的な方法と並列的な方法とを紹介した。特に、並列的な方法については、具体的な並列化アルゴリズムを示して説明した。ここでは、直列的な方法と並列的な方法とを組み合わせたハイブリッドタイプのアルゴリズムを紹介する。
図32を参照しながら、ハイブリッドタイプのアルゴリズム(以下、並直列アルゴリズム)について説明する。図32には、本手法に係る基本構成、この基本構成を直列化した直列化アルゴリズム、並列化した並列化アルゴリズム、及び並直列アルゴリズムを示した。
図33を参照しながら、他の並直列アルゴリズムについて説明する。図33には、本手法に係る基本構成、この基本構成を直列化した直列化アルゴリズム、並列化した並列化アルゴリズム、及び並直列アルゴリズムを示した。なお、基本構成、直列化アルゴリズム、並列化アルゴリズムの構成及び性質については、上記の通りである。
図34を参照しながら、他のハイブリッドタイプのアルゴリズム(以下、直並列アルゴリズム)について説明する。図34には、本手法に係る基本構成、この基本構成を直列化した直列化アルゴリズム、並列化した並列化アルゴリズム、及び直並列アルゴリズムを示した。なお、基本構成、直列化アルゴリズム、並列化アルゴリズムの構成及び性質については、上記の通りである。
図35を参照しながら、他の直並列アルゴリズムについて説明する。図35には、本手法に係る基本構成、この基本構成を直列化した直列化アルゴリズム、並列化した並列化アルゴリズム、及び直並列アルゴリズムを示した。なお、基本構成、直列化アルゴリズム、並列化アルゴリズムの構成及び性質については、上記の通りである。
ところで、上記の第1及び第2実施形態に係る効率的なアルゴリズムは、下記の式(20)で表現される2次の多変数多項式を公開鍵(又はシステムパラメータ)として利用する構成であった。しかし、上記の効率的なアルゴリズムは、3次以上の次数を有する多変数多項式を公開鍵(又はシステムパラメータ)として利用する構成に拡張することができる。
例えば、位数q=pkの体上で定義される3次以上の多変数多項式(下記の式(21)を参照)を公開鍵(又はシステムパラメータ)として利用する構成について考えてみよう。
ところで、3次以上の多次多項式を利用する方法として、2次多項式に3次以上の項を追加する方法も考えられる。例えば、下記の式(25)に示すように、上記の式(20)で表現される2次多項式に4次の項を追加する方法が考えられる。多次多項式flを下記の式(25)のように定義すると、下記の式(26)で定義される項gl(x,y)は、下記の式(27)のように表現される。なお、以下では、項gl(x,y)のことをpolar formと呼ぶことがある。
ここで、上記の第1及び第2実施形態に係るアルゴリズムの頑強性を更に高めるための仕組みについて紹介する。
これまで、多変数多項式の係数又はその係数の生成に利用する乱数シード(以下、多変数多項式の係数等)をどのように設定するかについては詳しく言及してこなかった。多変数多項式の係数等は、システムに共通のパラメータとしてもよいし、ユーザ毎に異なるパラメータとしてもよい。
次に、イレギュラーな要求に対する応答方法について説明する。
図36に示すように、対話プロトコルの中で、検証者が偽りの要求を投げかけてくる可能性が考えられる。図36の例では、証明者が検証者へとメッセージ(c1,c2,c3)を送り、検証者が証明者へと要求d=0を送った後、証明者から検証者へと要求d=0に対応する返答σが送られている。ここまでは正常な対話である。
また、図37に示すように、証明者が偽って要求dの再送を要求してくる可能性もある。図37の例では、証明者が検証者へとメッセージ(c1,c2,c3)を送り、検証者が証明者へと要求d=0を送った後、証明者が要求dの再送を要求している。この要求に応じて、検証者が再びランダムに要求dを選択すると、先に送った要求d=0とは異なる要求d=1が選択される可能性がある。この場合、検証者から証明者へと要求d=1が送られる。図37の例において、証明者は、要求d=1に対応する返答σを検証者に送っている。
上記の各アルゴリズムは、例えば、図38に示す情報処理装置のハードウェア構成を用いて実行することが可能である。つまり、当該各アルゴリズムの処理は、コンピュータプログラムを用いて図38に示すハードウェアを制御することにより実現される。なお、このハードウェアの形態は任意であり、例えば、パーソナルコンピュータ、携帯電話、PHS、PDA等の携帯情報端末、ゲーム機、接触式又は非接触式のICチップ、接触式又は非接触式のICカード、又は種々の情報家電がこれに含まれる。但し、上記のPHSは、Personal Handy-phone Systemの略である。また、上記のPDAは、Personal Digital Assistantの略である。
最後に、本技術の実施形態に係る技術内容について簡単に纏める。ここで述べる技術内容は、例えば、PC、携帯電話、ゲーム機、情報端末、情報家電、カーナビゲーションシステム等、種々の情報処理装置に対して適用することができる。なお、以下で述べる情報処理装置の機能は、1台の情報処理装置を利用して実現することも可能であるし、複数台の情報処理装置を利用して実現することも可能である。また、以下で述べる情報処理装置が処理を実行する際に用いるデータ記憶手段及び演算処理手段は、当該情報処理装置に設けられたものであってもよいし、ネットワークを介して接続された機器に設けられたものであってもよい。
環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルs∈Knに基づいてN組のメッセージを生成するメッセージ生成部と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力して、N個の第1情報を選択する第1情報選択部と、
N個の前記第1情報にそれぞれ対応するN個の第2情報を生成する第2情報生成部と、
N個の前記第1情報及びN個の前記第2情報を電子署名として、前記多次多変数多項式の組F及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する検証者に提供する署名提供部と、
を備え、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
情報処理装置。
前記多次多変数多項式の組Fは、Fb(x,y)=F(x+y)-F(x)-F(y)で定義されるFb(x,y)がx及びyに関して双線形となるように設定される、
請求項1に記載の情報処理装置。
前記多次多変数多項式の組Fは、前記公開鍵を生成するユーザ毎に異なる情報を用いて生成される、
上記(1)又は(2)に記載の情報処理装置。
前記多次多変数多項式の組Fは、Fb(x,y)=FA(x+y)-FA(x)-FA(y)で定義されるFb(x,y)がx及びyに関して双線形となる2次多項式FAと、3次以上の次数を有する項との和で表現される、
上記(1)~(3)のいずれか1項に記載の情報処理装置。
環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する情報保持部と、
前記多次多変数多項式の組F及びベクトルs∈Knに基づいて生成されたN組のメッセージを取得するメッセージ取得部と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力することで選択されたN個の第1情報と、N個の前記第1情報にそれぞれ対応するN個の第2情報とで構成される電子署名を取得する署名取得部と、
前記メッセージ、前記多次多変数多項式の組F、前記ベクトルy、及び前記電子署名に基づいて前記文書Mの正当性を検証する署名検証部と、
を備え、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
情報処理装置。
前記多次多変数多項式の組Fは、Fb(x,y)=F(x+y)-F(x)-F(y)で定義されるFb(x,y)がx及びyに関して双線形となるように設定される、
上記(5)に記載の情報処理装置。
前記多次多変数多項式の組Fは、前記公開鍵を生成するユーザ毎に異なる情報を用いて生成される、
上記(5)又は(6)に記載の情報処理装置。
前記多次多変数多項式の組Fは、Fb(x,y)=FA(x+y)-FA(x)-FA(y)で定義されるFb(x,y)がx及びyに関して双線形となる2次多項式FAと、3次以上の次数を有する項との和で表現される、
上記(5)~(7)のいずれか1項に記載の情報処理装置。
環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルs∈Knに基づいてN組のメッセージを生成するステップと、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力して、N個の第1情報を選択するステップと、
N個の前記第1情報にそれぞれ対応するN個の第2情報を生成するステップと、
N個の前記第1情報及びN個の前記第2情報を電子署名として、前記多次多変数多項式の組F及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する検証者に提供するステップと、
を含み、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
署名提供方法。
環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持するステップと、
前記多次多変数多項式の組F及びベクトルs∈Knに基づいて生成されたN組のメッセージを取得するステップと、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力することで選択されたN個の第1情報と、N個の前記第1情報にそれぞれ対応するN個の第2情報とで構成される電子署名を取得するステップと、
前記メッセージ、前記多次多変数多項式の組F、前記ベクトルy、及び前記電子署名に基づいて前記文書Mの正当性を検証するステップと、
を含み、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
署名検証方法。
環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルs∈Knに基づいてN組のメッセージを生成するメッセージ生成機能と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力して、N個の第1情報を選択する第1情報選択機能と、
N個の前記第1情報にそれぞれ対応するN個の第2情報を生成する第2情報生成機能と、
N個の前記第1情報及びN個の前記第2情報を電子署名として、前記多次多変数多項式の組F及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する検証者に提供する署名提供機能と、
をコンピュータに実現させるためのプログラムであり、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
プログラム。
環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する情報保持機能と、
前記多次多変数多項式の組F及びベクトルs∈Knに基づいて生成されたN組のメッセージを取得するメッセージ取得機能と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力することで選択されたN個の第1情報と、N個の前記第1情報にそれぞれ対応するN個の第2情報とで構成される電子署名を取得する署名取得機能と、
前記メッセージ、前記多次多変数多項式の組F、前記ベクトルy、及び前記電子署名に基づいて前記文書Mの正当性を検証する署名検証機能と、
をコンピュータに実現させるためのプログラムであり、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
プログラム。
環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルs∈Knに基づいてN組のメッセージを生成するメッセージ生成機能と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力して、N個の第1情報を選択する第1情報選択機能と、
N個の前記第1情報にそれぞれ対応するN個の第2情報を生成する第2情報生成機能と、
N個の前記第1情報及びN個の前記第2情報を電子署名として、前記多次多変数多項式の組F及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する検証者に提供する署名提供機能と、
をコンピュータに実現させるためのプログラムが記録された、コンピュータにより読み取り可能な記録媒体であり、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
記録媒体。
環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する情報保持機能と、
前記多次多変数多項式の組F及びベクトルs∈Knに基づいて生成されたN組のメッセージを取得するメッセージ取得機能と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力することで選択されたN個の第1情報と、N個の前記第1情報にそれぞれ対応するN個の第2情報とで構成される電子署名を取得する署名取得機能と、
前記メッセージ、前記多次多変数多項式の組F、前記ベクトルy、及び前記電子署名に基づいて前記文書Mの正当性を検証する署名検証機能と、
をコンピュータに実現させるためのプログラムが記録された、コンピュータにより読み取り可能な記録媒体であり、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
記録媒体。
前記m及びnは、m<nの関係を有する、
上記(1)~(8)のいずれか1項に記載の情報処理装置。
前記m及びnは、2m-n≪1の関係を有する、
上記(15)に記載の情報処理装置。
上記の署名生成アルゴリズムSigは、メッセージ生成部、第1情報選択部、第2情報生成部、署名提供部の一例である。また、上記の署名検証アルゴリズムVerは、メッセージ取得部、署名取得部、署名検証部の一例である。
P 証明者アルゴリズム
V 検証者アルゴリズム
Sig 署名生成アルゴリズム
Ver 署名検証アルゴリズム
Claims (14)
- 環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルs∈Knに基づいてN組のメッセージを生成するメッセージ生成部と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力して、N個の第1情報を選択する第1情報選択部と、
N個の前記第1情報にそれぞれ対応するN個の第2情報を生成する第2情報生成部と、
N個の前記第1情報及びN個の前記第2情報を電子署名として、前記多次多変数多項式の組F及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する検証者に提供する署名提供部と、
を備え、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
情報処理装置。 - 前記多次多変数多項式の組Fは、Fb(x,y)=F(x+y)-F(x)-F(y)で定義されるFb(x,y)がx及びyに関して双線形となるように設定される、
請求項1に記載の情報処理装置。 - 前記多次多変数多項式の組Fは、前記公開鍵を生成するユーザ毎に異なる情報を用いて生成される、
請求項1に記載の情報処理装置。 - 前記多次多変数多項式の組Fは、Fb(x,y)=FA(x+y)-FA(x)-FA(y)で定義されるFb(x,y)がx及びyに関して双線形となる2次多項式FAと、3次以上の次数を有する項との和で表現される、
請求項1に記載の情報処理装置。 - 環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する情報保持部と、
前記多次多変数多項式の組F及びベクトルs∈Knに基づいて生成されたN組のメッセージを取得するメッセージ取得部と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力することで選択されたN個の第1情報と、N個の前記第1情報にそれぞれ対応するN個の第2情報とで構成される電子署名を取得する署名取得部と、
前記メッセージ、前記多次多変数多項式の組F、前記ベクトルy、及び前記電子署名に基づいて前記文書Mの正当性を検証する署名検証部と、
を備え、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
情報処理装置。 - 前記多次多変数多項式の組Fは、Fb(x,y)=F(x+y)-F(x)-F(y)で定義されるFb(x,y)がx及びyに関して双線形となるように設定される、
請求項5に記載の情報処理装置。 - 前記多次多変数多項式の組Fは、前記公開鍵を生成するユーザ毎に異なる情報を用いて生成される、
請求項5に記載の情報処理装置。 - 前記多次多変数多項式の組Fは、Fb(x,y)=FA(x+y)-FA(x)-FA(y)で定義されるFb(x,y)がx及びyに関して双線形となる2次多項式FAと、3次以上の次数を有する項との和で表現される、
請求項5に記載の情報処理装置。 - 環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルs∈Knに基づいてN組のメッセージを生成するステップと、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力して、N個の第1情報を選択するステップと、
N個の前記第1情報にそれぞれ対応するN個の第2情報を生成するステップと、
N個の前記第1情報及びN個の前記第2情報を電子署名として、前記多次多変数多項式の組F及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する検証者に提供するステップと、
を含み、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
署名提供方法。 - 環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持するステップと、
前記多次多変数多項式の組F及びベクトルs∈Knに基づいて生成されたN組のメッセージを取得するステップと、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力することで選択されたN個の第1情報と、N個の前記第1情報にそれぞれ対応するN個の第2情報とで構成される電子署名を取得するステップと、
前記メッセージ、前記多次多変数多項式の組F、前記ベクトルy、及び前記電子署名に基づいて前記文書Mの正当性を検証するステップと、
を含み、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
署名検証方法。 - 環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルs∈Knに基づいてN組のメッセージを生成するメッセージ生成機能と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力して、N個の第1情報を選択する第1情報選択機能と、
N個の前記第1情報にそれぞれ対応するN個の第2情報を生成する第2情報生成機能と、
N個の前記第1情報及びN個の前記第2情報を電子署名として、前記多次多変数多項式の組F及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する検証者に提供する署名提供機能と、
をコンピュータに実現させるためのプログラムであり、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
プログラム。 - 環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する情報保持機能と、
前記多次多変数多項式の組F及びベクトルs∈Knに基づいて生成されたN組のメッセージを取得するメッセージ取得機能と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力することで選択されたN個の第1情報と、N個の前記第1情報にそれぞれ対応するN個の第2情報とで構成される電子署名を取得する署名取得機能と、
前記メッセージ、前記多次多変数多項式の組F、前記ベクトルy、及び前記電子署名に基づいて前記文書Mの正当性を検証する署名検証機能と、
をコンピュータに実現させるためのプログラムであり、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
プログラム。 - 環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルs∈Knに基づいてN組のメッセージを生成するメッセージ生成機能と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力して、N個の第1情報を選択する第1情報選択機能と、
N個の前記第1情報にそれぞれ対応するN個の第2情報を生成する第2情報生成機能と、
N個の前記第1情報及びN個の前記第2情報を電子署名として、前記多次多変数多項式の組F及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する検証者に提供する署名提供機能と、
をコンピュータに実現させるためのプログラムが記録された、コンピュータにより読み取り可能な記録媒体であり、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
記録媒体。 - 環K上で定義される多次多変数多項式の組F=(f1,…,fm)及びベクトルy=(y1,…,ym)=(f1(s),…,fm(s))を保持する情報保持機能と、
前記多次多変数多項式の組F及びベクトルs∈Knに基づいて生成されたN組のメッセージを取得するメッセージ取得機能と、
1組の入力情報に対してk通り(k≧3)の第1情報の中から1個の第1情報を選択する一方向性関数に対し、文書MとN組の前記メッセージとを入力することで選択されたN個の第1情報と、N個の前記第1情報にそれぞれ対応するN個の第2情報とで構成される電子署名を取得する署名取得機能と、
前記メッセージ、前記多次多変数多項式の組F、前記ベクトルy、及び前記電子署名に基づいて前記文書Mの正当性を検証する署名検証機能と、
をコンピュータに実現させるためのプログラムが記録された、コンピュータにより読み取り可能な記録媒体であり、
前記ベクトルsは署名鍵であり、
前記多次多変数多項式の組F及び前記ベクトルyは公開鍵であり、
前記メッセージは、前記公開鍵及び前記第2情報を利用して、当該第2情報に対応する第1情報の種類に応じて選択される所定の演算を実行することで得られる情報である、
記録媒体。
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
EP12824271.6A EP2744148B1 (en) | 2011-08-12 | 2012-07-31 | Information processing device, signature-provision method, signature-verification method, program, and recording medium |
BR112014002849A BR112014002849A2 (pt) | 2011-08-12 | 2012-07-31 | aparelho de processamento de informação, métodos de provisão e de verificação de assinatura, programa e mídia de gravação |
CN201280037656.XA CN103748830B (zh) | 2011-08-12 | 2012-07-31 | 信息处理设备、签名提供方法和设备、签名验证方法和设备 |
US14/236,959 US10075299B2 (en) | 2011-08-12 | 2012-07-31 | Information processing apparatus, signature providing method, signature verifying method, program, and recording medium |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011177337A JP5790291B2 (ja) | 2011-08-12 | 2011-08-12 | 情報処理装置、署名提供方法、署名検証方法、プログラム、及び記録媒体 |
JP2011-177337 | 2011-08-12 |
Publications (1)
Publication Number | Publication Date |
---|---|
WO2013024697A1 true WO2013024697A1 (ja) | 2013-02-21 |
Family
ID=47715019
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/JP2012/069447 WO2013024697A1 (ja) | 2011-08-12 | 2012-07-31 | 情報処理装置、署名提供方法、署名検証方法、プログラム、及び記録媒体 |
Country Status (6)
Country | Link |
---|---|
US (1) | US10075299B2 (ja) |
EP (1) | EP2744148B1 (ja) |
JP (1) | JP5790291B2 (ja) |
CN (1) | CN103748830B (ja) |
BR (1) | BR112014002849A2 (ja) |
WO (1) | WO2013024697A1 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10623189B2 (en) * | 2015-09-22 | 2020-04-14 | South China University Of Technology | Online/offline signature system and method based on multivariate cryptography |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103490897B (zh) * | 2013-09-17 | 2017-04-05 | 华南理工大学 | 一种多变量公钥签名/验证系统及签名/验证方法 |
CN106301788B (zh) * | 2016-08-12 | 2019-03-19 | 武汉大学 | 一种支持用户身份认证的群组密钥管理方法 |
US11005971B2 (en) * | 2018-08-02 | 2021-05-11 | Paul Swengler | System and method for user device authentication or identity validation without passwords or matching tokens |
CN113055162B (zh) * | 2021-03-10 | 2022-07-08 | 重庆邮电大学 | 一种基于国密算法的wia-pa网络安全通信方法 |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1870499B (zh) * | 2005-01-11 | 2012-01-04 | 丁津泰 | 产生新的多变量公钥密码系统的方法 |
US7961876B2 (en) * | 2005-01-11 | 2011-06-14 | Jintai Ding | Method to produce new multivariate public key cryptosystems |
WO2007057610A1 (fr) | 2005-11-18 | 2007-05-24 | France Telecom | Systeme et procede cryptographique d'authentification ou de signature |
FR2918525A1 (fr) * | 2007-07-06 | 2009-01-09 | France Telecom | Procede asymetrique de chiffrement ou de verification de signature. |
US8019079B2 (en) * | 2007-07-08 | 2011-09-13 | Georgia Tech Research Corporation | Asymmetric cryptosystem employing paraunitary matrices |
IL205803A0 (en) * | 2010-05-16 | 2010-12-30 | Yaron Sella | Collision-based signature scheme |
IL206139A0 (en) * | 2010-06-02 | 2010-12-30 | Yaron Sella | Efficient multivariate signature generation |
IL207918A0 (en) * | 2010-09-01 | 2011-01-31 | Aviad Kipnis | Attack-resistant multivariate signature scheme |
JP5790319B2 (ja) | 2011-08-29 | 2015-10-07 | ソニー株式会社 | 署名検証装置、署名検証方法、プログラム、及び記録媒体 |
-
2011
- 2011-08-12 JP JP2011177337A patent/JP5790291B2/ja not_active Expired - Fee Related
-
2012
- 2012-07-31 EP EP12824271.6A patent/EP2744148B1/en not_active Not-in-force
- 2012-07-31 BR BR112014002849A patent/BR112014002849A2/pt not_active IP Right Cessation
- 2012-07-31 CN CN201280037656.XA patent/CN103748830B/zh not_active Expired - Fee Related
- 2012-07-31 WO PCT/JP2012/069447 patent/WO2013024697A1/ja active Application Filing
- 2012-07-31 US US14/236,959 patent/US10075299B2/en active Active
Non-Patent Citations (8)
Title |
---|
DAVID POINTCHEVAL ET AL.: "Security Proofs for Signature Schemes", 1996, XP019194381, Retrieved from the Internet <URL:http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.978> [retrieved on 20120820] * |
JACQUES PATARIN: "Asymmetric Cryptography with a Hidden Monomial", CRYPTO, 1996, pages 45 - 60, XP019194414 |
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 14-18, 2011. PROCEEDINGS(LNCS 6841), vol. 6841, 6 August 2011 (2011-08-06), pages 706 - 723, XP019161037 * |
KOICHI SAKUMOTO: "Public-Key identification schemes based on multivariate cubic polynomials", PKC'12 PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON PRACTICE AND THEORY IN PUBLIC KEY CRYPTOGRAPHY(LNCS 7293), vol. 7293, 19 May 2012 (2012-05-19), pages 172 - 189, XP047004391 * |
PATARIN, J.; COURTOIS, N.; GOUBIN, L.: "Topics in Cryptology - CT-RSA 2001", vol. 2020, April 2001, SPRINGER-VERLAG, article "QUARTZ, 128-Bit Long Digital Signatures", pages: 282 - 297 |
See also references of EP2744148A4 * |
SHAI HALEVI; SILVIO MICALI, THE INTERNATIONAL CONFERENCE CRYPTO, 1996 |
SHIGEO TSUJII ET AL.: "Cryptography and information security", 29 March 1990 (1990-03-29), pages 57 - 59, XP008172888 * |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10623189B2 (en) * | 2015-09-22 | 2020-04-14 | South China University Of Technology | Online/offline signature system and method based on multivariate cryptography |
Also Published As
Publication number | Publication date |
---|---|
US10075299B2 (en) | 2018-09-11 |
EP2744148A4 (en) | 2015-09-09 |
EP2744148A1 (en) | 2014-06-18 |
CN103748830A (zh) | 2014-04-23 |
BR112014002849A2 (pt) | 2017-03-01 |
US20140164780A1 (en) | 2014-06-12 |
JP2013041073A (ja) | 2013-02-28 |
CN103748830B (zh) | 2019-03-08 |
EP2744148B1 (en) | 2018-02-21 |
JP5790291B2 (ja) | 2015-10-07 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5736816B2 (ja) | 認証装置、認証方法、プログラム、及び署名生成装置 | |
JP2013042315A (ja) | 情報処理装置、及び情報処理方法 | |
WO2013031414A1 (ja) | 署名検証装置、署名検証方法、プログラム、及び記録媒体 | |
WO2013024699A1 (ja) | 情報処理装置、情報処理方法、プログラム、及び記録媒体 | |
JP5790287B2 (ja) | 情報処理装置、情報処理方法、プログラム、及び記録媒体 | |
WO2013024697A1 (ja) | 情報処理装置、署名提供方法、署名検証方法、プログラム、及び記録媒体 | |
WO2013024627A1 (ja) | 情報処理装置、署名生成装置、情報処理方法、署名生成方法、及びプログラム | |
WO2013031420A1 (ja) | 情報処理装置、署名生成装置、署名検証装置、情報処理方法、署名生成方法、及び署名検証方法 | |
WO2013024633A1 (ja) | 情報処理装置、及び情報処理方法 | |
WO2013024630A1 (ja) | 情報処理装置、及び情報処理方法 | |
WO2013024628A1 (ja) | 情報処理装置、及び情報処理方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
121 | Ep: the epo has been informed by wipo that ep was designated in this application |
Ref document number: 12824271 Country of ref document: EP Kind code of ref document: A1 |
|
WWE | Wipo information: entry into national phase |
Ref document number: 14236959 Country of ref document: US |
|
NENP | Non-entry into the national phase |
Ref country code: DE |
|
REG | Reference to national code |
Ref country code: BR Ref legal event code: B01A Ref document number: 112014002849 Country of ref document: BR |
|
ENP | Entry into the national phase |
Ref document number: 112014002849 Country of ref document: BR Kind code of ref document: A2 Effective date: 20140205 |