Loading ItsSecurity_TestCases.ttcn +6 −5 Original line number Original line Diff line number Diff line Loading @@ -4370,7 +4370,7 @@ module ItsSecurity_TestCases { -, -, v_certificate.toBeSigned.verifyKeyIndicator v_certificate.toBeSigned.verifyKeyIndicator ), ), -, omit, implicit implicit )) )) ) ) Loading @@ -4378,6 +4378,7 @@ module ItsSecurity_TestCases { mw_geoNwShbPacket mw_geoNwShbPacket ))) { ))) { tc_ac.stop; tc_ac.stop; log("*** " & testcasename() & ": PASS: CA message retransmission with implicit certificate ***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); } } [] geoNetworkingPort.receive( [] geoNetworkingPort.receive( Loading Loading @@ -4508,7 +4509,7 @@ module ItsSecurity_TestCases { * Initial conditions: * Initial conditions: * with { * with { * the IUT being in the 'authorized' state * the IUT being in the 'authorized' state * and the IUT current time (CUR_TIME) is inside the time validity period of CERT_TS_A_IMP_AT * and the IUT current time (CUR_TIME) is inside the time validity period of CERT_TS_F_AT_IMP * } * } * Expected behaviour: * Expected behaviour: * ensure that { * ensure that { Loading @@ -4518,17 +4519,17 @@ module ItsSecurity_TestCases { * indicating 3 * indicating 3 * and containing content.signedData * and containing content.signedData * containing hashId * containing hashId * indicating hash algorithm of the reconstruction key of CERT_TS_A_IMP_AT * indicating hash algorithm of the reconstruction key of CERT_TS_F_AT_IMP * and containing tbsData * and containing tbsData * and containing signer * and containing signer * containing certificate * containing certificate * containing 1 item of type EtsiTs103097Certificate * containing 1 item of type EtsiTs103097Certificate * indicating CERT_TS_A_IMP_AT * indicating CERT_TS_F_AT_IMP * and containing signature * and containing signature * containing ecdsaNistP256Signature * containing ecdsaNistP256Signature * containing rSig.x-only * containing rSig.x-only * calculated over the MSG.content.signedData.tbsData * calculated over the MSG.content.signedData.tbsData * using verification key of CERT_TS_A_IMP_AT * using verification key of CERT_TS_F_AT_IMP * } then { * } then { * the IUT accepts the SecuredMessage * the IUT accepts the SecuredMessage * } * } Loading Loading
ItsSecurity_TestCases.ttcn +6 −5 Original line number Original line Diff line number Diff line Loading @@ -4370,7 +4370,7 @@ module ItsSecurity_TestCases { -, -, v_certificate.toBeSigned.verifyKeyIndicator v_certificate.toBeSigned.verifyKeyIndicator ), ), -, omit, implicit implicit )) )) ) ) Loading @@ -4378,6 +4378,7 @@ module ItsSecurity_TestCases { mw_geoNwShbPacket mw_geoNwShbPacket ))) { ))) { tc_ac.stop; tc_ac.stop; log("*** " & testcasename() & ": PASS: CA message retransmission with implicit certificate ***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); } } [] geoNetworkingPort.receive( [] geoNetworkingPort.receive( Loading Loading @@ -4508,7 +4509,7 @@ module ItsSecurity_TestCases { * Initial conditions: * Initial conditions: * with { * with { * the IUT being in the 'authorized' state * the IUT being in the 'authorized' state * and the IUT current time (CUR_TIME) is inside the time validity period of CERT_TS_A_IMP_AT * and the IUT current time (CUR_TIME) is inside the time validity period of CERT_TS_F_AT_IMP * } * } * Expected behaviour: * Expected behaviour: * ensure that { * ensure that { Loading @@ -4518,17 +4519,17 @@ module ItsSecurity_TestCases { * indicating 3 * indicating 3 * and containing content.signedData * and containing content.signedData * containing hashId * containing hashId * indicating hash algorithm of the reconstruction key of CERT_TS_A_IMP_AT * indicating hash algorithm of the reconstruction key of CERT_TS_F_AT_IMP * and containing tbsData * and containing tbsData * and containing signer * and containing signer * containing certificate * containing certificate * containing 1 item of type EtsiTs103097Certificate * containing 1 item of type EtsiTs103097Certificate * indicating CERT_TS_A_IMP_AT * indicating CERT_TS_F_AT_IMP * and containing signature * and containing signature * containing ecdsaNistP256Signature * containing ecdsaNistP256Signature * containing rSig.x-only * containing rSig.x-only * calculated over the MSG.content.signedData.tbsData * calculated over the MSG.content.signedData.tbsData * using verification key of CERT_TS_A_IMP_AT * using verification key of CERT_TS_F_AT_IMP * } then { * } then { * the IUT accepts the SecuredMessage * the IUT accepts the SecuredMessage * } * } Loading