Skip to content
GitLab
Find file Normal viewHistoryPermalink
ItsSecurity_TestCases.ttcn3 1.39 MB
Newer Older
garciay's avatar
STF507 week#11:  
garciay committed
9001 9002 9003 9004 9005 9006 9007 9008 9009 9010 9011 9012 9013 9014 9015 9016 9017 9018 9019 9020 9021 9022 9023 9024 9025 9026 9027 9028 9029 9030 9031 9032 9033 9034 9035 
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredCam(
                    cc_taCert_A, 
                    {
                        m_header_field_signer_info(
                            m_signerInfo_digest(
                                vc_atCertificate.signer_info.signerInfo.digest
                        )), 
                        m_header_field_generation_time(1000 * f_getCurrentTime()) // In us
                    }, 
                    e_certificate_digest_with_sha256,
                    false
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                
                f_sleep(PX_TNOAC);
                v_sentRawPayload := f_adaptPayloadForUtInd_m(v_securedGnPdu.gnPacket.packet.payload);
                for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
                    // Empty on purpose 
                } // End of 'for' statement
                if (i < lengthof(vc_utInds)) {
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
                }
                else {
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
            } // End of testcase TC_SEC_ITSS_RCV_CAM_04_06a_BO
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9036 9037 9038 9039 9040 9041 9042 9043 
            /**
             * @desc    Check that IUT discards a secured CAM if the header fields are not in the ascending order according to the numbering of the enumeration
             * <pre>
             * Pics Selection: PICS_GN_SECURITY
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *  the IUT being in the 'authorized' state
garciay's avatar
STF507: Week #6  
garciay committed
9044 
             *  and the IUT current time is inside the time validity period of CERT_TS_A_AT
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9045 9046 9047 9048 9049 9050 9051 9052 9053 9054 9055 9056 9057 9058 9059 9060 9061 9062 9063 9064 
             * } 
             * ensure that { 
             *  when {  
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1]
             *              containing type
             *                  indicating 'its_aid'
             *              containing its_aid
             *                  indicating 'AID_CAM'
             *          and containing header_fields[2].type
             *              indicating 'generation_time'
             *       and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
9065 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_CAM_04_07_BO
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9066 9067 9068 9069 9070 9071 9072 9073 9074 9075 9076 9077 9078 9079 9080 
             * @reference    ETSI TS 103 097 [1], clause 7.1
             */
            testcase TC_SEC_ITSS_RCV_CAM_04_07_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                
                // Test adapter configuration
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
                    stop;
                }
garciay's avatar
STF507: Week #7  
garciay committed
9081 
                // Test component configuration
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9082 9083 9084 9085 9086 9087 9088 9089 9090 9091 9092 9093 9094 9095 9096 9097 9098 9099 9100 9101 9102 9103 9104 9105 9106 9107 9108 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredCam(
                    cc_taCert_A, 
                    {
                        m_header_field_signer_info(
                            m_signerInfo_digest(
                                vc_atCertificate.signer_info.signerInfo.digest
                        )), 
                        m_header_field_its_aid_CAM,
                        m_header_field_generation_time(1000 * f_getCurrentTime()) // In us
                    }, 
                    e_certificate_digest_with_sha256,
                    false
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                
                f_sleep(PX_TNOAC);
                v_sentRawPayload := f_adaptPayloadForUtInd_m(v_securedGnPdu.gnPacket.packet.payload);
                for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
garciay's avatar
STF507 week#11:  
garciay committed
9109 
                    // Empty on purpose
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9110 9111 9112 9113 9114 9115 9116 9117 9118 9119 9120 9121 9122 9123 9124 9125 9126 9127 9128 9129 9130 9131 9132 
                } // End of 'for' statement
                if (i < lengthof(vc_utInds)) {
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
                }
                else {
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
            } // End of testcase TC_SEC_ITSS_RCV_CAM_04_07_BO
            
            /**
             * @desc    Check that IUT ignores the HeaderFields generation_time_standard_deviation of received Secured CAM
             * <pre>
             * Pics Selection: PICS_GN_SECURITY
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *  the IUT being in the 'authorized' state
garciay's avatar
STF507: Week #6  
garciay committed
9133 
             *  and the IUT current time is inside the time validity period of CERT_TS_A_AT
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9134 9135 9136 9137 9138 9139 9140 9141 9142 9143 9144 9145 9146 9147 9148 9149 9150 9151 9152 9153 9154 9155 9156 9157 
             * } 
             * ensure that { 
             *  when {  
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *                  indicating TIME_1 inside the validity period of the signer certificate
             *          and containing header_fields[2].type
             *              indicating 'generation_time_with_standard_deviation'
             *                  indicating TIME_2 inside the validity period of the signer certificate
             *          and containing header_fields[3]
             *              containing type
             *                  indicating 'its_aid'
             *              containing its_aid
             *                  indicating 'AID_CAM'
             *       and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
9158 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_CAM_04_08_BO
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9159 9160 9161 9162 9163 9164 9165 9166 9167 9168 9169 9170 9171 9172 9173 
             * @reference    ETSI TS 103 097 [1], clause 7.1
             */
            testcase TC_SEC_ITSS_RCV_CAM_04_08_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                
                // Test adapter configuration
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
                    stop;
                }
