1. Field of the Invention
The present invention concerns a method to obtain a secure counter on an embedded computer system having a chip card.
Its object is more particularly to provide an embedded environment (notably a mobile phone) with access to a monotonic counter that cannot be forged, residing on a chip card.
2. Description of the Prior Art
Generally, it is known that a monotonic counter is a counter which guarantees that its values changes with each call, i.e., it never gives the same value twice. Said counters are highly useful in computer systems to generate unique identifiers for example, and to combat so-called “replay” security attacks (an attacker who identifies an authorized value at a time t can, at a time t+ delta, “replay,” i.e., give the previously detected value, in the hope that it is still authorized by the system).
Monotonic counters are also mostly incremental, since this does not give rise to any particular implementation difficulty. In this case, the counter also provides the guarantee that at each call it gives a higher value than for the preceding call. Time for example is a universal incremental source. Incremental monotonic counters are of particular interest to order events in relation to each other. For example, in some time-dating systems it is simply desired to know that document A was archived before document B. Rather than using an internal clock (which is generally costly, imprecise and non-secure, in that an attacker could change the time at will), computer systems frequently use an incremental monotonic counter.
Incremental monotonic counters are also highly desirable in the area of Digital Rights Management (DRM) notably to control that music previously played can no longer be played once related rights have expired.
In the remainder of this description, an incremental monotonic counter will be called a “monotonic counter”.
While a monotonic counter on a personal computer (PC) does not give rise to any real difficulty, its integration in embedded environments (e.g. mobile telephone) is a much more complicated matter however. To produce a monotonic counter, a persistent memory zone is required with several re-write possibilities (to save the value of the counter when it is not powered up). Integration of a re-writable persistent memory into an embedded environment entails a non-negligible financial cost that is higher the more the equipment concerned is intended to be deployed on a large scale (e.g. a surcharge for millions of mobile phones). And yet embedded environments—like other computer systems—need monotonic counters, and market demand is no doubt higher in terms of DRM (games for portable video consoles, listening to music on mobile phones, iPod (trademark), etc).
The purpose of the invention is more particularly to provide a reliable low-cost solution to fabricate a monotonic counter for cases in which the embedded environment has a smart card (which is the case in particular for mobile telephones with the SIM card).
For this purpose, it proposes a method comprising the following operating phases:
As a general rule, the requesting entity ER can act on behalf of another application, of a system or a natural person, interacting with the embedded system.
Advantageously, at the step to calculate a signature during the execution phase of a counter request, the requesting entity ER is previously authenticated. The counter request will therefore only be executed if authentication has been successful.
Similarly, verification of the signature contained in the reply to the counter request can be made using a public key stored in the persistent memory on the embedded system.
According to this method, the monotonic counter is produced in the form of an application which is run inside a smart card (provided with a microprocessor). This application can be native (i.e. directly run directly on the microprocessor) or it may be interpreted by an interpretation engine (e.g. a virtual Java machine, a script interpreter, etc.). It has the benefit of:
The application thus produced:
One embodiment of the invention is described below by way of a non-limiting example with reference to the appended drawing in which:
In this example, the embedded system (block 1) has a chip card (block 2) comprising a private persistent memory (block 3) in which a counter Cpt is stored, a private key Cf stored in the re-writable part of the persistent memory zone (block 3), read-protected, and a counting function FC.
The counter Cpt and the private key Cf can be accessed solely by the counting function FC. Modification of the counter Cpt by the counting function FC consists of a+1 increment.
On the chip card (block 2) there is also a monotonic application (Application monotone counter, block 5). This application, which uses the private key Cf, can be automatically launched as the card 2 is powered up, or manually by the owner of the card 2. It replies to requests emitted by a caller, emitted outside the card.
The embedded system (on-board system, block 1) also comprises a public key Cp (or a public key certificate Ccp) stored in a public persistent memory (block 6) (ideally integrity-protected—i.e. it cannot be unduly modified) for example in a One-Time Programmable memory (OTP) since said memories do not give rise to any particular integration or financial difficulty (for example they are provided on mobile telephones). This solution, which corresponds to the solution illustrated in the single figure, allows control over cases in which an attacker attempts to construct a false monotonic counter application, with another pair of keys, and replaces the authentic public key by the public key of the false application.
Alternatively, the public key Cp can be stored:
In the two latter cases—in which the public key Cp is not stored in memory on the embedded system (block 1)—it is also advisable to memorize an imprint of the public key Cp to be used on the embedded system. This can ensure that an attacker has not replaced the chip card (block 2) by another chip card, or has not mimicked the behaviour of an illegitimate PKI.
The public key Cp can also be certified by an authority attesting that the public key Cp truly corresponds to the monotonic counter application 5. In this case, it is sufficient to memorize the Ccp certificate containing the public key Cp. The public key Cp is used to verify the signature of the counter.
To obtain a value of the monotonic counter, the requesting entity ER firstly emits a monotonic counter request to the application 5 located on the chip card (block 2). Optionally, it is possible to authenticate the Requesting Entity ER by requesting it to supply a secret data item known to the chip card. This secret data item can be a PIN for example (Personal Identify Number), a password or a secret key known to the two entities. Authentication of the Requesting Entity ER ensures that the Requesting Entity ER is truly authorized to request a monotonic counter value, and therefore avoids attacks by service denial in which an attacker unceasingly requests a value making the service unavailable for other (legitimate) callers.
Next, the application 5 increments its internal counter. This counter is saved in the persistent memory (block 3) of the chip card (block 2) and is only accessible to the monotonic counter application 5. Optionally, the counter can be kept encoded (by the public key of the application). This prevents non-authorized entities knowing the current value of the monotonic counter. In particular, in the event of very close visual scrutiny the value revealed would be encoded and therefore unusable. The current value of the counter is then signed by the private key of the application, and the data items of counter value+signature are returned to the Requesting Entity ER.
Finally, the Requesting Entity ER collects the public key Cp of the application. Depending on cases, this public key Cp can be collected in the memory of the embedded system (block 1) on the chip card (block 2) or externally. In the two latter cases, the imprint (if any) of the public key Cp then the signature of the counter must be verified. If the signature tallies, the caller is certain that the value of the counter is authentic. It can be used.
It is to be noted that in little-sensitive environments or on the contrary in highly-securitized environments, it is also possible to contemplate the non-signature (and non-verifying) of the value of the monotonic counter. The drawback is evidently that the caller is no longer certain of its authenticity: the value could possibly be provided by an attacker. In this case it is no longer of any use to store a pair of keys.
From an implementation viewpoint, the monotonic counter application 5 can be implemented very easily either as native application (provided that access to the persistent memory and to cryptographic functions is possible) or as interpreted application. In this latter case, the application 5 can be implemented as an applet within a Java card (registered trademark).
Number | Date | Country | Kind |
---|---|---|---|
05 13241 | Dec 2005 | FR | national |
Filing Document | Filing Date | Country | Kind | 371c Date |
---|---|---|---|---|
PCT/FR2006/002766 | 12/14/2006 | WO | 00 | 8/21/2008 |
Publishing Document | Publishing Date | Country | Kind |
---|---|---|---|
WO2007/080289 | 7/19/2007 | WO | A |
Number | Name | Date | Kind |
---|---|---|---|
4841133 | Gercekci et al. | Jun 1989 | A |
5767504 | Menconi | Jun 1998 | A |
6067621 | Yu et al. | May 2000 | A |
6085321 | Gibbs et al. | Jul 2000 | A |
6385318 | Oishi | May 2002 | B1 |
6539480 | Drews | Mar 2003 | B1 |
6698661 | Cooreman et al. | Mar 2004 | B1 |
6836853 | Dover et al. | Dec 2004 | B1 |
7350083 | Wells et al. | Mar 2008 | B2 |
7472285 | Graunke et al. | Dec 2008 | B2 |
7681050 | Blom et al. | Mar 2010 | B2 |
20020023217 | Wheeler et al. | Feb 2002 | A1 |
20020043566 | Goodman et al. | Apr 2002 | A1 |
20020112156 | Gien et al. | Aug 2002 | A1 |
20030097344 | Chaum et al. | May 2003 | A1 |
20040003244 | England et al. | Jan 2004 | A1 |
20040054901 | England et al. | Mar 2004 | A1 |
20050097336 | Canard et al. | May 2005 | A1 |
20060168447 | Pailles et al. | Jul 2006 | A1 |
20060198515 | Forehand et al. | Sep 2006 | A1 |
20070073416 | Grawrock | Mar 2007 | A1 |
Number | Date | Country |
---|---|---|
1376306 | Jan 2004 | EP |
Number | Date | Country | |
---|---|---|---|
20080320315 A1 | Dec 2008 | US |