EP0940944A2

Elliptic curve transformation device, utilization device and utilization system

Abstract

A parameter receiving unit receives parameters α and β of an elliptic curve E and an element G=(x0,y0) on the elliptic curve E. A transformation coefficient acquiring unit calculates a transformation coefficient t which is an element on a finite field GF(p) so that t^4 × α(mod p) will not exceed 32 bits. A transformed elliptic curve calculating unit calculates parameters α' and β' of an elliptic curve Et that is defined over the finite field GF(p) and expressed as Et: y'^2=x'^3+α' × x'+β', and calculates an element Gt=(xt0,yt0) that is present on the elliptic curve Et and corresponds to the element G, as follows:α'=α × t^4β'=β × t^6xt0=t^2 × x0yt0=t^3 × y0 A parameter sending unit sends the parameters α' and β' and the element Gt to an external device.

EP0940944A2, drawing sheet 1 — Sheet 1 of 162

Term

Term ended

Projected expiry passed 5 March 2019, 7.6 years ago.

12 claims: 6 independent, 6 dependent

1
An elliptic curve transformation device for transforming an elliptic curve E into an elliptic curve Et , the elliptic curve E being expressed as y'2=x^3+α × x+β and defined over a finite field GF(p) , p being a prime number, α being a parameter of the elliptic curve E , and β being a parameter of the elliptic curve E , the elliptic curve transformation device comprising:receiving means for receiving an element G as a base point, the prime number p , the parameter α, and the parameter β from an external device, the element G existing on the elliptic curve E and being expressed as G=(x0,y0) ;transformation coefficient acquiring means for acquiring a transformation coefficient t that is present on the finite field GF(p) , where t≠0 and a number of digits of t^4 × α(mod p) is smaller than a number of digits of the prime number p ;elliptic curve calculating means for calculating a parameter α' and a parameter β' of the elliptic curve Et and an element Gt that is a new base point and is expressed as Gt=(xt0,yt0) , using the transformation coefficient t according to α'=α × t^4 β'=β × t^6 xt0=t^2 × x0 yt0=t^3 × y0 where the elliptic curve E t is expressed as y'^2=x'^3+α' × x'+β' and defined over the finite field GF(p) ;and outputting means for outputting the parameter α', the parameter β' and the element Gt to the external device.
2
The elliptic curve transformation device of Claim 1, wherein the prime number p is 160 bits long, and wherein the transformation coefficient acquiring means acquires the transformation coefficient t which satisfies a condition that t^4 × α(mod p) is no longer than 32 bits.
3
The elliptic curve transformation device of Claim 1, wherein the transformation coefficient acquiring means acquires the transformation coefficient t which satisfies t^ 4 × α(mod p)=-3 .
4
The elliptic curve transformation device of Claim 1, wherein the transformation coefficient acquiring means acquires the transformation coefficient t by repeating:assignment of a value to a variable T , wherein -3 is first assigned as an initial value and then values with increasing absolute values are assigned;and judgement on whether T=t^4 × α(mod p) is satisfied.
5
An elliptic curve utilization system whereby an elliptic curve transformation device transforms an elliptic curve E into an elliptic curve Et and a utilization device uses the elliptic curve Et generated by the elliptic curve transformation device, the elliptic curve E being expressed as y^2=x^3+α × x+β and defined over a finite field GF(p) , p being a prime number, α being a parameter of the elliptic curve E , and β being a parameter of the elliptic curve E , wherein the utilization device includes first outputting means, first receiving means and utilizing means, while the elliptic curve transformation device includes second receiving means, transformation coefficient acquiring means, elliptic curve calculating means and second outputting means, wherein the first outputting means outputs an element G as a base point, the prime number p , the parameter α and the parameter β to the elliptic curve transformation device, the element G existing on the elliptic curve E and being expressed as G=(x0,y0) , wherein the second receiving means receives the prime number p , the parameter α, the parameter β and the element G from the utilization device, wherein the transformation coefficient acquiring means acquires a transformation coefficient t that is present on the finite field GF(p) , where t≠0 and a number of digits of t^4 × α(mod p) is smaller than a number of digits of the prime number p , wherein the elliptic curve calculating means calculates a parameter α' and a parameter β' of the elliptic curve Et and an element Gt that is a new base point and is expressed as Gt=(xt0,yt0) , using the transformation coefficient t according to α'=α × t^4 β'=β × t^6 xt0=t^2 × x0 yt0=t^3 × y0 where the elliptic curve Et is expressed as y'^2=x'^3+α' × x'+β' and defined over the finite field GF(p) , wherein the second outputting means outputs the parameter α', the parameter β' and the element Gt to the utilization device, wherein the first receiving means receives the parameter α', the parameter β' and the element Gt from the elliptic curve transformation device, and wherein the utilizing means performs one of encryption, decryption, digital signature, digital signature verification, and key agreement using a discrete logarithm problem as a basis for security, by performing calculations on the elliptic curve Et using the prime number p, the elliptic curve Et defined by the parameter α' and the parameter β' over the finite field GF(p) , and the element Gt as the base point.
6
The elliptic curve utilization system of Claim 5, wherein the prime number p is 160 bits long, and wherein the transformation coefficient acquiring means acquires the transformation coefficient t which satisfies a condition that t^4 × α(mod p) is no longer than 32 bits.
7
The elliptic curve utilization system of Claim 5, wherein the transformation coefficient acquiring means acquires the transformation coefficient t which satisfies t^4 × α(mod p)=-3 .
8
The elliptic curve utilization system of Claim 5, wherein the transformation coefficient acquiring means acquires the transformation coefficient t by repeating:assignment of a value to a variable T , wherein -3 is first assigned as an initial value and then values with increasing absolute values are assigned;and judgement on whether T=t^4 × α(mod p) is satisfied.
9
A utilization device for receiving, from an elliptic curve transformation device that includes second receiving means, transformation coefficient acquiring means, elliptic curve calculating means and second outputting means and transforms an elliptic curve E into an elliptic curve Et , the elliptic curve Et and using the received elliptic curve Et , the elliptic curve E being expressed as y^2=x^3+α × x+β and defined over a finite field GF(p) , p being a prime number, α being a parameter of the elliptic curve E , and β being a parameter of the elliptic curve E , the utilization device comprising first outputting means, first receiving means, and utilizing means, wherein the first outputting means outputs an element G as a base point, the prime number p , the parameter α and the parameter β to the elliptic curve transformation device, the element G existing on the elliptic curve E and being expressed as G=(x0,y0) , wherein the second receiving means receives the prime number p , the parameter α, the parameter β and the element G from the utilization device, wherein the transformation coefficient acquiring means acquires a transformation coefficient t that is present on the finite field GF(p) , where t≠0 and a number of digits of t^4 × α(mod p) is smaller than a number of digits of the prime number p , wherein the elliptic curve calculating means calculates a parameter α' and a parameter β' of the elliptic curve Et and an element Gt that is a new base point and is expressed as Gt=(xt0,yt0) , using the transformation coefficient t according to α'=α × t^4 β'=β × t^6 xt0=t^2 × x0 yt0=t^3 × y0 where the elliptic curve Et is expressed as y'^2=x'^3+α' × x'+β' and defined over the finite field GF(p) , wherein the second outputting means outputs the parameter α', the parameter β' and the element Gt to the utilization device, wherein the first receiving means receives the parameter α', the parameter β' and the element Gt from the elliptic curve transformation device, and wherein the utilizing means performs one of encryption, decryption, digital signature, digital signature verification, and key agreement using a discrete logarithm problem as a basis for security, by performing calculations on the elliptic curve Et using the prime number p , the elliptic curve Et defined by the parameter α' and the parameter β' over the finite field GF(p) , and the element Gt as the base point.
10
A utilization device for using an elliptic curve Et which is generated as a result of transformation of an elliptic curve E , comprising:storing means for storing an element Gt as a base point, a parameter α' of the elliptic curve Et, and a parameter β' of the elliptic curve Et ;and utilizing means for performing one of encryption, decryption, digital signature, digital signature verification, and key agreement using a discrete logarithm problem as a basis for security, by performing calculations on the elliptic curve Et using a prime number p , the elliptic curve Et defined by the parameter α' and the parameter β' over a finite field GF(p) , and the element Gt as the base point, wherein the parameter α', the parameter β' and the element Gt are generated by an elliptic curve transformation device that includes transformation coefficient acquiring means and elliptic curve calculating means, wherein the elliptic curve E is expressed as y^2=x^3+α × x+β and defined over the finite field GF(p) , while G as a base point is an element on the elliptic curve E and is expressed as G=(x0,y0) , wherein the transformation coefficient acquiring means acquires a transformation coefficient t that is present on the finite field GF(p) , where t≠0 and a number of digits of t^4 × α(mod p) is smaller than a number of digits of the prime number p , and wherein the elliptic curve calculating means calculates the parameter α', the parameter β' and the element Gt which is present on the elliptic curve Et and is expressed as Gt=(xt0,yt0) , using the transformation coefficient t according to α'=α × t^4 β'=β × t^6 xt0=t^2 × x0 yt0=t^3 × y0 where the elliptic curve Et is expressed as y'^2=x'^3+α' × x'+β' and defined over the finite field GF(p) .
11
An elliptic curve transformation method for transforming an elliptic curve E into an elliptic curve Et , the elliptic curve E being expressed as y^2=x^3+α × x+β and defined over a finite field GF(p) , p being a prime number, α being a parameter of the elliptic curve E , and β being a parameter of the elliptic curve E , the elliptic curve transformation method comprising:a receiving step for receiving an element G as a base point, the prime number p , the parameter α, and the parameter β from an external device, the element G existing on the elliptic curve E and being expressed as G=(x0,y0) ;a transformation coefficient acquiring step for acquiring a transformation coefficient t that is present on the finite field GF(p) , where t≠0 and a number of digits of t^4 × α(mod p) is smaller than a number of digits of the prime number p ;an elliptic curve calculating step for calculating a parameter α' and a parameter β' of the elliptic curve Et and an element Gt that is a new base point and is expressed as Gt=(xt0,yt0) , using the transformation coefficient t according to α'=α × t^4 β'=β × t^6 xt0=t^2 × x0 yt0=t^3 × y0 where the elliptic curve Et is expressed as y'^2=x'^3+α' × x'+β' and defined over the finite field GF(p) ;and an outputting step for outputting the parameter α', the parameter β' and the element Gt to the external device.
12
A computer-readable storage medium storing an elliptic curve transformation program for transforming an elliptic curve E into an elliptic curve Et , the elliptic curve E being expressed as y^2=x^3+α × x+β and defined over a finite field GF(p) , p being a prime number, α being a parameter of the elliptic curve E, and β being a parameter of the elliptic curve E , the elliptic curve transformation program comprising:a receiving step for receiving an element G as a base point, the prime number p , the parameter α, and the parameter β from an external device, the element G existing on the elliptic curve E and being expressed as G=(x0,y0) ;a transformation coefficient acquiring step for acquiring a transformation coefficient t that is present on the finite field GF(p) , where t≠0 and a number of digits of t^4 × α(mod p) is smaller than a number of digits of the prime number p ;an elliptic curve calculating step for calculating a parameter α' and a parameter β' of the elliptic curve Et and an element Gt that is a new base point and is expressed as Gt=(xt0,yt0) , using the transformation coefficient t according to α'=α × t^4 β '=β × t^6 xt0=t^2 × x0 yt0=t^3 × y0 where the elliptic curve Et is expressed as y'^2=x'^3+α' × x'+β' and defined over the finite field GF(p) ;and an outputting step for outputting the parameter α', the parameter β' and the element Gt to the external device.

