1. Field of the Invention
The present invention relates to a method of verifying the integrity of an encryption key obtained by combining key portions and used in association with a symmetrical encryption algorithm.
2. Brief Description of the Related Art
It is known that an encryption algorithm operates by means of a key, which constitutes an element that is essential for ensuring that the encryption is secure.
Various means are known for attempting fraudulently to obtain the key associated with an encryption algorithm. One such means comprises analyzing electrical or electromagnetic phenomena that occur when the key is transferred from storage in a read-only memory to a read/write memory or from the read/write memory to a register. In order to combat that method of attack, it is known to subdivide the key into a plurality of portions, generally two portions, that are combined by means of an operator, e.g. the commutative EXCLUSIVE OR operator, in a read-protected zone in which the algorithm is implemented.
Another means for reconstituting the key consists in provoking disturbances in the key and in analyzing the consequences on the encryption of a data item that is used repetitively which provoking successive disturbances to the encryption key. To prevent an attacker from performing successive disturbances to the key, it would be desirable to be able to verify the integrity of the key when implementing the encryption algorithm. Unfortunately, combining key portions in a protected zone that is not accessible for reading prevents any reading back of the key in order to verify its integrity.
An object of the invention is to propose a method of verifying the integrity of an encryption key obtained by combining a plurality of key portions in a protected zone by using a commutative operator in association with a symmetrical encryption algorithm.
In order to achieve this object, the invention provides a method comprising the steps of: using the commutative operator to perform a first combination between a key portion and a verification encryption key; using the commutative operator to perform in succession a combination between a key portion that has not yet been combined and a result obtained by an immediately preceding combination, until a last combination is performed that includes all of the key portions; performing a combination in the protected zone between the encryption key to be verified and the last combination of the verification encryption key and the key portions in order to obtain a final verification key; encrypting verification data by means of a symmetrical encryption algorithm using the final verification key; and making a comparison with a verification encryption obtained by direct encryption of the verification data by means of the verification encryption key.
Thus, when the key to be verified has not been disturbed, the final verification key is equivalent to the verification encryption key, and the encryption of the verification data is then identical to the verification encryption. Otherwise, if the encryption key has been disturbed, then the final verification key is not equivalent to the verification encryption key and a difference is detected between the encryption of the verification data and the verification encryption. It is then possible to draw the conclusions therefrom, for example blocking the encryption algorithm so as to prevent an attacker from continuing the succession of tests that would enable the attacker to reconstitute the encryption key.
Preferably, at least one of the combinations preceding the last combination between the key portions and the verification key is performed outside the protected zone. This minimizes the means that need to be implemented in the protected zone.
Further scope of the applicability of the present invention will become apparent from the detailed description given hereinafter. However, it should be understood that the detailed description and specific examples, while indicating preferred embodiments of the invention, are given by way of illustration only, since various changes and modifications within the spirit and scope of the invention will become apparent to those skilled in the art from this detailed description.
The present invention will become more fully understood from the detailed description given hereinbelow and the accompanying drawing which are given by way of illustration only, and thus are not limitative of the present invention, and wherein the accompanying FIGURE illustrates the method of the invention diagrammatically.
With reference to the FIGURE, the method of the invention is implemented by using means that are themselves known, comprising a static memory 1 such as an EEPROM, a read/write memory 2, and a register 3 forming a read-protected zone configured to implement a symmetrical encryption algorithm (DES, TDES, AES, . . . ) using an encryption key K. In known manner, the encryption key K is obtained by combining two key portions KM and M using a commutative operator such as the EXCLUSIVE OR operator which, in the equations below, is written (+).
For this purpose, the key values KM and K are read from the static memory into the read/write memory, and they are then transferred into the protected zone 3 where they are combined using the equation:
K=KM(+)M
It is recalled that the key K cannot be read in the protected zone 3.
In the invention, the static memory 1 also contains a verification encryption key Kv, verification data Dv, and a verification encryption Cv, the verification encryption Cv being previously obtained by direct encryption of the verification data by the encryption algorithm using the verification encryption key. When using a DES algorithm, this gives:
Cv=DES(Kv,Dv)
In order to cause a disturbance in the key K, it is possible for an attacker to act on the key portions KM and/or M while they are in the static memory or in the read/write memory.
In order to verify the integrity of the encryption key K contained in the register 3, the method of the invention comprises the steps of:
It should be observed that if the formula for the final verification key is written out in full, the fowling is obtained:
Kf=K(+)KM(+)Kv(+)M
which taking account of the commutativity of the EXCLUSIVE OR operator can be written:
Kf=K(+)KM(+)M(+)Kv
If the initial data has not been subjected to an attack, then:
KM(+)M=K
and the expression for Kf becomes:
Kf=K(+)K(+)Kv=Kv
On the contrary, if one of the data items has been disturbed, then there is no longer identity between K and KM(+)M, such that the final verification key is then different from the verification encryption key Kv. The encryption of the verification data Dv with the final verification encryption key Kf then gives a result CDv that is different from the verification encryption Cv.
Comparing CDv and Cv thus makes it possible to detect an attack and to trigger defensive action, e.g. blocking the algorithm.
It should be observed that the method of the invention makes it possible not only to verify the integrity of the encryption key K, but also, when an attack has been made on the verification encryption key Kv, to verify the verification data Dv or the verification encryption Cv.
Although the primary object of the invention is not detecting an attack on this data, the invention nevertheless makes it possible to respond so as to avoid the attack bearing subsequently on the data relating to the key portions KM or M.
Naturally, the invention is not limited to the implementation described and variant implementations can be applied thereto without going beyond the ambit of the invention as defined by the claims.
In particular, although the invention is described with a key in two portions only, the method of the invention can be applied to a key that is recombined from an arbitrary number of key portions by using a commutative operator and a symmetrical encryption algorithm.
Although the steps of combining encryption key portions KM and M with the verification key Kv are described as being performed in the read/write memory 2, it is also possible to perform them in the protected zone 3, however that pointlessly monopolizes the computation resources of the protected zone 3.
The invention being thus described, it will be obvious that the same may be varied in many ways. Such variations are not to be regarded as a departure from the spirit and scope of the invention, and all such modifications as would be obvious to one skilled in the art are intended to be included within the scope of the following claims.
Number | Date | Country | Kind |
---|---|---|---|
06 07232 | Aug 2006 | FR | national |
Filing Document | Filing Date | Country | Kind | 371c Date |
---|---|---|---|---|
PCT/FR2007/001348 | 8/7/2007 | WO | 00 | 6/2/2009 |
Publishing Document | Publishing Date | Country | Kind |
---|---|---|---|
WO2008/023107 | 2/28/2008 | WO | A |
Number | Name | Date | Kind |
---|---|---|---|
7254233 | Hawkes et al. | Aug 2007 | B2 |
7400723 | Romain et al. | Jul 2008 | B2 |
7502475 | Chen et al. | Mar 2009 | B2 |
7822207 | Douguet et al. | Oct 2010 | B2 |
7827408 | Gehringer et al. | Nov 2010 | B1 |
20010046292 | Gligor et al. | Nov 2001 | A1 |
20020071552 | Rogaway | Jun 2002 | A1 |
20030103625 | Naccache et al. | Jun 2003 | A1 |
20040019782 | Hawkes et al. | Jan 2004 | A1 |
20070086588 | England et al. | Apr 2007 | A1 |
20080152144 | Douguet et al. | Jun 2008 | A1 |
20080222420 | Serret-Avila | Sep 2008 | A1 |
20090074181 | Pelletier | Mar 2009 | A1 |
20090171878 | Zeng | Jul 2009 | A1 |
20090285398 | Liardet et al. | Nov 2009 | A1 |
20100169645 | McGrew et al. | Jul 2010 | A1 |
Number | Date | Country |
---|---|---|
2327037 | May 2002 | CA |
WO 0182525 | Nov 2001 | WO |
Number | Date | Country | |
---|---|---|---|
20090316906 A1 | Dec 2009 | US |