X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/proxmark3-svn/blobdiff_plain/9b989c45b942356410416b10e96bc4ca624e4563..47cbb2d41851e680c84b3a7dd0465f7f7960a9ec:/client/scripts/tnp3.lua diff --git a/client/scripts/tnp3.lua b/client/scripts/tnp3.lua index 4e8ca77b..006e5a5d 100644 --- a/client/scripts/tnp3.lua +++ b/client/scripts/tnp3.lua @@ -4,15 +4,20 @@ local bin = require('bin') local lib14a = require('read14a') local utils = require('utils') local md5 = require('md5') +local dumplib = require('html_dumplib') +local toyNames = require('default_toys') example =[[ 1. script run tnp3 2. script run tnp3 -n 3. script run tnp3 -k aabbccddeeff 4. script run tnp3 -k aabbccddeeff -n + 5. script run tnp3 -o myfile + 6. script run tnp3 -n -o myfile + 7. script run tnp3 -k aabbccddeeff -n -o myfile ]] author = "Iceman" -usage = "script run tnp3 -k -n" +usage = "script run tnp3 -k -n -o " desc =[[ This script will try to dump the contents of a Mifare TNP3xxx card. It will need a valid KeyA in order to find the other keys and decode the card. @@ -20,10 +25,9 @@ Arguments: -h : this help -k : Sector 0 Key A. -n : Use the nested cmd to find all keys + -o : filename for the saved dumps ]] --- AES konstant? LEN 0x24 36, --- I dekompilen är det för internal static array = 0x36 54 local hashconstant = '20436F707972696768742028432920323031302041637469766973696F6E2E20416C6C205269676874732052657365727665642E20' local TIMEOUT = 2000 -- Shouldn't take longer than 2 seconds @@ -89,11 +93,20 @@ local function waitCmd() return nil, "No response from device" end +local function computeCrc16(s) + local hash = core.crc16(utils.ConvertHexToAscii(s)) + return hash +end + +local function reverseCrcBytes(crc) + crc2 = crc:sub(3,4)..crc:sub(1,2) + return tonumber(crc2,16) +end + local function main(args) print( string.rep('--',20) ) print( string.rep('--',20) ) - print() local keyA local cmd @@ -101,12 +114,14 @@ local function main(args) local useNested = false local cmdReadBlockString = 'hf mf rdbl %d A %s' local input = "dumpkeys.bin" - + local outputTemplate = os.date("toydump_%Y-%m-%d_%H%M%S"); + -- Arguments for the script - for o, a in getopt.getopt(args, 'hk:n') do + for o, a in getopt.getopt(args, 'hk:no:') do if o == "h" then return help() end if o == "k" then keyA = a end if o == "n" then useNested = true end + if o == "o" then outputTemplate = a end end -- validate input args. @@ -114,27 +129,28 @@ local function main(args) if #(keyA) ~= 12 then return oops( string.format('Wrong length of write key (was %d) expected 12', #keyA)) end + + -- Turn off Debug + local cmdSetDbgOff = "hf mf dbg 0" + core.console( cmdSetDbgOff) result, err = lib14a.read1443a(false) if not result then return oops(err) end - print((' Found tag : %s'):format(result.name)) - core.clearCommandBuffer() if 0x01 ~= result.sak then -- NXP MIFARE TNP3xxx return oops('This is not a TNP3xxx tag. aborting.') end - - -- Show info + + -- Show tag info + print((' Found tag : %s'):format(result.name)) print(('Using keyA : %s'):format(keyA)) - print( string.rep('--',20) ) - + --Trying to find the other keys if useNested then - print('Trying to find keys.') core.console( ('hf mf nested 1 0 A %s d'):format(keyA) ) end @@ -165,7 +181,11 @@ local function main(args) local blockNo local blocks = {} + print('Reading card data') + core.clearCommandBuffer() + -- main loop + io.write('Decrypting blocks > ') for blockNo = 0, numBlocks-1, 1 do if core.ukbhit() then @@ -181,45 +201,112 @@ local function main(args) local blockdata, err = waitCmd() if err then return oops(err) end - local b = blockNo%4 - - if b ~= 3 then + if blockNo%4 ~= 3 then if blockNo < 8 then -- Block 0-7 not encrypted - blocks[blockNo+1] = ('%02d :: %s :: %s'):format(blockNo,blockdata,blockdata) + blocks[blockNo+1] = ('%02d :: %s'):format(blockNo,blockdata) else - local base = ('%s%s%d%s'):format(block0, block1, blockNo, hashconstant) - local md5hash = md5.sumhexa(base) + local base = ('%s%s%02x%s'):format(block0, block1, blockNo, hashconstant) + local baseStr = utils.ConvertHexToAscii(base) + local md5hash = md5.sumhexa(baseStr) local aestest = core.aes(md5hash, blockdata) - - local _,hex = bin.unpack(("H%d"):format(16),aestest) - - -- local hexascii = string.gsub(hex, '(%x%x)', - -- function(value) - -- return string.char(tonumber(value, 16)) - -- end - -- ) + local hex = utils.ConvertAsciiStringToBytes(aestest) + hex = utils.ConvertBytes2HexString(hex) + --local _,hex = bin.unpack(("H%d"):format(16),aestest) + + -- blocks with zero not encrypted. if string.find(blockdata, '^0+$') then - blocks[blockNo+1] = ('%02d :: %s :: %s'):format(blockNo,blockdata,blockdata) + blocks[blockNo+1] = ('%02d :: %s'):format(blockNo,blockdata) else - --blocks[blockNo+1] = ('%02d :: %s :: %s :: %s '):format(blockNo,key,md5hash,hex) - blocks[blockNo+1] = ('%02d :: %s :: %s'):format(blockNo,blockdata,hex) + blocks[blockNo+1] = ('%02d :: %s'):format(blockNo,hex) + io.write( blockNo..',') end end - else -- Sectorblocks, not encrypted - blocks[blockNo+1] = ('%02d :: %s :: %s'):format(blockNo,blockdata,blockdata) + blocks[blockNo+1] = ('%02d :: %s%s'):format(blockNo,key,blockdata:sub(13,32)) end end + io.write('\n') + core.clearCommandBuffer() + -- Print results - print('BLK :: DATA DECRYPTED' ) - print( string.rep('--',36) ) + local bindata = {} + local emldata = '' + for _,s in pairs(blocks) do - print( s ) + local slice = s:sub(8,#s) + local str = utils.ConvertBytesToAsciiString( + utils.ConvertHexStringToBytes(slice) + ) + emldata = emldata..slice..'\n' + for c in (str):gmatch('.') do + bindata[#bindata+1] = c + end end -end + + -- Write dump to files + if not DEBUG then + local foo = dumplib.SaveAsBinary(bindata, outputTemplate..'.bin') + print(("Wrote a BIN dump to the file %s"):format(foo)) + local bar = dumplib.SaveAsText(emldata, outputTemplate..'.eml') + print(("Wrote a EML dump to the file %s"):format(bar)) + end + + local uid = block0:sub(1,8) + local itemtype = block1:sub(1,4) + local cardid = block1:sub(9,24) + + -- Show info + print( string.rep('--',20) ) + print( (' ITEM TYPE : 0x%s - %s'):format(itemtype, toyNames[itemtype]) ) + print( (' UID : 0x%s'):format(uid) ) + print( (' CARDID : 0x%s'):format(cardid ) ) + print( string.rep('--',20) ) + + print('Validating checksums') + -- Checksum Typ 0 + local test1 = ('%s%s'):format(block0, block1:sub(1,28)) + local crc = block1:sub(29,32) + local revcrc = reverseCrcBytes(crc) + + io.write( ('BLOCK 0-1 : %04x = %04x \n'):format(revcrc,computeCrc16(test1))) + + -- Checksum Typ 1 BLOCK 9 + local block9 = blocks[9]:sub(8,35) + test1 = ('%s0500'):format(block9) + crc = blocks[9]:sub(36,39) + revcrc = reverseCrcBytes(crc) + io.write( ('BLOCK 8 : %04x = %04x \n'):format(revcrc,computeCrc16(test1))) + -- Checksum Typ 1 BLOCK 37 + local block37 = blocks[37]:sub(8,35) + test1 = ('%s0500'):format(block37) + crc = blocks[37]:sub(36,39) + revcrc = reverseCrcBytes(crc) + io.write( ('BLOCK 36 : %04x = %04x \n'):format(revcrc,computeCrc16(test1))) + + -- Checksum Typ 2 + -- 10,11,13 + test1 = blocks[10]:sub(8,39).. + blocks[11]:sub(8,39).. + blocks[13]:sub(8,39) + + crc = blocks[9]:sub(32,35) + revcrc = reverseCrcBytes(crc) + io.write( ('BLOCK 10-11-13 :%04x = %04x \n'):format(revcrc,computeCrc16(test1))) + -- Checksum Typ 3 + -- 15,17,18,19 + crc = blocks[9]:sub(28,31) + revcrc = reverseCrcBytes(crc) + test1 = blocks[14]:sub(8,39).. + blocks[15]:sub(8,39).. + blocks[17]:sub(8,39) + + local tohash = test1..string.rep('00',0xe0) + local hashed = computeCrc16(tohash) + io.write( ('BLOCK 14-15-17 %04x = %04x \n'):format(revcrc,hashed)) +end main(args) \ No newline at end of file