Independent claims12

185 paragraphs in 5 sections, as filed

0001This application is based on an application No. 10-053204 filed in Japan, the content of which is hereby incorporated by reference.

BACKGROUND OF THE INVENTION

Field of the Invention

0002The present invention relates to an encryption technique for maintaining the security of information, and in particular relates to an encryption/decryption technique, a digital signature/verification technique, and a key agreement technique which use an elliptic curve.

Description of the Related Art

〈Public-Key Encryption〉

0003Data communication that uses computer and communication techniques has become pervasive in recent years. Secret communication or digital signature techniques are used in such data communication. Secret communication techniques allow communication to be performed without the communicated content being revealed to third parties. Digital signature techniques, meanwhile, enable a receiver to verify whether the communicated content is valid or whether the information is from the stated sender.

0004Such secret communication or digital signature techniques use a cryptosystem called public-key encryption. Public-key encryption provides a convenient method for managing the separate encryption keys of many users, and so has become a fundamental technique for performing communication with a large number of users. In secret communication based on public-key encryption, different keys are used for encryption and decryption, with the decryption key being kept secret and the encryption key being made public.

0005Here, one of the founding principles for the security of public-key encryption is the so-called "discrete logarithm problem". Representative examples of the discrete logarithm problem are problems defined over finite fields and problems based on elliptic curves. Such problems are described in detail in Neal Koblitz, A Course in Number Theory and Cryptography (Springer-Verlag, 1987).

〈Discrete Logarithm Problem based on Elliptic Curve〉

0006A discrete logarithm problem based on an elliptic curve is as follows.

0007E(GF(p)) is the elliptic curve E defined over the finite field GF(p), with an element G, given when the order of E is exactly divided by a large prime number, being set as a base point. This being so, the problem is to calculate an integer x that satisfies<maths id="math0001" num="(Formula 1)"><math display="block"><mrow><mtext mathvariant="italic">Y=x*G</mtext></mrow></math><img file="EP0940944A2_D0001.tif" /></maths> where Y is a given element on the elliptic curve E and such an integer x actually exists.

0008Here, p is a prime number and GF(p) is a finite field that includes p elements. Note that in this specification the sign * represents exponentiation of an element included in an elliptic curve, so that <maths id="math0002"><math display="inline"><mrow><mtext mathvariant="italic">x*G=G+G+</mtext><mtext> · · · </mtext><mtext mathvariant="italic">+G</mtext></mrow></math><img file="EP0940944A2_D0002.tif" /></maths> where the element G is cumulated x times.

0009The reason a discrete logarithm problem assists in the security of public-key encryption is that the above calculation of x is extremely difficult for a large finite field GF(p).

〈ElGamal Signature Scheme Which Uses Discrete Logarithm Problem Based on Elliptic Curve〉

0010The following is a description of the ElGamal signature scheme which uses a discrete logarithm problem based on an elliptic curve.

0011Fig. 1 is a sequence diagram showing the digital signature procedure by the ElGamal signature scheme.

0012A user A 110, a management center 120 and a user B 130 are connected together via a network.

0013First, a prime number is set as p, an elliptic curve over a finite field GF(p) is set as E, a base point of E is set as G, and the order of E is set as q. Which is to say, q is the smallest positive integer that satisfies<maths id="math0003" num="(Formula 2)"><math display="block"><mrow><mtext mathvariant="italic">q*G=0</mtext></mrow></math><img file="EP0940944A2_D0003.tif" /></maths>

0014Note that a point (∞,∞) whose x and y coordinates are both ∞ is called "point at infinity" and expressed as 0. When an elliptic curve is regarded as a group, 0 acts as "zero-element" in addition operations.

(1) Generation of Public Key by Management Center 120

0015Using a secret key xA given by the user A 110 beforehand, the management center 120 generates a public key YA for the user A 110 according to Formula 3 (steps S141-S142).<maths id="math0004" num="(Formula 3)"><math display="block"><mrow><mtext mathvariant="italic">YA=xA*G</mtext></mrow></math><img file="EP0940944A2_D0004.tif" /></maths>

0016The management center 120 then announces the prime number p, the elliptic curve E and the base point G as system parameters, and reveals the public key YA of the user A 110 to the user B 130 (steps S143-S144).

(2) Generation of Signature by User A 110

0017The user A 110 generates a random number k (step S145).

0018The user A 110 then calculates<maths id="math0005" num="(Formula 4)"><math display="block"><mrow><mtext mathvariant="italic">R1=(rx,ry)=k*G</mtext></mrow></math><img file="EP0940944A2_D0005.tif" /></maths> (step S146), and finds s that satisfies<maths id="math0006" num="(Formula 5)"><math display="block"><mrow><mtext mathvariant="italic">s</mtext><mtext> × </mtext><mtext mathvariant="italic">k=m+rx</mtext><mtext> × </mtext><mtext mathvariant="italic">xA(mod q)</mtext></mrow></math><img file="EP0940944A2_D0006.tif" /></maths> (step 147), where m denotes a message to be sent from the user A 110 to the user B 130.

0019The user A 110 sends (R1,s) as a signature to the user B 130 together with the message m (step S148).

(3) Verification of Signature by User B 130

0020The user B 130 verifies the validity of the user A 110 that is the sender of the message m, by judging whether Formula 6 is satisfied (step S149).<maths id="math0007" num="(Formula 6)"><math display="block"><mrow><mtext>s*R1=m*G+rx*YA</mtext></mrow></math><img file="EP0940944A2_D0007.tif" /></maths>

0021Here, Formula 6 derives from<maths id="math0008" num="(Formula 7)"><math display="block"><mrow><mtext mathvariant="italic">s*Ri={((m+rx × xA)/k) × k}*G</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">= (m+rx × xA) *G</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=m*G+(rx × xA)*G</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=m*G+rx*YA</mtext></mrow></math><img file="EP0940944A2_D0008.tif" /></maths>

〈Computational Complexity of Addition and Doubling in Elliptic Curve Exponentiation〉

0022In the above ElGamal digital signature scheme which uses a discrete logarithm problem based on an elliptic curve, elliptic curve exponentiation is repeatedly performed to generate the public key and the signature and to verify the signature. For example, xA*G in Formula 3, k*G in Formula 4, s*R1, m*G and rx*YA in Formula 6 are such elliptic curve exponentiation. For details on elliptic curve exponentiation, see "Efficient Elliptic Curve Exponentiation" in Miyaji, Ono & Cohen, Advances in Cryptology-Proceedings of ICICS'97, Lecture Notes in Computer Science, pp.282-290 (Springer-Verlag, 1997).

0023Formulas used in elliptic curve exponentiation will be explained below.

0024Let<maths id="math0009"><math display="block"><mrow><mtext mathvariant="italic">y^2=x^3+α × x+β</mtext></mrow></math><img file="EP0940944A2_D0009.tif" /></maths> be the equation of an elliptic curve. In this specification, the sign ^ represents a repeated multiplication, so that <maths id="math0010"><math display="inline"><mrow><mtext>2^3=2 × 2 × 2</mtext></mrow></math><img file="EP0940944A2_D0010.tif" /></maths>.