garciay's avatar
STF507: Week #7  
garciay committed
9174 
                // Test component configuration
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9175 9176 9177 9178 9179 9180 9181 9182 9183 9184 9185 9186 9187 9188 9189 9190 9191 9192 9193 9194 9195 9196 9197 9198 9199 9200 9201 9202 9203 9204 9205 9206 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredCam(
                    cc_taCert_A, 
                    {
                        m_header_field_signer_info(
                            m_signerInfo_digest(
                                vc_atCertificate.signer_info.signerInfo.digest
                        )), 
                        m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                        m_header_field_generation_time_with_standard_deviation(
                            m_time64WithStandardDeviation(
                                1000, // In us
                                0
                        )), 
                        m_header_field_its_aid_CAM
                    }, 
                    e_certificate_digest_with_sha256,
                    false
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                
                f_sleep(PX_TNOAC);
                v_sentRawPayload := f_adaptPayloadForUtInd_m(v_securedGnPdu.gnPacket.packet.payload);
                for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
garciay's avatar
STF507 week#11:  
garciay committed
9207 
                    // Empty on purpose
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9208 9209 9210 9211 9212 9213 9214 9215 9216 9217 9218 9219 9220 9221 9222 9223 9224 9225 9226 9227 9228 9229 9230 
                } // End of 'for' statement
                if (i < lengthof(vc_utInds)) {
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
                }
                else {
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
            } // End of testcase TC_SEC_ITSS_RCV_CAM_04_08_BO
            
            /**
             * @desc    Check that IUT ignores the HeaderFields generation_time_standard_deviation of received Secured CAM
             * <pre>
             * Pics Selection: PICS_GN_SECURITY
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *  the IUT being in the 'authorized' state
garciay's avatar
STF507: Week #6  
garciay committed
9231 
             *  and the IUT current time is inside the time validity period of CERT_TS_A_AT
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9232 9233 9234 9235 9236 9237 9238 9239 9240 9241 9242 9243 9244 9245 9246 9247 9248 9249 9250 9251 9252 9253 9254 9255 
             * } 
             * ensure that { 
             *  when {  
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *                  indicating TIME_1 outside the validity period of the signer certificate
             *          and containing header_fields[2].type
             *              indicating 'generation_time_with_standard_deviation'
             *                  indicating TIME_2 inside the validity period of the signer certificate
             *          and containing header_fields[3]
             *              containing type
             *                  indicating 'its_aid'
             *              containing its_aid
             *                  indicating 'AID_CAM'
             *       and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
9256 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_CAM_04_09_BO
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9257 9258 9259 9260 9261 9262 9263 9264 9265 9266 9267 9268 9269 9270 9271 
             * @reference    ETSI TS 103 097 [1], clause 7.1
             */
            testcase TC_SEC_ITSS_RCV_CAM_04_09_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                
                // Test adapter configuration
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
                    stop;
                }
