Update desfire.md

doc/desfire.md

@@ -1,54 +1,87 @@
 # Desfire card
 
 ## Documentation
+
 [Desfire Light datasheet MF2DL(H)x0](https://www.nxp.com/docs/en/data-sheet/MF2DLHX0.pdf)
+
 [Features and Hints AN12343](https://www.nxp.com/docs/en/application-note/AN12343.pdf)
+
 [Quick Start Guide AN12341](https://www.nxp.com/docs/en/application-note/AN12341.pdf)
+
 [LRP Specification](https://www.nxp.com/docs/en/application-note/AN12304.pdf)
+
 [NTAG 424 DNA NT4H2421Gx](https://www.nxp.com/docs/en/data-sheet/NT4H2421Gx.pdf)
+
 [NTAG features and hints - LRP mode](https://www.nxp.com/docs/en/application-note/AN12321.pdf)
+
 [ev2 samples AN12196](https://www.nxp.com/docs/en/application-note/AN12196.pdf)
+
 [MIFARE Application Directory AN10787](https://www.nxp.com/docs/en/application-note/AN10787.pdf)
+
 [Symmetric key diversifications AN10922](https://www.nxp.com/docs/en/application-note/AN10922.pdf)
 
 ## Source code
+
 [desfire_crypto from proxmark3](https://github.com/RfidResearchGroup/proxmark3/blob/master/armsrc/desfire_crypto.c)
+
 [libfreefare](https://github.com/nfc-tools/libfreefare)
+
 [desfire-tools-for-android](https://github.com/skjolber/desfire-tools-for-android)
+
 [nfcjlib](https://github.com/andrade/nfcjlib/)
+
 [java-card-desfire-emulation](https://github.com/gathigai/java-card-desfire-emulation)
+
 [ChameleonMiniDESFireStack](https://github.com/maxieds/ChameleonMiniDESFireStack/)
+
 [LRP/ev2 nfc-ev2-crypto](https://github.com/icedevml/nfc-ev2-crypto)
 
 ## Communication channel with a card:
+
 The card can work in the combination of: key type - command set - secure channel - communication mode
 
-*key types*
+*key types:*
+
 **des** - 8 bytes key. can be present in a form of **2tdea** key with length 16 bytes by duplicate contents twice.
+
 **2tdea** - 16 bytes key
+
 **3tdea** - 24 bytes key. can be disabled on the card level.
+
 **aes** - 16 bytes aes-128 key
 
 *command sets:*
+
 **native** - raw commands
+
 **native iso** - wrap raw commands into the iso apdu. **CLA** = 0x90, **INS** = command code, **data** = the rest data from raw command
+
 **iso** - work only several commands: iso select by iso id (if enabled), authenticate, read and write in the **plain** mode, read in the **mac** mode
 
 *secure channels:*
+
 **d40** - old secure channel that can work only with **des** and **2tdea** keys
+
 **ev1** - secure channel that can work with all the keys: **des**, **2tdea**, **3tdea**, **aes**
+
 **ev2** - the newest channel that can work with **aes** key only
 
 *communication modes* 
+
 **plain** - just plain data between card and reader
+
 **maced** - mac applied to reqest/response/both (may be sent and may be not)
+
 **encrypted** - encrypted data in the reqest/response/both. in the ev2 channel data signed with mac.
 
 ## Card architecture
 
 The card has several applications on it and the application have files and some other objects
+
 Each card has a master application with AID 0x000000 that saves the card's configuration.
+
 Master application has many keys with different purposes, but commands show that there is only one key - card master key.
+
 Each application may have its own key type and set of keys. Each file can only have links to these keys in its access rights.
 
 ## Card structure:
@@ -71,113 +104,197 @@ Each application may have its own key type and set of keys. Each file can only h
 ## How to
 
 ### How to get card UID
+
 The card can return UID in encrypted communication mode. Needs to authenticate with any key from the card.
+
 `hf mfdes getuid` - authenticate with default key
+
 `hf mfdes getuid -s d40` - via d40 secure channel
+
 `hf mfdes getuid -s ev2 -t aes -k 11223344556677889900112233445566` - via ev2 secure channel with specified aes key
 
 ### How to get/set default communication channel settings
+
 All the commands use these settings by default if a more important setting is not specified in the command line.
+
 `hf mfdes default` - get channel settings
+
 `hf mfdes default -n 1 -t aes` - set key number 1 and key type aes
 
 ### How to guess default communication channel settings
+
 `hf mfdes detect` - simply detect key for master application (PICC level)
+
 `hf mfdes detect --save` - detect key and save to defaults. look after to output of `hf mfdes default`
+
 `hf mfdes detect -s d40` - detect via channel d40
+
 `hf mfdes detect --dict mfdes_default_keys` - detect key with help of dictionary file
+
 `hf mfdes detect --aid 123456 -n 2` - detect key 2 from application with AID 123456
 
 ### How to try communication channel settings
+
 `hf mfdes auth -n 0 -t des -k 1122334455667788 --aid 123456` - try application 123456 master key 
+
 `hf mfdes auth -n 0 -t aes --save` - try PICC AES master key and save the configuration to defaults if authentication succeeds
 
 ### How to look at the application list on the card
+
 `hf mfdes lsapp --no-auth` - show applications list without authentication
+
 `hf mfdes lsapp` - show applications list with authentication from default settings
+
 `hf mfdes lsapp --files` - show applications list with their files
+
 `hf mfdes getaids --no-auth` - this command can return a simple aid list if it is enabled in the card settings
 
 ### How to look/dump files from the application file list
+
 `hf mfdes lsfiles --aid 123456 -t aes` - file list for application 123456 with aes key
+
 `hf mfdes dump --aid 123456` - shows files and their contents from application 123456
 
 ### How to change key
+
 Change key algorithm can be done only in one case - change card master key.
+
 Key algorithm for application can be chosen only on its creation.
+
 `hf mfdes changekey -t des --newalgo aes --newkey 11223344556677889900112233445566 --newver a5` - change picc master key from des default to aes
+
 `hf mfdes changekey --aid 123456 -t des -n 0 -k 5555555555555555 --newkey 1122334455667788` - change application master key from one key to another
+
 `hf mfdes changekey --aid 123456 -t des -n 0 --newkeyno 1 --oldkey 5555555555555555 --newkey 1122334455667788` - change key 1 with authentication with key 0 (app master key)
 
 ### How to create the application
+
 `hf mfdes createapp --aid 123456 --fid 2345 --dfname aid123456 --dstalgo aes` - create an application with iso file id, df name, and key algorithm AES
+
 `hf mfdes createapp --aid 123456` - create an application 123456 with DES key algorithm and without iso file id. in this case, iso file id can't be provided for application's files
 
 ### How to create files
+
 `hf mfdes createfile --aid 123456 --fid 01 --isofid 0001 --size 000010` - create standard file with iso id and default access settings
+
 `hf mfdes createfile --aid 123456 --fid 01 --isofid 0001 --size 000010 --backup` - create backup file
+
 create standard file with mac access mode and specified access settings. access settigs can be changed later with command `hf mfdes chfilesettings`
+
 `hf mfdes createfile --aid 123456 --fid 01 --isofid 0001 --size 000010 --amode mac --rrights free --wrights free --rwrights free --chrights key0`
+
 `hf mfdes createvaluefile --aid 123456 --fid 01 --isofid 0001 --lower 00000010 --upper 00010000 --value 00000100` - create value file
+
 `hf mfdes createrecordfile --aid 123456 --fid 01 --isofid 0001 --size 000010 --maxrecord 000010` - create linear record file
+
 `hf mfdes createrecordfile --aid 123456 --fid 01 --isofid 0001 --size 000010 --maxrecord 000010 --cyclic` - create cyclic record file
+
 `hf mfdes createmacfile --aid 123456 --fid 01 --rawrights 0FF0 --mackey 00112233445566778899aabbccddeeff --mackeyver 01` - create transaction mac file
 
 ### How to delete files
+
 `hf mfdes deletefile --aid 123456 --fid 01` - delete file
 
 ### How to read/write files
+
 *read:*
+
 `hf mfdes read --aid 123456 --fid 01` - autodetect file type (with `hf mfdes getfilesettings`) and read its contents
+
 `hf mfdes read --aid 123456 --fid 01 --type record --offset 000000 --length 000001` - read one last record from a record file
+
 *read via iso command set:*
+
 Here needs to specify type of the file because there is no `hf mfdes getfilesettings` in the iso command set
+
 `hf mfdes read --aid 123456 --fileisoid 1000 --type data -c iso` - select application via native command and then read file via iso
+
 `hf mfdes read --appisoid 0102 --fileisoid 1000 --type data -c iso` - select all via iso commands and then read
+
 `hf mfdes read --appisoid 0102 --fileisoid 1100 --type record -c iso --offset 000005 --length 000001` - read one record (number 5) from file 1100 via iso command set
+
 `hf mfdes read --appisoid 0102 --fileisoid 1100 --type record -c iso --offset 000005 --length 000000` - read all the records (from 5 to 1) from file 1100 via iso command set
+
 *write:*
+
 `hf mfdes write --aid 123456 --fid 01 -d 01020304` - autodetect file type (with `hf mfdes getfilesettings`) and write data with offset 0
+
 `hf mfdes write --aid 123456 --fid 01 --type data -d 01020304 --commit` - write backup data file and commit
+
 `hf mfdes write --aid 123456 --fid 01 --type value -d 00000001` increment value file
+
 `hf mfdes write --aid 123456 --fid 01 --type value -d 00000001 --debit` decrement value file
+
 `hf mfdes write --aid 123456 --fid 01 --type record -d 01020304` write data to a record file
+
 `hf mfdes write --aid 123456 --fid 01 --type record -d 01020304 --updaterec 0` update record 0 (lastest) in the record file.
+
 *write via iso command set:*
+
 `hf mfdes write --appisoid 1234 --fileisoid 1000 --type data -c iso -d 01020304` write data to std/backup file via iso commandset
+
 `hf mfdes write --appisoid 1234 --fileisoid 2000 --type record -c iso -d 01020304` send record to record file via iso commandset
+
 *transactions:*
+
 for more detailed samples look at the next howto.
+
 `hf mfdes write --aid 123456 --fid 01 -d 01020304 --readerid 010203` write data to the file with CommitReaderID command before and CommitTransaction after write  
     
 ### How to work with transaction mac
+
 There are two types of transactions with mac: with and without the CommitReaderID command. This type can be chosen by `hf mfdes createmacfile` command.
+
 By default, the application works with transactions. All the write operations except write to standard file need to be committed by CommitTransaction command.
+
 CommitTransaction command issued at the end of each write operation (except standard file).
+
 Mac mode of transactions can be switched on by creation mac file. There may be only one file with this file type for one application.
+
 Command CommitReaderID enable/disable mode can be chosen at the creation of this file.
+
 When CommitReaderID is enabled - needs to issue this command once per transaction. The transaction can't be committed without this command.
+
 When the command is disabled - CommitReaderID returns an error.
 
 *more info from MF2DL(H)x0 datasheet (link at the top of this document):*
+
 10.3.2.1 Transaction MAC Counter (page 41)
+
 10.3.2.5 Transaction MAC Reader ID and its encryption (page 43)
+
 10.3.3 Transaction MAC Enabling (page 44)
+
 10.3.4 Transaction MAC Calculation (page 45)
+
 10.3.4.3 CommitReaderID Command (page 47)
 
 *create mac file:*
+
 `hf mfdes createmacfile --aid 123456 --fid 0f --rawrights 0FF0 --mackey 00112233445566778899aabbccddeeff --mackeyver 01` - create transaction mac file. CommitReaderID disabled
+
 `hf mfdes createmacfile --aid 123456 --fid 0f --rawrights 0F10 --mackey 00112233445566778899aabbccddeeff --mackeyver 01` - create transaction mac file. CommitReaderID enabled with key 1
+
 *read mac and transactions counter from mac file:*
+
 `hf mfdes read --aid 123456 --fid 0f` - with type autodetect
+
 *write to data file without CommitReaderID:*
+
 `hf mfdes write --aid 123456 --fid 01 -d 01020304`
+
 *write to data file with CommitReaderID:*
+
 `hf mfdes write --aid 123456 --fid 01 -d 01020304 --readerid 010203`
+
 *write to data file with CommitReaderID and decode previous reader id:*
+
 step 1. read mac file or read all the files to get transaction mac counter
+
 `hf mfdes read --aid 123456 --fid 0f` - read mac file
+
 `hf mfdes dump --aid 123456` - read all the files
+
 step 2. write something to a file with CommitReaderID command and provide the key that was set by `hf mfdes createmacfile` command
+
 `hf mfdes write --aid 123456 --fid 01 -d 01020304 --readerid 010203 --trkey 00112233445566778899aabbccddeeff`