0025Let <maths id="math0011"><math display="inline"><mrow><mtext mathvariant="italic">P</mtext><mtext>=(x1,y1)</mtext></mrow></math><img file="EP0940944A2_D0011.tif" /></maths> and <maths id="math0012"><math display="inline"><mrow><mtext mathvariant="italic">Q</mtext><mtext>=(x2,y2)</mtext></mrow></math><img file="EP0940944A2_D0012.tif" /></maths> be two arbitrary points on the elliptic curve and <maths id="math0013"><math display="inline"><mrow><mtext mathvariant="italic">R=(x3,y3)</mtext></mrow></math><img file="EP0940944A2_D0013.tif" /></maths> be a point defined by <maths id="math0014"><math display="inline"><mrow><mtext mathvariant="italic">R=P+Q</mtext></mrow></math><img file="EP0940944A2_D0014.tif" /></maths>.

0026When P≠Q, <maths id="math0015"><math display="inline"><mrow><mtext mathvariant="italic">R=P+Q</mtext></mrow></math><img file="EP0940944A2_D0015.tif" /></maths> is an addition operation using addition formulas that are<maths id="math0016"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">x3={(y2-y1)/(x2-x1)}^2-x1-x2</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">y3={(y2-y1)/(x2-x1)}(x1-x3)-y1</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0016.tif" /></maths>

0027When <maths id="math0017"><math display="inline"><mrow><mtext mathvariant="italic">P=Q</mtext></mrow></math><img file="EP0940944A2_D0017.tif" /></maths>, on the other hand, <maths id="math0018"><math display="inline"><mrow><mtext mathvariant="italic">R=P+Q=P+P=2 × P</mtext></mrow></math><img file="EP0940944A2_D0018.tif" /></maths>, so that <maths id="math0019"><math display="inline"><mrow><mtext mathvariant="italic">R=P+Q</mtext></mrow></math><img file="EP0940944A2_D0019.tif" /></maths> is a doubling operation using doubling formulas that are<maths id="math0020"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">x3={(3x1^2+α)/2y1}^2-2x1</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">y3={(3x1^2+α)/2y1}(x1-x3)-y1</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0020.tif" /></maths>

0028Note that the above operations are performed on a finite field where the elliptic curve is defined.

0029As shown in the addition formulas, when performing the addition operation over the elliptic curve in the 2-tuple coordinates called affine coordinates, it is necessary to perform one division over the finite field. One division over a finite field requires an average of 10 times as much computational complexity as one multiplication over the finite field.

0030To reduce this computational complexity, 3-tuple coordinates called projective coordinates are used instead.

0031Projective coordinates are 3-tuple coordinates made up of X, Y, and Z, wherein if a number n and two points (X,Y,Z) and (X',Y',Z') satisfy the relationship<maths id="math0021"><math display="block"><mrow><mtext mathvariant="italic">X'=nX, Y'=nY, Z'=nZ</mtext></mrow></math><img file="EP0940944A2_D0021.tif" /></maths> then<maths id="math0022"><math display="block"><mrow><mtext mathvariant="italic">(X,Y,Z)=(X',Y',Z')</mtext></mrow></math><img file="EP0940944A2_D0022.tif" /></maths>

0032Projective coordinates (X,Y,Z) correspond to affine coordinates (x,y) as follows:<maths id="math0023"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">(x,y) → (x,y,1)</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">(X,Y,Z) → (X/Y,Y/Z)</mtext><mtext> (where </mtext><mtext mathvariant="italic">Z≠0</mtext><mtext>)</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0023.tif" /></maths>

0033Here, the sign → is used in such a way that S1→S2 when an element in a set S1 corresponds to an element in a set S2.

0034Hence the following description will be made on the premise that all computations over elliptic curves are performed in projective coordinates.

0035Addition and doubling formulas used for an elliptic curve in projective coordinates will be explained below. These formulas are consistent with the addition and doubling formulas in affine coordinates given above.

0036Elliptic curve exponentiation is achieved by repeating additions and doublings. Here, while computational complexity of an addition is unchanged regardless of parameters in an elliptic curve, computational complexity of a doubling is dependent on the parameters in the elliptic curve.

0037Let p be a 160-bit prime number and <maths id="math0024"><math display="inline"><mrow><mtext mathvariant="italic">E: y^2=x^3+α × x+β</mtext></mrow></math><img file="EP0940944A2_D0024.tif" /></maths> be an elliptic curve over a finite field Gf(p).

0038When elements P and Q on the elliptic curve E are set respectively as <maths id="math0025"><math display="inline"><mrow><mtext mathvariant="italic">P=(X1,Y1,Z1)</mtext></mrow></math><img file="EP0940944A2_D0025.tif" /></maths> and <maths id="math0026"><math display="inline"><mrow><mtext>Q=(X2,Y2,Z2)</mtext></mrow></math><img file="EP0940944A2_D0026.tif" /></maths>, <maths id="math0027"><math display="inline"><mrow><mtext>R=(X3,Y3,Z3)=P+Q</mtext></mrow></math><img file="EP0940944A2_D0027.tif" /></maths> is calculated as follows.

(1) Addition (where

P≠Q

)

(1-1) Calculation of Intermediate Values

0039The following is calculated.<maths id="math0028"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 8)</mtext><mtd><mrow><mtext mathvariant="italic">U1=X1 × Z2^2</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 9)</mtext><mtd><mrow><mtext mathvariant="italic">U2=X2 × Z1^2</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 10)</mtext><mtd><mrow><mtext mathvariant="italic">S1=Y1 × Z2^3</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 11)</mtext><mtd><mrow><mtext mathvariant="italic">S2 = Y2 × Z1^3</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 12)</mtext><mtd><mrow><mtext mathvariant="italic">H=U2-U1</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 13)</mtext><mtd><mrow><mtext mathvariant="italic">r=S2-S1</mtext><mtext></mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0028.tif" /></maths> (1-2) Calculation of <maths id="math0029"><math display="inline"><mrow><mtext mathvariant="italic">R=(X3,Y3,Z3)</mtext></mrow></math><img file="EP0940944A2_D0029.tif" /></maths>

0040The following is calculated.<maths id="math0030"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 14)</mtext><mtd><mrow><mtext mathvariant="italic">X3=-H^3-2 × U1 × H^2+r^2</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 15)</mtext><mtd><mrow><mtext mathvariant="italic">Y3=-S1 × H^3+r × (U1 × H^2-X3)</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 16)</mtext><mtd><mrow><mtext mathvariant="italic">Z3=Z1 × Z2 × H</mtext><mtext></mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0030.tif" /></maths> (2) Doubling (where <maths id="math0031"><math display="inline"><mrow><mtext mathvariant="italic">P=Q</mtext></mrow></math><img file="EP0940944A2_D0031.tif" /></maths> (<maths id="math0032"><math display="inline"><mrow><mtext mathvariant="italic">R=2P</mtext></mrow></math><img file="EP0940944A2_D0032.tif" /></maths>))

(2-1) Calculation of Intermediate Values

0041The following is calculated.<maths id="math0033"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 17)</mtext><mtd><mrow><mtext mathvariant="italic">S=4 × X1 × Y1^2</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 18)</mtext><mtd><mrow><mtext mathvariant="italic">M=3 × X1^2+α × Z1^4</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 19)</mtext><mtd><mrow><mtext mathvariant="italic">T=-2 × S+M^2</mtext><mtext></mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0033.tif" /></maths> (2-2) Calculation of <maths id="math0034"><math display="inline"><mrow><mtext mathvariant="italic">R=(X3,Y3,Z3)</mtext></mrow></math><img file="EP0940944A2_D0034.tif" /></maths>

0042The following is calculated.<maths id="math0035"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 20)</mtext><mtd><mrow><mtext mathvariant="italic">X3=T</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 21)</mtext><mtd><mrow><mtext mathvariant="italic">Y3=-8 × Y1^4+M × (S-T)</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 22)</mtext><mtd><mrow><mtext mathvariant="italic">Z3=2 × Y1 × Z1</mtext><mtext></mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0035.tif" /></maths>

0043Computational complexity when performing the above addition and doubling over the elliptic curve E can be estimated as follows. Here, computational complexity of one multiplication over the finite field GF(p) is measured as 1Mul, while computational complexity of one squaring over the finite field GF(p) is measured as 1Sq (1Sq≒0.8Mul in general-purpose microprocessors).

0044Computational complexity of the addition over the elliptic curve E (where P≠Q) is obtained by counting the number of multiplications and the number of squarings performed in Formulas 8-16. Since 1Mul+1Sq, 1Mul+1Sq, 2Mul, 2Mul, 2Mul+2Sq, 2Mul, and 2Mul are performed respectively in Formulas 8, 9, 10, 11, 14, 15, and 16, the computational complexity of the addition is 12Mul+4Sq.

0045Similarly, computational complexity of the doubling over the elliptic curve E (where P=Q) is obtained by counting the number of multiplications and the number of squarings performed in Formulas 17-22. Since 1Mul+1Sq, 1Mul+3Sq, 1Sq, 1Mul+1Sq, and 1Mul are performed respectively in Formulas 17, 18, 19, 21, and 22, the computational complexity of the doubling is 4Mul+6Sq.

