]> git.zerfleddert.de Git - proxmark3-svn/blob - client/cmdhf14b.c
projects / proxmark3-svn / blob
? search:


2e90bc4bca7ce92f5697ba6b91d19380ae01a65f
[proxmark3-svn] / client / cmdhf14b.c
1 //-----------------------------------------------------------------------------
2 // Copyright (C) 2010 iZsh <izsh at fail0verflow.com>
3 //
4 // This code is licensed to you under the terms of the GNU GPL, version 2 or,
5 // at your option, any later version. See the LICENSE.txt file for the text of
6 // the license.
7 //-----------------------------------------------------------------------------
8 // High frequency ISO14443B commands
9 //-----------------------------------------------------------------------------
10
11 #include <stdio.h>
12 #include <stdlib.h>
13 #include <stdbool.h>
14 #include <stdint.h>
15 #include "iso14443crc.h"
16 #include "proxmark3.h"
17 #include "data.h"
18 #include "graph.h"
19 #include "util.h"
20 #include "ui.h"
21 #include "cmdparser.h"
22 #include "cmdhf14b.h"
23 #include "cmdmain.h"
24 #include "cmdhf14a.h"
25 #include "tea.h"
26 #include "cmdhf.h"
27 #include "prng.h"
28 #include "sha1.h"
29
30 static int CmdHelp(const char *Cmd);
31
32 int CmdHF14BList(const char *Cmd) {
33 CmdHFList("14b");
34 return 0;
35 }
36
37 int CmdHF14BSim(const char *Cmd)
38 {
39 UsbCommand c = {CMD_SIMULATE_TAG_ISO_14443B};
40 clearCommandBuffer();
41 SendCommand(&c);
42 return 0;
43 }
44
45 int CmdHF14BSnoop(const char *Cmd)
46 {
47 UsbCommand c = {CMD_SNOOP_ISO_14443B};
48 clearCommandBuffer();
49 SendCommand(&c);
50 return 0;
51 }
52
53 /* New command to read the contents of a SRI512 tag
54 * SRI512 tags are ISO14443-B modulated memory tags,
55 * this command just dumps the contents of the memory
56 */
57 int CmdSri512Read(const char *Cmd)
58 {
59 UsbCommand c = {CMD_READ_SRI512_TAG, {strtol(Cmd, NULL, 0), 0, 0}};
60 clearCommandBuffer();
61 SendCommand(&c);
62 return 0;
63 }
64
65 /* New command to read the contents of a SRIX4K tag
66 * SRIX4K tags are ISO14443-B modulated memory tags,
67 * this command just dumps the contents of the memory/
68 */
69 int CmdSrix4kRead(const char *Cmd) {
70 UsbCommand c = {CMD_READ_SRIX4K_TAG, {strtol(Cmd, NULL, 0), 0, 0}};
71 clearCommandBuffer();
72 SendCommand(&c);
73 return 0;
74 }
75
76 static int rawCloseEx(bool verbose){
77 UsbCommand resp;
78 UsbCommand c = {CMD_ISO_14443B_COMMAND, {0, 0, 0}};
79 clearCommandBuffer();
80 SendCommand(&c);
81 if (!WaitForResponseTimeout(CMD_ACK, &resp, 1000)) {
82 if ( verbose ) PrintAndLog("Command time-out");
83 return 0;
84 }
85 return 1;
86 }
87 static int rawClose() {
88 return rawCloseEx(false);
89 }
90
91 int HF14BCmdRaw(bool reply, bool *crc, bool power, uint8_t *data, uint8_t *datalen, bool verbose){
92
93 if(*crc) {
94 ComputeCrc14443(CRC_14443_B, data, *datalen, data+*datalen, data+*datalen+1);
95 *datalen += 2;
96 }
97
98 UsbCommand c = {CMD_ISO_14443B_COMMAND, {0, 0, 0}}; // len,recv,power
99 c.arg[0] = *datalen;
100 c.arg[1] = reply;
101 c.arg[2] = power;
102 memcpy(c.d.asBytes, data, *datalen);
103 clearCommandBuffer();
104 SendCommand(&c);
105
106 if (!reply) return 1;
107
108 UsbCommand resp;
109 if (!WaitForResponseTimeout(CMD_ACK, &resp, 2000)) {
110 if (verbose) PrintAndLog("timeout while waiting for reply.");
111 return 0;
112 }
113
114 *datalen = resp.arg[0];
115 if (verbose) PrintAndLog("received %u octets", *datalen);
116 if(*datalen<3) return 0;
117
118 memcpy(data, resp.d.asBytes, *datalen);
119
120 uint8_t first = 0, second = 0;
121 ComputeCrc14443(CRC_14443_B, data, *datalen-2, &first, &second);
122 *crc = ( data[*datalen-2] == first && data[*datalen-1] == second);
123
124 if (verbose)
125 PrintAndLog("[LEN %u] %s[%02X %02X] %s",
126 *datalen,
127 sprint_hex(data, *datalen-2),
128 data[*datalen-2],
129 data[*datalen-1],
130 (*crc)?"OK":"FAIL"
131 );
132
133 return 1;
134 }
135
136 int CmdHF14BCmdRaw (const char *Cmd) {
137 bool reply = true;
138 bool crc = false;
139 bool power = false;
140 bool select = false;
141 bool SRx = false;
142 char buf[5]="";
143 uint8_t data[USB_CMD_DATA_SIZE] = {0x00};
144 uint8_t datalen = 0;
145 unsigned int temp;
146 int i = 0;
147 if (strlen(Cmd)<3) {
148 PrintAndLog("Usage: hf 14b raw [-r] [-c] [-p] [-s || -ss] <0A 0B 0C ... hex>");
149 PrintAndLog(" -r do not read response");
150 PrintAndLog(" -c calculate and append CRC");
151 PrintAndLog(" -p leave the field on after receive");
152 PrintAndLog(" -s active signal field ON with select");
153 PrintAndLog(" -ss active signal field ON with select for SRx ST Microelectronics tags");
154 return 0;
155 }
156
157 // strip
158 while (*Cmd==' ' || *Cmd=='\t') Cmd++;
159
160 while (Cmd[i]!='\0') {
161 if (Cmd[i]==' ' || Cmd[i]=='\t') { i++; continue; }
162 if (Cmd[i]=='-') {
163 switch (Cmd[i+1]) {
164 case 'r':
165 case 'R':
166 reply = false;
167 break;
168 case 'c':
169 case 'C':
170 crc = true;
171 break;
172 case 'p':
173 case 'P':
174 power = true;
175 break;
176 case 's':
177 case 'S':
178 select = true;
179 if (Cmd[i+2]=='s' || Cmd[i+2]=='S') {
180 SRx = true;
181 i++;
182 }
183 break;
184 default:
185 PrintAndLog("Invalid option");
186 return 0;
187 }
188 i+=2;
189 continue;
190 }
191 if ((Cmd[i]>='0' && Cmd[i]<='9') ||
192 (Cmd[i]>='a' && Cmd[i]<='f') ||
193 (Cmd[i]>='A' && Cmd[i]<='F') ) {
194 buf[strlen(buf)+1]=0;
195 buf[strlen(buf)]=Cmd[i];
196 i++;
197
198 if (strlen(buf)>=2) {
199 sscanf(buf,"%x",&temp);
200 data[datalen++]=(uint8_t)(temp & 0xff);
201 *buf=0;
202 memset(buf, 0x00, sizeof(buf));
203 }
204 continue;
205 }
206 PrintAndLog("Invalid char on input");
207 return 0;
208 }
209 if (datalen == 0)
210 {
211 PrintAndLog("Missing data input");
212 return 0;
213 }
214
215 if (select){ //auto select 14b tag
216 uint8_t cmd2[16];
217 bool crc2 = true;
218 uint8_t cmdLen;
219
220 if (SRx) {
221 // REQ SRx
222 cmdLen = 2;
223 cmd2[0] = 0x06;
224 cmd2[1] = 0x00;
225 } else {
226 // REQB
227 cmdLen = 3;
228 cmd2[0] = 0x05;
229 cmd2[1] = 0x00;
230 cmd2[2] = 0x08;
231 }
232
233 // REQB
234 if (HF14BCmdRaw(true, &crc2, true, cmd2, &cmdLen, false)==0) return rawClose();
235
236 PrintAndLog("REQB : %s", sprint_hex(cmd2, cmdLen));
237
238 if ( SRx && (cmdLen != 3 || !crc2) ) return rawClose();
239 else if (cmd2[0] != 0x50 || cmdLen != 14 || !crc2) return rawClose();
240
241 uint8_t chipID = 0;
242 if (SRx) {
243 // select
244 chipID = cmd2[0];
245 cmd2[0] = 0x0E;
246 cmd2[1] = chipID;
247 cmdLen = 2;
248 } else {
249 // attrib
250 cmd2[0] = 0x1D;
251 // UID from cmd2[1 - 4]
252 cmd2[5] = 0x00;
253 cmd2[6] = 0x08;
254 cmd2[7] = 0x01;
255 cmd2[8] = 0x00;
256 cmdLen = 9;
257 }
258 // wait
259
260 // attrib
261 if (HF14BCmdRaw(true, &crc2, true, cmd2, &cmdLen, false)==0) return rawClose();
262 PrintAndLog("ATTRIB : %s", sprint_hex(cmd2, cmdLen));
263
264 if (cmdLen != 3 || !crc2) return rawClose();
265 if (SRx && cmd2[0] != chipID) return rawClose();
266
267 }
268 return HF14BCmdRaw(reply, &crc, power, data, &datalen, true);
269 }
270
271 // print full atqb info
272 static void print_atqb_resp(uint8_t *data){
273 //PrintAndLog (" UID: %s", sprint_hex(data+1,4));
274 PrintAndLog (" App Data: %s", sprint_hex(data+5,4));
275 PrintAndLog (" Protocol: %s", sprint_hex(data+9,3));
276 uint8_t BitRate = data[9];
277 if (!BitRate) PrintAndLog (" Bit Rate: 106 kbit/s only PICC <-> PCD");
278 if (BitRate & 0x10) PrintAndLog (" Bit Rate: 212 kbit/s PICC -> PCD supported");
279 if (BitRate & 0x20) PrintAndLog (" Bit Rate: 424 kbit/s PICC -> PCD supported");
280 if (BitRate & 0x40) PrintAndLog (" Bit Rate: 847 kbit/s PICC -> PCD supported");
281 if (BitRate & 0x01) PrintAndLog (" Bit Rate: 212 kbit/s PICC <- PCD supported");
282 if (BitRate & 0x02) PrintAndLog (" Bit Rate: 424 kbit/s PICC <- PCD supported");
283 if (BitRate & 0x04) PrintAndLog (" Bit Rate: 847 kbit/s PICC <- PCD supported");
284 if (BitRate & 0x80) PrintAndLog (" Same bit rate <-> required");
285
286 uint16_t maxFrame = data[10]>>4;
287 if (maxFrame < 5) maxFrame = 8 * maxFrame + 16;
288 else if (maxFrame == 5) maxFrame = 64;
289 else if (maxFrame == 6) maxFrame = 96;
290 else if (maxFrame == 7) maxFrame = 128;
291 else if (maxFrame == 8) maxFrame = 256;
292 else maxFrame = 257;
293
294 PrintAndLog ("Max Frame Size: %u%s",maxFrame, (maxFrame == 257) ? "+ RFU" : "");
295
296 uint8_t protocolT = data[10] & 0xF;
297 PrintAndLog (" Protocol Type: Protocol is %scompliant with ISO/IEC 14443-4",(protocolT) ? "" : "not " );
298 PrintAndLog ("Frame Wait Int: %u", data[11]>>4);
299 PrintAndLog (" App Data Code: Application is %s",(data[11]&4) ? "Standard" : "Proprietary");
300 PrintAndLog (" Frame Options: NAD is %ssupported",(data[11]&2) ? "" : "not ");
301 PrintAndLog (" Frame Options: CID is %ssupported",(data[11]&1) ? "" : "not ");
302 PrintAndLog ("Max Buf Length: %u (MBLI) %s",data[14]>>4, (data[14] & 0xF0) ? "" : "not supported");
303
304 return;
305 }
306
307 // get SRx chip model (from UID) // from ST Microelectronics
308 char *get_ST_Chip_Model(uint8_t data){
309 static char model[20];
310 char *retStr = model;
311 memset(model,0, sizeof(model));
312
313 switch (data) {
314 case 0x0: sprintf(retStr, "SRIX4K (Special)"); break;
315 case 0x2: sprintf(retStr, "SR176"); break;
316 case 0x3: sprintf(retStr, "SRIX4K"); break;
317 case 0x4: sprintf(retStr, "SRIX512"); break;
318 case 0x6: sprintf(retStr, "SRI512"); break;
319 case 0x7: sprintf(retStr, "SRI4K"); break;
320 case 0xC: sprintf(retStr, "SRT512"); break;
321 default : sprintf(retStr, "Unknown"); break;
322 }
323 return retStr;
324 }
325
326 int print_ST_Lock_info(uint8_t model){
327 //assume connection open and tag selected...
328 uint8_t data[16] = {0x00};
329 uint8_t datalen = 2;
330 bool crc = true;
331 uint8_t resplen;
332 uint8_t blk1;
333 data[0] = 0x08;
334
335 if (model == 0x2) { //SR176 has special command:
336 data[1] = 0xf;
337 resplen = 4;
338 } else {
339 data[1] = 0xff;
340 resplen = 6;
341 }
342
343 //std read cmd
344 if (HF14BCmdRaw(true, &crc, true, data, &datalen, false)==0) return rawClose();
345
346 if (datalen != resplen || !crc) return rawClose();
347
348 PrintAndLog("Chip Write Protection Bits:");
349 // now interpret the data
350 switch (model){
351 case 0x0: //fall through (SRIX4K special)
352 case 0x3: //fall through (SRIx4K)
353 case 0x7: // (SRI4K)
354 //only need data[3]
355 blk1 = 9;
356 PrintAndLog(" raw: %s", sprint_bin(data+3, 1));
357 PrintAndLog(" 07/08:%slocked", (data[3] & 1) ? " not " : " " );
358 for (uint8_t i = 1; i<8; i++){
359 PrintAndLog(" %02u:%slocked", blk1, (data[3] & (1 << i)) ? " not " : " " );
360 blk1++;
361 }
362 break;
363 case 0x4: //fall through (SRIX512)
364 case 0x6: //fall through (SRI512)
365 case 0xC: // (SRT512)
366 //need data[2] and data[3]
367 blk1 = 0;
368 PrintAndLog(" raw: %s", sprint_bin(data+2, 2));
369 for (uint8_t b=2; b<4; b++){
370 for (uint8_t i=0; i<8; i++){
371 PrintAndLog(" %02u:%slocked", blk1, (data[b] & (1 << i)) ? " not " : " " );
372 blk1++;
373 }
374 }
375 break;
376 case 0x2: // (SR176)
377 //need data[2]
378 blk1 = 0;
379 PrintAndLog(" raw: %s", sprint_bin(data+2, 1));
380 for (uint8_t i = 0; i<8; i++){
381 PrintAndLog(" %02u/%02u:%slocked", blk1, blk1+1, (data[2] & (1 << i)) ? " " : " not " );
382 blk1+=2;
383 }
384 break;
385 default:
386 return rawClose();
387 }
388 return 1;
389 }
390
391 // print UID info from SRx chips (ST Microelectronics)
392 static void print_st_general_info(uint8_t *data){
393 //uid = first 8 bytes in data
394 PrintAndLog(" UID: %s", sprint_hex(SwapEndian64(data,8,8),8));
395 PrintAndLog(" MFG: %02X, %s", data[6], getTagInfo(data[6]));
396 PrintAndLog("Chip: %02X, %s", data[5]>>2, get_ST_Chip_Model(data[5]>>2));
397 return;
398 }
399
400 // 14b get and print UID only (general info)
401 int HF14BStdReader(uint8_t *data, uint8_t *datalen, bool verbose){
402 //05 00 00 = find one tag in field
403 //1d xx xx xx xx 00 08 01 00 = attrib xx=UID (resp 10 [f9 e0])
404 //a3 = ? (resp 03 [e2 c2])
405 //02 = ? (resp 02 [6a d3])
406 // 022b (resp 02 67 00 [29 5b])
407 // 0200a40400 (resp 02 67 00 [29 5b])
408 // 0200a4040c07a0000002480300 (resp 02 67 00 [29 5b])
409 // 0200a4040c07a0000002480200 (resp 02 67 00 [29 5b])
410 // 0200a4040006a0000000010100 (resp 02 6a 82 [4b 4c])
411 // 0200a4040c09d27600002545500200 (resp 02 67 00 [29 5b])
412 // 0200a404000cd2760001354b414e4d30310000 (resp 02 6a 82 [4b 4c])
413 // 0200a404000ca000000063504b43532d313500 (resp 02 6a 82 [4b 4c])
414 // 0200a4040010a000000018300301000000000000000000 (resp 02 6a 82 [4b 4c])
415 //03 = ? (resp 03 [e3 c2])
416 //c2 = ? (resp c2 [66 15])
417 //b2 = ? (resp a3 [e9 67])
418 //a2 = ? (resp 02 [6a d3])
419 bool crc = true;
420 *datalen = 3;
421 //std read cmd
422 data[0] = 0x05;
423 data[1] = 0x00;
424 data[2] = 0x08;
425
426 if (HF14BCmdRaw(true, &crc, true, data, datalen, false)==0) return rawCloseEx(verbose);
427
428 if (data[0] != 0x50 || *datalen != 14 || !crc) return rawCloseEx(verbose);
429
430 PrintAndLog ("\n14443-3b tag found:");
431 PrintAndLog (" UID: %s", sprint_hex(data+1,4));
432
433 uint8_t cmd2[16];
434 uint8_t cmdLen = 3;
435 bool crc2 = true;
436
437 cmd2[0] = 0x1D;
438 // UID from data[1 - 4]
439 cmd2[1] = data[1];
440 cmd2[2] = data[2];
441 cmd2[3] = data[3];
442 cmd2[4] = data[4];
443 cmd2[5] = 0x00;
444 cmd2[6] = 0x08;
445 cmd2[7] = 0x01;
446 cmd2[8] = 0x00;
447 cmdLen = 9;
448
449 // attrib
450 if (HF14BCmdRaw(true, &crc2, true, cmd2, &cmdLen, false)==0) rawCloseEx(verbose);
451
452 if (cmdLen != 3 || !crc2) return rawCloseEx(verbose);
453 // add attrib responce to data
454 data[14] = cmd2[0];
455 rawCloseEx(verbose);
456 return 1;
457 }
458
459 // 14b get and print Full Info (as much as we know)
460 int HF14BStdInfo(uint8_t *data, uint8_t *datalen, bool verbose){
461 if (!HF14BStdReader(data,datalen, verbose)) return 0;
462
463 //add more info here
464 print_atqb_resp(data);
465 return 1;
466 }
467
468 // SRx get and print general info about SRx chip from UID
469 int HF14B_ST_Reader(uint8_t *data, uint8_t *datalen, bool closeCon, bool verbose){
470 bool crc = true;
471 *datalen = 2;
472 //wake cmd
473 data[0] = 0x06;
474 data[1] = 0x00;
475
476 //leave power on
477 // verbose on for now for testing - turn off when functional
478 if (HF14BCmdRaw(true, &crc, true, data, datalen, false)==0) return rawCloseEx(verbose);
479
480 if (*datalen != 3 || !crc) return rawClose();
481
482 uint8_t chipID = data[0];
483 // select
484 data[0] = 0x0E;
485 data[1] = chipID;
486 *datalen = 2;
487
488 //leave power on
489 if (HF14BCmdRaw(true, &crc, true, data, datalen, false)==0) return rawCloseEx(verbose);
490
491 if (*datalen != 3 || !crc || data[0] != chipID) return rawCloseEx(verbose);
492
493 // get uid
494 data[0] = 0x0B;
495 *datalen = 1;
496
497 //leave power on
498 if (HF14BCmdRaw(true, &crc, true, data, datalen, false)==0) return rawCloseEx(verbose);
499
500 if (*datalen != 10 || !crc) return rawCloseEx(verbose);
501
502 //power off ?
503 if (closeCon) rawCloseEx(verbose);
504
505 if (verbose ) {
506 PrintAndLog("\n14443-3b ST tag found:");
507 print_st_general_info(data);
508 }
509 return 1;
510 }
511
512 // SRx get and print full info (needs more info...)
513 int HF14B_ST_Info(uint8_t *data, uint8_t *datalen, bool verbose){
514 if (!HF14B_ST_Reader(data, datalen, false, verbose)) return 0;
515
516 //add locking bit information here.
517 if (print_ST_Lock_info(data[5]>>2))
518 rawCloseEx(verbose);
519
520 return 1;
521 }
522
523 // test for other 14b type tags (mimic another reader - don't have tags to identify)
524 int HF14B_Other_Reader(uint8_t *data, uint8_t *datalen, bool verbose){
525 bool crc = true;
526 *datalen = 4;
527 //std read cmd
528 data[0] = 0x00;
529 data[1] = 0x0b;
530 data[2] = 0x3f;
531 data[3] = 0x80;
532
533 if (HF14BCmdRaw(true, &crc, true, data, datalen, false)!=0) {
534 if (*datalen > 2 || !crc) {
535 PrintAndLog ("\n14443-3b tag found:");
536 PrintAndLog ("Unknown tag type answered to a 0x000b3f80 command ans:");
537 PrintAndLog ("%s",sprint_hex(data,*datalen));
538 rawCloseEx(verbose);
539 return 1;
540 }
541 }
542
543 crc = false;
544 *datalen = 1;
545 data[0] = 0x0a;
546
547 if (HF14BCmdRaw(true, &crc, true, data, datalen, false)!=0) {
548 if (*datalen > 0) {
549 PrintAndLog ("\n14443-3b tag found:");
550 PrintAndLog ("Unknown tag type answered to a 0x0A command ans:");
551 PrintAndLog ("%s",sprint_hex(data,*datalen));
552 rawCloseEx(verbose);
553 return 1;
554 }
555 }
556
557 crc = false;
558 *datalen = 1;
559 data[0] = 0x0c;
560
561 if (HF14BCmdRaw(true, &crc, true, data, datalen, false)!=0) {
562 if (*datalen > 0) {
563 PrintAndLog ("\n14443-3b tag found:");
564 PrintAndLog ("Unknown tag type answered to a 0x0C command ans:");
565 PrintAndLog ("%s",sprint_hex(data,*datalen));
566 rawCloseEx(verbose);
567 return 1;
568 }
569 }
570 rawCloseEx(verbose);
571 return 0;
572 }
573
574 // get and print all info known about any known 14b tag
575 int HF14BInfo(bool verbose){
576 uint8_t data[USB_CMD_DATA_SIZE];
577 uint8_t datalen = 5;
578
579 // try std 14b (atqb)
580 if (HF14BStdInfo(data, &datalen, verbose)) return 1;
581
582 // try st 14b
583 if (HF14B_ST_Info(data, &datalen, verbose)) return 1;
584
585 // try unknown 14b read commands (to be identified later)
586 // could be read of calypso, CEPAS, moneo, or pico pass.
587 if (HF14B_Other_Reader(data, &datalen, verbose)) return 1;
588
589 if (verbose) PrintAndLog("no 14443B tag found");
590 return 0;
591 }
592
593 // menu command to get and print all info known about any known 14b tag
594 int CmdHF14Binfo(const char *Cmd){
595 return HF14BInfo(true);
596 }
597
598 // get and print general info about all known 14b chips
599 int HF14BReader(bool verbose){
600 uint8_t data[USB_CMD_DATA_SIZE];
601 uint8_t datalen = 5;
602
603 // try std 14b (atqb)
604 if (HF14BStdReader(data, &datalen, verbose)) return 1;
605
606 // try st 14b
607 if (HF14B_ST_Reader(data, &datalen, true, verbose)) return 1;
608
609 // try unknown 14b read commands (to be identified later)
610 // could be read of calypso, CEPAS, moneo, or pico pass.
611 if (HF14B_Other_Reader(data, &datalen, verbose)) return 1;
612
613 if (verbose) PrintAndLog("no 14443B tag found");
614 return 0;
615 }
616
617 // menu command to get and print general info about all known 14b chips
618 int CmdHF14BReader(const char *Cmd){
619 return HF14BReader(true);
620 }
621
622 int CmdSriWrite( const char *Cmd){
623 /*
624 * For SRIX4K blocks 00 - 7F
625 * hf 14b raw -c -p 09 $srix4kwblock $srix4kwdata
626 *
627 * For SR512 blocks 00 - 0F
628 * hf 14b raw -c -p 09 $sr512wblock $sr512wdata
629 *
630 * Special block FF = otp_lock_reg block.
631 * Data len 4 bytes-
632 */
633 char cmdp = param_getchar(Cmd, 0);
634 uint8_t blockno = -1;
635 uint8_t data[4] = {0x00};
636 bool isSrix4k = true;
637 char str[20];
638
639 if (strlen(Cmd) < 1 || cmdp == 'h' || cmdp == 'H') {
640 PrintAndLog("Usage: hf 14b write <1|2> <BLOCK> <DATA>");
641 PrintAndLog(" [1 = SRIX4K]");
642 PrintAndLog(" [2 = SRI512]");
643 PrintAndLog(" [BLOCK number depends on tag, special block == FF]");
644 PrintAndLog(" sample: hf 14b write 1 7F 11223344");
645 PrintAndLog(" : hf 14b write 1 FF 11223344");
646 PrintAndLog(" : hf 14b write 2 15 11223344");
647 PrintAndLog(" : hf 14b write 2 FF 11223344");
648 return 0;
649 }
650
651 if ( cmdp == '2' )
652 isSrix4k = false;
653
654 //blockno = param_get8(Cmd, 1);
655
656 if ( param_gethex(Cmd,1, &blockno, 2) ) {
657 PrintAndLog("Block number must include 2 HEX symbols");
658 return 0;
659 }
660
661 if ( isSrix4k ){
662 if ( blockno > 0x7f && blockno != 0xff ){
663 PrintAndLog("Block number out of range");
664 return 0;
665 }
666 } else {
667 if ( blockno > 0x0f && blockno != 0xff ){
668 PrintAndLog("Block number out of range");
669 return 0;
670 }
671 }
672
673 if (param_gethex(Cmd, 2, data, 8)) {
674 PrintAndLog("Data must include 8 HEX symbols");
675 return 0;
676 }
677
678 if ( blockno == 0xff)
679 PrintAndLog("[%s] Write special block %02X [ %s ]", (isSrix4k)?"SRIX4K":"SRI512" , blockno, sprint_hex(data,4) );
680 else
681 PrintAndLog("[%s] Write block %02X [ %s ]", (isSrix4k)?"SRIX4K":"SRI512", blockno, sprint_hex(data,4) );
682
683 sprintf(str, "-c 09 %02x %02x%02x%02x%02x", blockno, data[0], data[1], data[2], data[3]);
684
685 CmdHF14BCmdRaw(str);
686 return 0;
687 }
688
689 uint32_t srix4kEncode(uint32_t value) {
690 /*
691 // vv = value
692 // pp = position
693 // vv vv vv pp
694 4 bytes : 00 1A 20 01
695 */
696 // only the lower crumbs.
697 uint8_t block = (value & 0xFF);
698 uint8_t i = 0;
699 uint8_t valuebytes[] = {0,0,0};
700
701 num_to_bytes(value, 3, valuebytes);
702
703 // Scrambled part
704 // Crumb swapping of value.
705 uint8_t temp[] = {0,0};
706 temp[0] = (CRUMB(value, 22) << 4 | CRUMB(value, 14 ) << 2 | CRUMB(value, 6)) << 4;
707 temp[0] |= CRUMB(value, 20) << 4 | CRUMB(value, 12 ) << 2 | CRUMB(value, 4);
708 temp[1] = (CRUMB(value, 18) << 4 | CRUMB(value, 10 ) << 2 | CRUMB(value, 2)) << 4;
709 temp[1] |= CRUMB(value, 16) << 4 | CRUMB(value, 8 ) << 2 | CRUMB(value, 0);
710
711 // chksum part
712 uint32_t chksum = 0xFF - block;
713
714 // chksum is reduced by each nibbles of value.
715 for (i = 0; i < 3; ++i){
716 chksum -= NIBBLE_HIGH(valuebytes[i]);
717 chksum -= NIBBLE_LOW(valuebytes[i]);
718 }
719
720 // base4 conversion and left shift twice
721 i = 3;
722 uint8_t base4[] = {0,0,0,0};
723 while( chksum !=0 ){
724 base4[i--] = (chksum % 4 << 2);
725 chksum /= 4;
726 }
727
728 // merge scambled and chksum parts
729 uint32_t encvalue =
730 ( NIBBLE_LOW ( base4[0]) << 28 ) |
731 ( NIBBLE_HIGH( temp[0]) << 24 ) |
732
733 ( NIBBLE_LOW ( base4[1]) << 20 ) |
734 ( NIBBLE_LOW ( temp[0]) << 16 ) |
735
736 ( NIBBLE_LOW ( base4[2]) << 12 ) |
737 ( NIBBLE_HIGH( temp[1]) << 8 ) |
738
739 ( NIBBLE_LOW ( base4[3]) << 4 ) |
740 NIBBLE_LOW ( temp[1] );
741
742 PrintAndLog("ICE encoded | %08X -> %08X", value, encvalue);
743 return encvalue;
744 }
745 uint32_t srix4kDecode(uint32_t value) {
746 switch(value) {
747 case 0xC04F42C5: return 0x003139;
748 case 0xC1484807: return 0x002943;
749 case 0xC0C60848: return 0x001A20;
750 }
751 return 0;
752 }
753 uint32_t srix4kDecodeCounter(uint32_t num) {
754 uint32_t value = ~num;
755 ++value;
756 return value;
757 }
758
759 uint32_t srix4kGetMagicbytes( uint64_t uid, uint32_t block6, uint32_t block18, uint32_t block19 ){
760 #define MASK 0xFFFFFFFF;
761 uint32_t uid32 = uid & MASK;
762 uint32_t counter = srix4kDecodeCounter(block6);
763 uint32_t decodedBlock18 = srix4kDecode(block18);
764 uint32_t decodedBlock19 = srix4kDecode(block19);
765 uint32_t doubleBlock = (decodedBlock18 << 16 | decodedBlock19) + 1;
766
767 uint32_t result = (uid32 * doubleBlock * counter) & MASK;
768 PrintAndLog("Magic bytes | %08X", result);
769 return result;
770 }
771 int srix4kValid(const char *Cmd){
772
773 uint64_t uid = 0xD00202501A4532F9;
774 uint32_t block6 = 0xFFFFFFFF;
775 uint32_t block18 = 0xC04F42C5;
776 uint32_t block19 = 0xC1484807;
777 uint32_t block21 = 0xD1BCABA4;
778
779 uint32_t test_b18 = 0x00313918;
780 uint32_t test_b18_enc = srix4kEncode(test_b18);
781 //uint32_t test_b18_dec = srix4kDecode(test_b18_enc);
782 PrintAndLog("ENCODE & CHECKSUM | %08X -> %08X (%s)", test_b18, test_b18_enc , "");
783
784 uint32_t magic = srix4kGetMagicbytes(uid, block6, block18, block19);
785 PrintAndLog("BLOCK 21 | %08X -> %08X (no XOR)", block21, magic ^ block21);
786 return 0;
787 }
788
789 int CmdteaSelfTest(const char *Cmd){
790
791 uint8_t v[8], v_le[8];
792 memset(v, 0x00, sizeof(v));
793 memset(v_le, 0x00, sizeof(v_le));
794 uint8_t* v_ptr = v_le;
795
796 uint8_t cmdlen = strlen(Cmd);
797 cmdlen = ( sizeof(v)<<2 < cmdlen ) ? sizeof(v)<<2 : cmdlen;
798
799 if ( param_gethex(Cmd, 0, v, cmdlen) > 0 ){
800 PrintAndLog("can't read hex chars, uneven? :: %u", cmdlen);
801 return 1;
802 }
803
804 SwapEndian64ex(v , 8, 4, v_ptr);
805
806 // ENCRYPTION KEY:
807 uint8_t key[16] = {0x55,0xFE,0xF6,0x30,0x62,0xBF,0x0B,0xC1,0xC9,0xB3,0x7C,0x34,0x97,0x3E,0x29,0xFB };
808 uint8_t keyle[16];
809 uint8_t* key_ptr = keyle;
810 SwapEndian64ex(key , sizeof(key), 4, key_ptr);
811
812 PrintAndLog("TEST LE enc| %s", sprint_hex(v_ptr, 8));
813
814 tea_decrypt(v_ptr, key_ptr);
815 PrintAndLog("TEST LE dec | %s", sprint_hex_ascii(v_ptr, 8));
816
817 tea_encrypt(v_ptr, key_ptr);
818 tea_encrypt(v_ptr, key_ptr);
819 PrintAndLog("TEST enc2 | %s", sprint_hex_ascii(v_ptr, 8));
820
821 return 0;
822 }
823
824 static command_t CommandTable[] = {
825 {"help", CmdHelp, 1, "This help"},
826 {"info", CmdHF14Binfo, 0, "Find and print details about a 14443B tag"},
827 {"list", CmdHF14BList, 0, "[Deprecated] List ISO 14443B history"},
828 {"reader", CmdHF14BReader, 0, "Act as a 14443B reader to identify a tag"},
829 {"sim", CmdHF14BSim, 0, "Fake ISO 14443B tag"},
830 {"snoop", CmdHF14BSnoop, 0, "Eavesdrop ISO 14443B"},
831 {"sri512read", CmdSri512Read, 0, "Read contents of a SRI512 tag"},
832 {"srix4kread", CmdSrix4kRead, 0, "Read contents of a SRIX4K tag"},
833 {"sriwrite", CmdSriWrite, 0, "Write data to a SRI512 | SRIX4K tag"},
834 {"raw", CmdHF14BCmdRaw, 0, "Send raw hex data to tag"},
835 //{"valid", srix4kValid, 1, "srix4k checksum test"},
836 {"valid", CmdteaSelfTest, 1, "tea test"},
837 {NULL, NULL, 0, NULL}
838 };
839
840 int CmdHF14B(const char *Cmd) {
841 clearCommandBuffer();
842 CmdsParse(CommandTable, Cmd);
843 return 0;
844 }
845
846 int CmdHelp(const char *Cmd) {
847 CmdsHelp(CommandTable);
848 return 0;
849 }
Proxmark3 GIT tracking
Impressum, Datenschutz