This wizard page allows for defining PICC-level settings. The acronym PICC refers to Proximity Integrated Circuit Chip and is used to designate the entire chip, in contrast to specific files of applications on the chip. Enabling the option Do you want to format this card? (only available on DESFire EV1) will remove all files and applications from the card before starting the encoding. It does not reset the PICC master key and key settings. Formatting the card is only possible if you know the PICC master key and if the PICC master-key settings allow this operation. The option is mainly meant for reusing cards in a test situation.
Please, note that formatting the card does not recover the memory space used by the files and applications. Repeatedly formatting a card will end up in exhausting the available memory space.
The option Do you want to disable formatting for this card? (only available on DESFire EV1) disables the possibility to format the card in the future irreversibly.
The option Do you want to enable random ID for this card? (only available on DESFire EV1) offers en extra security layer for the card. It makes sure that in the future, the chip serial number or UID of the card can only be read after a successful authentication with either the PICC master key or one of the application keys. Once this option is set, selecting the card will return a random 4-byte UID, instead of the real 7-byte UID.
Special care has to be taken when reading cards that have the Random ID already enabled. If you want to store the DESFire UID in the database or use it for key diversification, you need instruct CardExchange Press to perform an authentication and retrieve the Real UID. This can be done with the 
button next to the Random-ID option. It will open the following dialog box and allows you to specify the key and key value to be used for authentication. This key should not be diversified, as diversified keys can only be calculated when the real DESFire UID is known.
When selecting the option Do you want to change the master key?, CardExchange Press will change the PICC master key after encoding all files and applications, but before changing the PICC master-key settings. The new master key, as well as the key’s crypto method, will need to be specified. Without this option, only the current master key and its crypto methods need to be specified.
When selecting the option Do you want to change the master-key settings?, CardExchange Press will change the PICC master-key settings as specified, after optionally changing the master key. Both for changing the master key and the master-key settings, it is necessary that the original master-key settings allow for such a change.
Click Next to proceed with the creation of the DESFire Definition and go to Step 3.