0046It should be noted that there are certain rules in counting the number of multiplications and the number of squarings. For instance, H^3 in Formula 14 can be expanded as <maths id="math0036"><math display="inline"><mrow><mtext mathvariant="italic">H^3=H^2 × H</mtext></mrow></math><img file="EP0940944A2_D0036.tif" /></maths>, so that computational complexity of H^3 is 1Mul+1Sq. In the same way, Z1^4 in Formula 18 can be expanded as <maths id="math0037"><math display="inline"><mrow><mtext mathvariant="italic">Z1^4</mtext><mtext>=(</mtext><mtext mathvariant="italic">Z1^2</mtext><mtext>)</mtext><mtext mathvariant="italic">^2</mtext></mrow></math><img file="EP0940944A2_D0037.tif" /></maths>, so that computational complexity of Z1^4 is 2Sq.

0047Also, H^2 in Formula 14 is not included in the number of squarings, since H^2 has already been calculated in the calculation of H^3 in the same formula.

0048Also, a multiplication of a given value by a small value is not included in the number of multiplications due to the following reason.

0049Small values noted here are small fixed values, such as 2, 3, 4, and 8, that are used for multiplications in Formulas 8-22. Such values can each be expressed in binary with 4 bits at the maximum, while the other parameters in the formulas are mostly 160 bits long.

0050In microprocessors, a multiplication of a multiplicand by a multiplier is normally achieved by repeatedly shifting the multiplicand and calculating the sum. More specifically, when a bit of a multiplier expressed in binary shows "1", a multiplicand expressed in binary is shifted to justify the least significant bit of the multiplicand to the position of the bit of the multiplier, thereby generating one bit string. After repeating the above shift for every bit of the multiplier, one or more bit strings are generated and totaled.

0051When a multiplier and a multiplicand are both 160 bits long, the 160-bit multiplicand is shifted 160 times, and as a result 160 bit strings are obtained and totaled. On the other hand, when a multiplier is 4 bits long and a multiplicand is 160 bits long, the 160-bit multiplicand is shifted 4 times, and as a result 4 bit strings are obtained and totaled.

0052Thus, in a multiplication of a given value by a small value, shift does not have to be repeated many times, so that computational complexity of the multiplication can be neglected. Accordingly, such a multiplication is not counted in the number of multiplications.

0053This rule can be applied to the following case. If a small value is assigned to the parameter α of the elliptic curve E in Formula 18 in the doubling operation, the computational complexity of the doubling can be reduced by 1Mul to be 3Mul+6Sq. Meanwhile, the computational complexity of the addition operation is unchanged even if parameters of the elliptic curve are changed.

〈Selection of Elliptic Curve Suitable for Encryption〉

0054A method of selecting an elliptic curve suitable for use in encryption will be explained below. For details on the method, see IEEE P1363 Working Draft (IEEE, February 6, 1997).

0055An elliptic curve suitable for encryption can be obtained by repeating the following steps.

(1) Selection of Arbitrary Elliptic Curve

0056First, two parameters on a finite field GF(p) are arbitrarily selected and set as α and β. Here, α and β satisfy<maths id="math0038" num="(Formula 23)"><math display="block"><mrow><mtext mathvariant="italic">4 × α^3+27 × β^2≠0(mod p)</mtext></mrow></math><img file="EP0940944A2_D0038.tif" /></maths> and p denotes a prime number.

0057Next, α and β are used to set an elliptic curve E that is<maths id="math0039"><math display="block"><mrow><mtext mathvariant="italic">E: y^2=x^3+α × x+β</mtext></mrow></math><img file="EP0940944A2_D0039.tif" /></maths>

(2) Judgement on Whether Elliptic Curve

E

is Suitable for Encryption

0058The number of elements #E(GF(p)) in the elliptic curve E obtained in (1) is calculated, and the elliptic curve E is adopted when Conditions 1 and 2 are met. <ul id="ul0001" list-style="none" compact="compact"><li>(Condition 1) #E(GF(p)) is exactly divisible by a large prime number</li><li>(Condition 2) #E(GF(p))-(p+1)≠0, -1</li></ul>

0059When any of Conditions 1 and 2 is not met, the elliptic curve E is rejected and (1) and (2) are performed again where a new elliptic curve is arbitrarily selected and its suitability is judged.

〈Problems of Conventional Techniques〉

0060As described above, when a fixed small value is assigned to the parameter α of the elliptic curve, computational complexity of elliptic curve exponentiation can be reduced. However, it is difficult to select a secure elliptic curve that is suitable for use in encryption, since the value of the parameter d is fixed beforehand.

0061On the other hand, when the above selection method is used, a secure elliptic curve suitable for use in encryption can be selected. However, it is difficult to reduce computational complexity, since a small value may not necessarily assigned to the parameter α of the elliptic curve.

0062Thus, with the conventional techniques, it is impossible to select a secure elliptic curve suitable for encryption and at the same time reduce computational complexity for the elliptic curve, due to the above mutually contradictory problems.

SUMMARY OF THE INVENTION

0063The first object of the present invention is to provide an elliptic curve transformation device, an elliptic curve transformation method, and a storage medium storing an elliptic curve transformation program that solve the stated problems by converting an elliptic curve, arbitrarily selected as a secure elliptic curve suitable for use in encryption, into an elliptic curve which enables reduction in computational complexity while maintaining the same level of security.

0064The second object of the present invention is to provide utilization devices, such as an encryption device, a decryption device, a digital signature device, a digital signature verification device and a key agreement device, that can perform computations safely at high speed as a result of elliptic curve transformation, and a utilization system composed of the elliptic curve transformation device and any of the utilization devices.

0065The above objects can be fulfilled by an elliptic curve transformation device for transforming an elliptic curve E into an elliptic curve Et, the elliptic curve E being expressed as<maths id="math0040"><math display="block"><mrow><mtext mathvariant="italic">y^2=x^3+α × x+β</mtext></mrow></math><img file="EP0940944A2_D0040.tif" /></maths> and defined over a finite field GF(p), p being a prime number, α being a parameter of the elliptic curve E, and β being a parameter of the elliptic curve E, the elliptic curve transformation device including: a receiving unit for receiving an element G as a base point, the prime number p, the parameter α, and the parameter β from an external device, the element G existing on the elliptic curve E and being expressed as <maths id="math0041"><math display="inline"><mrow><mtext mathvariant="italic">G=(x0,y0)</mtext></mrow></math><img file="EP0940944A2_D0041.tif" /></maths>; a transformation coefficient acquiring unit for acquiring a transformation coefficient t that is present on the finite field GF(p), where t≠0 and a number of digits of t^4 × α(mod p) is smaller than a number of digits of the prime number p; an elliptic curve calculating unit for calculating a parameter α' and a parameter β' of the elliptic curve Et and an element Gt that is a new base point and is expressed as <maths id="math0042"><math display="inline"><mrow><mtext mathvariant="italic">Gt=(xt0,yt0)</mtext></mrow></math><img file="EP0940944A2_D0042.tif" /></maths>, using the transformation coefficient t according to<maths id="math0043"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">α'=α × t^4</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">β'=β × t^6</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">xt0=t^2 × x0</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">yt0=t^3 × y0</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0043.tif" /></maths> where the elliptic curve Et is expressed as<maths id="math0044"><math display="block"><mrow><mtext mathvariant="italic">y'^2=x'^3+α' × x'+β'</mtext></mrow></math><img file="EP0940944A2_D0044.tif" /></maths> and defined over the finite field GF(p); and an outputting unit for outputting the parameter α', the parameter β' and the element Gt to the external device.

0066With this construction, it is possible to obtain a highly effective elliptic curve that has the same level of security as an arbitrarily formed elliptic curve and at the same time enables an elliptic curve utilization device to perform computations at high speed.

0067Here, the prime number p may be 160 bits long, wherein the transformation coefficient acquiring unit acquires the transformation coefficient t which satisfies a condition that t^4 × α(mod p) is no longer than 32 bits.

0068With this construction, when an elliptic curve generated by the elliptic curve transformation device is used by a utilization device, computational complexity of a doubling on the elliptic curve can be reduced by 1Mul compared to a pre-transformed elliptic curve whose parameter α is nearly 160 bits long.

0069Here, the transformation coefficient acquiring unit may acquire the transformation coefficient t which satisfies <maths id="math0045"><math display="inline"><mrow><mtext mathvariant="italic">t^4 ×</mtext><mtext></mtext><mtext mathvariant="italic">α(mod p)=-3</mtext></mrow></math><img file="EP0940944A2_D0045.tif" /></maths>.

0070With this construction, when an elliptic curve generated by the elliptic curve transformation device is used by a utilization device, computational complexity of a doubling on the elliptic curve can be reduced by 2Sq compared to conventional techniques.