garciay's avatar
STF507: Week #7  
garciay committed
9272 
                // Test component configuration
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9273 9274 9275 9276 9277 9278 9279 9280 9281 9282 9283 9284 9285 9286 9287 9288 9289 9290 9291 9292 9293 9294 9295 9296 9297 9298 9299 9300 9301 9302 9303 9304 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredCam(
                    cc_taCert_A, 
                    {
                        m_header_field_signer_info(
                            m_signerInfo_digest(
                                vc_atCertificate.signer_info.signerInfo.digest
                        )), 
                        m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                        m_header_field_generation_time_with_standard_deviation(
                            m_time64WithStandardDeviation(
                                1000 * f_getCurrentTime(), // In us
                                0
                        )), 
                        m_header_field_its_aid_CAM
                    }, 
                    e_certificate_digest_with_sha256,
                    false
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                
                f_sleep(PX_TNOAC);
                v_sentRawPayload := f_adaptPayloadForUtInd_m(v_securedGnPdu.gnPacket.packet.payload);
                for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
garciay's avatar
STF507 week#11:  
garciay committed
9305 
                    // Empty on purpose
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9306 9307 9308 9309 9310 9311 9312 9313 9314 9315 9316 9317 9318 9319 9320 9321 9322 9323 9324 9325 9326 9327 9328 
                } // End of 'for' statement
                if (i < lengthof(vc_utInds)) {
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
                }
                else {
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
            } // End of testcase TC_SEC_ITSS_RCV_CAM_04_09_BO
            
            /**
             * @desc    Check that IUT discards the Secured CAM containing the expiry_time HeaderField
             * <pre>
             * Pics Selection: PICS_GN_SECURITY
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *  the IUT being in the 'authorized' state
garciay's avatar
STF507: Week #6  
garciay committed
9329 
             *  and the IUT current time is inside the time validity period of CERT_TS_A_AT
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9330 9331 9332 9333 9334 9335 9336 9337 9338 9339 9340 9341 9342 9343 9344 9345 9346 9347 9348 9349 9350 9351 9352 9353 9354 9355 
             * } 
             * ensure that { 
             *  when {  
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *                  indicating CURRENT_TIME
             *          and containing header_fields[2]
             *              containing type
             *                  indicating 'expiration'
             *              and containing expiry_time
             *                  indicating CURRENT_TIME + 1h
             *          and containing header_fields[3]
             *              containing type
             *                  indicating 'its_aid'
             *              containing its_aid
             *                  indicating 'AID_CAM'
             *       and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
9356 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_CAM_04_10_BO
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9357 9358 9359 9360 9361 9362 9363 9364 9365 9366 9367 9368 9369 9370 9371 
             * @reference    ETSI TS 103 097 [1], clause 7.1
             */
            testcase TC_SEC_ITSS_RCV_CAM_04_10_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                
                // Test adapter configuration
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
                    stop;
                }
garciay's avatar
STF507: Week #7  
garciay committed
9372 
                // Test component configuration
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9373 9374 9375 9376 9377 9378 9379 9380 9381 9382 9383 9384 9385 9386 9387 9388 9389 9390 9391 9392 9393 9394 9395 9396 9397 9398 9399 9400 9401 9402 9403 9404 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredCam(
                    cc_taCert_A, 
                    {
                        m_header_field_signer_info(
                            m_signerInfo_digest(
                                vc_atCertificate.signer_info.signerInfo.digest
                        )), 
                        m_header_field_generation_time(
                            1000 * f_getCurrentTime()
                        ), // In us
                        m_header_field_expiry_time(
                            f_getCurrentTime() - 3600/*1h*/
                        ), 
                        m_header_field_its_aid_CAM
                    }, 
                    e_certificate_digest_with_sha256,
                    false
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                
                f_sleep(PX_TNOAC);
                v_sentRawPayload := f_adaptPayloadForUtInd_m(v_securedGnPdu.gnPacket.packet.payload);
                for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
garciay's avatar
STF507 week#11:  
garciay committed
9405 
                    // Empty on purpose
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9406 9407 9408 9409 9410 9411 9412 9413 9414 9415 9416 9417 9418 9419 9420 9421 9422 9423 9424 9425 9426 9427 
                } // End of 'for' statement
                if (i < lengthof(vc_utInds)) {
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
                }
                else {
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
            } // End of testcase TC_SEC_ITSS_RCV_CAM_04_10_BO
            
            /**
             * @desc    Check that IUT ignores the HeaderFields generation_location of received Secured CAM
             * <pre>
             * Pics Selection: PICS_GN_SECURITY
             * Config Id: CF01
             * Initial conditions:
             * with {
garciay's avatar
STF507: Week #6  
garciay committed
9428 9429 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9430 9431 9432 9433 9434 9435 9436 9437 9438 9439 9440 9441 9442 9443 9444 9445 9446 9447 9448 9449 9450 9451 9452 9453 9454 9455 9456 9457 9458 9459 9460 
             * } 
             * ensure that { 
             *  when {  
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *              and containing signer
             *                  containing type
             *                      indicating certificate
             *                  and containing certificate (CERT_TS_AT_B)
             *                      containing validity_restrictions['region']
             *                          containing region (X_CERT_REGION)
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *          and containing header_fields[2]
             *              containing type
             *                  indicating 'generation_location'
             *              and containing generation_location
             *                  indicating position outside of the validity restriction of X_CERT_REGION
             *          and containing header_fields[3]
             *              containing type
             *                  indicating 'its_aid'
             *              containing its_aid
             *                  indicating 'AID_CAM'
             *       and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
9461 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_CAM_04_11_BO
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9462 9463 9464 9465 9466 9467 9468 9469 9470 9471 9472 9473 9474 9475 9476 
             * @reference    ETSI TS 103 097 [1], clause 7.1
             */
            testcase TC_SEC_ITSS_RCV_CAM_04_11_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                
                // Test adapter configuration
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
                    stop;
                }
