Testing of memory content
Abstract
PCT No. PCT/GB95/01642 Sec. 371 Date Jan. 13, 1997 Sec. 102(e) Date Jan. 13, 1997 PCT Filed Jul. 12, 1995 PCT Pub. No. WO96/02917 PCT Pub. Date Feb. 1, 1996A method of testing a memory associated with a microprocessor, particularly for use in smart cards. The method involves comparing the output from the memory (2) passed along a read path (10) with predetermined data signals generated externally and passed via a port (7) along a read path (9). Comparison is carried out in a comparison device (3) which may, for example, be the microprocessor, suitably programmed. The output form the comparison device (3) is a simple pass/fail verification signal applied to a port (5). The stored data held in memory (2) may be permanently held data such as in a ROM, or (where the memory is alterable) may be specially written to the memory for the purpose of the text.

Term
Term ended
Expired 12 July 2015, 11.2 years ago.
- Priority
- Filed
- Granted
- Expired
- Today
16 claims: 10 independent, 6 dependent
- 1The claims defining the invention are as follows:1. A method of testing the proper functioning of an electrically alterable memory associated with an integrated circuit, the method consisting in writing test data to the memory, applying predetermined data as input to the integrated circuit, encrypting the predetermined data, comparing the encrypted predetermined data internally within the integrated circuit with the test data held in the memory, and issuing a verification output from the integrated circuit whereby the write function and the retention properties of the memory may be verified as correct or not according to the verification output.
- 4A method as claimed in any one of the preceding claims wherein the verification output is issued only after a time delay.
- 5A method as claimed in any one of the preceding claims wherein said integrated circuit includes a microprocessor which is programmed to effect said data comparisons.
- 8A method of testing the content of memory associated with a microprocessor in a module, the method consisting in applying predetermined data as input to the module, encrypting the predetermined data, comparing the encrypted predetermined data internally within the module with data held in the memory and issuing a verification output from the module according to whether the memory content is verified as correct or not by the comparison.
- 1617. A method of testing the content of memory associated with a microprocessor, the method substantially as described herein with reference to the accompanying drawings.
Independent claims10
32 paragraphs in 4 sections, as filed
The invention relates to the testing of the content of memory associated with a microprocessor. The memory may be memory whose contents cannot be altered (Read Only Memory or ROM) or memory whose contents can be altered such as Electrically Programmable Read Only Memory (EPROM) or RAM (Random Access Memory).
There are many instances in which memory which holds predetermined information is required to be tested. An example is in the use of integrated credit cards, otherwise known as smart cards. Conventionally, smart card memory is tested by connecting the card to a reader, reading out the memory contents and performing a check on the read-out, perhaps by way of check-sum verification or by comparison of the readout with data which should be present. Often, the memory contents are confidential and it is possible that unauthorised access to the information could be obtained by simulating a memory test. An object of the invention is to overcome this problem.
According to one aspect of the invention there is provided a method of testing die proper functioning of an electrically alterable memory associated with an integrated circuit, the method consisting in writing test data to the memory, applying predetermined data as input to the integrated circuit, encrypting the predetermined data, comparing the encrypted predetermined data internally within the integrated circuit with the test data held in the memory, and issuing a verification output from the integrated circuit whereby the write function and the retention properties of the memory may be verified as correct or not according to the verification output.
According to another aspect of the invention there is provided a method of testing the content of memory associated with a microprocessor in a module, the method consisting in applying predetermined data as input to the module, encrypting the predetermined data, comparing the encrypted predetermined data internally within the module with data held in the memory and issuing a verification output from the module according to whether the memory content is verified as correct or not by the comparison.
The data held in the memory may be data permanently or semi-permanently resident in the memory, such as program data and/or initialisation data, or may be data written to the memory as a first step in the test method. By this latter method, the write function of an electrically alterable memory can be tested.
The module may be an integrated circuit including the memory and the microprocessor or may be a set of integrated circuits physically bonded by encapsulation or the like. Typically the module is an integrated circuit in a smart card.
<img file="AU692573B2_D0001.tif" />
INALIDLLIOI S13:PVH
By use of an internal memory comparison technique as described above the memory contents are externally inaccessible directly. All that is output is a verification signal.
It is possible that fraudulent attempts to determine the content of the memory may e be made by automatically inputting successive sets of test data which are systematically changed in content until a verification output indicates that the memory content corresponds with the input data. There are ways of dealing with this problem.
According to a preferred feature of the invention the microprocessor is programmed to delay the issue of each verification or non-verification output. The delay between successive outputs may be a matter of microseconds or seconds. The object is to render the time taken for systematic checking to be prohibitively long.
Preferably, the invention may be utilized in preventing fraudulent memory checking. This is achieved by arranging that the input data is encrypted, for example by being operated on by a secret algorithm, before comparison. Then the input data would have no clear correlation with the memory content. The algorithm or a key to it could be different from batch to batch of the smart cards.
The invention will further be described with reference to the accompanying . drawing, of which the sole figure is a schematic diagram illustrating a method embodying the invention.
• · · • · · • · · ···· .
• · · · • · · • · · • · • · · • · · • · · ' • · · ' • · · • · · • 4 · · > · · > β ·
<img file="AU692573B2_D0002.tif" />
1N;\L1DLL|O1 B 13:PVH
WO 96/02917
PCT/GB95/01642
- 3 Referring to the drawing there is shown an integrated circuit 1 having a memory 2 in the form of an EEPROM which contains certain data and a comparison device 3, for example in the form of a microprocessor which is programmed to effect data comparisons. An interface to the external world is represented by the dotted line 4. On the interface 4 are three ports 5, 6 and 7 whereby signals are passed to and fro between the integrated circuit 1 and the tside world. The internal route from port 7 splits into two paths: a write path 8 passing to the memory 2 and a read path 9 passing to comparison device 3.
Testing is carried out by inputting program data to the integrated circuit 1 and performing a comparison internally by means of the comparison device 3. The program data is generated by external means (not shown) and is passed to the comparison de' 3 via the data input port 7 and the read path
9. C\, responding data stored in the memory 2 is passe -, to the comparison device 3 via a read path 10. In the comparison device, the data entering from the two paths 9 and 10 is compared and the outcome of the comparison is communicated to the outside world via port 5 by means of a verification signal identifying the comparison as Pass or Fail. This method prevents the memory contents from ever leaving the integrated circuit 1 and thus ensures high security. The read address and control signals can be generated by external means (not shown) and input to the integrated circuit through an address/control port 6 at the interface 4. The address/control signals are passed to the memory and control the passing of data from the memory 2 to the comparison device 3 in the conventional manner.
In an alternative embodiment (not shown) the ports 5 and 7 are combined into a single multiplexed
WO 96/02917
PCT/GB95/(tlfi42
- 4 read/write port and the port 6 eliminated. Address and control signals which would otherwise have used the port 6 are instead input on a multiplex basis via the sub-port 7 of the combined port 5/7 and the path
8.
The scheme also allows for the testing of the write function of electrically alterable memory by allowing test data to be written to the memory 2 via the data input port 7 at the interface 4 and the write path 8. A correct write can then be verified in the manner outlined above, again under the control of the address/control signals. In this way properties such as endurance, retention time and cell margin can all be tested.
It might still be possible for fraudulent access to the contents of memory 2 by exhaustively testing all possible combinations of memory. It can be shown that this becomes more difficult the fewer times a pass/fail signal is generated. For instance, if the pass/fail is generated after reading a single 8 bit byte, then a maximum of 256 reads are required to exhaustively test a byte. If a pass/fail signal is only generated after reading a 16 bit word however then a maximum of 65,536 reads would be required to exhaustively test a word. Similarly 4,294,967,296 reads are required to exhaustively test a 32 bit word. Exhaustive testing to extract the memory contents can easily be made unfeasible using this scheme.
An additional aid to security is to ensure that words to be tested extend over memory page boundaries, perhaps by variable amounts.
i • · · · • · · • · · • · • · · • * · • β · • · · • · 9
9 9
99 • · · · · • · · • · · β 9 9 · • · · • 9 9
9
9 9 9
9 99
Contents4
3 sheets
Sheet 1 Sheet 2 Sheet 3
Every citation, both ways
| Document | Relation | Office | Cited during |
|---|---|---|---|
| EP0215464A2 | Cites | European Patent Office (EPO) | Search report |
| US4851653A | Cites | United States of America | Search report |
| US5146499A | Cites | United States of America | Search report |
34 members in 24 offices
Priority claims8
| Document | Office | Kind | Date |
|---|---|---|---|
| 9414266 | United Kingdom | A | |
| 9414266 | United Kingdom | A | |
| 9501642 | United Kingdom | W | |
| 9501642 | United Kingdom | W | |
| 9414266 | – | – | – |
| GB19940014266 | – | – | – |
| PCTGB9501642 | – | – | – |
| WO1995GB01642 | – | – | – |
Members34
| Document | Office | Kind | |
|---|---|---|---|
| GB9414266D0 | United Kingdom | D0 | |
| CA2194289A1 | Canada | A1 | |
| WO9602917A1 | World Intellectual Property Organization (WIPO) | A1 | |
| AU2895595A | Australia | A | |
| ZA955806B | South Africa | B | |
| NO970112D0 | Norway | D0 | |
| NO970112L | Norway | L | |
| GB9626477D0 | United Kingdom | D0 | |
| GB2303950A | United Kingdom | A | |
| EP0770256A1 | European Patent Office (EPO) | A1 | |
| PL318166A1 | Poland | A1 | |
| EE9700015A | Estonia | A | |
| BR9508279A | Brazil | A | |
| JPH10503038A | Japan | A | |
| MX9700366A | Mexico | A | |
| AU692573B2This record | Australia | B2 | |
| NZ289190A | New Zealand | A | |
| US5841786A | United States of America | A | |
| GB2303950B | United Kingdom | B | |
| EP0770256B1 | European Patent Office (EPO) | B1 | |
| AT176741T | Austria | T | |
| ATE176741T1 | Austria | T1 | |
| DE69507809D1 | Germany | D1 | |
| ES2126908T3 | Spain | T3 | |
| SI0770256T1 | Slovenia | T1 | |
| DE69507809T2 | Germany | T2 | |
| GR3029918T3 | Greece | T3 | |
| MD970057A | Republic of Moldova | A | |
| DK0770256T3 | Denmark | T3 | |
| TW371339B | Taiwan Province of China | B | |
| GEP19991885B | Georgia | B | |
| PL178997B1 | Poland | B1 | |
| RU2155996C2 | Russian Federation | C2 | |
| MD1844B2 | Republic of Moldova | B2 |
1 legal event, as the office reported them to INPADOC
Events
| Event | Code | |
|---|---|---|
| Patent ceased section 143(a) (annual fees not paid) or expiredExpiredMK14 | MK14 |
Numbers
- Publication, DOCDB
- 692573
- Publication, EPODOC
- AU692573B
- Application
- 2895595
- Application, DOCDB
- 2895595
- Application, EPODOC
- AU19950028955
Titles
- English
- Testing of memory content
Classification
- CPC, 1
- G11C29/52
- IPC, 11
- G06F12 14
- G06F12 16
- G06F21 60
- G06F21 62
- G06F21 64
- G06K19 07
- G06K19 073
- G11C29 00
- G11C29 02
- G11C29 08
- G11C29 52