0071The above objects can also be fulfilled by an elliptic curve utilization system whereby an elliptic curve transformation device transforms an elliptic curve E into an elliptic curve Et and a utilization device uses the elliptic curve Et generated by the elliptic curve transformation device, the elliptic curve E being expressed as<maths id="math0046"><math display="block"><mrow><mtext mathvariant="italic">y^2=x^3+α × x+β</mtext></mrow></math><img file="EP0940944A2_D0046.tif" /></maths> and defined over a finite field GF(p), p being a prime number, α being a parameter of the elliptic curve E, and β being a parameter of the elliptic curve E, wherein the utilization device includes a first outputting unit, a first receiving unit and a utilizing unit, while the elliptic curve transformation device includes a second receiving unit, a transformation coefficient acquiring unit, an elliptic curve calculating unit and a second outputting unit, wherein the first outputting unit outputs an element G as a base point, the prime number p, the parameter α and the parameter β to the elliptic curve transformation device, the element G existing on the elliptic curve E and being expressed as <maths id="math0047"><math display="inline"><mrow><mtext mathvariant="italic">G=(x0,y0)</mtext></mrow></math><img file="EP0940944A2_D0047.tif" /></maths>, wherein the second receiving unit receives the prime number p, the parameter α, the parameter β and the element G from the utilization device, wherein the transformation coefficient acquiring unit acquires a transformation coefficient t that is present on the finite field GF(p), where t≠0 and a number of digits of t^4 × α(mod p) is smaller than a number of digits of the prime number p, wherein the elliptic curve calculating unit calculates a parameter α' and a parameter β' of the elliptic curve Et and an element Gt that is a new base point and is expressed as <maths id="math0048"><math display="inline"><mrow><mtext mathvariant="italic">Gt=(xt0,yt0)</mtext></mrow></math><img file="EP0940944A2_D0048.tif" /></maths>, using the transformation coefficient t according to<maths id="math0049"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">α'=α × t^4</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">β'=β × t^6</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">xt0=t^2 × x0</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">yt0=t^3 × y0</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0049.tif" /></maths> where the elliptic curve Et is expressed as<maths id="math0050"><math display="block"><mrow><mtext mathvariant="italic">y'^2=x'^3+α' × x'+β'</mtext></mrow></math><img file="EP0940944A2_D0050.tif" /></maths> and defined over the finite field GF(p), wherein the second outputting unit outputs the parameter α', the parameter β' and the element Gt to the utilization device, wherein the first receiving unit receives the parameter α', the parameter β' and the element Gt from the elliptic curve transformation device, and wherein the utilizing unit performs one of encryption, decryption, digital signature, digital signature verification, and key agreement using a discrete logarithm problem as a basis for security, by performing calculations on the elliptic curve Et using the prime number p, the elliptic curve Et defined by the parameter α' and the parameter β' over the finite field GF(p), and the element Gt as the base point.

0072With this construction, it is possible to use a highly effective elliptic curve that has the same level of security as an arbitrarily formed elliptic curve and at the same time enables high-speed computations.

0073Here, the prime number p may be 160 bits long, wherein the transformation coefficient acquiring unit acquires the transformation coefficient t which satisfies a condition that t^4 × α(mod p) is no longer than 32 bits.

0074With this construction, the utilization device uses a transformed elliptic curve, so that computational complexity of a doubling can be reduced by 1Mul compared to a pre-transformed elliptic curve whose parameter α is nearly 160 bits long.

0075Here, the transformation coefficient acquiring unit may acquire the transformation coefficient t which satisfies <maths id="math0051"><math display="inline"><mrow><mtext mathvariant="italic">t^4 ×</mtext><mtext></mtext><mtext mathvariant="italic">α(mod p)=-3</mtext></mrow></math><img file="EP0940944A2_D0051.tif" /></maths>.

0076With this construction, the utilization device uses a transformed elliptic curve, so that computational complexity of a doubling can be reduced by 2Sq compared to conventional techniques.

BRIEF DESCRIPTION OF THE DRAWINGS

0077These and other objects, advantages and features of the invention will become apparent from the following description thereof taken in conjunction with the accompanying drawings that illustrate a specific embodiment of the invention. In the drawings: <ul id="ul0002" list-style="none" compact="compact"><li>Fig. 1 is a sequence diagram showing the digital signature procedure by the ElGamal signature scheme;</li><li>Fig. 2 is a block diagram showing an elliptic curve transformation device of an embodiment of the present invention;</li><li>Fig. 3 shows a table showing a function T(i) used in the elliptic curve transformation device;</li><li>Fig. 4 is a flowchart showing the operation of the elliptic curve transformation device;</li><li>Fig. 5 is a flowchart showing the operation of a transformation coefficient acquiring unit of the elliptic curve transformation device;</li><li>Fig. 6 is a flowchart showing the operation of a transformed elliptic curve calculating unit of the elliptic curve transformation device; and</li><li>Fig. 7 is a sequence diagram showing the procedure of a key agreement system that uses the elliptic curve transformation device.</li></ul>

DESCRIPTION OF THE PREFERRED EMBODIMENT(S)

0078The following is a description of an elliptic curve transformation device of an embodiment of the present invention with reference to figures.

1. Construction of Elliptic Curve Transformation Device 200

0079As shown in Fig. 2, an elliptic curve transformation device 200 includes a parameter receiving unit 210, a transformation coefficient acquiring unit 220, a transformed elliptic curve calculating unit 230 and a parameter sending unit 240.

〈Parameter Receiving Unit 210〉

0080The parameter receiving unit 210 receives parameters α and β of an elliptic curve E, an element G on the elliptic curve E, and a prime number p from an external device. In this embodiment, p is 160 bits long.

0081The external device noted here may be one of an encryption device, a decryption device, a digital signature device, a digital signature verification device, and a key agreement device that use public-key encryption, and uses a discrete logarithm problem based on an elliptic curve as one of the founding principles for the security of public-key encryption. The elliptic curve E is stored in this external device.

0082The elliptic curve E is arbitrarily formed over a finite field GF(p) and expressed as<maths id="math0052"><math display="block"><mrow><mtext mathvariant="italic">E: y^2=x^3+α × x+β</mtext></mrow></math><img file="EP0940944A2_D0052.tif" /></maths> while the element G on the elliptic curve E is arbitrarily set and expressed as<maths id="math0053"><math display="block"><mrow><mtext mathvariant="italic">G=(x0,y0)</mtext></mrow></math><img file="EP0940944A2_D0053.tif" /></maths>

〈Transformation Coefficient Acquiring Unit 220〉

0083The transformation coefficient acquiring unit 220 possesses a function T(i) shown in Fig. 3. When i=0, 1, 2, 3, 4, the function T(i) holds the values -3, 1,-1, 2, -2, respectively. When i=5, 6, 7, 8, 9, 10, ... , the function T(i) holds the values 4, -4, 5, -5, 6, -6, ... , respectively.

0084Starting from i=0 and incrementing i by 1, the transformation coefficient acquiring unit 220 judges whether T(i) satisfies<maths id="math0054" num="(Formula 24)"><math display="block"><mrow><mtext mathvariant="italic">-2^31+1≦T(i)≦2^31-1</mtext></mrow></math><img file="EP0940944A2_D0054.tif" /></maths>

0085If T(i) satisfies Formula 24, the transformation coefficient acquiring unit 220 finds a transformation coefficient t that satisfies<maths id="math0055" num="(Formula 25)"><math display="block"><mrow><mtext mathvariant="italic">T(i)=t^4 × α(mod p)</mtext></mrow></math><img file="EP0940944A2_D0055.tif" /></maths> where t is an element on the finite field GF(p).

0086Note here that Formula 24 is used to limit the length of T(i) within 32 bits.

0087Since <maths id="math0056"><math display="inline"><mrow><mtext mathvariant="italic">T(i)=-3</mtext></mrow></math><img file="EP0940944A2_D0056.tif" /></maths> when i=0, the transformation coefficient acquiring unit 220 first refers to -3 as T(i). After i=0, the transformation coefficient acquiring unit 220 refers to values with increasing absolute values as T(i), since the absolute value of T(i) increases with increase of the value of i except for i=0.

〈Transformed Elliptic Curve Calculating Unit 230〉

0088The transformed elliptic curve calculating unit 230 calculates parameters α' and β' of a transformed elliptic curve Et which is formed over the finite field GF(p) and expressed as<maths id="math0057"><math display="block"><mrow><mtext mathvariant="italic">Et: y'^2=x'^3+α' × x'+β'</mtext></mrow></math><img file="EP0940944A2_D0057.tif" /></maths> according to Formulas 26 and 27, respectively.<maths id="math0058"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 26)</mtext><mtd><mrow><mtext mathvariant="italic">α'=α × t^4</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 27)</mtext><mtd><mrow><mtext mathvariant="italic">β'=β × t^6</mtext><mtext></mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0058.tif" /></maths>

0089The transformed elliptic curve calculating unit 230 also calculates an element <maths id="math0059"><math display="inline"><mrow><mtext mathvariant="italic">Gt=(xt0,yt0)</mtext></mrow></math><img file="EP0940944A2_D0059.tif" /></maths> on the transformed elliptic curve Et according to<maths id="math0060"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 28)</mtext><mtd><mrow><mtext mathvariant="italic">xt0=t^2 × x0</mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr><mtr><mtd><mrow><mtable><mlabeledtr><mtext>(Formula 29)</mtext><mtd><mrow><mtext mathvariant="italic">yt0=t^3 × y0</mtext><mtext></mtext></mrow></mtd></mlabeledtr></mtable></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0060.tif" /></maths> where the element Gt corresponds to the element G.

0090Consequently, a given point on the elliptic curve E is transformed into a point on the transformed elliptic curve Et which is defined by the parameters α' and β' generated above.

〈Parameter Sending Unit 240〉

0091The parameter sending unit 240 sends the parameters α' and β' of the transformed elliptic curve Et and the element <maths id="math0061"><math display="inline"><mrow><mtext mathvariant="italic">Gt=(xt0,yt0)</mtext></mrow></math><img file="EP0940944A2_D0061.tif" /></maths> to the external device.

2. Operation of Elliptic Curve Transformation Device 200

〈General Operation of Elliptic Curve Transformation Device 200〉

