# coding=utf-8 """APDU definitions/decoders of ETSI TS 102 221, the core UICC spec. (C) 2022 by Harald Welte This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see . """ import logging from pySim.construct import * from pySim.filesystem import * from pySim.apdu import ApduCommand, ApduCommandSet from typing import Optional, Dict, Tuple logger = logging.getLogger(__name__) # TS 102 221 Section 11.1.1 class UiccSelect(ApduCommand, n='SELECT', ins=0xA4, cla=['0X', '4X', '6X']): _apdu_case = 4 _construct_p1 = Enum(Byte, df_ef_or_mf_by_file_id=0, child_df_of_current_df=1, parent_df_of_current_df=3, df_name=4, path_from_mf=8, path_from_current_df=9) _construct_p2 = BitStruct(Flag, 'app_session_control'/Enum(BitsInteger(2), activation_reset=0, termination=2), 'return'/Enum(BitsInteger(3), fcp=1, no_data=3), 'aid_control'/Enum(BitsInteger(2), first_or_only=0, last=1, next=2, previous=3)) @staticmethod def _find_aid_substr(selectables, aid) -> Optional[CardADF]: # full-length match if aid in selectables: return selectables[aid] # sub-string match for s in selectables.keys(): if aid[:len(s)] == s: return selectables[s] return None def process_on_lchan(self, lchan: RuntimeLchan): mode = self.cmd_dict['p1'] if mode in ['path_from_mf', 'path_from_current_df']: # rewind to MF, if needed if mode == 'path_from_mf': lchan.selected_file = lchan.rs.mf path = [self.cmd_data[i:i+2] for i in range(0, len(self.cmd_data), 2)] for file in path: file_hex = b2h(file) if file_hex == '7fff': # current application if not lchan.selected_adf: sels = lchan.rs.mf.get_app_selectables(['ANAMES']) # HACK: Assume USIM logger.warning('SELECT relative to current ADF, but no ADF selected. Assuming ADF.USIM') lchan.selected_adf = sels['ADF.USIM'] lchan.selected_file = lchan.selected_adf #print("\tSELECT CUR_ADF %s" % lchan.selected_file) continue else: sels = lchan.selected_file.get_selectables(['FIDS']) if file_hex in sels: if self.successful: #print("\tSELECT %s" % sels[file_hex]) lchan.selected_file = sels[file_hex] else: #print("\tSELECT %s FAILED" % sels[file_hex]) pass continue logger.warning('SELECT UNKNOWN FID %s (%s)' % (file_hex, '/'.join([b2h(x) for x in path]))) elif mode == 'df_ef_or_mf_by_file_id': if len(self.cmd_data) != 2: raise ValueError('Expecting a 2-byte FID') elif mode == 'df_name': # Select by AID (can be sub-string!) aid = self.cmd_dict['body'] sels = lchan.rs.mf.get_app_selectables(['AIDS']) adf = self._find_aid_substr(sels, aid) if adf: lchan.selected_adf = adf lchan.selected_file = lchan.selected_adf #print("\tSELECT AID %s" % adf) else: logger.warning('SELECT UNKNOWN AID %s' % aid) pass else: raise ValueError('Select Mode %s not implemented' % mode) # decode the SELECT response if self.successful: self.file = lchan.selected_file return lchan.selected_file.decode_select_response(self.rsp_dict['body']) return None # TS 102 221 Section 11.1.2 class UiccStatus(ApduCommand, n='STATUS', ins=0xF2, cla=['8X', 'CX', 'EX']): _apdu_case = 2 _construct_p1 = Enum(Byte, no_indication=0, current_app_is_initialized=1, terminal_will_terminate_current_app=2) _construct_p2 = Enum(Byte, response_like_select=0, response_df_name_tlv=1, response_no_data=0x0c) def process_on_lchan(self, lchan): if self.cmd_dict['p2'] == 'response_like_select': return lchan.selected_file.decode_select_response(self.rsp_dict['body']) def _decode_binary_p1p2(p1, p2) -> Dict: ret = {} if p1 & 0x80: ret['file'] = 'sfi' ret['sfi'] = p1 & 0x1f ret['offset'] = p2 else: ret['file'] = 'currently_selected_ef' ret['offset'] = ((p1 & 0x7f) << 8) & p2 return ret # TS 102 221 Section 11.1.3 class ReadBinary(ApduCommand, n='READ BINARY', ins=0xB0, cla=['0X', '4X', '6X']): _apdu_case = 2 def _decode_p1p2(self): return _decode_binary_p1p2(self.p1, self.p2) def process_on_lchan(self, lchan): self._determine_file(lchan) if not isinstance(self.file, TransparentEF): return b2h(self.rsp_data) # our decoders don't work for non-zero offsets / short reads if self.cmd_dict['offset'] != 0 or self.lr < self.file.size[0]: return b2h(self.rsp_data) method = getattr(self.file, 'decode_bin', None) if self.successful and callable(method): return method(self.rsp_data) # TS 102 221 Section 11.1.4 class UpdateBinary(ApduCommand, n='UPDATE BINARY', ins=0xD6, cla=['0X', '4X', '6X']): _apdu_case = 3 def _decode_p1p2(self): return _decode_binary_p1p2(self.p1, self.p2) def process_on_lchan(self, lchan): self._determine_file(lchan) if not isinstance(self.file, TransparentEF): return b2h(self.rsp_data) # our decoders don't work for non-zero offsets / short writes if self.cmd_dict['offset'] != 0 or self.lc < self.file.size[0]: return b2h(self.cmd_data) method = getattr(self.file, 'decode_bin', None) if self.successful and callable(method): return method(self.cmd_data) def _decode_record_p1p2(p1, p2): ret = {} ret['record_number'] = p1 if p2 >> 3 == 0: ret['file'] = 'currently_selected_ef' else: ret['file'] = 'sfi' ret['sfi'] = p2 >> 3 mode = p2 & 0x7 if mode == 2: ret['mode'] = 'next_record' elif mode == 3: ret['mode'] = 'previous_record' elif mode == 8: ret['mode'] = 'absolute_current' return ret # TS 102 221 Section 11.1.5 class ReadRecord(ApduCommand, n='READ RECORD', ins=0xB2, cla=['0X', '4X', '6X']): _apdu_case = 2 def _decode_p1p2(self): r = _decode_record_p1p2(self.p1, self.p2) self.col_id = '%02u' % r['record_number'] return r def process_on_lchan(self, lchan): self._determine_file(lchan) if not isinstance(self.file, LinFixedEF): return b2h(self.rsp_data) method = getattr(self.file, 'decode_record_bin', None) if self.successful and callable(method): return method(self.rsp_data) # TS 102 221 Section 11.1.6 class UpdateRecord(ApduCommand, n='UPDATE RECORD', ins=0xDC, cla=['0X', '4X', '6X']): _apdu_case = 3 def _decode_p1p2(self): r = _decode_record_p1p2(self.p1, self.p2) self.col_id = '%02u' % r['record_number'] return r def process_on_lchan(self, lchan): self._determine_file(lchan) if not isinstance(self.file, LinFixedEF): return b2h(self.cmd_data) method = getattr(self.file, 'decode_record_bin', None) if self.successful and callable(method): return method(self.cmd_data) # TS 102 221 Section 11.1.7 class SearchRecord(ApduCommand, n='SEARCH RECORD', ins=0xA2, cla=['0X', '4X', '6X']): _apdu_case = 4 _construct_rsp = GreedyRange(Int8ub) def _decode_p1p2(self): ret = {} sfi = self.p2 >> 3 if sfi == 0: ret['file'] = 'currently_selected_ef' else: ret['file'] = 'sfi' ret['sfi'] = sfi mode = self.p2 & 0x7 if mode in [0x4, 0x5]: if mode == 0x4: ret['mode'] = 'forward_search' else: ret['mode'] = 'backward_search' ret['record_number'] = self.p1 self.col_id = '%02u' % ret['record_number'] elif mode == 6: ret['mode'] = 'enhanced_search' # TODO: further decode elif mode == 7: ret['mode'] = 'proprietary_search' return ret def _decode_cmd(self): ret = self._decode_p1p2() if self.cmd_data: if ret['mode'] == 'enhanced_search': ret['search_indication'] = b2h(self.cmd_data[:2]) ret['search_string'] = b2h(self.cmd_data[2:]) else: ret['search_string'] = b2h(self.cmd_data) return ret def process_on_lchan(self, lchan): self._determine_file(lchan) return self.to_dict() # TS 102 221 Section 11.1.8 class Increase(ApduCommand, n='INCREASE', ins=0x32, cla=['8X', 'CX', 'EX']): _apdu_case = 4 PinConstructP2 = BitStruct('scope'/Enum(Flag, global_mf=0, specific_df_adf=1), BitsInteger(2), 'reference_data_nr'/BitsInteger(5)) # TS 102 221 Section 11.1.9 class VerifyPin(ApduCommand, n='VERIFY PIN', ins=0x20, cla=['0X', '4X', '6X']): _apdu_case = 3 _construct_p2 = PinConstructP2 @staticmethod def _pin_process(apdu): processed = { 'scope': apdu.cmd_dict['p2']['scope'], 'referenced_data_nr': apdu.cmd_dict['p2']['reference_data_nr'], } if apdu.lc == 0: # this is just a question on the counters remaining processed['mode'] = 'check_remaining_attempts' else: processed['pin'] = b2h(apdu.cmd_data) if apdu.sw[0] == 0x63: processed['remaining_attempts'] = apdu.sw[1] & 0xf return processed @staticmethod def _pin_is_success(sw): if sw[0] == 0x63: return True else: return False def process_on_lchan(self, lchan: RuntimeLchan): return VerifyPin._pin_process(self) def _is_success(self): return VerifyPin._pin_is_success(self.sw) # TS 102 221 Section 11.1.10 class ChangePin(ApduCommand, n='CHANGE PIN', ins=0x24, cla=['0X', '4X', '6X']): _apdu_case = 3 _construct_p2 = PinConstructP2 def process_on_lchan(self, lchan: RuntimeLchan): return VerifyPin._pin_process(self) def _is_success(self): return VerifyPin._pin_is_success(self.sw) # TS 102 221 Section 11.1.11 class DisablePin(ApduCommand, n='DISABLE PIN', ins=0x26, cla=['0X', '4X', '6X']): _apdu_case = 3 _construct_p2 = PinConstructP2 def process_on_lchan(self, lchan: RuntimeLchan): return VerifyPin._pin_process(self) def _is_success(self): return VerifyPin._pin_is_success(self.sw) # TS 102 221 Section 11.1.12 class EnablePin(ApduCommand, n='ENABLE PIN', ins=0x28, cla=['0X', '4X', '6X']): _apdu_case = 3 _construct_p2 = PinConstructP2 def process_on_lchan(self, lchan: RuntimeLchan): return VerifyPin._pin_process(self) def _is_success(self): return VerifyPin._pin_is_success(self.sw) # TS 102 221 Section 11.1.13 class UnblockPin(ApduCommand, n='UNBLOCK PIN', ins=0x2C, cla=['0X', '4X', '6X']): _apdu_case = 3 _construct_p2 = PinConstructP2 def process_on_lchan(self, lchan: RuntimeLchan): return VerifyPin._pin_process(self) def _is_success(self): return VerifyPin._pin_is_success(self.sw) # TS 102 221 Section 11.1.14 class DeactivateFile(ApduCommand, n='DEACTIVATE FILE', ins=0x04, cla=['0X', '4X', '6X']): _apdu_case = 1 _construct_p1 = BitStruct(BitsInteger(4), 'select_mode'/Enum(BitsInteger(4), ef_by_file_id=0, path_from_mf=8, path_from_current_df=9)) # TS 102 221 Section 11.1.15 class ActivateFile(ApduCommand, n='ACTIVATE FILE', ins=0x44, cla=['0X', '4X', '6X']): _apdu_case = 1 _construct_p1 = DeactivateFile._construct_p1 # TS 102 221 Section 11.1.16 auth_p2_construct = BitStruct('scope'/Enum(Flag, mf=0, df_adf_specific=1), BitsInteger(2), 'reference_data_nr'/BitsInteger(5)) class Authenticate88(ApduCommand, n='AUTHENTICATE', ins=0x88, cla=['0X', '4X', '6X']): _apdu_case = 4 _construct_p2 = auth_p2_construct # TS 102 221 Section 11.1.16 class Authenticate89(ApduCommand, n='AUTHENTICATE', ins=0x89, cla=['0X', '4X', '6X']): _apdu_case = 4 _construct_p2 = auth_p2_construct # TS 102 221 Section 11.1.17 class ManageChannel(ApduCommand, n='MANAGE CHANNEL', ins=0x70, cla=['0X', '4X', '6X']): _apdu_case = 2 _construct_p1 = Enum(Flag, open_channel=0, close_channel=1) _construct_p2 = Struct('logical_channel_number'/Int8ub) _construct_rsp = Struct('logical_channel_number'/Int8ub) def process_global(self, rs): if not self.successful: return mode = self.cmd_dict['p1'] if mode == 'open_channel': created_channel_nr = self.cmd_dict['p2']['logical_channel_number'] if created_channel_nr == 0: # auto-assignment by UICC # pylint: disable=unsubscriptable-object created_channel_nr = self.rsp_data[0] manage_channel = rs.get_lchan_by_cla(self.cla) manage_channel.add_lchan(created_channel_nr) self.col_id = '%02u' % created_channel_nr elif mode == 'close_channel': closed_channel_nr = self.cmd_dict['p2'] rs.del_lchan(closed_channel_nr) self.col_id = '%02u' % closed_channel_nr else: raise ValueError('Unsupported MANAGE CHANNEL P1=%02X' % self.p1) # TS 102 221 Section 11.1.18 class GetChallenge(ApduCommand, n='GET CHALLENGE', ins=0x84, cla=['0X', '4X', '6X']): _apdu_case = 2 # TS 102 221 Section 11.1.19 class TerminalCapability(ApduCommand, n='TERMINAL CAPABILITY', ins=0xAA, cla=['8X', 'CX', 'EX']): _apdu_case = 3 # TS 102 221 Section 11.1.20 class ManageSecureChannel(ApduCommand, n='MANAGE SECURE CHANNEL', ins=0x73, cla=['0X', '4X', '6X']): @classmethod def _get_apdu_case(cls, hdr:bytes) -> int: p1 = hdr[2] p2 = hdr[3] if p1 & 0x7 == 0: # retrieve UICC Endpoints return 2 elif p1 & 0xf in [1,2,3]: # establish sa, start secure channel SA p2_cmd = p2 >> 5 if p2_cmd in [0,2,4]: # command data return 3 elif p2_cmd in [1,3,5]: # response data return 2 elif p1 & 0xf == 4: # terminate secure channel SA return 3 raise ValueError('%s: Unable to detect APDU case for %s' % (cls.__name__, b2h(hdr))) # TS 102 221 Section 11.1.21 class TransactData(ApduCommand, n='TRANSACT DATA', ins=0x75, cla=['0X', '4X', '6X']): @classmethod def _get_apdu_case(cls, hdr:bytes) -> int: p1 = hdr[2] if p1 & 0x04: return 3 else: return 2 # TS 102 221 Section 11.1.22 class SuspendUicc(ApduCommand, n='SUSPEND UICC', ins=0x76, cla=['80']): _apdu_case = 4 _construct_p1 = BitStruct('rfu'/BitsInteger(7), 'mode'/Enum(Flag, suspend=0, resume=1)) # TS 102 221 Section 11.1.23 class GetIdentity(ApduCommand, n='GET IDENTITY', ins=0x78, cla=['8X', 'CX', 'EX']): _apdu_case = 4 _construct_p2 = BitStruct('scope'/Enum(Flag, mf=0, df_adf_specific=1), BitsInteger(7)) # TS 102 221 Section 11.1.24 class ExchangeCapabilities(ApduCommand, n='EXCHANGE CAPABILITIES', ins=0x7A, cla=['80']): _apdu_case = 4 # TS 102 221 Section 11.2.1 class TerminalProfile(ApduCommand, n='TERMINAL PROFILE', ins=0x10, cla=['80']): _apdu_case = 3 # TS 102 221 Section 11.2.2 / TS 102 223 class Envelope(ApduCommand, n='ENVELOPE', ins=0xC2, cla=['80']): _apdu_case = 4 # TS 102 221 Section 11.2.3 / TS 102 223 class Fetch(ApduCommand, n='FETCH', ins=0x12, cla=['80']): _apdu_case = 2 # TS 102 221 Section 11.2.3 / TS 102 223 class TerminalResponse(ApduCommand, n='TERMINAL RESPONSE', ins=0x14, cla=['80']): _apdu_case = 3 # TS 102 221 Section 11.3.1 class RetrieveData(ApduCommand, n='RETRIEVE DATA', ins=0xCB, cla=['8X', 'CX', 'EX']): _apdu_case = 4 @staticmethod def _tlv_decode_cmd(self : ApduCommand) -> Dict: c = {} if self.p2 & 0xc0 == 0x80: c['mode'] = 'first_block' sfi = self.p2 & 0x1f if sfi == 0: c['file'] = 'currently_selected_ef' else: c['file'] = 'sfi' c['sfi'] = sfi c['tag'] = i2h([self.cmd_data[0]]) elif self.p2 & 0xdf == 0x00: c['mode'] = 'next_block' elif self.p2 & 0xdf == 0x40: c['mode'] = 'retransmit_previous_block' else: logger.warning('%s: invalid P2=%02x' % (self, self.p2)) return c def _decode_cmd(self): return RetrieveData._tlv_decode_cmd(self) def _decode_rsp(self): # TODO: parse tag/len/val? return b2h(self.rsp_data) # TS 102 221 Section 11.3.2 class SetData(ApduCommand, n='SET DATA', ins=0xDB, cla=['8X', 'CX', 'EX']): _apdu_case = 3 def _decode_cmd(self): c = RetrieveData._tlv_decode_cmd(self) if c['mode'] == 'first_block': if len(self.cmd_data) == 0: c['delete'] = True # TODO: parse tag/len/val? c['data'] = b2h(self.cmd_data) return c # TS 102 221 Section 12.1.1 class GetResponse(ApduCommand, n='GET RESPONSE', ins=0xC0, cla=['0X', '4X', '6X']): _apdu_case = 2 ApduCommands = ApduCommandSet('TS 102 221', cmds=[UiccSelect, UiccStatus, ReadBinary, UpdateBinary, ReadRecord, UpdateRecord, SearchRecord, Increase, VerifyPin, ChangePin, DisablePin, EnablePin, UnblockPin, DeactivateFile, ActivateFile, Authenticate88, Authenticate89, ManageChannel, GetChallenge, TerminalCapability, ManageSecureChannel, TransactData, SuspendUicc, GetIdentity, ExchangeCapabilities, TerminalProfile, Envelope, Fetch, TerminalResponse, RetrieveData, SetData, GetResponse])