WO2016097637A1 - Procede de securisation d'un code pin avec des compteurs d'erreurs dans une carte a puce - Google Patents

Procede de securisation d'un code pin avec des compteurs d'erreurs dans une carte a puce Download PDF

Info

Publication number
WO2016097637A1
WO2016097637A1 PCT/FR2015/053602 FR2015053602W WO2016097637A1 WO 2016097637 A1 WO2016097637 A1 WO 2016097637A1 FR 2015053602 W FR2015053602 W FR 2015053602W WO 2016097637 A1 WO2016097637 A1 WO 2016097637A1
Authority
WO
WIPO (PCT)
Prior art keywords
counter
value
ptc
code
tot
Prior art date
Application number
PCT/FR2015/053602
Other languages
English (en)
Inventor
Francis Chamberot
Marco DE OLIVEIRA
Original Assignee
Oberthur Technologies
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Oberthur Technologies filed Critical Oberthur Technologies
Publication of WO2016097637A1 publication Critical patent/WO2016097637A1/fr

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/30—Authentication, i.e. establishing the identity or authorisation of security principals
    • G06F21/31—User authentication
    • G06F21/34—User authentication involving the use of external additional devices, e.g. dongles or smart cards
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q20/00—Payment architectures, schemes or protocols
    • G06Q20/30—Payment architectures, schemes or protocols characterised by the use of specific devices or networks
    • G06Q20/34—Payment architectures, schemes or protocols characterised by the use of specific devices or networks using cards, e.g. integrated circuit [IC] cards or magnetic cards
    • G06Q20/341—Active cards, i.e. cards including their own processing means, e.g. including an IC or chip
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q20/00—Payment architectures, schemes or protocols
    • G06Q20/30—Payment architectures, schemes or protocols characterised by the use of specific devices or networks
    • G06Q20/34—Payment architectures, schemes or protocols characterised by the use of specific devices or networks using cards, e.g. integrated circuit [IC] cards or magnetic cards
    • G06Q20/354—Card activation or deactivation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q20/00—Payment architectures, schemes or protocols
    • G06Q20/38—Payment protocols; Details thereof
    • G06Q20/40—Authorisation, e.g. identification of payer or payee, verification of customer or shop credentials; Review and approval of payers, e.g. check credit lines or negative lists
    • G06Q20/401—Transaction verification
    • G06Q20/4012—Verifying personal identification numbers [PIN]
    • G—PHYSICS
    • G07—CHECKING-DEVICES
    • G07F—COIN-FREED OR LIKE APPARATUS
    • G07F7/00—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus
    • G07F7/08—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus by coded identity card or credit card or other personal identification means
    • G07F7/10—Mechanisms actuated by objects other than coins to free or to actuate vending, hiring, coin or paper currency dispensing or refunding apparatus by coded identity card or credit card or other personal identification means together with a coded signal, e.g. in the form of personal identification information, like personal identification number [PIN] or biometric data
    • G07F7/1025—Identification of user by a PIN code
    • G07F7/1083—Counting of PIN attempts
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/55—Detecting local intrusion or implementing counter-measures
    • G06F21/552—Detecting local intrusion or implementing counter-measures involving long-term monitoring or reporting
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/70—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer
    • G06F21/78—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure storage of data

