Smart Cards; Test specification for the UICC Application Programming Interface (API) for Java CardTM (Release 7)