garciay's avatar
STF507: Week #7  
garciay committed
9477 
                // Test component configuration
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9478 9479 9480 9481 9482 9483 9484 9485 9486 9487 9488 9489 9490 9491 9492 9493 9494 9495 9496 9497 9498 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredCam(
                    cc_taCert_B, 
                    {
                        m_header_field_generation_time(1000 * (f_getCurrentTime())), // In us
                        m_header_field_generation_location(
                            m_threeDLocation(
                                PX_WGSLONGITUDE,
                                PX_WGSLATITUDE,
                                int2oct(0, 2)
                            )
                        ), 
                        m_header_field_its_aid_CAM
garciay's avatar
STF507: Week #1  
garciay committed
9499 
                    },
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9500 9501 
                    e_certificate,
                    true
garciay's avatar
STF507: Week #1  
garciay committed
9502 
                );
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9503 9504 9505 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                
                f_sleep(PX_TNOAC);
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9506 9507 
                v_sentRawPayload := f_adaptPayloadForUtInd_m(v_securedGnPdu.gnPacket.packet.payload);
                for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
garciay's avatar
STF507 week#11:  
garciay committed
9508 
                    // Empty on purpose
garciay's avatar
STF507: Week #1  
garciay committed
9509 9510 9511 
                } // End of 'for' statement
                if (i < lengthof(vc_utInds)) {
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9512 
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9513 9514 
                }
                else {
garciay's avatar
STF507: Week #1  
garciay committed
9515 
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9516 
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9517 9518 9519 9520 9521 
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9522 
            } // End of testcase TC_SEC_ITSS_RCV_CAM_04_11_BO
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9523
garciay's avatar
STF507: Week #6  
garciay committed
9524 9525 9526 9527 9528 9529 9530 9531 9532 9533 9534 9535 9536 9537 9538 9539 9540 9541 9542 9543 9544 9545 9546 9547 9548 9549 9550 9551 9552 9553 9554 9555 9556 
            /**
             * @desc    Check that IUT accepts the Secured CAM containing additional non-standard HeaderField
             * <pre>
             * Pics Selection: PICS_GN_SECURITY
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
             * } 
             * ensure that { 
             *  when {  
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *          and containing header_fields[2].type
             *                  indicating 'its_aid'
             *              containing its_aid
             *                  indicating 'AID_CAM'
             *          and containing header_fields[3]
             *              containing type
             *                  indicating non-standard header field type (200)
             *              and containing other_header
             *                  indicating non-empty data
             *          and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
9557 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_CAM_04_12_BV
garciay's avatar
STF507: Week #6  
garciay committed
9558 9559 9560 9561 9562 9563 9564 9565 9566 9567 9568 9569 9570 9571 9572 
             * @reference    ETSI TS 103 097 [1], clause 7.1
             */
            testcase TC_SEC_ITSS_RCV_CAM_04_12_BV() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                
                // Test adapter configuration
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
                    stop;
                }
garciay's avatar
STF507: Week #7  
garciay committed
9573 
                // Test component configuration