Definitions

  • the present invention is in the general field of electronic devices able to cooperate with an external terminal in order to perform a transaction, in the banking field for example.
  • the invention relates more particularly, but in a nonlimiting manner, to a smart card (or microcircuit cards), conforming for example to the IS07816 standard, and capable of carrying out a transaction in cooperation with an external terminal as well as a method of control of such a smart card.
  • the invention aims in particular the control of a smart card operating according to the EMV protocol (for "Europay Mastercard Visa") and adapted to perform a payment transaction with an external reader such as a payment terminal.
  • EMV protocol for "Europay Mastercard Visa”
  • a smart card In general, a smart card is designed to communicate with a device external to this card, otherwise called terminal or reader. These cards make it possible to carry out various types of transactions, such as payment transactions, identification transactions and / or authentication of the bearer etc. Smart cards implementing one or more banking applications (credit card, debit card etc.) are for example able to communicate with payment terminals.
  • banking applications credit card, debit card etc.
  • EMV is the standardized protocol used mainly in the world to secure payment transactions made by smart cards.
  • the EMV protocol has been designed to reduce the risk of fraud during a payment transaction by allowing in particular the authentication of both the smart card and its holder.
  • the authentication of the bearer is generally performed from a secret code (also called PIN) entered by the cardholder at the request of the payment terminal.
  • PIN secret code
  • the external terminal sends a VERIFY command to the bank card containing the secret code entered by the user on the payment terminal.
  • the bank card then verifies the authenticity of the user by comparing the secret code entered by the latter with a reference code stored in a secure memory of the card. If the authentication is successful, the card bank returns to the terminal an OK message indicating that the verification of the secret code has passed successfully. If, on the other hand, the secret code entered is not valid, the bank card sends back a NOK failure message to the terminal.
  • Three consecutive tests are generally granted to the user to provide the correct secret code in response to the input request presented by the terminal. If the user performs three consecutive attempts to enter the secret code and fails all three times, the bank card informs the terminal that the authentication of the bearer has failed. In general, three consecutive failures cause the card to hang.
  • an EMV bank card keeps track of the number of trials that have failed consecutively, whether during the same EMV transaction or in several separate transactions. Thus, if a user enters a wrong first secret code, he will have one less chance of entering the correct secret code at the next test, whether this test takes place in the same transaction as the first failure or during a transaction. higher.
  • the card If the user enters the correct secret code, the card resets the number of trials granted to three for the next request to enter the secret code in a subsequent transaction.
  • This secret code verification mechanism protects the owner of the bank card against fraudulent use by a malicious person. A person usually has only three consecutive attempts to enter the correct secret code, whether in the same transaction or during multiple transactions.
  • the present invention relates to a control method implemented by an electronic device, said method comprising the following steps:
  • - Secret code processing comprising a verification of the secret code and management of a first counter; storing the value of the first counter in a rewritable non-volatile memory;
  • the processing step has the effect of modifying the value of the first counter to indicate that the secret code is false;
  • the processing step has the effect of keeping the value of the first counter unchanged whatever the value of the first counter.
  • control method comprises a detection of an anomaly from the value of the first counter when a predetermined condition is satisfied.
  • the predetermined condition defines a threshold value, the detection of the anomaly being performed by comparing the current value of the first counter with the threshold value.
  • control method is such that:
  • the processing step has the effect of incrementing the value of the first counter to indicate the input of an additional false code, said anomaly being detected when the current value of the first counter is greater than or equal to said threshold value;
  • the processing step has the effect of decrementing the value of the first counter to indicate the input of an additional false code, said anomaly being detected when the current value of the first counter is less than or equal to said threshold value.
  • control method comprises, on determining said anomaly, an operation for securing at least one of the electronic device and an operation with an external terminal.
  • the security operation comprises at least one of the following operations:
  • the operation with the external terminal is a bank transaction.
  • said processing comprises the management of a second counter, the control method comprising the following steps:
  • the processing has the effect of modifying the value of the second counter to indicate the input of an additional false code
  • the treatment has the effect of:
  • the value of the first counter and the value of the second counter are recorded during a single write operation in the rewritable non-volatile memory of the electronic device.
  • the value of the first counter and the value of the second counter are stored in a same memory block of the rewritable non-volatile memory of the electronic device.
  • each memory block of the rewritable non-volatile memory contains 256 bytes of memory.
  • control method is determined by computer program instructions.
  • the invention also relates to a computer program on an information medium (or recording), this program being capable of being implemented in an electronic device such as a smart card or a computer , this program comprising instructions adapted to the implementation of the steps of a control method as defined above.
  • the invention also relates to a recording medium (or information carrier) readable by a computer, and including instructions of a computer program as mentioned above.
  • the invention relates to an electronic device comprising:
  • a module for obtaining a secret code entered by a user a processing module for performing secret code processing, the processing comprising a verification of the secret code and a management of a first counter;
  • a storage module for storing the value of the first counter in a rewritable non-volatile memory of the electronic device
  • the processing has the effect of modifying the value of the first counter to indicate the entry of an additional false code
  • the treatment has the effect of keeping the value of the first counter unchanged regardless of the value of the first counter.
  • the electronic device comprises a module for detecting an anomaly from the value of the first counter when a predetermined condition is satisfied.
  • the predetermined condition defines a threshold value
  • the detection module being able to detect the anomaly from a comparison between the value of the first counter and the threshold value.
  • the electronic device is a smart card.
  • the computer programs mentioned in this presentation can use any programming language, and be in the form of source code, object code, or intermediate code between source code and object code, such as in a partially compiled form, or in any other desirable form.
  • the recording (or information) media mentioned in this disclosure may be any entity or device capable of storing the program.
  • the medium may comprise storage means, such as a ROM, for example a CD ROM or a microelectronic circuit ROM, or a magnetic recording medium, for example a floppy disk or a disk. hard.
  • the recording media may correspond to a transmissible medium such as an electrical or optical signal, which may be conveyed via an electrical or optical cable, by radio or by other means.
  • the program according to the invention can be downloaded in particular on an Internet type network.
  • the recording media may correspond to an integrated circuit in which the program is incorporated, the circuit being adapted to execute or to be used in the execution of the method in question.
  • FIG. 1 represents in the form of a flowchart an exemplary embodiment of a transaction implemented by a smart card according to the EMV protocol with an external terminal;
  • FIG. 2 schematically represents the hardware architecture of a smart card according to a particular embodiment of the invention
  • FIG. 3 schematically represents modules implemented by the smart card of FIG. 2;
  • FIG. 4 represents in the form of a flow chart a control method implemented by the smart card of FIGS. 2 and 3 according to a particular embodiment
  • FIG. 5 shows in the form of a flowchart an alternative embodiment of the control method of the invention.
  • the present invention is in the general field of electronic devices capable of cooperating with an external terminal in order to perform a transaction, in the banking field for example.
  • embodiments of the invention are described in the context of a bank card (credit card, debit card, payment card, etc.) capable of carrying out a banking transaction with an external reader.
  • the bank card and the reader cooperate together according to the EMV protocol.
  • the smart card can be any electronic device capable of communicating with the reader to perform a given transaction.
  • the smart card is in conformity with the ISO 7816 standard.
  • elements common or similar to several figures have the same reference numbers and have the same or similar characteristics, so that these common elements are generally not described again for the sake of simplicity.
  • FIG. 1 firstly describes an example of processing implemented by an EMV chip card, this processing including the verification of the secret code and the management of a counter to count the number of consecutive missed attempts. secret code entry by a user.
  • a reader requests a user to enter the secret code (or PIN) of an EMV card.
  • the user usually enters the secret code using the keys on the reader.
  • the EMV card in particular manages a counter rated PTC which determines the number of consecutive attempts to enter the PIN code by the user that failed. From the monitoring of the PTC counter, the EMV card is able to determine the sequence to be given to the entry of a PIN code by the user.
  • the smart card receives a first PIN code entered by the user.
  • the card determines (S4) then if the counter PTC is such that:
  • LMT1 is a predetermined constant set for example here at 3, this constant representing the maximum allowed number of consecutive failed attempts to enter the PIN code. If 3 attempts of the PIN code fail consecutively, the verification of the PIN code permanently fails and, in general, the card is blocked.
  • step S8 If PTC> LMT1, the EMV card proceeds to step S8. If not, the PTC variable is detected as invalid and a NOK failure message is returned (S6) to the reader by the card.
  • the EMV card determines whether the secret code entered by the user is valid by comparing it with a reference code stored for example in a secure memory of the card.
  • the EMV card (S14) resets the PTC variable to the value of the LMTl constant. In addition, the EMV card returns (S14) to the reader an OK message indicating the success of the verification of the secret code.
  • the EMV card checks (S16) if the variable PTC is equal to zero. If this is the case, the user has performed the maximum number of consecutive tests of the PIN so that the authentication of the carrier fails and the card returns (S8) a failure message to the reader and usually hangs.
  • the EMV card prompts (S20) the user to enter the secret code again by sending a TRY_AGAIN command provided for this purpose to the reader.
  • variable byte PTC; get-pin (pin) ⁇
  • PTC PIN_TRY_COUNTER_LIMIT
  • NVM means a nonvolatile memory of the smart card.
  • PI_TRY_CO U NTE R_LI M ⁇ is the LMT1 preset value set here at 3.
  • step S10 when the PIN code is detected as erroneous in step S10, the algorithm does not initiate a verification step to check whether the PTC counter is equal to zero or not but generates simply a TRY_AGAIN command inviting the user to perform a new entry of the secret code. It will be understood that various embodiments can however be envisaged.
  • Tracking the PTC counter advantageously allows the smart card to prevent a user from entering more than once consecutively a false secret code, whether during the same transaction or during more transaction (provided that the tests in question are consecutive ).
  • N is an integer defined by the constant LMT1. This authentication of the user from the PTC counter makes it possible to limit fraud attempts against chip cards, such as EMV cards.
  • This weakness detected in the protocol lies in the fact that each time a secret code is successfully entered by a user, the smart card resets the PTC counter.
  • the invention proposes in particular to overcome the problems and disadvantages identified above.
  • the invention proposes a smart card (and more generally an electronic device) capable of controlling a total number of missed attempts to enter the secret code. It is thus possible for the smart card to detect an anomaly representative of an abnormal use of the card from the total number of missed attempts to enter the secret code at a given moment. An anomaly is detected, for example, when the card determines that the total number of missed attempts at entering the secret code reaches a predetermined threshold value LIMT2. If such an anomaly is detected, the smart card can perform an appropriate treatment of the anomaly such as a security operation data (blocking of the card, sending a message of failure of the current transaction to the reader etc.). It is thus possible to detect a fraudulent use of the smart card even if the number of consecutive seizures of the secret code has not reached the maximum authorized limit (set at three, for example).
  • a security operation data blocking of the card, sending a message of failure of the current transaction to the reader etc.
  • FIG. 2 schematically represents the hardware architecture of the smart card 2 according to a particular embodiment of the invention.
  • card 2 is an EMV card that complies with the ISO 7816 standard.
  • the smart card 2 here comprises a microprocessor 4 coupled to external contacts 6 (input / output ports), a rewritable volatile memory (RAM type) 8 and a rewritable non-volatile memory 10 (Flash type by example).
  • the card 2 may also include a ROM (ROM type) not shown here.
  • the microprocessor 4 is able, via the external contacts 6, to communicate by contact with an appropriate external reader (or terminal) LT, a payment terminal for example.
  • an appropriate external reader (or terminal) LT a payment terminal for example.
  • the invention can also be applied to smart cards communicating in contactless mode.
  • the memory 10 constitutes here a recording medium (or information) according to an embodiment of the invention, readable by the smart card 2, and on which is recorded a computer program PG1 according to a mode embodiment of the invention.
  • the program PG1 includes instructions for carrying out the steps of a control method, in accordance with one embodiment of the invention. Exemplary embodiments of this method are shown in Figures 4 to 5 described later.
  • the memory 10 also contains in this example a reference code CREF representative of the authentic secret code of the card 2, the values of the counter PTC and the counter TOT_PTC, as well as the threshold values LMT1 and LMT2.
  • the value of the counter PTC is representative of the consecutive number of missed attempts to enter the secret code by the user of the card 2.
  • the value of the counter TOT_PTC is representative of the total number of input attempts by the user. secret code user.
  • the RAM 8 serves as working memory in which the microprocessor 4 can temporarily store data, such as the values of the TOT_PTC and PTC counters. This data is transferred if necessary from the RAM 8 into the rewritable non-volatile memory 10.
  • the threshold value LMT1 is representative of the maximum number of consecutive failed attempts to enter the secret code by the user whereas the threshold value LMT2 is representative of the maximum total number authorized for missed attempts to enter the secret code by the user. .
  • FIG. 3 diagrammatically represents modules that can be implemented by the microprocessor 4 executing the program PG1, namely: a module for obtaining a secret code 14, a processing module 16 for a secret code obtained by the module for obtaining 14, a storage module 18 able to store a value of the counter TOT_PTC obtained by the processing module 16, a detection module 20 able to detect an anomaly from the value of the counter TOT_PTC, and a security module 22 capable of performing a security operation of the smart card 2 when such an anomaly is detected.
  • the smart card 2 implements a control method according to a particular embodiment of the invention by executing the program PG1.
  • the smart card 2 and the LT reader cooperate together according to the EMV protocol to perform a transaction such as a payment transaction or a banking transaction for example.
  • a transaction such as a payment transaction or a banking transaction for example.
  • Other embodiments of the invention are, however, conceivable.
  • EMV card 2 is inserted into the reader LT and that the card 2 initiates a dialogue according to the EMV protocol with the reader LT.
  • the external reader LT retrieves a secret code (or PIN code) entered by the user and sends this secret code to the EMV card that receives it in step E2.
  • obtaining the PIN code is performed using the obtaining module 14 of the EMV card 2 via the external contacts 6.
  • the EMV2 card then performs a secret code processing, this processing including in particular a verification of the secret code (E10) thus recovered and a management (E4, E8 and E20) of the counter TOT_PTC.
  • this processing further comprises the management of the PTC counter (E8, E12 and E20) although the implementation of this PTC counter is strictly mandatory to achieve the invention.
  • This treatment is performed using the processing module 16 in the example considered here.
  • the EMV card increments (E4) by 1 by the value of the counter TOT_PTC.
  • the value of TOT_PTC thus incremented is recorded (E6) in the RAM 8 of the EMV card 2.
  • the different recordings of the counter TOT_PTC in the RAM 8 or in the rewritable non-volatile memory 10 are made in this example to using the memory module 18.
  • the EMV card 2 determines whether the value of the counter PTC and the value of the counter TOT_PTC are erroneous.
  • the EMV card 2 :
  • the EMV card 2 detects an anomaly and returns (E10) a NOK error message to the external reader LT.
  • step E12 the EMV card 2 proceeds to step E12 in which it decrements the value of the counter PTC by 1.
  • the card EMV 2 then records (E14) the value thus decremented by the counter PTC in the RAM memory 8 and then transfers (E16) the current value of the counter PTC and the counter TOT_PTC to the non-volatile memory rewritable 10. In this example, this transfer is performed during the same step of writing in the memory 10.
  • the EMV card 2 also determines (E18) whether the secret code entered by the user and retrieved in step E2 is correct. To do this, the EMV card 2 here compares the secret code obtained in E2 with the reference code CREF stored in the memory 10. If the EMV card 2 detects (E18) that there is correspondence between the secret code entered and the CREF reference code, it proceeds to step E20, otherwise it proceeds to step E26.
  • the EMV card resets the value of the PTC counter to the threshold value LMT1 and decrements by 1 the value of the counter TOT_PTC so as to cancel the incrementation carried out previously in E4.
  • the counter of TOT_PTC thus returns to the state immediately before the step of incrementing E4.
  • the card EMV 2 sends (E22) to the reader LT an OK message indicating the success of the verification of the secret code.
  • the EMV card 2 stores (E24) in the RAM 8 the reset value at E20 of PTC and the value decremented at E20 of TOT_PTC.
  • the EMV card 2 then performs (E124) the transfer of the values of the counters PTC and TOT_PTC from the memory RAM 8 in the memory 10. In this example, this transfer is performed during the same step of writing in the memory 10 .
  • step E26 in the case of the invalid secret code
  • the EMV card 2 determines (E26) whether the user is authorized to perform a new secret code input test, based on the value of the counter TOT_PTC and that of the PTC meter. To do this, the EMV card 2 checks here whether one of the following two conditions is satisfied:
  • the EMV card 2 authorizes (E28) a new entry of the secret code by the user. If, on the other hand, at least one of the conditions (a) and (a) above is satisfied, the EMV card 2 detects that there is an anomaly and proceeds to the step E30 during which it performs a treatment. of the anomaly thus detected. Various treatments may be considered as appropriate. The detection of the anomaly performed in E26 from the values of TOT_PTC and PTC is here carried out using the detection module 20.
  • the processing carried out in E30 here constitutes an operation for securing the EMV card 2.
  • This security operation is here carried out using the security module 22.
  • the security operation may comprise at least one of the following operations :
  • the counter TOT_PTC is decremented by 1 so that the E4-E20 processing performed by the EMV card 2 has the overall effect of keeping the value of the counter TOT_PTC unchanged regardless of the value of the counter TOT_PTC before initiating the treatment E4-E20 in question.
  • the counter TOT_PTC is not decremented so that the E4-E18 processing carried out in this case by the EMV card 2 has the overall effect of modify the value of the counter TOT_PTC, that is to say, to decrement by 1 the value of the counter TOT_PTC in the example described here.
  • the overall effect of the E4-E20 treatment on the value of the PTC counter is different.
  • the secret code entered by the user is detected as being valid in E18, the counter PTC is reset to its maximum value, namely the predetermined value LMT1.
  • the E4-E20 treatment has the overall effect of not modifying the value of PTC if its value was already at the value LMT1 immediately before initiating the treatment E4-E20 (a particular case where the user had realized with successful its previous entry of the secret code), or has the overall effect of changing the value of PTC if its value was not LMTl value immediately before initiating treatment E4-E20 (special case where at least the previous entry secret code made by the user was wrong).
  • TOT_PIN_TRY_COUNTER_LIMIT TOT_PIN_TRY_COUNTER_LIMIT
  • PTC PIN_TRY_COUNTER_LIMIT
  • NVM means a nonvolatile memory of the smart card.
  • PI _TRY_CO U NTE _LI M ⁇ is the LMT1 preset value set here to 3
  • TOT_PIN_TRY_COU TER_LIMU is the LMT2 preset value set here to 15.
  • step E18 when the PIN code is detected as erroneous in step E18, the algorithm does not check the PTC and TOT_PTC counters as described above. before in relation to step E26 but simply generates a TRY_AGAIN command inviting the user to perform a new entry of the secret code. It will be understood that various exemplary embodiments are conceivable.
  • FIGS. 2 to 4 various variants of the embodiment illustrated in FIGS. 2 to 4 can be envisaged within the scope of the invention.
  • Those skilled in the art will be able to adapt the embodiment of the invention as a function of the chosen configuration.
  • the present invention relates mainly to the use of the counter TOT_PTC. However, it is preferred to also use the PTC counter to control the consecutive number of missed secret code entry tests as explained above.
  • the present invention advantageously makes it possible to improve the protection of a legitimate user of a smart card, of the EMV type, for example, against a fraudulent use aiming notably at repeatedly testing the secret code of the card (moreover or less random depending on the case), taking care to return Regularly the card to the legitimate user so that the latter resets the PTC counter by entering the correct secret code during a transaction.
  • the joint use of the PTC counter and TOT_PTC also makes it possible to offer optimal protection against attempts to fraudulently use a smart card, EMV for example.
  • the value of the counter PTC and that of the counter TOT_PTC are recorded together during step E16 in the same memory block BC (also called memory page) of the non-volatile memory rewritable 10 of the EMV card 2.
  • a memory block BC has for example a memory size of 256 bytes or 64 bytes.
  • the value of the counter PTC and that of the counter TOT_PTC are recorded together during the step E24 in a same memory block BC.
  • the recording of the values of TOT_PTC and PTC in the same memory block of the memory 10 makes it possible to improve the security of the management of the counter TOT_PTC. Indeed, it is common to implement in an EMV chip card a security mechanism to check whether a write of a value of the PTC counter in the rewritable non-volatile memory has been correctly performed, in order to mitigate any fraud by an attacker.
  • a security mechanism comprises for example the realization of a function called "checksum" on the value of PTC written in the memory 10.