0092The general operation of the elliptic curve transformation device 200 will be explained below with reference to Fig. 4.

0093The parameter receiving unit 210 receives a prime number p, parameters α and β of an elliptic curve E, and an element <maths id="math0062"><math display="inline"><mrow><mtext mathvariant="italic">G=(x0,y0)</mtext></mrow></math><img file="EP0940944A2_D0062.tif" /></maths> on the elliptic curve E, from an external device (steps S301 and S302). The transformation coefficient acquiring unit 220 acquires a transformation coefficient t (step S303). The transformed elliptic curve calculating unit 230 calculates parameters α' and β' of a transformed elliptic curve Et formed over a finite field GF(p), and an element <maths id="math0063"><math display="inline"><mrow><mtext mathvariant="italic">Gt=(xt0,yt0)</mtext></mrow></math><img file="EP0940944A2_D0063.tif" /></maths> which exists on the transformed elliptic curve Et and corresponds to the element G (step S304). The parameter sending unit 240 sends the obtained parameters α' and β' and element <maths id="math0064"><math display="inline"><mrow><mtext mathvariant="italic">Gt=(xt0,yt0)</mtext></mrow></math><img file="EP0940944A2_D0064.tif" /></maths> to the external device (step S305).

〈Operation of Transformation Coefficient Acquiring Unit 220〉

0094The operation of the transformation coefficient acquiring unit 220 will be explained below with reference to Fig. 5.

0095The transformation coefficient acquiring unit 220 assigns 0 to i (step S311) and judges whether the function T(i) satisfies<maths id="math0065"><math display="block"><mrow><mtext mathvariant="italic">-2^31+1≦T(i)≦2^31-1</mtext></mrow></math><img file="EP0940944A2_D0065.tif" /></maths> (step S312). If T(i) does not satisfy the above formula, the operation is complete. If T(i) satisfies the formula, the transformation coefficient acquiring unit 220 calculates a transformation coefficient t that satisfies<maths id="math0066"><math display="block"><mrow><mtext mathvariant="italic">T(i)=t^4 × α(mod p)</mtext></mrow></math><img file="EP0940944A2_D0066.tif" /></maths> (step S313), and judges whether the obtained transformation coefficient t is an element on the finite field GF(p) (step S314). If t is an element on the finite field GF(p), the operation is complete. If, on the other hand, t is not an element on the finite field GF(p), the transformation coefficient acquiring unit 220 increments i by 1 (step S315) and returns to step S312.

〈Operation of Transformed Elliptic Curve Calculating Unit 230〉

0096The operation of the transformed elliptic curve calculating unit 230 will be explained below with reference to Fig. 6.

0097The transformed elliptic curve calculating unit 230 calculates a parameter <maths id="math0067"><math display="inline"><mrow><mtext>α'=α × t^4</mtext></mrow></math><img file="EP0940944A2_D0067.tif" /></maths> of a transformed elliptic curve Et formed over the finite field GF(p) (step S321) and calculates a parameter <maths id="math0068"><math display="inline"><mrow><mtext mathvariant="italic">β'=β × t^6</mtext></mrow></math><img file="EP0940944A2_D0068.tif" /></maths> of the transformed elliptic curve Et (step S322).

0098The transformed elliptic curve calculating unit 230 also calculates an element <maths id="math0069"><math display="inline"><mrow><mtext mathvariant="italic">Gt=(xt0,yt0)</mtext></mrow></math><img file="EP0940944A2_D0069.tif" /></maths> that is present on the transformed elliptic curve Et and corresponds to the element G, using the formulas <maths id="math0070"><math display="inline"><mrow><mtext mathvariant="italic">xt0=t^2 × x0</mtext></mrow></math><img file="EP0940944A2_D0070.tif" /></maths> and <maths id="math0071"><math display="inline"><mrow><mtext mathvariant="italic">yt0=t^3 × y0</mtext></mrow></math><img file="EP0940944A2_D0071.tif" /></maths> (steps S323 and S324).

3. Proof that Transformed Elliptic Curve Et is Isomorphic to Elliptic Curve E

0099A proof that the transformed elliptic curve <maths id="math0072"><math display="inline"><mrow><mtext mathvariant="italic">Et: y'^2=x'^</mtext><mtext></mtext><mtext mathvariant="italic">3+α × t^4 × x'+β × t^6</mtext></mrow></math><img file="EP0940944A2_D0072.tif" /></maths> is isomorphic to the elliptic curve <maths id="math0073"><math display="inline"><mrow><mtext mathvariant="italic">E: y^</mtext><mtext></mtext><mtext mathvariant="italic">2=x^3+α × x+β</mtext></mrow></math><img file="EP0940944A2_D0073.tif" /></maths> will be given below. In this proof, elliptic curve computations are performed in affine coordinates.

0100Let <maths id="math0074"><math display="inline"><mrow><mtext mathvariant="italic">P=(x0,y0)</mtext></mrow></math><img file="EP0940944A2_D0074.tif" /></maths> be an arbitrary point on the elliptic curve E. Here, P satisfies<maths id="math0075" num="(Formula 30)"><math display="block"><mrow><mtext mathvariant="italic">y0^2=x0^3+α × x0+β</mtext></mrow></math><img file="EP0940944A2_D0075.tif" /></maths>

0101As a result of transforming the elliptic curve E into the elliptic curve Et, P is converted into a point <maths id="math0076"><math display="inline"><mrow><mtext mathvariant="italic">P'=(x0',</mtext><mtext></mtext><mtext mathvariant="italic">y0')=(t^2 × x0,t^3 × y0)</mtext></mrow></math><img file="EP0940944A2_D0076.tif" /></maths>.

0102When the both sides of Formula 30 are multiplied by t^6, the result will be<maths id="math0077"><math display="block"><mrow><mtext mathvariant="italic">t^6 × y0^2=t^6 × x0^3+t^6 × α × x0+t^6 × β</mtext></mrow></math><img file="EP0940944A2_D0077.tif" /></maths> which can be transformed into<maths id="math0078"><math display="block"><mrow><mtext mathvariant="italic">(t^3 × y0)^2=(t^2 × x0)^3 + α × t^4 × (t^2 × x0) + β × t^6</mtext></mrow></math><img file="EP0940944A2_D0078.tif" /></maths> and into<maths id="math0079"><math display="block"><mrow><mtext mathvariant="italic">y0'^2=x0'^3+α × t^4 × x0'+β × t^6</mtext></mrow></math><img file="EP0940944A2_D0079.tif" /></maths> which shows that the point P' is on the transformed elliptic curve Et.

0103Meanwhile, transformation of a point on the elliptic curve E into a point on the transformed elliptic curve Et is expressed as<maths id="math0080"><math display="block"><mrow><mtext mathvariant="italic">(x,y)→(x',y')=(t^2 × x,t^3 × y)</mtext></mrow></math><img file="EP0940944A2_D0080.tif" /></maths>

0104Since t≠0, transformation of the point on the transformed elliptic curve Et into the point on the elliptic curve E which is expressed as<maths id="math0081"><math display="block"><mrow><mtext mathvariant="italic">(x',y')→(x,y)=(x'/(t^2),y'/(t^3))</mtext></mrow></math><img file="EP0940944A2_D0081.tif" /></maths> is obviously the inverse transformation of E into Et.

0105As is evident from the above formulas, a point on the elliptic curve E corresponds to a point on the transformed elliptic curve Et.

0106Next, le<maths id="math0082"><math display="inline"><mrow><mtext>t </mtext><mtext mathvariant="italic">P=(x1,y1)</mtext></mrow></math><img file="EP0940944A2_D0082.tif" /></maths>and <maths id="math0083"><math display="inline"><mrow><mtext mathvariant="italic">Q=(x2,y2)</mtext></mrow></math><img file="EP0940944A2_D0083.tif" /></maths> be two arbitrary points on the elliptic curve E where P≠Q, and <maths id="math0084"><math display="inline"><mrow><mtext mathvariant="italic">R=(x3,y3)</mtext></mrow></math><img file="EP0940944A2_D0084.tif" /></maths> be a point defined as <maths id="math0085"><math display="inline"><mrow><mtext mathvariant="italic">R=P+Q</mtext></mrow></math><img file="EP0940944A2_D0085.tif" /></maths>. This being so, R can be calculated as follows:<maths id="math0086"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">x3={(y2-y1)/(x2-x1)}^2-x1-x2</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">y3={(y2-y1)/(x2-x1)}(x1-x3)-y1</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0086.tif" /></maths> as described above.

0107Suppose P, Q, and R on the elliptic curve E are converted into points <maths id="math0087"><math display="inline"><mrow><mtext mathvariant="italic">P'=(x1', y1')</mtext></mrow></math><img file="EP0940944A2_D0087.tif" /></maths>, <maths id="math0088"><math display="inline"><mrow><mtext mathvariant="italic">Q'=(x2', y2')</mtext></mrow></math><img file="EP0940944A2_D0088.tif" /></maths>, and <maths id="math0089"><math display="inline"><mrow><mtext mathvariant="italic">R'=(x3', y3')</mtext></mrow></math><img file="EP0940944A2_D0089.tif" /></maths> on the transformed elliptic curve Et as a result of transformation of E into Et. Here,<maths id="math0090"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">x1'=t^2 × x1</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">y1'=t ^3 × y1</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">x2' = t^2 × x2</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">y2'=t^3 × y2</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">x3'=t^2 × x3</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">y3'=t^3 × y3</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0090.tif" /></maths> are established.