garciay's avatar
STF507: Week #6  
garciay committed
9574 9575 9576 9577 9578 9579 9580 9581 9582 9583 9584 9585 9586 9587 9588 9589 9590 9591 9592 9593 9594 9595 9596 9597 9598 9599 9600 9601 9602 9603 9604 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredCam(
                    cc_taCert_B, 
                    {
                        m_header_field_generation_time(1000 * (f_getCurrentTime())), // In us
                        m_header_field_generation_location(
                            m_threeDLocation(
                                PX_WGSLONGITUDE,
                                PX_WGSLATITUDE,
                                int2oct(0, 2)
                            )
                        ), 
                        m_header_field_its_aid_CAM,
                        m_header_field_unspecify
                    }, 
                    e_certificate_digest_with_sha256,
                    true
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                
                f_sleep(PX_TNOAC);
                v_sentRawPayload := f_adaptPayloadForUtInd_m(v_securedGnPdu.gnPacket.packet.payload);
                for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
garciay's avatar
STF507 week#11:  
garciay committed
9605 
                    // Empty on purpose
garciay's avatar
STF507: Week #6  
garciay committed
9606 9607 9608 9609 9610 9611 9612 9613 9614 9615 9616 9617 9618 9619 9620 9621 
                } // End of 'for' statement
                if (i < lengthof(vc_utInds)) {
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
                }
                else {
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
            } // End of testcase TC_SEC_ITSS_RCV_CAM_04_12_BV
            
            /**
garciay's avatar
STF507 week#11:  
garciay committed
9622 
             * @desc    Check that IUT discards the Secured CAM containing the header field 'encryption_parameter and recipient_info'
garciay's avatar
STF507: Week #6  
garciay committed
9623 9624 9625 9626 9627 9628 9629 9630 9631 9632 9633 9634 9635 9636 9637 9638 9639 9640 9641 9642 9643 9644 9645 9646 9647 9648 9649 9650 9651 9652 9653 9654 9655 9656 9657 9658 9659 9660 9661 9662 9663 9664 9665 
             * <pre>
             * Pics Selection: PICS_GN_SECURITY
             * Config Id: CF01
             * Initial conditions:
             * with { 
             *    the IUT being in the 'authorized' state 
             *    and the IUT current time is inside the time validity period of CERT_TS_A_AT
             * } 
             * ensure that { 
             *  when {  
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *          and containing header_fields[2].type
             *                  indicating 'its_aid'
             *              containing its_aid
             *                  indicating 'AID_CAM'
             *          and containing header_fields[3]
             *              containing type
             *                  indicating 'encryption_parameters'
             *              and containing enc_params
             *                  containing symm_algorithm
             *                      indicating 'aes_128_ccm'
             *                  and containing nonce
             *              and containing header_fields[4]
             *                  containing type
             *                      indicating 'recipient_info'
             *                  and containing recipients
             *                      containing recipients[0]
             *                          containing cert_id
             *                              referencing to CERT_IUT_A_AT
             *                          and containing pk_encryption
             *                              indicating 'ecies_nistp256'
             *                          and containing enc_key
             *          and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
9666 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_CAM_04_13_BO
garciay's avatar
STF507: Week #6  
garciay committed
9667 9668 9669 9670 9671 9672 9673 9674 9675 9676 9677 9678 9679 9680 9681 9682 9683 
             * @reference    ETSI TS 103 097 [1], clause 7.1
             */
            testcase TC_SEC_ITSS_RCV_CAM_04_13_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                var Certificate v_iutATCertificate;
                var SubjectAttribute v_encryption_key;
                
                // Test adapter configuration
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
                    stop;
                }
garciay's avatar
STF507: Week #7  
garciay committed
9684 
                // Test component configuration