Landscapes

  • Engineering & Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Accounting & Taxation (AREA)
  • Strategic Management (AREA)
  • General Business, Economics & Management (AREA)
  • Computer Security & Cryptography (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Microelectronics & Electronic Packaging (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Finance (AREA)
  • Storage Device Security (AREA)

Abstract

L'invention concerne un procédé de contrôle mis en oeuvre par un dispositif électronique (2), ledit procédé comprenant les étapes suivantes : - obtention d'un code secret saisi par un utilisateur; - traitement du code secret, le traitement comprenant une vérification du code secret et une gestion d'un premier compteur (TOT_PTC); - mémorisation de la valeur du premier compteur (TOT_PTC) dans une mémoire non-volatile réinscriptible (10); le dispositif électronique étant tel que : - si le code saisi est détecté comme étant faux lors de ladite vérification, l'étape de traitement a pour effet de modifier la valeur du premier compteur (TOT_PTC) pour indiquer que le code secret est faux; et - si le code saisi est détecté comme étant bon lors de ladite vérification, l'étape de traitement a pour effet de garder la valeur du premier compteur (TOT_PTC) inchangée quelle que soit la valeur du premier compteur. L'invention concerne également un dispositif électronique apte à mettre en œuvre un tel procédé de contrôle.

Description

PROCEDE DE SECURISATION D'UN CODE PIN AVEC DES COMPTEURS
D'ERREURS DANS UNE CARTE A PUCE
Arrière-plan de l'invention
La présente invention se situe dans le domaine général des dispositifs électroniques aptes à coopérer avec un terminal externe afin de réaliser une transaction, dans le domaine bancaire par exemple.
L'invention concerne plus particulièrement, mais de façon non limitative, une carte à puce (ou cartes à microcircuit), conforme par exemple à la norme IS07816, et apte à réaliser une transaction en coopération avec un terminal externe ainsi qu'un procédé de contrôle d'une telle carte à puce.
L'invention vise notamment le contrôle d'une carte à puce fonctionnant selon le protocole EMV (pour « Europay Mastercard Visa ») et apte à réaliser une transaction de paiement avec un lecteur externe tel qu'un terminal de paiement.
De manière générale, une carte à puce est conçue pour communiquer avec un dispositif externe à cette carte, autrement appelé terminal ou lecteur. Ces cartes permettent d'effectuer divers types de transactions, telles que des transactions de paiement, des transactions d'identification et/ou d'authentification du porteur etc. Les cartes à puce mettant en œuvre une ou plusieurs applications bancaires (carte de crédit, carte de débit etc.) sont par exemple aptes à communiquer avec des terminaux de paiement.
EMV est le protocole standardisé utilisé majoritairement dans le monde pour sécuriser les transactions de paiement effectuées par des cartes à puce.
Le protocole EMV a été conçu pour diminuer les risques de fraudes lors d'une transaction de paiement en permettant notamment l'authentification à la fois de la carte à puce et de son porteur. L'authentification du porteur est réalisée généralement à partir d'un code secret (appelé aussi code PIN) saisi par le porteur de la carte à la demande du terminal de paiement.
Typiquement, dans le cadre du protocole EMV, le terminal externe envoie une commande VERIFY à la carte bancaire contenant le code secret saisi par l'utilisateur sur le terminal de paiement. La carte bancaire vérifie alors l'authenticité de l'utilisateur en comparant le code secret saisi par celui-ci avec un code de référence enregistré dans une mémoire sécurisée de la carte. Si l'authentification est passée avec succès, la carte bancaire renvoie au terminal un message OK indiquant que la vérification du code secret est passée avec succès. Si en revanche le code secret saisi n'est pas valide, la carte bancaire renvoie un message d'échec NOK au terminal.
Trois essais consécutifs sont généralement accordés à l'utilisateur pour fournir le bon code secret en réponse à la demande de saisie présentée par le terminal. Si l'utilisateur réalise trois essais consécutifs de saisie du code secret et échoue les trois fois, la carte bancaire informe le terminal que l'authentification du porteur a échoué. En général, trois échecs consécutifs entraînent le blocage de la carte.
Pour ce faire, une carte bancaire EMV garde en mémoire le nombre d'essais qui ont échoué consécutivement, que ce soit pendant une même transaction EMV ou lors de plusieurs transactions distinctes. Ainsi, si un utilisateur saisit un premier code secret erroné, il aura une chance de moins d'entrer le bon code secret lors du prochain essai, que cet essai ait lieu lors de la même transaction que le premier échec ou lors d'une transaction ultérieure.
Si l'utilisateur saisit le bon code secret, la carte réinitialise le nombre d'essais accordé à trois pour la prochaine demande de saisie du code secret lors d'une transaction ultérieure.
Ce mécanisme de vérification du code secret permet de protéger le propriétaire de la carte bancaire contre une utilisation frauduleuse par une personne malveillante. Une personne n'a généralement que trois essais consécutifs pour saisir le bon code secret, que ce soit lors d'une même transaction ou au cours de plusieurs transactions.
Des nouvelles formes de fraudes et de piratage sont cependant mises au point continuellement par les fraudeurs de sorte qu'il existe aujourd'hui un besoin pour renforcer les mécanismes de sécurité portant sur les cartes à puce (de type EMV par exemple) et, plus généralement, sur tous dispositifs électroniques destinés à réaliser une transaction, de type bancaire ou autres, en coopération avec un terminal externe. Il existe en particulier un besoin pour renforcer le processus d'authentification de l'utilisateur mis en oeuvre par de tels dispositifs électroniques. Objet et résumé de l'invention
A cet effet, la présente invention concerne un procédé de contrôle mis en œuvre par un dispositif électronique, ledit procédé comprenant les étapes suivantes :
- obtention d'un code secret saisi par un utilisateur ;
- traitement du code secret, le traitement comprenant une vérification du code secret et une gestion d'un premier compteur ; - mémorisation de la valeur du premier compteur dans une mémoire non-volatile réinscriptible ;
dans lequel :
- si le code saisi est détecté comme étant faux lors de ladite vérification, l'étape de traitement a pour effet de modifier la valeur du premier compteur pour indiquer que le code secret est faux ; et
- si le code saisi est détecté comme étant bon lors de ladite vérification, l'étape de traitement a pour effet de garder la valeur du premier compteur inchangée quelle que soit la valeur du premier compteur.
Selon un mode de réalisation particulier, le procédé de contrôle comprend une détection d'une anomalie à partir de la valeur du premier compteur lorsqu'une condition prédéterminée est satisfaite.
Selon un mode de réalisation particulier, la condition prédéterminée définit une valeur seuil, la détection de l'anomalie étant réalisée en comparant la valeur courante du premier compteur avec la valeur seuil.
Selon un mode de réalisation particulier, le procédé de contrôle est tel que :
- à chaque fois que le code saisi est détecté comme étant faux lors de ladite vérification, l'étape de traitement a pour effet d'incrémenter la valeur du premier compteur pour indiquer la saisie d'un code faux supplémentaire, ladite anomalie étant détectée lorsque la valeur courante du premier compteur est supérieure ou égale à ladite valeur seuil ; ou
- à chaque fois que le code saisi est détecté comme étant faux lors de ladite vérification, l'étape de traitement a pour effet de décrémenter la valeur du premier compteur pour indiquer la saisie d'un code faux supplémentaire, ladite anomalie étant détectée lorsque la valeur courante du premier compteur est inférieure ou égale à ladite valeur seuil.
Selon un mode de réalisation particulier, le procédé de contrôle comprend, sur détermination de ladite anomalie, une opération de sécurisation d'au moins l'un parmi le dispositif électronique et une opération avec un terminal externe.
Selon un mode de réalisation particulier, l'opération de sécurisation comprend au moins l'une parmi les opérations suivantes :
- reconfiguration du dispositif électronique de manière à restreindre ses capacités de fonctionnement ;
- mise en échec d'une opération avec le terminal externe ; et
- envoi au terminal externe d'une donnée de sécurité représentative de ladite anomalie. Selon un mode de réalisation particulier, l'opération avec le terminal externe est une transaction bancaire.
Selon un mode de réalisation particulier, ledit traitement comprend la gestion d'un deuxième compteur, le procédé de contrôle comprenant les étapes suivantes :
- si le code saisi est détecté comme étant faux, le traitement a pour effet de modifier la valeur du deuxième compteur pour indiquer la saisie d'un code faux supplémentaire ;
- si le code saisi est détecté comme étant bon, le traitement a pour effet de :
o modifier la valeur du deuxième compteur de façon à la réinitialiser à une valeur constante prédéterminée lorsque la valeur du deuxième compteur est différente de ladite valeur constante prédéterminée, et o garder la valeur du deuxième compteur inchangée lorsque la valeur du deuxième compteur est égale à ladite valeur constante prédéterminée" Selon un mode de réalisation particulier, la valeur du premier compteur et la valeur du deuxième compteur sont enregistrées lors d'une même opération d'écriture dans la mémoire non volatile réinscriptible du dispositif électronique.
Selon un mode de réalisation particulier, la valeur du premier compteur et la valeur du deuxième compteur sont enregistrées dans un même bloc mémoire de la mémoire non volatile réinscriptible du dispositif électronique.
Selon un mode de réalisation particulier, dans lequel chaque bloc mémoire de la mémoire non volatile réinscriptible contient 256 octets de mémoire.
Dans un mode particulier de réalisation, les différentes étapes du procédé de contrôle sont déterminées par des instructions de programmes d'ordinateurs.
En conséquence, l'invention vise aussi un programme d'ordinateur sur un support d'informations (ou d'enregistrement), ce programme étant susceptible d'être mis en œuvre dans un dispositif électronique tel qu'une carte à puce ou un ordinateur, ce programme comportant des instructions adaptées à la mise en œuvre des étapes d'un procédé de contrôle tel que défini ci-dessus.
L'invention vise aussi un support d'enregistrement (ou support d'informations) lisible par un ordinateur, et comportant des instructions d'un programme d'ordinateur tel que mentionné ci-dessus.
Corrélativement, l'invention concerne un dispositif électronique comprenant :
- un module d'obtention d'un code secret saisi par un utilisateur ; - un module de traitement pour réaliser un traitement du code secret, le traitement comprenant une vérification du code secret et une gestion d'un premier compteur ;
- un module de mémorisation pour mémoriser la valeur du premier compteur dans un mémoire non volatile réinscriptible du dispositif électronique ;
dans lequel :
- si le code saisi est détecté comme étant faux par le module de vérification, le traitement a pour effet de modifier la valeur du premier compteur pour indiquer la saisie d'un code faux supplémentaire ; et
- si le code saisi est détecté comme étant bon par le module de vérification, le traitement a pour effet de garder la valeur du premier compteur inchangée quelle que soit la valeur du premier compteur.
Selon un mode de réalisation particulier, le dispositif électronique comprend un module de détection d'une anomalie à partir de la valeur du premier compteur lorsqu'une condition prédéterminée est satisfaite.
Selon un mode de réalisation particulier, la condition prédéterminée définit une valeur seuil, le module de détection étant apte à détecter l'anomalie à partir d'une comparaison entre la valeur du premier compteur et la valeur seuil.
Selon un mode de réalisation particulier, le dispositif électronique est une carte à puce.
A noter que les programme d'ordinateur mentionnés dans le présent exposé peuvent utiliser n'importe quel langage de programmation, et être sous la forme de code source, code objet, ou de code intermédiaire entre code source et code objet, tel que dans une forme partiellement compilée, ou dans n'importe quelle autre forme souhaitable.
De plus, les supports d'enregistrement (ou d'information) mentionnés dans le présent exposé peuvent être n'importe quelle entité ou dispositif capable de stocker le programme. Par exemple, le support peut comporter un moyen de stockage, tel qu'une ROM, par exemple un CD ROM ou une ROM de circuit microélectronique, ou encore un moyen d'enregistrement magnétique, par exemple une disquette (floppy dise) ou un disque dur.
D'autre part, les supports d'enregistrement peuvent correspondre à un support transmissible tel qu'un signal électrique ou optique, qui peut être acheminé via un câble électrique ou optique, par radio ou par d'autres moyens. Le programme selon l'invention peut être en particulier téléchargé sur un réseau de type Internet. Alternativement, les supports d'enregistrement peuvent correspondre à un circuit intégré dans lequel le programme est incorporé, le circuit étant adapté pour exécuter ou pour être utilisé dans l'exécution du procédé en question. Brève description des dessins
D'autres caractéristiques et avantages de la présente invention ressortiront de la description faite ci-dessous, en référence aux dessins annexés qui en illustrent des exemples de réalisation dépourvus de tout caractère limitatif. Sur les figures:
- la figure 1 représente sous forme d'un organigramme un exemple de réalisation d'une transaction mis en œuvre par une carte à puce selon le protocole EMV avec un terminal externe ;
- la figure 2 représente, de manière schématique, l'architecture matérielle d'une carte à puce conforme à un mode de réalisation particulier de l'invention ;
- la figure 3 représente schématiquement des modules mis en œuvre par la carte à puce de la figure 2 ;
- la figure 4 représente sous forme d'un organigramme un procédé de contrôle mis en œuvre par la carte à puce des figures 2 et 3 conformément à un mode de réalisation particulier ; et
- la figure 5 représente sous forme d'un organigramme une variante de réalisation du procédé de contrôle de l'invention.
Description détaillée de plusieurs modes de réalisation
Comme indiqué ci-avant, la présente invention se situe dans le domaine général des dispositifs électroniques aptes à coopérer avec un terminal externe afin de réaliser une transaction, dans le domaine bancaire par exemple.
Dans ce document, des modes de réalisation de l'invention sont décrits dans le cadre d'une carte bancaire (carte de crédit, carte de débit, carte de paiement etc.) apte à réaliser une transaction bancaire avec un lecteur externe. Dans cet exemple, la carte bancaire et le lecteur coopèrent ensemble selon le protocole EMV.
On comprendra toutefois qu'il ne s'agit que d'exemples non limitatifs et que l'invention peut s'appliquer notamment à d'autres protocoles et à d'autres types de transactions. Plus généralement, la carte à puce peut être un quelconque dispositif électronique apte à communiquer avec le lecteur pour réaliser une transaction donnée.
Par ailleurs, dans les exemples considérés ici, la carte à puce est conforme à la norme ISO 7816. Sauf indications contraires, les éléments communs ou analogues à plusieurs figures portent les mêmes numéros de références et présentent des caractéristiques identiques ou analogues, de sorte que ces éléments communs ne sont généralement pas à nouveau décrits par souci de simplicité.
On décrit tout d'abord en référence à la figure 1 un exemple de traitement mise en œuvre par une carte à puce EMV, ce traitement comprenant la vérification du code secret et la gestion d'un compteur pour compter le nombre d'essais consécutifs manqués de saisie du code secret par un utilisateur.
Lors d'une transaction EMV, on suppose qu'un lecteur demande à un utilisateur de saisir le code secret (ou code PIN) d'une carte EMV. L'utilisateur saisit généralement le code secret à l'aide des touches présentes sur le lecteur.
La carte EMV assure en particulier la gestion d'un compteur noté PTC qui détermine le nombre d'essais consécutifs de saisie du code PIN par l'utilisateur qui ont échoué. A partir du suivi du compteur PTC, la carte EMV est apte à déterminer la suite à donner à la saisie d'un code PIN par l'utilisateur.
Plus précisément, au cours d'une étape S2, la carte à puce reçoit un premier code PIN saisi par l'utilisateur. La carte détermine (S4) alors si le compteur PTC est tel que :
PTC > LMTl
où LMTl est une constante prédéterminée fixée par exemple ici à 3, cette constante représentant le nombre maximal autorisé d'essais consécutifs manqués de saisie du code PIN. Si 3 essais du code PIN échouent consécutivement, la vérification du code PIN échoue définitivement et, en général, la carte se bloque.
Si PTC > LMTl, la carte EMV procède à l'étape S8. Dans le cas contraire, la variable PTC est détectée comme étant invalide et un message d'échec NOK est renvoyé (S6) au lecteur par la carte.
En S8, la carte EMV décrémente la variable PTC de 1 puis procède à l'étape S10.
En S10, la carte EMV détermine si le code secret saisi par l'utilisateur est valide en comparant celui-ci avec un code de référence stocké par exemple dans une mémoire sécurisée de la carte.
Si le code secret est valide, la carte EMV (S14) réinitialise la variable PTC à la valeur de la constante LMTl. En outre, la carte EMV renvoie (S14) au lecteur un message OK indiquant le succès de la vérification du code secret.
Si, en revanche, le code secret est détecté comme étant invalide en S10, la carte EMV vérifie (S16) si la variable PTC est égale à zéro. Si tel est le cas, l'utilisateur a effectué le nombre maximum d'essais consécutifs du PIN de sorte que l'authentification du porteur échoue et la carte renvoie (S8) un message d'échec au lecteur et, généralement, se bloque.
Si revanche la variable PTC n'est pas égale à zéro, cela signifie que l'utilisateur a encore au moins une chance pour saisir le bon code secret. Dans ce cas, la carte EMV invite (S20) l'utilisateur à saisir à nouveau le code secret en envoyant une commande TRY_AGAIN prévue à cet effet au lecteur.
Un exemple d'algorithme correspondant aux étapes S2 à S14 est proposé ci-dessous :
/* held in NVM; set during personalization
to 3 for example*/
byte constant: PIN_TRY_COUNTER_LIMIT;
/* Held in NVM; set during personalization
to the value of PIN_TRY_COUNTER_LIMI */
byte variable: PTC; get-pin(pin) {
if (PTC > PIN_TRY_COUNTER_LIMIT)
return NOK;
—PTC;
if (ok(pin)) {
PTC = PIN_TRY_COUNTER_LIMIT;
return OK;
}
else {
return TRY_AGAIN;
}
}
Dans l'exemple d'algorithme ci-dessus, on entend par NVM une mémoire non volatile (Non volatile Memory) de la carte à puce. De plus, PI _TRY_CO U NTE R_LI M ΓΓ est la valeur prédéfinie LMT1 fixée ici à 3.
Par ailleurs, on notera dans l'exemple d'algorithme ci-dessus, que lorsque le code PIN est détecté comme étant erroné à l'étape S10, l'algorithme ne lance pas une étape de vérification pour vérifier si le compteur PTC est égal à zéro ou non mais génère simplement une commande TRY_AGAIN invitant l'utilisateur à réaliser une nouvelle saisie du code secret. On comprendra que divers exemples de réalisation sont toutefois envisageables.
Le suivi du compteur PTC permet avantageusement à la carte à puce d'empêcher un utilisateur de saisir plus N fois consécutivement un code secret faux, que ce soit pendant une même transaction ou au cours de plus transaction (pourvu que les essais en question soient consécutifs). N est un nombre entier défini par la constante LMT1. Cette authentification de l'utilisateur à partir du compteur PTC permet de limiter les tentatives de fraudes à encontre des cartes à puce, de type EMV par exemple.
La déposante a cependant constaté qu'une faille subsiste lorsque ce mécanisme de sécurité est mis en œuvre dans un dispositif électronique tel qu'une carte bancaire EMV par exemple.
Plus précisément, la déposante a observé qu'il est possible pour une personne malveillante de subtiliser une carte bancaire EMV et de faire deux tentatives de saisie du code secret (dans le cas où LMT1 = 3 par exemple). En cas d'échec, la personne malveillante peut ensuite rendre la carte EMV à son utilisateur légitime sans que ce dernier en ait connaissance. Dès lors que le propriétaire légitime entre le bon code secret lors d'une transaction ultérieure, le compteur PCT se réinitialise à la valeur maximum définie par LMT1, c'est-à-dire la valeur 3 dans cet exemple. La personne malveillante a alors la possibilité de tenter à nouveau deux saisis du code secret à l'insu de l'utilisateur légitime de la carte. En répétant autant de fois que nécessaire ce subterfuge dans le temps, il est possible pour une personne malveillante de déterminer le bon code secret de la carte.
Cette faiblesse détectée dans le protocole réside dans le fait qu'à chaque fois qu'un code secret est saisi avec succès par un utilisateur, la carte à puce réinitialise le compteur PTC.
L'invention propose notamment de palier les problèmes et inconvénients identifiés ci- avant.
Pour ce faire, l'invention propose une carte à puce (et plus généralement un dispositif électronique) capable de contrôler un nombre total d'essais manqués de saisie du code secret. Il est ainsi possible pour la carte à puce de détecter une anomalie représentative d'une utilisation anormale de la carte à partir du nombre total d'essais manqués de saisie du code secret à un instant donné. Une anomalie est par exemple détectée lorsque la carte détermine que le nombre total d'essais manqués de saisie du code secret atteint une valeur seuil LIMT2 prédéterminée. Si une telle anomalie est détectée, la carte à puce peut réaliser un traitement approprié de l'anomalie tel qu'une opération de sécurisation donnée (blocage de la carte, envoi d'un message de mise en échec de la transaction en cours au lecteur etc.). Il est ainsi possible de détecter une utilisation frauduleuse de la carte à puce même si le nombre de saisies consécutives du code secret n'a pas atteint la limite maximale autorisée (fixée à trois, par exemple).
La figure 2 représente, de manière schématique, l'architecture matérielle de la carte à puce 2 conforme à un mode de réalisation particulier de l'invention. La carte 2 est dans cet exemple une carte EMV conforme à la norme ISO 7816.
Plus particulièrement, la carte à puce 2 comprend ici un microprocesseur 4 couplé à des contacts externes 6 (ports d'entrées/sorties), une mémoire volatile réinscriptible (de type RAM) 8 et une mémoire non volatile réinscriptible 10 (de type Flash par exemple). La carte 2 peut également comprendre une mémoire morte (de type ROM) non représentée ici.
Le microprocesseur 4 est apte, via les contacts externes 6, à communiquer par contact avec un lecteur (ou terminal) externe LT approprié, un terminal de paiement par exemple. On comprendra toutefois que l'invention peut s'appliquer également aux cartes à puce communiquant en mode sans contact.
Dans cet exemple, on considère que la mémoire 10 est sécurisée, en faisant appel à un mécanisme de sécurité classique bien connu de l'homme du métier et qui ne sera donc pas décrit ici.
La mémoire 10 constitue ici un support d'enregistrement (ou d'information) conforme à un mode de réalisation de l'invention, lisible par la carte à puce 2, et sur lequel est enregistré un programme d'ordinateur PG1 conforme à un mode de réalisation de l'invention. Le programme PG1 comporte des instructions pour l'exécution des étapes d'un procédé de contrôle, conformément à un mode de réalisation de l'invention. Des exemples de réalisation de ce procédé sont représentés sur les figures 4 à 5 décrites ultérieurement.
La mémoire 10 contient par ailleurs dans cet exemple un code de référence CREF représentatif du code secret authentique de la carte 2, les valeurs du compteur PTC et du compteur TOT_PTC, ainsi que les valeurs seuils LMT1 et LMT2.
Comme déjà expliqué, la valeur du compteur PTC est représentative du nombre consécutifs d'essais manqués de saisie du code secret par l'utilisateur de la carte 2. La valeur du compteur TOT_PTC est représentative du nombre total d'essais de saisie par l'utilisateur du code secret.
Comme expliqué par la suite, la mémoire RAM 8 sert de mémoire de travail dans laquelle le microprocesseur 4 peut enregistrer de façon provisoire des données, telles que les valeurs des compteurs TOT_PTC et PTC. Ces données sont transférées si nécessaire de la RAM 8 dans la mémoire non volatile réinscriptible 10.
La valeur seuil LMT1 est représentative du nombre maximum autorisé d'essais consécutifs manqués de saisie du code secret par l'utilisateur tandis que la valeur seuil LMT2 est représentative du nombre total maximum autorisé d'essais manqués de saisie du code secret par l'utilisateur.
On suppose par exemple ici que LMT1 = 3 et que LMT2 = 15, ces valeurs pouvant bien entendu être adaptées selon les besoins.
La figure 3 représente schématiquement des modules pouvant être mis en œuvre par le microprocesseur 4 exécutant le programme PG1, à savoir : un module d'obtention d'un code secret 14, un module de traitement 16 d'un code secret obtenu par le module d'obtention 14, un module de mémorisation 18 apte à mémoriser une valeur du compteur TOT_PTC obtenue par le module de traitement 16, un module de détection 20 apte à détecter une anomalie à partir de la valeur du compteur TOT_PTC, et un module de sécurisation 22 apte à réaliser une opération de sécurisation de la carte à puce 2 lorsqu'une telle anomalie est détectée.
Un mode de réalisation particulier de l'invention est à présent décrit en référence à la figure 4. Plus précisément, la carte à puce 2 met en œuvre un procédé de contrôle conforme à un mode particulier de l'invention en exécutant le programme PG1.
On suppose ici que la carte à puce 2 et le lecteur LT coopèrent ensemble selon le protocole EMV pour réaliser une transaction telle qu'une transaction de paiement ou une transaction bancaire par exemple. D'autres exemples de réalisation de l'invention sont toutefois envisageables.
On suppose ici que la carte EMV 2 est insérée dans le lecteur LT et que la carte 2 entame un dialogue selon le protocole EMV avec le lecteur LT.
Lors d'une phase d'authentification de l'utilisateur, le lecteur externe LT récupère un code secret (ou code PIN) saisi par l'utilisateur et envoie ce code secret à la carte EMV qui le reçoit à l'étape E2. Dans cet exemple, l'obtention du code PIN est réalisée à l'aide du module d'obtention 14 de la carte EMV 2 via les contacts externes 6.
La carte EMV2 réalise ensuite un traitement du code secret, ce traitement comprenant en particulier une vérification du code secret (E10) ainsi récupéré et une gestion (E4, E8 et E20) du compteur TOT_PTC. Dans cet exemple, ce traitement comprend en outre la gestion du compteur PTC (E8, E12 et E20) bien que la mise en œuvre de ce compteur PTC ne soit strictement obligatoire pour réaliser l'invention. Ce traitement est réalisé à l'aide du module de traitement 16 dans l'exemple ici considéré.
La carte EMV incrémente (E4) ensuite de 1 la valeur du compteur TOT_PTC. Dans cet exemple, la valeur de TOT_PTC ainsi incrémentée est enregistrée (E6) dans la mémoire RAM 8 de la carte EMV 2. Les différents enregistrements du compteur TOT_PTC dans la RAM 8 ou dans la mémoire non volatile réinscriptible 10 sont réalisés dans cet exemple à l'aide du module de mémorisation 18.
Au cours d'une étape E8, la carte EMV 2 détermine si la valeur du compteur PTC et la valeur du compteur TOT_PTC sont erronées. Dans cet exemple, la carte EMV 2 :
(1) vérifie si la valeur du compteur PTC est strictement supérieure à la valeur seuil LMTl, et
(2) vérifie si la valeur du compteur TOT_PTC est strictement supérieure à la valeur seuil LMT2.
Si l'une de ces deux vérifications est positives (i.e. si PTC > LMTl ou si TOT_PTC > LMT2), la carte EMV 2 détecte une anomalie et renvoie (E10) un message d'erreur NOK au lecteur externe LT.
Si au contraire les deux vérifications ci-dessus (1) et (2) sont négatives, la carte EMV 2 procède à l'étape E12 au cours de laquelle elle décrémente de 1 la valeur du compteur PTC.
La carte EMV 2 enregistre (E14) ensuite la valeur ainsi décrémentée du compteur PTC dans la mémoire RAM 8 puis transfert (E16) la valeur courante du compteur PTC et du compteur TOT_PTC dans la mémoire non volatile réinscriptible 10. Dans cet exemple, ce transfert est réalisé au cours d'une même étape d'écriture dans la mémoire 10.
La carte EMV 2 détermine (E18) par ailleurs si le code secret saisi par l'utilisateur et récupéré à l'étape E2 est correct. Pour ce faire, la carte EMV 2 compare ici le code secret obtenu en E2 avec le code de référence CREF stocké dans la mémoire 10. Si la carte EMV 2 détecte (E18) qu'il y a correspondance entre le code secret saisi et le code de référence CREF, elle procède à l'étape E20, sinon elle procède à l'étape E26.
Au cours de l'étape E20, la carte EMV réinitialise la valeur du compteur PTC à la valeur seuil LMTl et décrémente de 1 la valeur du compteur TOT_PTC de sorte à annuler l'incrémentation réalisée précédemment en E4. Le compteur de TOT_PTC revient ainsi à l'état immédiatement avant l'étape d'incrémentation E4.
La carte EMV 2 renvoie (E22) au lecteur LT un message OK indiquant le succès de la vérification du code secret.
En outre, la carte EMV 2 enregistre (E24) dans la RAM 8 la valeur réinitialisée en E20 de PTC et la valeur décrémentée en E20 de TOT_PTC. La carte EMV 2 réalise (E124) ensuite le transfert des valeurs des compteurs PTC et TOT_PTC depuis la mémoire RAM 8 dans la mémoire 10. Dans cet exemple, ce transfert est réalisé au cours d'une même étape d'écriture dans la mémoire 10. A l'étape E26 (cas du code secret invalide), la carte EMV 2 détermine (E26) si l'utilisateur est autorisé a réaliser un nouvel essai de saisie du code secret, à partir de la valeur du compteur TOT_PTC et de celle du compteur PTC. Pour ce faire, la carte EMV 2 vérifie ici si l'une des deux conditions suivantes est satisfaite :
(a) TOT_PTC = LMT2
(b) PTC = 0
Si aucune des deux conditions (a) et (b) ci-dessus n'est satisfaite, la carte EMV 2 autorise (E28) une nouvelle saisie du code secret par l'utilisateur. Si en revanche au moins l'une des conditions (a) et (a) ci-dessus est satisfaite, la carte EMV 2 détecte qu'il y a une anomalie et procède à l'étape E30 au cours de laquelle elle réalise un traitement de l'anomalie ainsi détectée. Divers traitements peuvent être envisagés selon le cas. La détection de l'anomalie effectuée en E26 à partir des valeurs de TOT_PTC et PTC est ici réalisée à l'aide du module de détection 20.
Le traitement réalisé en E30 constitue ici une opération de sécurisation de la carte EMV 2. Cette opération de sécurisation est ici réalisée à l'aide du module de sécurisation 22. L'opération de sécurisation peut comprendre au moins l'une parmi les opérations suivantes :
- la reconfiguration de la carte EMV 2 de manière à restreindre ses capacités de fonctionnement (afin par exemple de bloquer la carte EMV) ;
- la mise en échec de la transaction en cours avec le lecteur externe ; et
- l'envoi au lecteur externe d'une donnée de sécurité représentative de ladite anomalie (un message indiquant par exemple que TOT_PTC = LMT2 et/ou que PTC = 0 selon le cas).
On notera que si le code secret saisi par l'utilisateur est détecté comme étant valide en E18, le compteur TOT_PTC est décrémenté de 1 de sorte que le traitement E4-E20 réalisé par la carte EMV 2 a pour effet global de garder la valeur du compteur TOT_PTC inchangée et ce, quel que soit la valeur du compteur TOT_PTC avant d'initier le traitement E4-E20 en question.
En revanche, si le code secret saisi par l'utilisateur est détecté comme étant erroné en E18, le compteur TOT_PTC n'est pas décrémenté de sorte que le traitement E4-E18 réalisé dans ce cas par la carte EMV 2 a pour effet global de modifier la valeur du compteur TOT_PTC, c'est-à-dire décrémenter de 1 la valeur du compteur TOT_PTC dans l'exemple décrit ici.
L'effet global du traitement E4-E20 sur la valeur du compteur PTC est différent. Ainsi, si le code secret saisi par l'utilisateur est détecté comme étant valide en E18, le compteur PTC est réinitialisé à sa valeur maximale, à savoir la valeur prédéterminée LMTl. Dans ce cas, le traitement E4-E20 a pour effet global de ne pas modifier la valeur de PTC si sa valeur était déjà à la valeur LMTl immédiatement avant d'initier le traitement E4-E20 (cas particulier où l'utilisateur avait réalisé avec succès sa précédente saisie du code secret), ou a pour effet global de modifier la valeur de PTC si sa valeur n'était pas à la valeur LMTl immédiatement avant d'initier le traitement E4-E20 (cas particulier où au moins la précédente saisie du code secret réalisée par l'utilisateur était erronée).
Un exemple d'algorithme correspondant aux étapes E2 à E22 est proposé ci-dessous :
/* held in NVM; set during personalization
to 3 for example*/
byte constant: PIN_TRY_COUNTER_LIMI ;
/* held in NVM; set during personalization
to 15 for example */
byte or two-byte constant: TOT_PIN_TRY_COUNTER_LIMIT;
/* Held in NVM; set during personalization
to the value of PIN_TRY_COUNTER_LIMIT */
byte or two-byte variable: PTC;
/* Held in NVM; set to 0 during personalizaton */
byte variable TOT_PTC; get-pin(pin) {
++TOT_PTC;
if (PTC > PIN_TRY_COUNTER_LIMIT) or (TOT_PTC >
TOT_PIN_TRY_COUNTER_LIMIT )
return NOK;
—PTC;
/* commit incrémented/decremented values to EEPROM/Flash before executing ok(pin) */ if (ok(pin)) {
PTC = PIN_TRY_COUNTER_LIMIT;
—TOT_PTC;
/* commit reinitialized/decremented values to EEPROM after executing ok(pin) */
return OK;
}
else {
return TRY_AGAIN;
}
}
Dans l'exemple d'algorithme ci-dessus, on entend par NVM une mémoire non volatile (Non volatile Memory) de la carte à puce. De plus, PI _TRY_CO U NTE _LI M ΓΓ est la valeur prédéfinie LMT1 fixée ici à 3, et TOT_PIN_TRY_COU TER_LIMU est la valeur prédéfinie LMT2 fixée ici à 15.
Par ailleurs, on notera dans l'exemple d'algorithme ci-dessus, que lorsque le code PIN est détecté comme étant erroné à l'étape E18, l'algorithme ne procède pas à la vérification des compteurs PTC et TOT_PTC comme décrit ci-avant en relation à l'étape E26 mais génère simplement une commande TRY_AGAIN invitant l'utilisateur à réaliser une nouvelle saisie du code secret. On comprendra que divers exemples de réalisation sont envisageables.
Comme indiqué ci-dessus, divers variantes du mode de réalisation illustré en figures 2 à 4 sont envisageables dans le cadre de l'invention. En particulier, il est possible de décider de modifier la valeur du compteur PTC (en E4) et celle du compteur TOT_PTC (en E12) par incrémentation ou par décrémentation selon le cas. L'homme du métier saura adapter le mode de réalisation de l'invention en fonction de la configuration choisie.
On comprendra également que la présente invention porte principalement sur l'utilisation du compteur TOT_PTC. Il est toutefois préféré d'utiliser également le compteur PTC pour contrôler le nombre consécutifs d'essais manqués de saisie du code secret comme expliqué précédemment.
La présente invention permet avantageusement d'améliorer la protection d'un utilisateur légitime d'une carte à puce, de type EMV par exemple, contre une utilisation frauduleuse visant notamment à tester à de multiples reprises le code secret de la carte (de façon plus ou moins aléatoire selon le cas), en prenant le soin de retourner régulièrement la carte à l'utilisateur légitime afin que ce dernier réinitialise le compteur PTC en saisissant le bon code secret lors d'une transaction.
La mise en œuvre seule du compteur PTC ne permet pas de protéger un utilisateur contre ce type de comportement frauduleux.
L'utilisation conjointe du compteur PTC et TOT_PTC permet en outre d'offrir une protection optimale contre des tentatives d'utilisation frauduleuse d'une carte à puce, de type EMV par exemple.
La manière dont la valeur du compteur TOT_PTC, et le cas échéant celle du compteur PTC, sont enregistrées en mémoire dans la carte EMV 2 pourra être adaptée par l'homme du métier selon les besoins.
Selon une variante illustrée en figure 5 du mode de réalisation décrit ci-avant, la valeur du compteur PTC et celle du compteur TOT_PTC sont enregistrées ensemble au cours de l'étape E16 dans un même bloc mémoire BC (appelé aussi page mémoire) de la mémoire non volatile réinscriptible 10 de la carte EMV 2. Un tel bloc mémoire BC a par exemple une taille mémoire de 256 octets ou de 64 octets.
De même, la valeur du compteur PTC et celle du compteur TOT_PTC sont enregistrées ensemble au cours de l'étape E24 dans un même bloc mémoire BC.
L'enregistrement des valeurs de TOT_PTC et de PTC dans un même bloc mémoire de la mémoire 10 permet d'améliorer la sécurité de la gestion du compteur TOT_PTC. En effet, il est fréquent de mettre en œuvre dans une carte à puce EMV un mécanisme de sécurité pour vérifier si une écriture d'une valeur du compteur PTC dans la mémoire non volatile réinscriptible a été correctement réalisée, ceci afin de palier d'éventuels fraudes intentées par une personne malveillante. Un tel mécanisme de sécurité comprend par exemple la réalisation d'une fonction dite de « checksum » sur la valeur de PTC écrite dans la mémoire 10.
Enregistrer les valeurs des compteurs TOT_PTC et PTC dans un même bloc mémoire de la mémoire non volatile réinscriptible 10 permet de faire bénéficier l'écriture de TOT_PTC dans la mémoire 10 du mécanisme de sécurité visant à vérifier la bonne écriture de PTC dans la mémoire 10. Si la valeur du compteur TOT_PTC n'est pas écrite correctement dans la mémoire 10, le mécanisme de vérification portant sur l'écriture du compteur PTC pourra avantageusement le détecter.
Dans un exemple particulier, on vérifie que l'écriture de TOT_PTC et PTC dans la mémoire 10 a été correctement effectuée en réalisant une fonction checksum uniquement sur PTC. Selon une variante, la fonction checksum est réalisée à la fois sur TOT_PTC et sur PTC tels qu'enregistrés dans la mémoire 10. Un homme du métier comprendra que les modes de réalisation et variantes décrits ci- avant ne constituent que des exemples non limitatifs de mise en œuvre de l'invention. En particulier, l'homme du métier pourra envisager une quelconque combinaison des variantes et modes de réalisation décrits ci-avant afin de répondre à un besoin bien particulier.

Claims

REVENDICATIONS
1. Procédé de contrôle mis en œuvre par un dispositif électronique (2), ledit procédé comprenant les étapes suivantes :
- obtention (E2) d'un code secret saisi par un utilisateur ;
- traitement du code secret, le traitement comprenant une vérification (E18) du code secret et une gestion (E4, E8, E20) d'un premier compteur (TOT_PTC) ;
- mémorisation (E16) de la valeur du premier compteur dans une mémoire non- volatile réinscriptible (10) ;
caractérisé en ce que :
- si le code saisi est détecté comme étant faux lors de ladite vérification (E18), l'étape de traitement a pour effet de modifier la valeur du premier compteur (TOT_PTC) pour indiquer que le code secret est faux ; et
- si le code saisi est détecté comme étant bon lors de ladite vérification (E18), l'étape de traitement a pour effet de garder la valeur du premier compteur (TOT_PTC) inchangée quelle que soit la valeur du premier compteur.
2. Procédé selon la revendication 1, comprenant une détection (E30) d'une anomalie à partir de la valeur du premier compteur (TOT_PTC) lorsqu'une condition prédéterminée est satisfaite.
3. Procédé selon la revendication 2, dans lequel la condition prédéterminée définit une valeur seuil (LMT2), la détection de l'anomalie étant réalisée en comparant la valeur courante du premier compteur avec la valeur seuil.
4. Procédé selon la revendication 3, dans lequel :
- à chaque fois que le code saisi est détecté comme étant faux lors de ladite vérification (E18), l'étape de traitement a pour effet d'incrémenter la valeur du premier compteur (TOT_PTC) pour indiquer la saisie d'un code faux supplémentaire, ladite anomalie étant détectée lorsque la valeur courante du premier compteur est supérieure ou égale à ladite valeur seuil ; ou
- à chaque fois que le code saisi est détecté comme étant faux lors de ladite vérification (E18), l'étape de traitement a pour effet de décrémenter la valeur du premier compteur (TOT_PTC) pour indiquer la saisie d'un code faux supplémentaire, ladite anomalie étant détectée lorsque la valeur courante du premier compteur est inférieure ou égale à ladite valeur seuil.
5. Procédé selon l'une quelconque des revendications 2 à 4, comprenant,
sur détermination de ladite anomalie, une opération de sécurisation (E30) d'au moins l'un parmi le dispositif électronique et une opération avec un terminal externe (LT).
6. Procédé selon la revendication 5, l'opération de sécurisation (E30) comprenant au moins l'une parmi les opérations suivantes :
- reconfiguration du dispositif électronique (2) de manière à restreindre ses capacités de fonctionnement ;
- mise en échec d'une opération avec le terminal externe (LT) ; et
- envoi au terminal externe (LT) d'une donnée de sécurité représentative de ladite anomalie.
7. Procédé selon la revendication 5 ou 6, dans lequel l'opération avec le terminai externe (LT) est une transaction bancaire.
8. Procédé selon l'une quelconque des revendications 1 à 7, dans lequel ledit traitement comprend la gestion d'un deuxième compteur (PTC), comprenant les étapes suivantes :
- si le code saisi est détecté (E18) comme étant faux, le traitement a pour effet de modifier la valeur du deuxième compteur (PTC) pour indiquer la saisie d'un code faux supplémentaire ;
- si le code saisi est détecté (E18) comme étant bon, le traitement a pour effet de :
o modifier la valeur du deuxième compteur (PTC) de façon à la réinitialiser à une valeur constante prédéterminée lorsque la valeur du deuxième compteur est différente de ladite valeur constante prédéterminée, et o garder la valeur du deuxième compteur (PTC) inchangée lorsque la valeur du deuxième compteur est égale à ladite valeur constante prédéterminée
9. Procédé selon la revendication 8, dans lequel, la valeur du premier compteur et la valeur du deuxième compteur sont enregistrées lors d'une même opération d'écriture dans la mémoire non volatile réinscriptible (10) du dispositif électronique.
10. Procédé selon la revendication 8, dans lequel, la valeur du premier compteur et la valeur du deuxième compteur sont enregistrées dans un même bloc mémoire (BC) de la mémoire non volatile réinscriptible (10) du dispositif électronique.
11. Procédé selon la revendication 10, dans lequel chaque bloc mémoire (BC) de la mémoire non volatile réinscriptible (10) contient 256 octets de mémoire.
12. Programme d'ordinateur (PG1) comportant des instructions pour l'exécution des étapes d'un procédé de contrôle selon l'une quelconque des revendications 1 à 11 lorsque ledit programme est exécuté par un processeur.
13. Support d'enregistrement (10) lisible par un processeur sur lequel est enregistré un programme d'ordinateur (PG1) comprenant des instructions pour l'exécution des étapes d'un procédé de contrôle selon l'une quelconque des revendications 1 à 11.
14. Dispositif électronique (2) comprenant :
- un module d'obtention (14) d'un code secret saisi par un utilisateur ;
- un module de traitement (16) pour réaliser un traitement du code secret, le traitement comprenant une vérification du code secret et une gestion d'un premier compteur (TOT_PTC) ;
- un module de mémorisation (18) pour mémoriser la valeur du premier compteur dans un mémoire non volatile réinscriptible du dispositif électronique ;
caractérisé en ce que :
- si le code saisi est détecté comme étant faux par le module de vérification, le traitement a pour effet de modifier la valeur du premier compteur pour indiquer la saisie d'un code faux supplémentaire ; et
- si le code saisi est détecté comme étant bon par le module de vérification, le traitement a pour effet de garder la valeur du premier compteur inchangée quelle que soit la valeur du premier compteur.
15. Dispositif électronique selon la revendication 14, comprenant un module de détection (20) d'une anomalie à partir de la valeur du premier compteur (TOT_PTC) lorsqu'une condition prédéterminée est satisfaite.
16. Dispositif électronique selon la revendication 14 ou 15, dans lequel la condition prédéterminée définit une valeur seuil (LMT2), le module de détection étant apte à détecter l'anomalie à partir d'une comparaison entre la valeur du premier compteur et la valeur seuil.
17. Dispositif électronique selon l'une quelconque des revendications 14 à 16, le dispositif électronique étant une carte à puce.
PCT/FR2015/053602 2014-12-18 2015-12-17 Procede de securisation d'un code pin avec des compteurs d'erreurs dans une carte a puce WO2016097637A1 (fr)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR1462786 2014-12-18
FR1462786A FR3030826B1 (fr) 2014-12-18 2014-12-18 Procede de securisation d'un dispositif electronique, et ledit dispositif electronique

Publications (1)

Publication Number Publication Date
WO2016097637A1 true WO2016097637A1 (fr) 2016-06-23

Family

ID=53191768

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/FR2015/053602 WO2016097637A1 (fr) 2014-12-18 2015-12-17 Procede de securisation d'un code pin avec des compteurs d'erreurs dans une carte a puce

Country Status (2)

Country Link
FR (1) FR3030826B1 (fr)
WO (1) WO2016097637A1 (fr)

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2786007A1 (fr) * 1998-11-18 2000-05-19 Gemplus Card Int Procede de controle d'utilisation d'une carte a puce
EP1646018A1 (fr) * 2004-10-08 2006-04-12 Fujitsu Limited Dispositif d'authentification biométrique, méthode et programme d'authentification d'information biométrique
DE102010044687A1 (de) * 2010-09-08 2012-03-08 Giesecke & Devrient Gmbh Portabler Datenträger mit Fehlbedienungszähler

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2786007A1 (fr) * 1998-11-18 2000-05-19 Gemplus Card Int Procede de controle d'utilisation d'une carte a puce
EP1646018A1 (fr) * 2004-10-08 2006-04-12 Fujitsu Limited Dispositif d'authentification biométrique, méthode et programme d'authentification d'information biométrique
DE102010044687A1 (de) * 2010-09-08 2012-03-08 Giesecke & Devrient Gmbh Portabler Datenträger mit Fehlbedienungszähler

Also Published As

Publication number Publication date
FR3030826A1 (fr) 2016-06-24
FR3030826B1 (fr) 2018-01-19

Similar Documents

Publication Publication Date Title
EP2463833B1 (fr) Procédé et dispositif de contrôle d'exécution pour des fonctions internes et des applications protégées embarquées dans des cartes à microcircuits pour terminaux mobiles
EP3455812B1 (fr) Procédé de sécurisation d'un dispositif electronique, et dispositif electronique correspondant
WO2017203146A1 (fr) Procede de securisation d'un dispositif electronique, et dispositif electronique correspondant
WO2001086601A1 (fr) Procede pour authentifier un objet portatif, objet portatif correspondant, et appareil pour mettre en oeuvre le procede
EP3234848B1 (fr) Procede d'envoi d'une information de securite et dispositif electronique apte a mettre en oeuvre un tel procede
EP3198540B1 (fr) Procédé d'auto-détection d'une tentative de piratage d'une carte électronique de paiement, carte, terminal et programme correspondants
WO2016097637A1 (fr) Procede de securisation d'un code pin avec des compteurs d'erreurs dans une carte a puce
EP3261014A1 (fr) Procédé d'envoi d'une information de sécurité
EP3394812A1 (fr) Procédé d'authentification
FR3076026B1 (fr) Sauvegarde de donnees d'historique dans un dispositif destine a traiter des transactions
EP2933767B1 (fr) Procédé de désactivation d'un module de paiement, produit programme d'ordinateur, medium de stockage et module de paiement correspondants
EP3340098A1 (fr) Procédé pour la sécurité d'une opération électronique avec une carte à puce
EP3317832B1 (fr) Procede de controle mis en oeuvre par un dispositif electronique au cours d'une transaction, et dispositif correspondant
EP0910839B1 (fr) Procede de stockage des unites de valeur dans une carte a puce de facon securisee et systeme de transaction monetaire avec de telles cartes
EP2812864B1 (fr) Système de paiement, terminal de paiement de ce système, et procédé de paiement associé
EP3836060A1 (fr) Traitement de transactions selon un profil opérationnel
FR3077150A1 (fr) Procede de controle de regles de dependances d'objets mis a jour dans un microcircuit, et dispositif correspondant
FR3076027A1 (fr) Securisation du traitement d'une transaction
FR3091945A1 (fr) Procédé de transaction avec une devise différente, et dispositif correspondant
WO2017001762A1 (fr) Procédé d'enregistrement mis en œuvre par un microcircuit, et dispositif correspondant

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 15823659

Country of ref document: EP

Kind code of ref document: A1

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 15823659

Country of ref document: EP

Kind code of ref document: A1