This application is a 35 U.S.C. 371 of PCT application PCT/FR00/00190 filed Jan. 27, 2000.
The present invention relates to the methods, systems and devices designed to prove the authenticity of an entity and/or the integrity and/or authenticity of a message.
The patent EP 0 311 470 B1, whose inventors are Louis Guillou and Jean-Jacques Quisquater, describes such a method. Hereinafter, reference shall be made to their work by the terms “GQ patent” or “GQ method”. Hereinafter, the expression “GQ2”, or “GQ2 invention” or “GQ2 technology” shall be used to describe the present invention.
According to the GQ method, an entity known as a “trusted authority” assigns an identity to each entity called a “witness” and computes its RSA signature. In a customizing process, the trusted authority gives the witness an identity and signature. Thereafter, the witness declares the following: “Here is my identity; I know its RSA signature”. The witness proves that he knows the RSA signature of his identity without revealing this signature. Through the RSA public identification key distributed by the trusted authority, an entity known as a “controller” ascertains, without obtaining knowledge thereof, that the RSA signature corresponds to the declared identity. The mechanisms using the GQ method run “without transfer of knowledge”. According to the GQ method, the witness does not know the RSA private key with which the trusted authority signs a large number of identifies.
The GQ technoloyg described here above makes use of RSA technology. However, while the RSA technology truly depends on the factorization of the modulus n, this dependence is not an equivalence, indeed far from it, as can be seen in what are called multiplicative attacks against various standards of digital signatures implementing the RSA technology.
The goal of the GQ2 technology is twofold: firstly to improve the performance characteristics of RSA technology and secondly to avert the problems inherent in RSA technology. Knowledge of the GQ2 private key is equivalent to knowledge of the factorization of the modulus n. Any attack on the triplets GQ2 leads to the factorization of the modulus n: this time there is equivalence. With the GQ2 technology, the work load is reduced for the signing or self-authenticating entity and for the controller entity. Through a better use of the problem of factorizing in terms of both security and performance, the GQ2 technology averts the drawbacks of RSA technology.
The GQ method implements modulo computations of numbers comprising 512 bits or more. These computations relate to numbers having substantially the same size raised to powers of the order of 216+1. Now, existing microelectronic infrastructures, especially in the field of bank cards, make use of monolithic self-programmable microprocessors without arithmetical coprocessors. The work load related to multiple arithmetical applications involved in methods such as the GQ method leads to computation times which, in certain cases, prove to be disadvantageous for consumers using bank cards to pay for their purchases. It may be recalled here that, in seeking to increase the security of payment cards, the banking authorities have raised a problem that is particularly difficult to resolve. Indeed, two apparently contradictory questions have to be resolved: on the one hand, increasing security by using increasingly lengthy and distinct keys for each card while, on the other hand, preventing the work load from leading to excessive computation times for the user. This problem becomes especially acute inasmuch as it is also necessary to take account of the existing infrastructure and the existing microprocessor components.
The GQ2 technology provides a solution to this problem while boosting security.
More particularly, the invention relates to a method designed to prove the following to a controller entity,
This proof is established by means of all or part of the following parameters or derivatives of these parameters:
Said modulus, said exponent and said values are related by relations of the type
Gi. Qiv≡1. mod n or Gi≡QiV mod n.
Said exponent v is such that
v=2k
where k is a security parameter greater than 1.
Said public value Gi is the square gi2 of a base number gi smaller than the f prime factors p1, p2, . . . pf. The base number gi is such that
Referring now to
Said method implements an entity called a witness in the following steps. Said witness entity has f prime factors pi and/or parameters of the Chinese remainders of the prime factors and/or the public modulus n and/or the m private values Qi and/or the f.m components Qi, j (Qi, j≡Qi mod pj) of the private values Qi and of the public exponent v.
The witness computes commitments R in the ring of integers modulo n. Each commitment is computed:
The witness receives one or more challenges d. Each challenge d comprises m integers di hereinafter called elementary challenges. The witness, on the basis of each challenge d, computes a response D,
The method is such that there are as many responses D as there are challenges d as there are commitments R, each group of numbers R, d, D forming a triplet referenced {R, d, D}.
Case of the Proof of the Authenticity of an Entity
In a first alternative embodiment, the method according to the inventionis designed to prove the authenticity of an entity known as a demonstrator to an entity known as the controller Said demonstrator entity comprises the witness. Said demonstrator and controller entities execute the following steps as shown in the flow chart or process 200 in
The process 200 begins at operation 205 and proceeds to operation 210 in which occurs:
The controller, after having received all or part of each commitment R, produces challenges d whose number is equal to the number of commitments R and sends the challenges d to the demonstrator.
The process 200 then proceeds to operation 225 in which occurs:
The witness computes the responses D from the challenges d by applying the above-specified process.
The process 200 then proceeds to operation 230 in which occurs:
The demonstrator sends each response D to the controller.
The process ends at operation 235.
First Case: The Demonstrator has Transmitted a Part of Each Commitment R
If the demonstrator has transmitted a part of each commitment R, the controller, having the m public values G1, G2, . . . , Gm, computes a reconstructed commitment R′, from each challenge d and each response D, this reconstructed commitment R′ satisfying a relationship of the type
R′≡G1d1. G2d2. . . . Gmdm. Dv mod n
or a relationship of the type
R′≡Dv/G1d1. G2d2. . . . Gmdm. mod n
The controller ascertains that each reconstructed commitment R′ reproduces all or part of each commitment R that has been transmitted to it.
Second case: the demonstrator has transmitted the totality of each commitment R
If the demonstrator has transmitted the totality of each commitment R, the controller, having the m public values G1, G2, . . . , Gm, ascertains that each commitment R satisfies a relationship of the type
R≡G1d1. G2d2. . . . Gmdm. Dv mod n
or a relationship of the type
R≡Dv/G1d1. G2d2. . . . Gmdm. mod n
Case of the Proof of the Integrity of the Message
In a second alternative embodiment capable of being combined with a first one, the method of the invention is designed to provide proof to an entity, known as the controller entity, of the integrity of a message M associated with an entity called a demonstrator entity. Said demonstrator entity comprises the witness. Said demonstrator and controller entities perform the following steps as shown in the flow chart of process 300 in
The process 300 begins at operation 305 and proceeds to operation 310 in which occurs:
At each call, the witness computes each commitment R by applying the process specified here above.
The process 300 then proceeds to operations 315 and 320 in which occurs:
The demonstrator applies a hashing function h whose arguments are the message M and all or part of each commitment R to compute at least one token T. The demonstrator sends the token T to the controller. The controller, after having received a token T, produces challenges d equal in number to the number of commitments R and sends the challenges d to the demonstrator.
The process 300 then proceeds to operation 325 in which occurs:
The witness computes the response D from the challenges d by applying the above-specified process.
The process 300 then proceeds to operation 330 in which occurs:
The demonstrator sends each response D to the controller. The controller, having the m public values G1, G2, . . . , Gm, computes a reconstructed commitment R′, from each challenge d and each response D, this reconstructed commitment R′ satisfying a relationship of the type
R′=G1d1. G2d2. Gmdm. Dv mod n
or a relationship of the type
R′=Dv/G1d1. G2d2. . . . Gmdm. mod n
Then the controller applies the hashing function h whose arguments are the message M and all or part of each reconstructed commitment R′ to reconstruct the token T′. Then the controller ascertains that the token T′ is identical to the token T transmitted.
The process ends at operation 335.
Digital Signature of a Message and Proof of its Authenticity
In a third alternative embodiment capable of being combined with the above two, the method according to the invention 1 is designed to produce the digital signature of a message M by an entity known as the signing entity. Said signing entity includes the witness.
Signing Operation
Said signing entity executes a signing operation in order to obtain a signed message comprising:
Said signing entity executes the signing operation by implementing the following steps:
At each call, the witness computes each commitment R by applying the process specified here above.
The signing party applies a hashing function h whose arguments are the message M and each commitment R to obtain a binary train. From this binary train, the signing party extracts challenges d whose number is equal to the number of commitments R.
The witness computes the responses D from the challenges d by applying the above-specified process.
Checking Operation
To prove the authenticity of the message M, an entity called a controller checks the signed message. Said controller entity having the signed message carries out a checking operation by proceeding as follows.
If the controller has commitments R, challenges d, responses D, the controller ascertains that the commitments R, the challenges d and the responses D satisfy relationships of the type
R≡G1d1. G2d2. . . . Gmdm. Dv mod n
or relationships of the type:
R≡Dv/G1d1. G2d2. . . . Gmdm. mod n
Then the controller ascertains that the message M, the challenges d and the commitments R satisfy the hashing function:
d=h(message, R)
If the controller has challenges d and responses D, the controller reconstructs, on the basis of each challenge d and each response D, commitments R′ satisfying relationships of the type
R′≡G1d1. G2d2. . . . Gmdm. Dv mod n
or relationships of the type:
R′≡Dv/G1d1. G2d2. . . . Gmdm. mod n
Then the controller ascertains that the message M and the challenges d satisfy the hashing function:
d=h (message, R′)
If the controller has commitments R and responses D, the controller applies the hashing function and reconstructs d′
d′=h (message, R)
Then the controller device ascertains that the commitments R, the challenges d′ and the responses D satisfy relationships of the type
R≡G1d′1. G2d′2. . . . Gmd′m. Dv mod n
or relationships of the type:
R≡Dv/G1d′1. G2d′2. . . . Gmd′m. mod n
The present invention also relates to a system designed to prove the following to a controller server:
This proof is established by means of all or part of the following parameters or derivatives of these parameters:
Said modulus, said exponent and said values are linked by relations of the type
Gi. Qiv≡1. mod n or Gi≡Qiv mod n.
Said exponent v is such that
v=2k
where k is a security parameter greater than 1.
Said public value Gi is the square gi2 of the base number gi smaller than the f prime factors p1, p2, . . . pr. The base number gi is such that the two equations:
x2≡gi mod n and x2≡−gi mod n
cannot be resolved in x in the ring of integers modulo n and such that the equation:
xv≡gi2 mod n
can be resolved in x in the ring of the integers modulo n.
Said system comprises a witness device, contained especially in a nomad object which, for example, takes the form of a microprocessor-based bank card. The witness device comprises a memory zone containing the f prime factors pi and/or the parameters of the Chinese remainders of the prime factors and/or the public modulus n and/or the m private values Qi and/or f.m components Qi, j (Qi, j≡Qi mod pj) of the private values Qi and of the public exponent v. The witness device also comprises:
The computation means compute commitments R in the ring of integers modulo n. Each commitment is computed:
The witness device also comprises:
The witness device also comprises transmission means to transmit one or more commitments R and one or more responses D. There are as many responses D as there are challenges d as there are commitments R, each group of numbers R, d, D forming a triplet referenced {R, d, D}.
Case of the Proof of the Authenticity of an Entity
In a first alternative embodiment, the system according to the invention is designed to prove the authenticity of an entity called a demonstrator to an entity called a controller.
Said system is such that it comprises a demonstrator device associated with a demonstrator entity. Said demonstrator device is interconnected with the witness device by interconnection means. It may especially take the form of logic microcircuits in a nomad object, for example the form of a microprocessor in a microprocessor-based bank card.
Said system also comprises a controller device associated with the controller eneity. Said controller device especially takes the form of a terminal or remote server. Said controller device comprises connection means for its electrical, electromagnetic, optical or acoustic connection, especially through a data-processing communications network, to the demonstrator device.
Said system is used to execute the following steps:
At each call, the means of computation of the commitments R of the witness device compute each commitment R by applying the process specified here above. The witness device has means of transmission, hereinafter called transmission means of the witness device, to transmit all or part of each commitment R to the demonstrator device through the interconnection means. The demonstrator device also has transmission means, hereinafter called the transmission means of the demonstrator, to transmit all or part of each commitment R to the controller device through the connection means.
The controller device comprises challenge production means for the production, after receiving all or part of each commitment R, of the challenges d equal in number to the number of commitments R. The controller device also has transmission means, hereinafter known as the transmission means of the controller, to transmit the challenges d to the demonstrator through the connection means.
The means of reception of the challenges d of the witness device receive each challenge d coming from the demonstrator device through the interconnection means. The means of computation of the responses D of the witness device compute the responses D from the challenges d by applying the process specified here above.
The transmission means of the demonstrator transmit each response D to the controller. The controller device also comprises:
If the transmission means of the demonstrator have transmitted a part of each commitment R, the computation means of the controller device, having m public values G1, G2, . . . , Gm, compute a reconstructed commitment R′, from each challenge d and each response D, this reconstructed commitment R′ satisfying a relationship of the type
R′≡G1d1. G2d2. . . . Gmdm. Dv mod n
or a relationship of the type
R′≡Dv/G1d1. G2d2. . . . Gmdm. mod n
The comparison means of the controller device compare each reconstructed commitment R′ with all or part of each commitment R received.
Second Case: The Demonstrator has Transmitted the Totality of Each Commitment R
If the transmission means of the demonstrator have transmitted the totality of each commitment R, the computation means and the comparison means of the controller device, having m public values G1, G2, . . . , Gm, ascertain that each commitment R satisfies a relationship of the type
R≡G1d1. G2d2. . . . Gmdm. Dv mod n
or a relationship of the type
R≡Dv/G1d1. G2d2. . . . Gmdm. mod n
Case of the Proof of the Integrity of a Message
In a second alternative embodiment capable of being combined with the first one, the system according to the invention is designed to give proof to an entity, known as a controller, of the integrity of a message M associated with an entity known as a demonstrator. Said system is such that it comprises a demonstrator device associated with the demonstrator entity. Said demonstrator device is interconnected with the witness device by interconnection means. Said demonstrator device may especially take the form of logic microcircuits in a nomad object, for example the form of a microprocessor in a microprocessor-based bank card. Said system also comprises a controller device associated with the controller entity. Said controller device especially takes the form of a terminal or remote server. Said controller device comprises connection means for its electrical, electromagnetic, optical or acoustic connection, especially through a data-processing communications network, to the demonstrator device.
Said system is used to execute the following steps:
At each call, the means of computation of the commitments R of the witness device compute each commitment R by applying the process specified here above. The witness device has means of transmission, hereinafter called transmission means of the witness device, to transmit all or part of each commitment R to the demonstrator device through the interconnection means.
The demonstrator device comprises computation means, hereinafter called the computation means of the demonstrator, applying a hashing function h whose arguments are the message M and all or part of each commitment R to compute at least one token T. The demonstrator device also has transmission means, hereinafter known as the transmission means of the demonstrator device, to transmit each token T through the connection means to the controller device. The controller device also has challenge production means for the production, after having received the token T, of the challenges d in a number equal to the number of commitments R. The controller device also has transmission means, hereinafter called the transmission means of the controller, to transmit the challenges d to the demonstrator through the connection means.
The means of reception of the challenges d of the witness device receive each challenge d coming from the demonstrator device through the interconnection means. The means of computation of the responses D of the witness device compute the responses D from the challenges d by applying the process specified here above.
The transmission means of the demonstrator transmit each response D to the controller. The controller device also comprises computation means, hereinafter called the computation means of the controller device, having m public values G1, G2, . . . , Gm, to firstly compute a reconstructed commitment R′, from each challenge d and each response D, this reconstructed commitment R′ satisfying a relationship of the type
R′≡G1d1. G2d2. . . . Gmdm. Dv mod n
or a relationship of the type
R′≡Dv/G1d1. G2d2. . . . Gmdm. mod n
then, secondly, compute a token T′ by applying the hashing function h having as arguments the message M and all or part of each reconstructed commitment R′.
The controller device also has comparison means, hereinafter known as the comparison means of the controller device, to compare the computed token T′ with the received token T.
Digital Signature of a Message and Proof of its Authenticity
In a third alternative embodiment capable of being combined with either or both of the first two embodiments, the system according to the invention is designed to prove the digital signature of a message M, hereinafter known as a signed message, by an entity called a signing entity. The signed message comprises:
Signing Operation
Said system is such that it comprises a signing device associated with the signing entity. Said signing device is interconnected with the witness device by interconnection means. It may especially take the form of logic microcircuits in a nomad object, for example the form of a microprocessor in a microprocessor-based bank card.
Said system is used to execute the following steps:
At each call, the means of computation of the commitments R of the witness device compute each commitment R by applying the process specified here above. The witness device has means of transmission, hereinafter called the transmission means of the witness device, to transmit all or part of each commitment R to the demonstrator device through the interconnection means.
The signing device comprises computation means, hereinafter called the computation means of the signing device, applying a hashing function h whose arguments are the message M and all or part of each commitment R to compute a binary train and extract, from this binary train, challenges d whose number is equal to the number of commitments R.
The means for the reception of the challenges d of the witness device receive each challenge d coming from the signing device through the interconnection means. The means for computing the responses D of the witness device compute the responses D from the challenges d by applying the process specified here above.
The witness device comprises transmission means, hereinafter called means of transmission of the witness device, to transmit the responses D to the signing device through the interconnection means.
Checking Operation
To prove the authenticity of the message M, an entity known as the controller checks the signed message.
The system comprises a controller device associated with the controller entity. Said controller device especially takes the form of a terminal or remote server. Said controller device comprises connection means for its electrical, electromagnetic, optical or acoustic connection, especially through a data-processing communications network, to the signing device.
The signing device associated with the signing entity comprises transmission means, hereinafter knonw as the transmission means of the signing device, for the transmission, to the controller device, of the signed message through the connection means. Thus the controller device has a signed message comprising:
The controller device comprises:
Case Where the Controller device has Commitments R, Challenges d, Responses D
Should the controller device have commitments R, challenges d, responses D, the computation and comparison means of the controller device ascertain that the commitments R, the challenges d and the responses D satisfy relationships of the type
R≡G1d1. G2d2. . . . Gmdm. Dv mod n
or relationships of the type
R≡Dv/G1d1. G2d2. . . . Gmdm. mod n
Then, the computation and comparison means of the controller device ascertain that the message M, the challenges d and the commitments R satisfy the hashing function:
d=h (message, R)
Case Where the Controller Device has Challenges d and Responses D
If the controller has challenges d and responses D, the controller reconstructs, on the basis of each challenge d and each response D, commitments R′ satisfying relationships of the type
R′≡G1d1. G2d2. . . . Gmdm. Dv mod n
or relationships of the type:
R′≡Dv/G1d1. G2d2. . . . Gmdm. mod n
Then the controller ascertains that the message M and the challenges d satisfy the hashing function:
d=h (message, R′)
Case Where the Controller has Commitments R and Responses D
If the controller has commitments R and responses D, the computation means of the controller device apply the hashing function and compute d′ such that
d′=h (message, R)
Then the computation and comparison means of the controller device ascertain that the commitments R, the challenges d′ and the responses D satisfy relationships of the type
R≡G1d1. G2d2. . . . Gmdm. Dv mod n
or relationships of the type:
R≡Dv/G1d1. G2d2. . . . Gmdm. mod n
The invention also relates to a terminal device associated with an entity. The terminal device especially take the form of a nomad object, for example the form of a microprocessor in a microprocessor-based bank card. The terminal device is designed to prove the following to a controller server:
This proof is established by means of all or part of the following parameters or derivatives of these parameters:
Said modulus, said exponent and said values are related by relations of the type
Gi. Qiv≡1. mod n or Gi≡Qiv mod n.
Said exponent v is such that
v=2k
where k is a security parameter greater than 1.
Said public value Gi is the square gi2 of the base number gi smaller than the f prime factors p1, p2, . . . pf. The base number gi is such that:
Said terminal device comprises a witness device comprising a memory zone containing the f prime factors pi and/or the parameters of the Chinese remainders of the prime factors and/or the public modulus n and/or the m private values Qi and/or f.m components Qi, j (Qi, j≡Qi mod pj) of the private values Qi and of the public exponent v.
The witness device also comprises:
Each commitment is computed:
The witness device also comprises:
Said witness device also comprises transmission means to transmit one or more commitments R and one or more responses D. There are as many responses D as there are challenges d as there are commitments R. Each group of numbers R, d, D forms a triplet referenced {R, d, D}.
Case of the Proof of the Authenticity of an Entity
In a first alternative embodiment, the terminal device according to the invention is designed to prove the authenticity of an entity called a demonstrator to an entity called a controller.
Said terminal device is such that it comprises a demonstrator device associated with a demonstrator entity. Said demonstrator device is interconnected with the witness device by interconnection means. It may especially take the form of logic microcircuits in a nomad object, for example the form of a microprocessor in a microprocessor-based bank card.
Said demonstrator device also comprises connection means for its electrical, electromagnetic, optical or acoustic connection, especially through a data-processing communications network, to the controller device associated with the controller entity. Said controller device especially takes the form of a terminal or remote server.
Said terminal device is sued to execute the following steps:
At each call, the means of computation of the commitments R of the witness device compute each commitment R by applying the process specified here above.
The witness device has means of transmission, hereinafter called transmission means of the witness device, to transmit all or part of each commitment R to the demonstrator device through the interconnection means. The demonstrator device also has transmission means, hereinafter called the transmission means of the demonstrator, to transmit all or part of each commitment R to the controller device, through the connectionmeans.
The means of reception of the challenges d of the witness device receive each challenge d coming from the controller device through the connection means between the controller device and the demonstrator device and through the interconnection means between the demonstrator device and the witness device. The means of computation of the responses D of the witness device compute the responses D from the challenges d by applying the process specified here above.
The transmission means of the demonstrator transmit each response D to the controller that carries out the check.
Case of the Proof of the Integrity of a Message
In a second alternative embodiment capable of being combined with the first one, the terminal device according to the invention is designed to give proof to an entity, known as a controller, of the integrity of a message M associated with an entity known as a demonstrator. Said terminal device is such that it comprises a demonstrator device associated with the demonstrator entity. Said demonstrator device is interconnected with the witness device by interconnection means. It may especially take the form of logic microcircuits in a nomad object, for example the form of a microprocessor in a microprocessor-based bank card. Said demonstrator device comprises connection means for its electrical, electromagnetic, optical or acoustic connection, especially through a data-processing communications network, to the controller device associated with the controller entity. Said controller device especially takes the form of a terminal or remote server.
Said terminal device is used to execute the following steps:
At each call, the means of computation of the commitments R of the witness device compute each commitment R by applying the process specified here above. The witness device has means of transmission, hereinafter called the transmission means of the witness device, to transmit all or part of each commitment R to the demonstrator device through the interconnection means.
The demonstrator device comprises computation means, hereinafter called the computation means of the demonstrator, applying a hashing function h whose arguments are the message M and all or part of each commitment R to compute at least one token T. The demonstrator device also has transmission means, hereinafter known as the transmission means of the demonstrator device, to transmit each token T, through the connection means, to the controller device.
Said controller, after having received the token T, produces challenges d in a number equal to the number of commitments R
The means of reception of the challenges d of the witness device receive each challenge d coming from the controller device through the connection means between the controller device and the demonstrator device and through the interconnection means between the demonstrator device and the witness device. The means of computation of the responses D of the witness device compute the responses D from the challenges d by applying the process specified here above.
The transmission means of the demonstrator send each response D to the controller device which performs the check.
Digital Signature of a Message and Proof of its Authenticity
In a third alternative embodiment capable of being combined with either or both of the first two embodiments, the terminal device according to the invention is designed to produce the digital signature of a message M, hereinafter known as a signed message, by an entity called a signing entity. The signed message comprises:
Said terminal device is such that it comprises a signing device associated with the signing entity. Said signing device is interconnected with the witness device by interconnection means. It may especially take the form of logic microcircuits in a nomad object, for example the form of a microprocessor in a microprocessor-based bank card. Said demonstrator device comprises connection means for its electrical, electromagnetic, optical or acoustic connection, especially through a data-processing communications network, to the controller device associated with the controller entity. Said controller device especially takes the form of a terminal or remote server.
Signing Operation
Said terminal device is used to execute the following steps:
At each call, the means of computation of the commitments R of the witness device compute each commitment R by applying the process specified here above. The witness device has means of transmission, hereinafter called the transmission means of the witness device, to transmit all or part of each commitment R to the signing device through the interconnection means.
The signing device comprises computation means, hereinafter called the computation means of the signing device, applying a hashing function h whose arguments are the message M and all or part of each commitment R to compute a binary train and extract, from this binary train, challenges d whose number is equal to the number of commitments R.
The means for the reception of the challenges d of the witness device receive each challenge d coming from the signing device through the interconnection means. The means for computing the responses D of the witness device compute the responses D from the challenges d by applying the process specified here above. The witness device comprises transmission means, hereinafter called means of transmission of the witness device, to transmit the responses D to the signing device, through the interconnection means.
Controller Device
The invention also relates to a controller device. The controller device may especially take the form of a terminal or remote server associated with a controller entity. The controller device is designed to check:
This proof is established by means of all or part of the following parameters or derivatives of these parameters:
Said modulus, said exponent and said values are related by relations of the type
Gi. Qiv≡1. mod n or Gi≡Qiv mod n
where Qi designates a private value, unknown to the controller device, associated with the public value Gi.
The exponent v is such that
v=2k
where k is a security parameter greater than 1.
Said public value Gi is the square gi2 of a base number gi smaller than the f prime factors p1, p2, . . . pf. The base number gi is such that
Case of the Proof of the Authenticity of an Entity
In a first alternative embodiment, the controller device according to the invention is designed to prove the authenticity of an entity called a demonstrator and an entity called a controller.
Said controller device comprises connection means for its electrical, electromagnetic, optical or acoustic connection, especially through a data-processing communications network, to a demonstrator device associated withh the demonstrator entity.
Said controller device is used to execute the following steps:
Said controller device also has means for the reception of all or part of the commitments R coming from the demonstrator device through the connection means.
The controller device has challenge production means for the production, after receiving all or part of each commitment R, of the challenges d in a number equal to the number of commitments R, each challenge d comprising m integers di hereinafter called elementary challenges.
The controller device also has transmission means, hereinafter called transmission means of the controller, to transmit the challenges d to the demonstrator through the connection means.
The controller device also comprises:
If the reception means of the demonstrator have received a part of each commitment R, the computation means of the controller device, having m public values G1, G2, . . . , Gm, cmpute a reconstructed commitment R′, from each challenge d and each response D, this reconstructed commitment R′ satisfying a relationship of the type
R′≡G1d1. G2d2. . . . Gmdm. Dv mod n
or a relationship of the type
R′≡DvG1d1. G2d2. . . . Gmdm. mod n
The comparison means of the controller device compare each reconstructed commitment R′ with all or part of each commitment R received.
Second Case: The Demonstrator has Transmitted the Totality of Each Commitment R
If the transmission means of the demonstrator have transmitted the totality of each commitment R, the computation means and the comparison means of the controller device, having m public values G1, G2, . . . , Gm, ascertain that each commitment R satisfies a relationship of the type
R≡G1d1. G2d2. . . . Gmdm. Dv mod n
or a relationship of the type
R≡Dv/G1d1. G2d2. . . . Gmdm. mod n
Case of the Proof of the Integrity of a Message
In a second alternative embodiment capable of being combined with the first one, the controller device according to the invention is designed to give proof to an entity, known as a controller, of the integrity of a message M associated with an entity known as a demonstrator.
Said controller device comprises connection means for its electrical, electromagnetic, optical or acoustic connection, especially through a data-processing communications network, to a demonstrator device associated with the demonstrator entity.
Said system is used to execute the following steps:
Said controller device also has means for the reception of tokens T coming from the demonstrator device through the connection means. The controller device has challenge production means for the production, after having received the token T, of the challenges d in a number equal to the number of commitments R, each challenge d comprising m integers di, herein after called elementary challenges. The controller device also has transmission means, hereinafter called the transmission means of the controller, to transmit the challenges d to the demonstrator through the connection means.
The controller device also comprises means for the reception of the responses D coming from the demonstrator device, through the connection means. Said controller device also comprises computation means, hereinafter called the computation means of the controller device, having m public values G1, G2, . . . , Gm, to firstly compute a reconstructed commitment R′, from each challenge d and each response D, this reconstructed commitment R′ satisfying a relationship of the type
R′≡G1d1. G2d2. . . . Gmdm. Dv mod n
or a relationship of the type
R′≡Dv/G1d1. G2d2. . . . Gmdm. mod n
then, secondly, compute a token T′ by applying the hashing function h having as arguments the message M and all or part of each reconstructed commitment R′.
The controller device also has comparison means, hereinafter called the comparison means of the controller deivce, to compare the computed token T′ with the received token T.
Digital Signature of a Message and Proof of its Authenticity
In a third alternative embodiment capable of being combined with either or both of the first two embodiments, the controller device according to the invention is designed to prove the authenticity of the message M by checking a signed message by means of an entity called a controller.
The signed message, sent by a signing device associated with a signing entity having a hashing function h (message, R) comprises:
Checking Operation
Said controller device comprises connection means for its electrical, electromagnetic, optical or acoustic connection, especially through a data-processing communications network, to a signing device associated with the signing entity. Said controller device recieves the signed message from the signed device, through the connection means.
The controller device comprises:
If the controller has commitments R, challenges d, responses D, the computation and comparison means of the controller device ascertain that the commitments R, the challenges d and the responses D satisfy relationships of the type
R≡G1d1. G2d2. . . . Gmdm. Dv mod n
or relationships of the type:
R≡Dv/G1d1. G2d2. . . . Gmdm. mod n
Then the computation and comparison means of the controller device ascertain that the message M, the challenges d and the commitments R satisfy the hashing function:
d′=h (message, R)
Case Where the Controller Device has Challenges d and Responses D
If the controller device has challenges d and responses D, the computation means of the controller, on the basis of each challenge d and each response D, compute commitments R′ satisfying relationships of the type
R′≡G1d1. G2d2. Gmdm. Dv mod n
or relationships of the type:
R′≡Dv/G1d1. G2d2. . . . Gmdm. mod n
Then the computation and comparison means of the controller device ascertain that the message M and the challenges d satisfy the hashing function:
d=h (message, R′)
Case Where the Controller Device has Commitments R and Responses D
If the controller device has commitments R and responses D, the computation means of the controller device apply the hasing function and compute d′ such that
d=h (message, R)
Then the computation and comparison means of the controller device ascertain that the commitments R, the challenges d′ and the responses D satisfy relationships of the type
R≡G1d′1. G2d′2. . . . Gmd′m. Dv mod n
or relationships of the type:
R≡Dv/G1d′1. G2d′2. . . . Gmd′m. mod n
Description
The goal of GQ technology may be recalled: it is the dynamic authentication of entities and associated messages as well as the digital signature of messages.
The standard version of GQ technology makes use of RSA technology. However, although the RSA technology truly depends on factorizing, this dependence is not an equivalence, far from it, as can be shown from attacks, known as multiplicative attacks, against various digital signature standards implementing RSA technology.
In the context of GQ2 technology, the present part of the invention relates more specifically to the use of sets of GQ2 keys in the context of dynamic authentication and digital signature. The GQ2 technology does not use RSA technology. The goal is a towfold one: first to improve performance with respect to RSA technology and secondly to prevent problems inherent in RSA technology. The GQ2 private key is the factorization of the modulus n. Any attack on the GQ2 triplets amounts to the factorizing of the modulus n: this time there is equivalence. With the GQ2 technology, the work load is reduced both for the entity that signs or is authenticated and for the one that checks. Through an improved use of the problem of factorization, in terms of both security and performance, the GQ2 technology rivals the RSA technology.
The GQ2 technology uses one or more small integers greater than 1, for example m shall integers (m≧1) called base numbers and referenced gi. Since the base numbers are fixed from gi to gm with m>1, a public verification key (v, n) is chosen as follows. The public verification exponent v is 2k where k is a small integer greater than 1 (k≧2). The public modulus n is the product of at least two prime factors greater than the base numbers, for example f prime factors (f≧2) referenced by pj, from p1 . . . pf. The f prime factors are chosen so that the public modulus n has the following properties with respect to each of the m base numbers from g1 to gm.
Firstly, the equations (1) and (2) cannot be resolved in x in the ring of the integers modulo n, that is to say that gi and −gi are two non-quadratic residues (mod n).
x2≡gi (mod n) (1)
x2≡−gi (mod n) (2)
Secondly, the equation (3) can be resolved in x in the ring of the integers modulo n.
x2
Since the public verification key <v, n> is fixed according to the base numbers from g1 to gm with m≧1, each base number gi determines a pair of values GQ2 comprising a public value Gi and a private value Q1: giving m pairs referenced G1 Q1 to Gm Qm. The public value G1 is the square of the base number gi; giving Gi=gi2. The private value Qi is one of the solutions to the equation (3) or else the inverse (mod n) of such a solution.
Just as the modulus n is broken down into f prime factors, the ring of the integers modulo n are broken down into f Galois fields, from CG(p1) to CG(pf). Here are the projections of the equations (1), (2) and (3) in CG(pj).
x2≡gi (mod pj) (1.a)
x2≡−gi (mod pj) (2.a)
x2
Each private value Qi can be represented uniquely by f private components, one per prime factor: Qi,j≡Qi (mod pj). Each private component Qi,j is a solution to the equation (3.a) or else the inverse (mod pj) of such a solution. After all the possible solutions to each equation (3.a) have been computed, the Chinese remainder technique sets up all the possible values for each private value Qi on the basis of f components of Qi,1 to Qi,f. Qi=Chinese remainders (Qi,1, Qi,2, . . . Qi,f) so as to obtain all the possible solutions to the equation (3).
The following is the Chinese remainder technique: let there be two positive integers that are mutally prime numbers a and b such that 0<a<b, and two components Xa from 0 to a−1 and Xb from 0 to b−1. It is required to determine X=Chinese remainders (Xa, Xb), namely the unique number X from 0 to a.b−1 such that Xa≡X (mod a) and Xb≡X (mod b). The following is the Chinese remainder parameter: α≡{b (mod a)}−1 (mod a). The following is the Chinese remainder operation: ε≡Xb (mod a); δ=Xa−ε; if δ is negative, replace δ by δ+a; γ≡α. δ(mod a); X=γ. b+Xb.
When the prime factors are arranged in rising order, from the smallest p1 to the greater pf, the Chinese remainder parameters can be the following (there are f−1 of them, namely one less than prime factors). The first Chinese remainder parameter is α≡{p2 (mod p1)}−1 (mod p1). The second Chinese remainder parameter is β≡{p1.p2 (mod p3)}−1 (mod p3). The i-th Chinese remainder parameter is λ≡{p1.p2. . . . pi−1(mod pi)}−1 (mod pi). And so on and so forth. Finally, in f−1 Chinese remainder operations, a first result (mod p2 times p1) is obtained with the first parameter and then a second result (mod p1.p2 times p3) with the second parameter and so on and so forth until a result (mod p1. . . . pf−1 times pf), namely (mod n).
There are several possible depictions fo the private key GQ2, which expresses the polymorphic nature of the private key GQ2. The various depictions prove to be equivalent: they all amount to knowledge of the factorization of the module n which is the true private GQ2 key. If the depiction truly affects the behavior of the signing entity or self-authenticating entity, it soes not affect the behavior of the controller entity.
Here are the main three possible depictions of the GQ2 private key.
1) The standard representation in GQ technology consists of the storage of m private values Qi and the public verification key <v, n>; in GQ2, this depictionis rivalled by the following two. 2) The optimal representation in terms of work load consists in storing the public exponent v, the f prime factors pj, m.f private components Qij and f−1 parameters of the Chinese remainders. 3) The optimal representation in terms of private key size consists in storing the public exponent v, the m basic numbers gi and the f prime factors pj, then in starting eachuse by setting up either m private values Qi and the module n to return to the first depiction or else m.f private components Qi,j and f−1 parameters of the Chinese remainders to return to the second one.
The signing or self-authenticating entities can all use the same base numbers. Unless otherwise indicated, the m base numbers from g1 to gm can then advantageously be the m first prime numbers;
Because the security of the dynamic authentication mechanism or digital signature mechanism is equivalent to knowledge of a breakdown of the modulus, the GQ2 technology cannot be used to simply distinguish two entities using the same modulus. Generally, each entity that authenticates itself or signs has its own GQ2 modulus. However, it is possible to specify GQ2 moduli with four prime factors, two of which are known by an entity and the other two by another entity.
Here is a first set of GQ2 keys with k=6, giving v=64, m=3, giving three base: g1=3, g2=5 et g3=7, and f=3, namely a modulus with three prime factors: two congruent to 3 (mod 4) and one to 5 (mod 8). It must be noted that g=2 is incompatible with a prime factor congruent to 5 (mod 8).
Dynamic Authentication
The dynamic authentication mechanism is designed to prove, to an entity known as a controller, the authenticity of another entity known as a demonstrator as well as the authenticity of a possible associated message M, so that the controller can be sure that it is truly the demonstrator and, as the case may be, only the demonstrator and that the demonstrator is truly speaking of the same message M. The associated message M is optional. This means that it may be vacant.
The dynamic authentication mechanism is a sequence of four acts: an act of commitment, and act of challenge, and act of response and an act of checking. The demonstrator fulfills the acts of commitment and response. The controller fulfills the acts of challenge and control.
Within the demonstrator, it is possible to isolate a witness so as to isolate the most sensitive parameters and functions of the demonstrator, namely the production of commitments and responses. The witness has the parameter k and the private key GQ2, namely the factorization of the module n according to one of the three depictions referred to here above: ● the f prime factors and the m base numbers, ● the m.f private component, the f prime factors and the f−1 parameters of the Chinese remainders, ● the m private values and the modulus n.
The witness may correspond to a partial embodiment, for example, ∝ a chip card connected to a PC forming the entire demonstrator or again, ∝ specially protected programs within a PC, or again, ● specially protected programs within a smart card. The witness thus isolated is similar to the witness defined here below within the signing party. At each execution of the mechanism, the witness produces one or more commitments R and then as many responses D to as many challenges d. Each set {R, d, D} is a GQ2 triplet.
Apart from comprising the witness, the demonstrator also has, if necessary, a hashing function and a message M.
The controller has the modulus n and the parameters k and m; if necessary, it also has the same hashing function and a message M′. The controller is capable of reconstituting a commitment R′ from any challenge d and any response D. The parameters k and m inform the controller. Failing any indication to the contrary, the m base numbers from g1 to gm are the m first prime numbers. Each challenge d must have m elementary challenges referenced from d1 to dm: one per base number. This elementary challenge from d1 to dm may take a value of 0 to 2k−1−1 (the values of v/2 to v−1 are not used). Typically, each challenge is encoded by m times k−1 bits (and not by m times k bits). For example, k=6 and m=3 and the base numbers 3, 5 and 7, each challenge has 15 bits transmitted on two bytes; with k=9, m=2 and the base numbers 2 and 3, each challenge has 16 bits transmitted on two bytes. When the (k−1).m possible challenges are also possible, the value (k−1).m determines the security provided by each GQ2 triplet: an impostor who, by definition, does not know the factorization of the module n has exactly one chance of success in 2(k−1).m. When (k−1).m is equal to 15 to 20, one triplet is enough to reasonably provide for dynamic authentication. To achieve any security level, it is possible to produce triplets in parallel. It is also possible to produce sequentially, namely to repeat the execution of the mechanism.
1) The act of commitment comprises the following operations.
When the witness has m private values from Q1 to Qm and the modulus n, it draws one or more random values r (0<r<n) at random and privately; then by k successive squaring (mod n) operations, it converts each random value r into a commitment R.
R≡rv(mod n)
Here is an example with the first set of keys with k=6.
When the witness has f prime factors from p1 to pf and m.f private components Qij, it draws one or more collections of f random values at random and privately: each collection has one random value ri per prime factor pi (0<ri<pi); then by k successive operations of squaring (mode pi), it converts each random value ri into a component of commitment Ri.
R1≡riv(mod pi)
Here is an example with the second set of keys with k=9.
For each collection of f commitment components, the witness sets up a commitment according to the technique of Chinese remainders. There are as many commitments as there are collections of random values.
R=Chinese remainders (R1, R2, . . . , Rj)
In both cases, the demonstrator sends the controller all or part of each commitment R, or at least a hashing code II obtained by hashing each commitment R and one message M.
2) The act of challenge consists in drawing at random one or more challenges d each consisting of m elementary challenges d1|d2| . . . |dm; each elementary challenge di takes one of the values from 0 to v/2−1.
d=d1|d2| . . . |dm
Here is an example for the first set of keys with k=6 and m=3.
Here is an example for the second set of keys with k=9 and m=2.
The controller sends the demonstrator each challenge d.
3) The act of response has the following operations.
When the witness has m private values from Q1 to Qm and the modulus n, it computes one or more responses D in using each random value r of the act of commitment and the private values according to the elementary challenges.
X=Q1d1. Q2d2 . . . Qmdm(mod n)
D≡r.X (mod n)
Here is an example for the first set of keys.
D=FF257422ECD3C7A03706B9A7B28EE3FC3A4E974AEDCDF386 5EEF38760B859FDB5333E904BBDD37B097A989F69085FE8EF6480 A2C6A290273479FEC9171990A17
When the witness has f prime factors from pi to pf and m.f private components Qi,j, it computes one or more collections of f response components in using each collection of random values of the act of commitment: each collection of response components comprises one component per prime factor.
Xi≡Q1d1. Q2d2 . . . Qmdm, 1(mod pi)
Di≡ri.Xi (mod p1)
Here is an example for the second set of keys.
For each collection of response components, the witness draws up a response according to the Chinese remainder technique. There are as many responses as there are challenges.
In both cases, the demonstrator sends each response D to the controller.
4) The checking act consists in ascertaining that each triplet {R, d, D} verifies an equation of the following type for a non-zero value,
(mod n) or else
(mode n) or else in setting up each commitment: none should be zero.
(mode n) or else
(mode n)
If necessary, the controller then computes a hashing code H′ in hashing each re-established commitment d′and a message M′. The dynamic authentication is successful when the controller thus retrieves what it has received at the end of the first act of commitment, namely all or part of each commitment R, or else the hashing code H.
For example, a sequence of elementary operations converts the response D into a commitment R′. The sequence has k squares (mod n) separated by k−1 divisions or multiplications (mod n) by base numbers. For the i-th division or multiplication, which is performed between the i-th square and the i+1st square, the i-th bit of the elementary challenge di indicates that it is necessary to use gi, the i-th bit of the elementary challenge d2 indicates whether it is necessary to use g2, . . . up to the i-th bit of the elementary challenge dm which indicates that it is necessary to use gm.
Here is an example for the first set of keys.
We find the commitment R. The authentication is successful.
Here is an example for the second set of keys.
We find the commitment R. The authentication is successful.
Digital Signature
The digital signing mechanism enables an entity called a signing party to produce signed messages and an entity called a controller to ascertain signed message. The message M is any binary sequence: it may be vacant. The message M is signed by adding a signature appendix to it. This signature appendix comprises one or more commitments and/or challenges as well as the corresponding responses.
The controller has the same hashing function, the parameters k and m and the module n. The parameters k and m provide information to the controller. Firstly, each elementary challenge from d1 to dm must take a value from 0 to 2k−1−1 (the values of v/2 to v−1 are not used). Secondly, each challenge d must comprise m elementary challenges referenced from d1 to dm, namely as many of them as base numbers. Furthermore, failing indications to the contrary, the m base numbers from g1 to gm are the m first prime numbers. With (k−1).m equal to 15 to 20, it is possible to sign with four triplets GQ2 produced in parallel; with (k−1).m equal to 60 or more, it is possible to sign with a single triplet GQ2. For example, with k=9 and m=8, a single triplet GQ2 is enough; each challenge has eight bytes and the base numbers are 2, 3, 5, 7, 11, 13, 17 and 19.
The signing operation is a sequence of three acts: an act of commitment, an act of challenge and an act of response. Each act produces one or more GQ2 triplets each comprising: a commitment R (≠0), a challenge d consisting of m elementary challenges referenced d1, d2, . . . , dm and a response D (≠0).
The signing party has a hashing function, the parameter k and the GQ2 private key, namely the factorization of the modulus n according to one of the three depictions referred to here above. Within the signing party, it is possible to isolate a witness that performs the the acts of commitment and response, so as to isolate the functions and parameters most sensitive to the demonstrator. To compute commitments and responses, the witness has the parameter k and the GQ2 private key, namely the factorization of the modulus n according to one of the three depictions referred to here above. The witness thus isolated is similar to the witness defined within the demonstrator. It may correspond to a particular embodiment, for example, ∝ a chip card connected to a PC forming the entire signing party, or again, ∝ programs particularly protected within a PC, or again, ∝ programs particularly protected within a chip card.
1) The act of commitment comprises the following operations:
When the witness has m private values from Q1 to Qm and the modulus n, it randomly and privately draws one or more random values r(0<r<n); then, by k successful squaring (mod n) operations, it converts each random value r into a commitment R.
Ri≡rv (mod n)
When the witness has f prime factors from p1 to pf and m.f private components Qij, it privately and randomly draws one or more collections of f random values: each collection has one random value ri per prime factor pi (0<ri<pi); then, by k successive squaring (mod pi) operations, it converts each random value ri into a component of commitment Ri.
Ri≡riv (mod pi)
For each collection of f commitment components, the witness sets up a commitment according to the Chinese remainder technique. There are as many commitments as there are collections of random values.
R=Chinese remainders (R1, R2, . . . , Rf)
2) The act of challenge consists in hashing all the commitments R and the message to be signed M to obtain a hashing code from which the signing party forms one or more challenges each comprising m elementary challenges; each elementary challenge takes a value from 0 to v/2−1; for example with k=9 and m=8. Each challenge has eight bytes. There are as many challenges as there are commitments.
d−d1|d2| . . . |dm,
extracted from the result Hash(M, R)
3) The act of response comprises the following operations.
When the witness has m private values from Q1 to Qm and the modulus n, it computes one or more responses D using each random value r of the act of commitment and the private values according to the elementary challenges.
X.|≡Q1d1. Q2d2 . . . Qmdm (mod n)
D|≡r. |X.|(mod n)
When the witness has f prime factors from p1 to pf and m.f private components Qij, it computes one or more collections of f response components in using each collection of random values of the act of commitment: each collection of response components comprises one component per prime factor.
Xi≡Q1d1,i. Q2d2,i . . . Qmdm,i (mod pi)
Di≡ri.Xi (mod pi)
Referring now to
For each collection of response components, the witness sets up a response according to the Chinese remainders technique. There are as many responses as there are challenges.
The signing party signs the message M in adding to it a signature appendix comprising:
The running of the verification operation depends on the contents of the signature appendix. There are three possible cases.
Should the appendix comprise one or more triplets, the checking operation has two independent processes for which the chronology is not important. The controller accepts the signed message if and only if the two following conditions are fulfilled.
Firstly, each triplet must be consistent (an appropriate relationship for the following type has to be verified) and acceptable (the comparison has to be done on a non-zero value).
mod n) or else
(mod n)
For example, the response D is converted by a sequence of elementary operations: k squared (mod n) separated by k−1 multiplication or division operations (mod n) by base numbers. For the i-th multiplication or division which is performed between the i-th square and the i+1st square, the i-th bit of the elementary challenge d1 indicates whether it is necessary to use g1, the i-th bit of the elementary challenge d2 indicates whether it is necessary to use g2, . . . up to the i-th bit of the elementary challenge dm which indicates if it is necessary to use gm. It is thus necessary to retrieve each commitment R present in the signature appendix.
Furthermore, the triplet or triplets must be linked to the message M. By hashing all the commitments R and the message M, a hashing code is obtained from which each challenge d must be recovered.
d=d1|d2| . . . |dm, identical to those extracted from the result Hash (M, R)
Should the appendix have no challenge, the checking operation starts with a reconstruction of one or more challenges d′ by hashing all the commitments R and the message M.
D′=d′1|d′2| . . . | d′m,
extracted from the result Hash(M, R)
Then, the controller accepts the signed message if and only if each triplet is consistent (an appropriate relationship of the following type is verified) and acceptable (the comparison is done on a non-zero value).
(mod n) or else
(mod n)
Should the appendix comprise no commitment, the checking operation starts by reconstructing one or more commitments R′ according to one of the following two formulae, namely the one that is appropriate. No re-established commitment should be zero.
(mod r′) or else
(mod n)
Then, the controller must hash all the commitments R′ and the message M so as to reconstitute each challenge d.
d=d1|d2| . . . |dm, identical to those extracted from the result Hash(M, R)
The controller accepts the signed message if and only if each reconstituted challenge is identical to the corresponding challenge in the appendix.
Referring now to
In the present application, it has been shown that there are pairs of private values and public values Q and G respectively used to implement the method, system and device according to the invention, designed to prove the authenticity of an entity and/or integrity and/or authenticity of a message.
In the pending application filed on the same day as the present application by France Télécom, TDF and the firm Math RiZK, whose inventors are Louis Guillou and Jean-Jacques Quisquater, a method has been described for the production of sets of GQ2 keys namely moduli n and pairs of public and private values G and Q respectively when the exponent v is equal to 2k. This patent application is incorporated herein by reference.
Number | Date | Country | Kind |
---|---|---|---|
99 01065 | Jan 1999 | FR | national |
99 03770 | Mar 1999 | FR | national |
99 12465 | Oct 1999 | FR | national |
99 12467 | Oct 1999 | FR | national |
99 12468 | Oct 1999 | FR | national |
Filing Document | Filing Date | Country | Kind | 371c Date |
---|---|---|---|---|
PCT/FR00/00190 | 1/27/2000 | WO | 00 | 12/12/2001 |
Publishing Document | Publishing Date | Country | Kind |
---|---|---|---|
WO00/45550 | 8/3/2000 | WO | A |
Number | Name | Date | Kind |
---|---|---|---|
5046094 | Kawamura et al. | Sep 1991 | A |
5140634 | Guillou et al. | Aug 1992 | A |
5299262 | Brickell et al. | Mar 1994 | A |
5414772 | Naccache et al. | May 1995 | A |
5442707 | Miyaji et al. | Aug 1995 | A |
6615352 | Terao et al. | Sep 2003 | B2 |
6651167 | Terao et al. | Nov 2003 | B1 |
6795553 | Kobayashi et al. | Sep 2004 | B1 |
7093134 | Gong | Aug 2006 | B1 |
7246098 | Walmsley | Jul 2007 | B1 |
7280663 | Golomb et al. | Oct 2007 | B1 |
Number | Date | Country |
---|---|---|
311 470 | Apr 1989 | EP |
381 523 | Aug 1990 | EP |
792 044 | Aug 1997 | EP |
8911706 | Nov 1989 | WO |
9633567 | Oct 1996 | WO |