garciay's avatar
STF507: Week #6  
garciay committed
9685 9686 9687 9688 9689 9690 9691 9692 9693 9694 9695 9696 9697 9698 9699 9700 9701 9702 9703 9704 9705 9706 9707 9708 9709 9710 9711 9712 9713 9714 9715 9716 9717 9718 9719 9720 9721 9722 9723 9724 9725 9726 9727 9728 9729 9730 9731 9732 9733 9734 9735 9736 9737 9738 9739 9740 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                if (
                    (f_readCertificate(cc_iutCert_A, v_iutATCertificate) == false) or 
                    (f_getCertificateSubjectAttribute(v_iutATCertificate, e_encryption_key, v_encryption_key) == false)
                    ) {
                    f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_timeout); // Set verdict to inconc
                } else {
                    v_securedGnPdu := f_prepareSecuredCam(
                        cc_taCert_B, 
                        {
                            m_header_field_generation_time(1000 * (f_getCurrentTime())), // In us
                            m_header_field_generation_location(
                                m_threeDLocation(
                                    PX_WGSLONGITUDE,
                                    PX_WGSLATITUDE,
                                    int2oct(0, 2)
                                )
                            ), 
                            m_header_field_its_aid_CAM,                                 // containing header_fields[2].type
                                                                                        //     indicating 'its_aid'
                            m_header_field_enc_params(                                  // containing header_fields[3].type.enc_params
                                m_encryptionParameters_aes_128_ccm(                     //      indicating 'aes_128_ccm'
                                    PX_ENCRYPTIONPARAMETERS_AES_128_CCM_NONCE           // and containing nonce
                                )
                            ),
                            m_header_field_multiple_recipients(                         // containing header_fields[4].type
                                {                                                       //     indicating 'encryption_parameters'
                                    m_recipientInfo_ecies_enc_key(
                                        v_iutATCertificate.signer_info.signerInfo.digest,
                                        e_ecies_nistp256,                               // containing symm_algorithm
                                                                                        //     indicating 'aes_128_ccm'
                                        m_eciesEncryptedKey_aesccm(
                                            v_encryption_key.attribute.rv,
                                            '00000000000000000000000000000000'O, // FIXME Where to find these values
                                            '00000000000000000000000000000000'O
                                        )
                                    )
                                }
                            )
                        }, 
                        e_certificate_digest_with_sha256,
                        true
                    ); 
                    f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                    
                    f_sleep(PX_TNOAC);
                    v_sentRawPayload := f_adaptPayloadForUtInd_m(v_securedGnPdu.gnPacket.packet.payload);
                    for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
garciay's avatar
STF507 week#11:  
garciay committed
9741 
                        // Empty on purpose
garciay's avatar
STF507: Week #6  
garciay committed
9742 9743 9744 9745 9746 9747 9748 9749 9750 9751 9752 9753 9754 9755 9756 9757 
                    } // End of 'for' statement
                    if (i < lengthof(vc_utInds)) {
                        log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
                        f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
                    }
                    else {
                        log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                        f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                    }
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
            } // End of testcase TC_SEC_ITSS_RCV_CAM_04_13_BO
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9758 
            /**
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9759 
             * @desc    Check that IUT discards a secured CAM if the header_fields contains a signer of type 'self'
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9760 
             * <pre>
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9761 
             * Pics Selection: PICS_GN_SECURITY
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9762 9763 
             * Config Id: CF01
             * Initial conditions:
garciay's avatar
STF507: Week #1  
garciay committed
9764 9765 
             * with { 
             *  the IUT being in the 'authorized' state
garciay's avatar
STF507 week#11:  
garciay committed
9766 
             *  and the IUT current time is inside the time validity period of CERT_TS_A_AT
garciay's avatar
STF507: Week #1  
garciay committed
9767 9768 
             * } 
             * ensure that {
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9769 9770 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)
garciay's avatar
STF507: Week #1  
garciay committed
9771 9772 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9773 9774 
             *                  containing signer.type
             *                      indicating 'self'
garciay's avatar
STF507: Week #1  
garciay committed
9775 
             *  } then {
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9776 
             *      the IUT discards the message
garciay's avatar
STF507: Week #1  
garciay committed
9777 
             *  }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9778 9779 9780 
             * } 
             * </pre>
             *
garciay's avatar
STF507 week#9:  
garciay committed
9781 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_CAM_05_01_BO
garciay's avatar
STF507: Week #1  
garciay committed
9782 
             * @reference    ETSI TS 103 097 [1], clause 7.1
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9783 
             */
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9784 
            testcase TC_SEC_ITSS_RCV_CAM_05_01_BO() runs on ItsGeoNetworking system ItsSecSystem {
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9785 9786 9787 9788 
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9789 9790 9791 9792 9793 9794 9795 
                var GnRawPayload v_sentRawPayload;
                
                // Test adapter configuration
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
                    stop;
                }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9796
garciay's avatar
STF507: Week #7  
garciay committed
9797 
                // Test component configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9798 9799 
                f_cf01Up();
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9800 9801 
                // Test adapter configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9802 9803 
                // Preamble
                f_prNeighbour();