0108Let <maths id="math0091"><math display="inline"><mrow><mtext mathvariant="italic">R''=(x3'',y3'')</mtext></mrow></math><img file="EP0940944A2_D0091.tif" /></maths> be a point defined as <maths id="math0092"><math display="inline"><mrow><mtext mathvariant="italic">R''=P'+Q'</mtext></mrow></math><img file="EP0940944A2_D0092.tif" /></maths> that is an addition operation performed on the transformed elliptic curve Et. The point R'' can be calculated as follows:<maths id="math0093"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">x3''={(y2'-y1')/(x2'-x1')}^2-x1'-x2'</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">y3''={(y2'-y1')/(x2'-x1')}(x1'-x3')-y1'</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0093.tif" /></maths>

0109When x1', y1', x2' and y2' in these formulas are expressed using x1, y1, x2 and y2,<maths id="math0094"><math display="block"><mrow><mtext mathvariant="italic">x3''={(t^3 × y2-t^3 × y1)/(t^2 × x2 -t^2 × x1)}^2-t^2 × x1-t^2 × x2</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">={t(y2-y1)/(x2-x1)}^2-t^2 × x1-t^2 × x2</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^2 ×{{(y2-y1)/(x2-x1)}^2-x1-x2}</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^2 × x3</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=x3'</mtext></mrow></math><img file="EP0940944A2_D0094.tif" /></maths> while<maths id="math0095"><math display="block"><mrow><mtext mathvariant="italic">y3''={(t^3 × y2-t^3 × y1)/(t^2 × x2 -t^2 × x1} × (t^2 × x1-t^2 × x3)-t^3 × y1</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">={t(y2-y1)/(x2-x1)) × t^2(x1 -x3)-t^3 × y1</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^3 × {{(y2-y1)/(x2-x1)} × (x1-x3)-y1}</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^3 × y3</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=y3'</mtext></mrow></math><img file="EP0940944A2_D0095.tif" /></maths>

0110Accordingly, R' and R'' are equivalent.

0111The validity of the addition formulas for the transformed elliptic curve is thereby verified.

0112Also, the validity of the doubling formulas for the transformed elliptic curve where <maths id="math0096"><math display="inline"><mrow><mtext mathvariant="italic">Q=P</mtext></mrow></math><img file="EP0940944A2_D0096.tif" /></maths> can be checked as follows.

0113Let <maths id="math0097"><math display="inline"><mrow><mtext mathvariant="italic">P=(x1,y1)</mtext></mrow></math><img file="EP0940944A2_D0097.tif" /></maths> be an arbitrary point on the elliptic curve E and <maths id="math0098"><math display="inline"><mrow><mtext mathvariant="italic">R=(x3,y3)</mtext></mrow></math><img file="EP0940944A2_D0098.tif" /></maths> be a point defined as <maths id="math0099"><math display="inline"><mrow><mtext mathvariant="italic">R=P+P</mtext></mrow></math><img file="EP0940944A2_D0099.tif" /></maths>. When P and R are converted respectively into points <maths id="math0100"><math display="inline"><mrow><mtext mathvariant="italic">P'=(x1',y1')</mtext></mrow></math><img file="EP0940944A2_D0100.tif" /></maths> and <maths id="math0101"><math display="inline"><mrow><mtext mathvariant="italic">R'=(x3',y3')</mtext></mrow></math><img file="EP0940944A2_D0101.tif" /></maths> on the transformed elliptic curve Et as a result of elliptic curve transformation,<maths id="math0102"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">x1'=t^2 × x1</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">y1'=t^3 × y1</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">x3'=t^2 × x3</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">y3'=t^3 × y3</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0102.tif" /></maths> are established.

