Commit f2e7dfca authored by garciay's avatar garciay
Browse files

STF538: Certificate TPs implementation

parent 27e151b1

ttcn/AtsSecurity/ItsSecurity_TestCases.ttcn

+2013 −2043

File changed.

Preview size limit exceeded, changes collapsed.

ttcn/TestCodec/TestCodec_ChainOfCertificates.ttcn

+3 −9
Original line number Original line Diff line number Diff line
@@ -137,9 +137,6 @@ module TestCodec_ChainOfCertificates { 
                                           );

                                           );

    // Build the secured message and sign it

    // Build the secured message and sign it

  v_secured_data := f_build_and_sign_secured_message_nistP256_1(v_gnNonSecuredPacket, v_chain_sec_info.at);

  v_secured_data := f_build_and_sign_secured_message_nistP256_1(v_gnNonSecuredPacket, v_chain_sec_info.at);

    //log("################", m_geoNwSecPdu(v_gnNonSecuredPacket, v_secured_data));

    //v_gnSecuredPacket := m_geoNwSecPdu(v_gnNonSecuredPacket, v_secured_data);

    //log("tc_full_check_certificate_1: Final GeoNetworking secured message: ", v_gnSecuredPacket);





    // Verify signature of secured messagee by AT certificate

    // Verify signature of secured messagee by AT certificate

    v_enc_msg := encvalue(v_secured_data.content.signedData.tbsData);

    v_enc_msg := encvalue(v_secured_data.content.signedData.tbsData);
@@ -253,17 +250,14 @@ module TestCodec_ChainOfCertificates { 
                                           );

                                           );

    // Build the secured message and sign it

    // Build the secured message and sign it

  v_secured_data := f_build_and_sign_secured_message_brainpoolP256_1(v_gnNonSecuredPacket, v_chain_sec_info.at);

  v_secured_data := f_build_and_sign_secured_message_brainpoolP256_1(v_gnNonSecuredPacket, v_chain_sec_info.at);

    //log("################", m_geoNwSecPdu(v_gnNonSecuredPacket, v_secured_data));

    //v_gnSecuredPacket := m_geoNwSecPdu(v_gnNonSecuredPacket, v_secured_data);

    //log("tc_full_check_certificate_1: Final GeoNetworking secured message: ", v_gnSecuredPacket);





    // Verify signature of secured messagee by AT certificate

    // Verify signature of secured messagee by AT certificate

  v_enc_msg := encvalue(v_secured_data.content.signedData.tbsData);

  v_enc_msg := encvalue(v_secured_data.content.signedData.tbsData);

    if (f_verifyWithEcdsaBrainpoolp256WithSha256(

    if (f_verifyWithEcdsaBrainpoolp256WithSha256(

                                                 bit2oct(v_enc_msg),

                                                 bit2oct(v_enc_msg),

                                                 valueof(v_gnSecuredPacket.gnPacket.securedMsg.content.signedData.signature_.ecdsaBrainpoolP256r1Signature.rSig.x_only & v_gnSecuredPacket.gnPacket.securedMsg.content.signedData.signature_.ecdsaBrainpoolP256r1Signature.sSig),

                                                 valueof(v_secured_data.content.signedData.signature_.ecdsaNistP256Signature.rSig.x_only & v_secured_data.content.signedData.signature_.ecdsaNistP256Signature.sSig),

                                                 v_chain_sec_info.at.cert.toBeSigned.verifyKeyIndicator.verificationKey.ecdsaBrainpoolP256r1.uncompressedP256.x,

                                                 v_chain_sec_info.aa.cert.toBeSigned.verifyKeyIndicator.verificationKey.ecdsaBrainpoolP256r1.uncompressedP256.x,

                                                 v_chain_sec_info.at.cert.toBeSigned.verifyKeyIndicator.verificationKey.ecdsaBrainpoolP256r1.uncompressedP256.y

                                                 v_chain_sec_info.aa.cert.toBeSigned.verifyKeyIndicator.verificationKey.ecdsaBrainpoolP256r1.uncompressedP256.y

                                                 ) == false) {

                                                 ) == false) {

      setverdict(fail);

      setverdict(fail);

    } else {

    } else {

ttcn/TestCodec/TestCodec_DENM.ttcn

+1 −1
Original line number Original line Diff line number Diff line
@@ -484,7 +484,7 @@ module TestCodec_DENM { 
                           );

                           );

        denmPort.send(v_denmReq);

        denmPort.send(v_denmReq);

        tc_ac.start;

        tc_ac.start;

        tc_send.start

        tc_send.start;

        alt {

        alt {

          [] tc_send.timeout {

          [] tc_send.timeout {

      v_denmReq := valueof(

      v_denmReq := valueof(