X-Git-Url: http://git.zerfleddert.de/cgi-bin/gitweb.cgi/proxmark3-svn/blobdiff_plain/c70cef9734647bed49c76a78f5a10c086e0f2ffc..b22f7a6bc68319533f9c83c24045d4bd79994f1f:/client/scripts/tnp3.lua diff --git a/client/scripts/tnp3.lua b/client/scripts/tnp3.lua index ea7c3a23..77de766f 100644 --- a/client/scripts/tnp3.lua +++ b/client/scripts/tnp3.lua @@ -4,25 +4,34 @@ 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 -k aabbccddeeff + 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 " +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. Arguments: - -h - this help - -k - Sector 0 Key A. + -h : this help + -k : Sector 0 Key A. + -n : Use the nested cmd to find all keys + -o : filename for the saved dumps ]] -local hashconstant = '20436F707972696768742028432920323031302041637469766973696F6E2E20416C6C205269676874732052657365727665642E20' +local HASHCONSTANT = '20436F707972696768742028432920323031302041637469766973696F6E2E20416C6C205269676874732052657365727665642E20' local TIMEOUT = 2000 -- Shouldn't take longer than 2 seconds -local DEBUG = true -- the debug flag +local DEBUG = false -- the debug flag local numBlocks = 64 local numSectors = 16 --- @@ -63,19 +72,10 @@ function ExitMsg(msg) print() end -local function show(data) - if DEBUG then - local formatString = ("H%d"):format(string.len(data)) - local _,hexdata = bin.unpack(formatString, data) - dbg("Hexdata" , hexdata) - end -end - local function readdumpkeys(infile) t = infile:read("*all") len = string.len(t) local len,hex = bin.unpack(("H%d"):format(len),t) - --print(len,hex) return hex end @@ -93,22 +93,35 @@ 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 local err + 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:') 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. @@ -116,39 +129,42 @@ 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 - print(err) - return + return oops(err) end - print((' Found tag : %s'):format(result.name)) core.clearCommandBuffer() if 0x01 ~= result.sak then -- NXP MIFARE TNP3xxx - print('This is not a TNP3xxx tag. aborting.') - return + 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) ) - print('Trying to find other keys. ') - --core.console( ('hf mf nested 1 0 A %s d'):format(keyA) ) - - -- Reading found keys file - local infile = io.open(input, "rb") - if infile == nil then - return oops('Could not read file ', input) + --Trying to find the other keys + if useNested then + core.console( ('hf mf nested 1 0 A %s d'):format(keyA) ) end - local akeys = readdumpkeys(infile):sub(0,12*16) - - --print( ('KEYS: %s'):format(akeys)) - print('Reading data need to dump data') + core.clearCommandBuffer() + -- Loading keyfile + print('Loading dumpkeys.bin') + local hex, err = utils.ReadDumpFile(input) + if not hex then + return oops(err) + end + + local akeys = hex:sub(0,12*16) + -- Read block 0 cmd = Command:new{cmd = cmds.CMD_MIFARE_READBL, arg1 = 0,arg2 = 0,arg3 = 0, data = keyA} err = core.SendCommand(cmd:getBytes()) @@ -158,52 +174,100 @@ local function main(args) -- Read block 1 cmd = Command:new{cmd = cmds.CMD_MIFARE_READBL, arg1 = 1,arg2 = 0,arg3 = 0, data = keyA} - local err = core.SendCommand(cmd:getBytes()) + err = core.SendCommand(cmd:getBytes()) if err then return oops(err) end local block1, err = waitCmd() if err then return oops(err) end - print('Dumping data') + local key + local pos = 0 + local blockNo + local blocks = {} + print('Reading card data') + core.clearCommandBuffer() + -- main loop - print('BLOCK MD5 DECRYPTED ASCII' ) + io.write('Decrypting blocks > ') + for blockNo = 0, numBlocks-1, 1 do - local key - local keyPosStart = 0 - local block - for block = 0, numBlocks-1, 1 do - local b = (block+1)%4 - if b ~= 0 then - keyPosStart = (math.floor( block / 4 ) * 12)+1 - key = akeys:sub(keyPosStart, keyPosStart + 12 ) - --print( ('%02d %s'):format(block, key)) - - cmd = Command:new{cmd = cmds.CMD_MIFARE_READBL, arg1 = block ,arg2 = 0,arg3 = 0, data = key} - local err = core.SendCommand(cmd:getBytes()) - if err then return oops(err) end - local blockdata, err = waitCmd() - if err then return oops(err) end + if core.ukbhit() then + print("aborted by user") + break + end - local base = ('%s%s%02d%s'):format(block0, block1, block, hashconstant) - local md5hash = md5.sumhexa(base) - 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 - ) + pos = (math.floor( blockNo / 4 ) * 12)+1 + key = akeys:sub(pos, pos + 11 ) + cmd = Command:new{cmd = cmds.CMD_MIFARE_READBL, arg1 = blockNo ,arg2 = 0,arg3 = 0, data = key} + local err = core.SendCommand(cmd:getBytes()) + if err then return oops(err) end + local blockdata, err = waitCmd() + if err then return oops(err) end - print( ('%02d :: %s :: %s :: %s :: %s'):format(block,key,md5hash,hex,hexascii) ) - - if core.ukbhit() then - print("aborted by user") - break + if blockNo%4 ~= 3 then + if blockNo < 8 then + -- Block 0-7 not encrypted + blocks[blockNo+1] = ('%02d :: %s'):format(blockNo,blockdata) + else + 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 = utils.ConvertAsciiToBytes(aestest) + hex = utils.ConvertBytesToHex(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'):format(blockNo,blockdata) + else + 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,key,blockdata:sub(13,32)) end end -end + io.write('\n') + + core.clearCommandBuffer() + + -- Print results + local bindata = {} + local emldata = '' + + for _,s in pairs(blocks) do + local slice = s:sub(8,#s) + local str = utils.ConvertBytesToAscii( + utils.ConvertHexToBytes(slice) + ) + emldata = emldata..slice..'\n' + for c in (str):gmatch('.') do + bindata[#bindata+1] = c + 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) ) +end main(args) \ No newline at end of file