摘要 |
The invention relates to a method for the automatic development, using a programmable device, of a behaviour model for an apparatus providing a cryptographic interface. This method comprises the following steps, carried out by a processor of the programmable device:—obtaining (40) a set of tests to be carried out by the apparatus (30) providing a cryptographic interface,—for each test from the set of tests, a request (42) for performance of that test by the apparatus (30) providing a cryptographic interface and storage of the result of said test,—obtaining (44) a truth table representative of a logic formula for a boolean function from the stored results,—calculating and storing (46) the first entries from the truth table, and—construction and storage (48) of a behaviour model for the apparatus providing a cryptographic interface from the first stored entries. |