0114Let <maths id="math0103"><math display="inline"><mrow><mtext mathvariant="italic">R''=(x3'',y3'')</mtext></mrow></math><img file="EP0940944A2_D0103.tif" /></maths> be a point defined as <maths id="math0104"><math display="inline"><mrow><mtext mathvariant="italic">R''=P'+P'</mtext></mrow></math><img file="EP0940944A2_D0104.tif" /></maths> that is a doubling operation performed on the transformed elliptic curve Et. Here, R'' can be calculated as follows:<maths id="math0105"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">x3''={(3x1'^2+α)/2y1'}^2-2x1'</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">y3''={(3x1'^2+α)/2y1')(x1'-x3')-y1'</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0105.tif" /></maths>

0115When x1' and y1' in these formulas are expressed using x1 and y1,<maths id="math0106"><math display="block"><mrow><mtext mathvariant="italic">x3''={{(t^2 × 3x1)^2+α}/(2 × t^3 × y1)}^2 -2 × t^2 × x1</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^2{(3x1^2+α)/y1}^2-t^2 × 2x1</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^2{{(3x1^2+α)/y1}^2-2x1}</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^2 × x3</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">={t(y2-y1)/(x2-x1)}^2-t^2 × x1-t^2 × x2</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^2{{(y2-y1)/(x2-x1)}^2-x1-x2}</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^2 × x3</mtext><mspace linebreak="newline" /><mtext> =</mtext><mtext mathvariant="italic">x3'</mtext></mrow></math><img file="EP0940944A2_D0106.tif" /></maths> while<maths id="math0107"><math display="block"><mrow><mtext mathvariant="italic">y3''={{(t^2 × 3x1)^2+α}/(2 × t^3 × y1)} × (t^2 × x1-t^2 × x3)-t^3 × y1</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^3{(3x1^2+α)/2y1}(x1-x3)-t^3 × y1</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^3{{(3x1^2+α/2y1)(x1-x3)-y1}</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=t^3 × y3</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=y3'</mtext></mrow></math><img file="EP0940944A2_D0107.tif" /></maths>

0116Accordingly, R' and R'' are equivalent.

0117The validity of the doubling formulas for the transformed elliptic curve is thereby verified.

0118Hence it is proved that the transformed elliptic curve Et is isomorphic to the elliptic curve E.

4. Evaluation of Computational Complexity for Transformed Elliptic Curve Et

0119With the above embodiment, the parameter α' of the transformed elliptic curve Et is set at 32 bits or less, so that computational complexity of Formula 18 is reduced to 3Sq. As a result, computational complexity of an addition operation over the transformed elliptic curve Et becomes 12Mul+4Sq and computational complexity of a doubling operation over the transformed elliptic curve Et becomes 3Mul+6Sq. When compared with the elliptic curve E whose parameter α is approximately 160 bits long, the computational complexity of the doubling is reduced by 1Mul.

0120Such reduction in computational complexity is achieved due to the following reason. Since the absolute value of T(i) increases with increase of the value of i except when i=0, values with smaller absolute values are first referred to as T(i). Accordingly, it is possible to select an appropriate elliptic curve with less computational complexity.

0121Also, when the parameter α' of the transformed elliptic curve Et is -3, Formula 18 can be transformed as<maths id="math0108"><math display="block"><mrow><mtext mathvariant="italic">M=3 × X1^2+α' × Z1^4</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=3 × X1^2-3 × Z1^4</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=3 × (X1+Z1^2) × (X1-Z1^2)</mtext></mrow></math><img file="EP0940944A2_D0108.tif" /></maths>

0122As a result, computational complexity of Formula 18 becomes 1Mul+1Sq, so that computational complexity of addition and doubling operations is estimated respectively as 12Mul+4Sq and 4Mul+4Sq. Thus, the computational complexity of the doubling can be reduced by 2Sq when compared with conventional techniques.

0123In the present embodiment, the transformation coefficient acquiring unit 220 refers to T(i) starting from i=0 and incrementing i by 1, so that -3 is initially referred to as T(i). Accordingly, an elliptic curve which reduces computational complexity of the doubling by 2Sq compared to the conventional techniques is checked first, with it being possible to raise the possibility of selecting an optimal transformed elliptic curve by a single operation.

0124Consequently, through use of the transformed elliptic curve obtained by the elliptic curve transformation device 200, it is possible to speed up elliptic curve computations.

5. Variants

0125The transformation coefficient acquiring unit 220 may determine a transformation coefficient t as follows.

0126The transformation coefficient acquiring unit 220 includes a random number generating unit which randomly generates an element u(u≠0) on the finite field GF(p). The transformation coefficient acquiring unit 220 then judges whether the element u satisfies<maths id="math0109" num="(Formula 31)"><math display="block"><mrow><mtext mathvariant="italic">-2^31+1≦u^4 × α(mod p) ≦ 2^31-1</mtext></mrow></math><img file="EP0940944A2_D0109.tif" /></maths>

0127If u satisfies Formula 31, u is adopted as the transformation coefficient t. If, on the other hand, u does not satisfy Formula 31, the random number generating unit randomly generates an element u again and the transformation coefficient acquiring unit 220 judges whether the newly generated element u satisfies Formula 31.

0128The transformation coefficient acquiring unit 220 repeats the above element generation and judgement until an element u that satisfies Formula 31 is found.

0129Here, the transformation coefficient acquiring unit 220 may use<maths id="math0110" num="(Formula 32)"><math display="block"><mrow><mtext mathvariant="italic">u^4 × α(mod p)=-3</mtext></mrow></math><img file="EP0940944A2_D0110.tif" /></maths> instead of Formula 31.

6. Applications of Elliptic Curve Transformation Device 200

0130A key agreement system that uses the above elliptic curve transformation device 200 will be described below with reference to Fig. 7.

0131In the figure, a user A 450, a management center 460 and a user B 470 are connected together via a network.

(1) Selection of Elliptic Curve by Management Center 460

0132The management center 460 selects a prime number p, selects an elliptic curve E on a finite field GF(p), sets G as a base point of E, and sets q as the order of E (step S411). Here, q is the smallest positive integer that satisfies Formula 2<maths id="math0111"><math display="block"><mrow><mtext mathvariant="italic">q*G=0</mtext></mrow></math><img file="EP0940944A2_D0111.tif" /></maths> while E and G are expressed respectively as<maths id="math0112"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">E: y^2=x^3+α × x+β</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">G=(x0,y0)</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0112.tif" /></maths>

0133The management center 460 sends p, E and G to the elliptic curve transformation device 200 (step S412).

(2) Generation of Transformed Elliptic Curve by Elliptic Curve Transformation Device 200

0134The elliptic curve transformation device 200 calculates a transformed elliptic curve Et and an element Gt as follows:<maths id="math0113"><math display="block"><mrow><mtable><mtr><mtd><mrow><mtable><mtr><mtd><mrow><mtext mathvariant="italic">Et: y'^2=x'^3+α' × x'+β'</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">α'=α × t^4</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">β'=β × t^6</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">Gt=(xt0,yt0)</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">xt0=t^2 × x0</mtext></mrow></mtd></mtr><mtr><mtd><mrow><mtext mathvariant="italic">yt0=t^3 × y0</mtext></mrow></mtd></mtr></mtable></mrow></mtd></mtr></mtable></mrow></math><img file="EP0940944A2_D0113.tif" /></maths> (step 421).

0135The elliptic curve transformation device 200 then sends Et and Gt to the management center 460 (step S422).

(3) Setting of Secret keys and Generation of Public Keys by Users

0136The management center 460 reveals the prime number p, the elliptic curve Et and the element Gt to the user A 450 and the user B 470 (step S413).

0137The user A 450 sets a secret key xA (step S401), and the user B 470 sets a secret key xB (step S431).

0138The user A 450 calculates a public key YA according to<maths id="math0114"><math display="block"><mrow><mtext mathvariant="italic">YA=xA*Gt</mtext></mrow></math><img file="EP0940944A2_D0114.tif" /></maths> (step S402) and sends the public key YA to the user B 470 (step S403).

0139Similarly, the user B 470 calculates a public key YB according to<maths id="math0115"><math display="block"><mrow><mtext mathvariant="italic">YB=xB*Gt</mtext></mrow></math><img file="EP0940944A2_D0115.tif" /></maths> (step S432) and sends the public key YB to the user A 450 (step S433).

(4) Generation of Shared Keys by Users

0140The user A 450 calculates a shared key xA*YB (step S404), and the user B 470 calculates a shared key xB*YA (step S434).

0141The shared key xA*YB generated by the user A 450 can be transformed as<maths id="math0116"><math display="block"><mrow><mtext mathvariant="italic">xA*YB=(xA × xB)*Gt</mtext></mrow></math><img file="EP0940944A2_D0116.tif" /></maths> while the shared key xB*YA generated by the user B 470 can be transformed as<maths id="math0117"><math display="block"><mrow><mtext mathvariant="italic">xB*YA=(xB × xA)*Gt</mtext><mspace linebreak="newline" /><mtext mathvariant="italic">=(×A × xB)*Gt</mtext></mrow></math><img file="EP0940944A2_D0117.tif" /></maths>

0142As is evident from the above formulas, the shared key xA*YB generated by the user A 450 and the shared key xB*YA generated by by the user B 470 are the same.

7. Other Variants

0143Other embodiments of the present invention include an elliptic curve transformation method that achieves the elliptic curve transformation described above, and a computer-readable storage medium storing an elliptic curve transformation program for implementing the elliptic curve transformation method on a computer. The elliptic curve transformation program may also be transmitted to the computer via a communication line.

0144Also, the elliptic curve transformation device can be applied to an encryption system that includes at least one of an encryption device and a decryption device.

0145The elliptic curve transformation device can also be applied to a digital signature system that includes at least one of a digital signature device and a digital signature verification device.

0146Also, an encryption device, a decryption device, a digital signature device, a digital signature verification device or a key agreement device may store parameters α' and β' and an element Gt of an elliptic curve generated by the elliptic curve transformation device beforehand, so that encryption, decryption, digital signature, digital signature verification or key agreement can be performed using the parameters α' and β' and the element Gt.

0147Various combinations of the embodiments and variants stated above are possible.

0148Although the present invention has been fully described by way of examples with reference to the accompanying drawings, it is to be noted that various changes and modifications will be apparent to those skilled in the art. Therefore, unless such changes and modifications depart from the scope of the present invention, they should be construed as being included therein.

Contents5

Every citation, both ways

Citations
Document	Relation	Office	Cited during
US6307935B1	Cited by	United States of America	Search report
US6367694B1	Cited by	United States of America	Applicant
EP1306749A3	Cited by	European Patent Office (EPO)	Search report
FR2854997A1	Cited by	France	Search report
EP1306749A2	Cited by	European Patent Office (EPO)	Search report
US7209555B2	Cited by	United States of America	Applicant

12 members in 7 offices; this record represents the family

This recordMember, by publication datePriority claim

Priority claims2

Priority claims
Document	Office	Kind	Date
5320498	Japan	–	1998-03-05
5320498	Japan	A	1998-03-05

Members12

Family members, oldest first
Document	Office	Kind
EP0940944A2This record	European Patent Office (EPO)	A2	1999-09-08
KR19990077606A	Republic of Korea	A	1999-10-25
JPH11316542A	Japan	A	1999-11-16
CN1235446A	China	A	1999-11-17
EP0940944A3	European Patent Office (EPO)	A3	2000-01-19
JP3050313B2	Japan	B2	2000-06-12
TW425803B	Taiwan Province of China	B	2001-03-11
US6212277B1	United States of America	B1	2001-04-03
EP0940944B1	European Patent Office (EPO)	B1	2002-10-09
DE69903366D1	Germany	D1	2002-11-14
DE69903366T2	Germany	T2	2003-03-06
KR100513127B1	Republic of Korea	B1	2005-09-07

31 legal events, as 4 offices reported them to INPADOC

Over the term

Point at a mark for the event

Events

Legal events, newest first
	Event	Code	Office
2019-04-30	Lapsed in a contracting state [announced via postgrant information from national office to epo]LapsedPG25	PG25	EP
2019-03-27	Patent expired after termination of 20 yearsExpiredPE20	PE20	GB
2019-03-05	Expiry of rightR071	R071	DE
2018-05-31	Annual fee paid to national office [announced via postgrant information from national office to epo]GrantedPGFP	PGFP	EP
2018-05-31	Annual fee paid to national office [announced via postgrant information from national office to epo]GrantedPGFP	PGFP	EP
2018-04-30	Annual fee paid to national office [announced via postgrant information from national office to epo]GrantedPGFP	PGFP	EP
2018-04-30	Annual fee paid to national office [announced via postgrant information from national office to epo]GrantedPGFP	PGFP	EP
2018-02-23	Fee paymentPLFP	PLFP	FR
2017-02-13	Fee paymentPLFP	PLFP	FR
2016-02-08	Fee paymentPLFP	PLFP	FR
2003-10-01	No opposition filedOpposition26N	26N	EP
2003-08-15	No opposition filed within time limitOppositionORIGINAL CODE: 0009261PLBE	PLBE	EP
2003-08-15	Information on the status of an ep patent application or granted ep patentGrantedSTATUS: NO OPPOSITION FILED WITHIN TIME LIMITSTAA	STAA	EP
2003-05-02	Fr: translation filedET	ET	EP
2002-11-14	Corresponds to:REF	REF	EP
2002-10-09	Designated contracting statesAK	AK	EP
2002-10-09	European patent grantedGrantedFG4D	FG4D	GB
2002-08-23	(expected) grantORIGINAL CODE: 0009210GRAA	GRAA	EP
2002-07-16	Despatch of communication of intention to grant a patentORIGINAL CODE: EPIDOS IGRAGRAH	GRAH	EP
2002-04-19	Despatch of communication of intention to grantORIGINAL CODE: EPIDOS AGRAGRAG	GRAG	EP
2002-04-19	Despatch of communication of intention to grant a patentORIGINAL CODE: EPIDOS IGRAGRAH	GRAH	EP
2002-01-23	Despatch of communication of intention to grantORIGINAL CODE: EPIDOS AGRAGRAG	GRAG	EP
2000-09-27	Designation fees paidDE FR GB ITAKX	AKX	EP
2000-07-19	First examination report despatched17Q	17Q	EP
2000-04-19	Request for examination filed17P	17P	EP
2000-01-19	Designated contracting statesAK	AK	EP
2000-01-19	Request for extension of the european patentAL;LT;LV;MK;RO;SIAX	AX	EP
1999-12-03	Search report despatchedORIGINAL CODE: 0009013PUAL	PUAL	EP
1999-09-08	Designated contracting statesAK	AK	EP
1999-09-08	Request for extension of the european patentAL;LT;LV;MK;RO;SIAX	AX	EP
1999-07-23	Public reference made under article 153(3) epc to a published international application that has entered the european phaseORIGINAL CODE: 0009012PUAI	PUAI	EP