garciay's avatar
STF507 week#11: Add testing functions to validate ITS Security ATS against itself  
garciay committed
9804 9805 9806 
                if (PICS_DEBUG_ADDON) {
                    f_sendCertificate(cc_taCert_F, f_generateDefaultCam());
                }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9807 9808 9809 9810 
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredCam(
garciay's avatar
STF507: Week #1  
garciay committed
9811 
                    cc_taCert_A,
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9812 
                    {
garciay's avatar
STF507: Week #1  
garciay committed
9813 
                        m_header_field_signer_info(
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9814 9815 9816 
                            m_signerInfo_self
                        ), 
                        m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9817 9818 
                        m_header_field_its_aid_CAM
                    },
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9819 
                    e_self,
garciay's avatar
STF507: Week #1  
garciay committed
9820 
                    false
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9821 9822 9823 9824 
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                
                f_sleep(PX_TNOAC);
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9825 9826 
                v_sentRawPayload := f_adaptPayloadForUtInd_m(v_securedGnPdu.gnPacket.packet.payload);
                for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
garciay's avatar
STF507 week#11:  
garciay committed
9827 
                    // Empty on purpose
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9828 9829 9830 9831 9832 9833 9834 9835 9836 9837 9838 9839 9840 
                } // End of 'for' statement
                if (i < lengthof(vc_utInds)) {
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
                }
                else {
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9841 
            } // End of testcase TC_SEC_ITSS_RCV_CAM_05_01_BO
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9842 9843 
            
            /**
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9844 
             * @desc    Check that IUT discards a secured CAM if the header_fields contains a signer of type certificate_digest_with_other_algorithm
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9845 
             * <pre>
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9846 
             * Pics Selection: PICS_GN_SECURITY
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9847 9848 
             * Config Id: CF01
             * Initial conditions:
garciay's avatar
STF507: Week #1  
garciay committed
9849 9850 
             * with { 
             *  the IUT being in the 'authorized' state
garciay's avatar
STF507 week#11:  
garciay committed
9851 
             *  and the IUT current time is inside the time validity period of CERT_TS_A_AT
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9852 
             * }
garciay's avatar
STF507: Week #1  
garciay committed
9853 
             * ensure that {
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9854 9855 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_02)
garciay's avatar
STF507: Week #1  
garciay committed
9856 9857 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9858 9859 
             *                  containing signer.type
             *                      indicating 'certificate_digest_with_other_algorithm'
garciay's avatar
STF507: Week #1  
garciay committed
9860 9861 9862 9863 9864 
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9865 
             *
garciay's avatar
STF507 week#9:  
garciay committed
9866 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_CAM_05_02_BO
garciay's avatar
STF507: Week #1  
garciay committed
9867 
             * @reference    ETSI TS 103 097 [1], clause 7.1
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9868 
             */
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9869 
            testcase TC_SEC_ITSS_RCV_CAM_05_02_BO() runs on ItsGeoNetworking system ItsSecSystem {
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9870 9871 9872 9873 
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9874 9875 9876 9877 9878 9879 9880 
                var GnRawPayload v_sentRawPayload;
                
                // Test adapter configuration
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
                    stop;
                }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9881
garciay's avatar
STF507: Week #7  
garciay committed
9882 
                // Test component configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9883 9884 
                f_cf01Up();
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9885 9886 
                // Test adapter configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9887 9888 
                // Preamble
                f_prNeighbour();
