L'état de départ :
|
(TransEc = FALSE & \n APDUR_StatusWord /= APDU_ISOSW_Ok)
|
L'état d'arrivée :
|
(TransEc = FALSE & \n APDUR_StatusWord /= APDU_ISOSW_Ok)
|
|
Événement numero 1
|
Nom de l'événement :
|
Reset_ProcessAPDU
|
Condition declanchabilité :
|
True
|
Condition atteignabilité :
|
True
|
Événement numero 2
|
Nom de l'événement :
|
ResetSecuLevel
|
Condition declanchabilité :
|
True
|
Condition atteignabilité :
|
True
|
Événement numero 3
|
Nom de l'événement :
|
INS_APDU_StoreData
|
Condition declanchabilité :
|
|
Condition atteignabilité :
|
|
Événement numero 4
|
Nom de l'événement :
|
INS_APDU_InitializeUpdate
|
Condition declanchabilité :
|
|
Condition atteignabilité :
|
|
Événement numero 5
|
Nom de l'événement :
|
INS_APDU_ExternalAuthentification
|
Condition declanchabilité :
|
|
Condition atteignabilité :
|
|
Événement numero 6
|
Nom de l'événement :
|
INS_APDU_InitializeTransaction
|
Condition declanchabilité :
|
|
Condition atteignabilité :
|
True
|
Événement numero 7
|
Nom de l'événement :
|
INS_APDU_VerifyPIN
|
Condition declanchabilité :
|
|
Condition atteignabilité :
|
True
|