garciay's avatar
STF507 week#11: Add testing functions to validate ITS Security ATS against itself  
garciay committed
9889 9890 9891 
                if (PICS_DEBUG_ADDON) {
                    f_sendCertificate(cc_taCert_F, f_generateDefaultCam());
                }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9892 9893 9894 9895 
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredCam(
garciay's avatar
STF507: Week #1  
garciay committed
9896 
                    cc_taCert_A,
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9897 
                    {
garciay's avatar
STF507: Week #1  
garciay committed
9898 
                        m_header_field_signer_info(
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9899 9900 9901 9902 
                            m_signerInfo_other_certificates(
                                m_certificateWithAlgo_ecdsa(
                                    PX_OTHER_CERT_DIGEST
                        ))),
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9903 
                        m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9904 
                        m_header_field_its_aid_CAM
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9905 
                    },
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9906 
                    e_certificate_digest_with_other_algorithm,
garciay's avatar
STF507: Week #1  
garciay committed
9907 
                    false
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9908 9909 9910 9911 
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
                
                f_sleep(PX_TNOAC);
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9912 9913 
                v_sentRawPayload := f_adaptPayloadForUtInd_m(v_securedGnPdu.gnPacket.packet.payload);
                for (i := 0; i < lengthof(vc_utInds) and not match(vc_utInds[i].rawPayload, v_sentRawPayload); i := i + 1) {
garciay's avatar
STF507 week#11:  
garciay committed
9914 
                    // Empty on purpose
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9915 9916 9917 9918 9919 9920 9921 9922 9923 9924 9925 9926 9927 
                } // End of 'for' statement
                if (i < lengthof(vc_utInds)) {
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
                }
                else {
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9928 
            } // End of testcase TC_SEC_ITSS_RCV_CAM_05_02_BO
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9929 9930 
            
            /**
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9931 
             * @desc    Check that IUT discards a secured CAM if the header_fields contains a signer of type certificate_chain and the chain is empty
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9932 
             * <pre>
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9933 
             * Pics Selection: PICS_GN_SECURITY
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9934 
             * Config Id: CF01
garciay's avatar
STF507: Week #1  
garciay committed
9935 9936 9937 
             * Initial conditions:
             * with { 
             *  the IUT being in the 'authorized' state
garciay's avatar
STF507 week#11:  
garciay committed
9938 
             *  and the IUT current time is inside the time validity period of CERT_TS_A_AT
garciay's avatar
STF507: Week #1  
garciay committed
9939 9940 
             * } 
             * ensure that {
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9941 9942 
             *  when { 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_02)
garciay's avatar
STF507: Week #1  
garciay committed
9943 9944 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9945 9946 9947 9948 
             *                  containing signer.type
             *                      indicating 'certificate_chain'
             *                  and containing certificates
             *                      indicating length = 0
garciay's avatar
STF507: Week #1  
garciay committed
9949 9950 9951 9952 
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9953 
             * </pre>
garciay's avatar
STF507: Week #1  
garciay committed
9954 
             *
garciay's avatar
STF507 week#9:  
garciay committed
9955 
             * @see          ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_CAM_05_03_BO
garciay's avatar
STF507: Week #1  
garciay committed
9956 
             * @reference    ETSI TS 103 097 [1], clause 7.1
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9957 
             */
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9958 
            testcase TC_SEC_ITSS_RCV_CAM_05_03_BO() runs on ItsGeoNetworking system ItsSecSystem {
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9959 9960 9961 9962 
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9963 9964 
                var GnRawPayload v_sentRawPayload;
garciay's avatar
STF507: Week #1  
garciay committed
9965 
                // Test adapter configuration
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9966 9967 9968 9969 
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
                    stop;
                }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9970
garciay's avatar
STF507: Week #7  
garciay committed
9971 
                // Test component configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9972 9973 
                f_cf01Up();
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9974 9975 
                // Test adapter configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9976 9977 
                // Preamble
                f_prNeighbour();
garciay's avatar
STF507 week#11: Add testing functions to validate ITS Security ATS against itself  
garciay committed
9978 9979 9980 
                if (PICS_DEBUG_ADDON) {
                    f_sendCertificate(cc_taCert_F, f_generateDefaultCam());
                }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9981 9982 9983 
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
garciay's avatar
STF507: Week #1  
garciay committed
9984 9985 9986 9987 
                v_securedGnPdu := f_prepareSecuredCam(
                    cc_taCert_A, 
                    {
                        m_header_field_signer_info(
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9988 
                            m_signerInfo_certificates(
garciay's avatar
STF507: Week #6  
garciay committed
9989 
                                { }
garciay's avatar
STF507: Week #1  
garciay committed
9990 9991 9992 9993 
                        )), 
                        m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                        m_header_field_its_aid_CAM
                    },
garciay's avatar
WeekSTF507: Week #3  
garciay committed
9994 
                    e_certificate_chain,
garciay's avatar
STF507: Week #1  
garciay committed
9995 9996 9997 
                    false
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
9998
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
9999 10000 
                f_sleep(PX_TNOAC);
                v_sentRawPayload := f_adaptPayloadForUtInd_m(v_securedGnPdu.gnPacket.packet.payload);
Show full blame