Skip to content
Normal view History Permalink
ItsSecurity_TestCases.ttcn3 1.25 MiB
Newer Older
garciay's avatar
STF507: Week #6  
garciay committed
14001 14002 14003 14004 14005 14006 14007 14008 14009 14010 14011 14012 14013 14014 14015 14016 14017 14018 14019 14020 14021 14022 14023 14024 14025 
             *                  indicating non-empty data
             *          and not containing other header fields
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
             * @see          ETSI TS 103 096-2 v1.2.2 TP_SEC_ITSS_RCV_DENM_04_12_BO
             * @reference    ETSI TS 103 097 [1], clause 7.2
             */
            testcase TC_SEC_ITSS_RCV_DENM_04_12_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                
                // 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
14026 
                // Test component configuration
garciay's avatar
STF507: Week #6  
garciay committed
14027 14028 14029 14030 14031 14032 14033 14034 14035 14036 14037 14038 14039 14040 14041 14042 14043 14044 14045 14046 14047 14048 14049 14050 14051 14052 14053 14054 14055 14056 14057 14058 14059 14060 14061 14062 14063 14064 14065 14066 14067 14068 14069 14070 14071 14072 14073 14074 14075 14076 14077 14078 14079 14080 14081 14082 14083 14084 14085 14086 14087 14088 14089 14090 14091 14092 14093 14094 14095 14096 14097 14098 14099 14100 14101 14102 14103 14104 14105 14106 14107 14108 14109 14110 14111 14112 14113 14114 14115 14116 14117 14118 14119 14120 14121 14122 14123 14124 14125 14126 14127 14128 14129 14130 14131 14132 14133 14134 14135 14136 14137 14138 14139 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredDenm(
                    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_location(
                            valueof(m_threeDLocation(
                                v_longPosVectorNodeB.latitude,
                                v_longPosVectorNodeB.longitude,
                                '0000'O
                            ))
                        ),
                        m_header_field_its_aid_DENM,
                        m_header_field_unspecify
                    }, 
                    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_DENM_04_12_BO
            
            /**
             * @desc    Check that IUT discards the Secured CAM containing the header field 'encryption_parameter' and 'recipient_info'
             * <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_DENM_01) 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *          and containing header_fields[1].type
             *              indicating 'generation_time'
             *          and containing header_fields[3].type
             *              containing its_aid
             *          and containing header_fields[4]
             *              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>
             *
             * @see          ETSI TS 103 096-2 v1.2.2 TP_SEC_ITSS_RCV_DENM_04_13_BO
             * @reference    ETSI TS 103 097 [1], clause 7.2
             */
            testcase TC_SEC_ITSS_RCV_DENM_04_13_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                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
14140 
                // Test component configuration
garciay's avatar
STF507: Week #6  
garciay committed
14141 14142 14143 14144 14145 14146 14147 14148 14149 14150 14151 14152 14153 14154 14155 14156 14157 14158 14159 14160 14161 14162 14163 14164 14165 14166 14167 14168 14169 14170 14171 14172 14173 14174 14175 14176 14177 14178 14179 14180 14181 14182 14183 14184 14185 14186 14187 14188 14189 14190 14191 14192 14193 14194 14195 14196 14197 14198 14199 14200 14201 14202 14203 14204 14205 14206 14207 14208 14209 14210 14211 14212 14213 14214 14215 14216 14217 14218 14219 14220 14221 14222 14223 14224 14225 14226 14227 14228 14229 14230 14231 14232 14233 14234 14235 14236 14237 14238 14239 14240 14241 14242 14243 14244 14245 14246 14247 14248 14249 14250 14251 14252 14253 14254 14255 14256 
                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_prepareSecuredDenm(
                        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_location(
                                valueof(m_threeDLocation(
                                    v_longPosVectorNodeB.latitude,
                                    v_longPosVectorNodeB.longitude,
                                    '0000'O
                                ))
                            ),
                            m_header_field_its_aid_DENM,
                            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,
                        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_DENM_04_13_BO
            
            /**
             * @desc    Check that IUT discards a Secured DENM if the header_fields contains a signer of type 'self'
             * <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_DENM_01) 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *                  containing signer.type
             *                      indicating 'self'
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
             * @see          ETSI TS 103 096-2 v1.2.2 TP_SEC_ITSS_RCV_DENM_05_01_BO
             * @reference    ETSI TS 103 097 [1], clause 7.2
             */
            testcase TC_SEC_ITSS_RCV_DENM_05_01_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                
                // 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
14257 
                // Test component configuration
garciay's avatar
STF507: Week #6  
garciay committed
14258 14259 14260 14261 14262 14263 14264 14265 14266 14267 14268 14269 14270 14271 14272 14273 14274 14275 14276 14277 14278 14279 14280 14281 14282 14283 14284 14285 14286 14287 14288 14289 14290 14291 14292 14293 14294 14295 14296 14297 14298 14299 14300 14301 14302 14303 14304 14305 14306 14307 14308 14309 14310 14311 14312 14313 14314 14315 14316 14317 14318 14319 14320 14321 14322 14323 14324 14325 14326 14327 14328 14329 14330 14331 14332 14333 14334 14335 14336 14337 14338 14339 14340 14341 14342 14343 14344 14345 14346 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredDenm(
                    cc_taCert_A, 
                    {
                        m_header_field_signer_info(
                            m_signerInfo_self
                        ), 
                        m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                        m_header_field_generation_location(
                            valueof(m_threeDLocation(
                                v_longPosVectorNodeB.latitude,
                                v_longPosVectorNodeB.longitude,
                                '0000'O
                            ))
                        ),
                        m_header_field_its_aid_DENM
                    }, 
                    e_self,
                    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_DENM_05_01_BO
            
            /**
             * @desc    Check that IUT discards a Secured DENM if the header_fields contains a signer of type 'certificate_digest_with_other_algorithm'
             * <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_DENM_01) 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *                  containing signer.type
             *                      indicating 'certificate_digest_with_other_algorithm'
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
             * @see          ETSI TS 103 096-2 v1.2.2 TP_SEC_ITSS_RCV_DENM_05_02_BO
             * @reference    ETSI TS 103 097 [1], clause 7.2
             */
            testcase TC_SEC_ITSS_RCV_DENM_05_02_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                
                // 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
14347 
                // Test component configuration
garciay's avatar
STF507: Week #6  
garciay committed
14348 14349 14350 14351 14352 14353 14354 14355 14356 14357 14358 14359 14360 14361 14362 14363 14364 14365 14366 14367 14368 14369 14370 14371 14372 14373 14374 14375 14376 14377 14378 14379 14380 14381 14382 14383 14384 14385 14386 14387 14388 14389 14390 14391 14392 14393 14394 14395 14396 14397 14398 14399 14400 14401 14402 14403 14404 14405 14406 14407 14408 14409 14410 14411 14412 14413 14414 14415 14416 14417 14418 14419 14420 14421 14422 14423 14424 14425 14426 14427 14428 14429 14430 14431 14432 14433 14434 14435 14436 14437 14438 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredDenm(
                    cc_taCert_A, 
                    {
                        m_header_field_signer_info(
                            m_signerInfo_other_certificates(
                                m_certificateWithAlgo_ecdsa(
                                    PX_OTHER_CERT_DIGEST
                        ))), 
                        m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                        m_header_field_generation_location(
                            valueof(m_threeDLocation(
                                v_longPosVectorNodeB.latitude,
                                v_longPosVectorNodeB.longitude,
                                '0000'O
                            ))
                        ),
                        m_header_field_its_aid_DENM
                    }, 
                    e_certificate_digest_with_other_algorithm,
                    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_DENM_05_02_BO
            
            /**
             * @desc    Check that IUT discards a Secured DENM if the header_fields contains a signer of type certificate_chain
             * <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_DENM_01) 
             *          containing header_fields[0].type
             *              indicating 'signer_info'
             *                  containing signer.type
             *                      indicating 'certificate_digest_with_other_algorithm'
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
             * @see          ETSI TS 103 096-2 v1.2.2 TP_SEC_ITSS_RCV_DENM_05_03_BO
             * @reference    ETSI TS 103 097 [1], clause 7.2
             */
            testcase TC_SEC_ITSS_RCV_DENM_05_03_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                
                // 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
14439 
                // Test component configuration
garciay's avatar
STF507: Week #6  
garciay committed
14440 14441 14442 14443 14444 14445 14446 14447 14448 14449 14450 14451 14452 14453 14454 14455 14456 14457 14458 14459 14460 14461 14462 14463 14464 14465 14466 14467 14468 14469 14470 14471 14472 14473 14474 14475 14476 14477 14478 14479 14480 14481 14482 14483 14484 14485 14486 14487 14488 14489 14490 14491 14492 14493 14494 14495 14496 14497 14498 14499 14500 14501 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredDenm(
                    cc_taCert_A, 
                    {
                        m_header_field_signer_info(
                            m_signerInfo_certificates(
                                { vc_aaCertificate, vc_atCertificate }
                        )), 
                        m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
                        m_header_field_generation_location(
                            valueof(m_threeDLocation(
                                v_longPosVectorNodeB.latitude,
                                v_longPosVectorNodeB.longitude,
                                '0000'O
                            ))
                        ),
                        m_header_field_its_aid_DENM
                    }, 
                    e_certificate_chain,
                    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_DENM_05_03_BO
            
            /**
             * @desc    Check that IUT discards a Secured DENM containing generation_time before the certificate validity period
             * <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 {
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14502 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)
garciay's avatar
STF507: Week #6  
garciay committed
14503 
             *          containing header_fields['signer_info'].signer
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14504 
             *              containing certificate (CERT_TS_MSG_06_01_BO_AT)
garciay's avatar
STF507: Week #6  
garciay committed
14505 14506 14507 14508 14509 14510 14511 14512 14513 14514 14515 14516 14517 14518 14519 
             *                  containing validity_restrictions['time_start_and_end']
             *                      containing start_validity
             *                          indicating START_VALIDITY_AT
             *                      and containing end_validity
             *                          indicating END_VALIDITY_AT
             *          and containing header_fields ['generation_time']
             *              containing generation_time
             *                  indicating GEN_TIME < START_VALIDITY_AT
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
             * @see          ETSI TS 103 096-2 v1.2.2 TP_SEC_ITSS_RCV_DENM_06_01_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14520 
             * @reference    ETSI TS 103 097 [1], clauses 5.4 and 7.2
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14521 
             */
garciay's avatar
STF507: Week #6  
garciay committed
14522 
            testcase TC_SEC_ITSS_RCV_DENM_06_01_BO() runs on ItsGeoNetworking system ItsSecSystem {
garciay's avatar
STF507: Week #1  
garciay committed
14523 14524 14525 14526 14527 
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
garciay's avatar
STF507: Week #6  
garciay committed
14528 
                var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14529 
                var ValidityRestriction v_timeValidity;
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14530
garciay's avatar
STF507: Week #6  
garciay committed
14531 
                // Test adapter configuration
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14532 14533 14534 14535 14536 
                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
14537 
                // Test component configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14538 14539 
                f_cf01Up();
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14540 14541 
                // Test adapter configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14542 14543 14544 14545 14546 
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14547 
                f_getCertificateValidityRestriction(vc_atCertificate, e_time_start_and_end, v_timeValidity);
garciay's avatar
STF507: Week #6  
garciay committed
14548 
                v_securedGnPdu := f_prepareSecuredDenm(
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14549 
                    cc_taCert0601_BO,
garciay's avatar
STF507: Week #6  
garciay committed
14550 
                    {
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14551 14552 
                        m_header_field_generation_time(
                            (v_timeValidity.validity.time_start_and_end.start_validity - 3600) * 1000
garciay's avatar
STF507: Week #6  
garciay committed
14553 14554 14555 14556 14557 
                        ) // In us
                    }, 
                    e_certificate
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
garciay's avatar
STF507: Week #1  
garciay committed
14558 14559 14560 14561 14562 
                
                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
garciay's avatar
STF507: Week #6  
garciay committed
14563 
                } // End of 'for' statement
garciay's avatar
STF507: Week #1  
garciay committed
14564 
                if (i < lengthof(vc_utInds)) {
garciay's avatar
STF507: Week #6  
garciay committed
14565 14566 
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14567 
                }
garciay's avatar
STF507: Week #1  
garciay committed
14568 
                else {
garciay's avatar
STF507: Week #6  
garciay committed
14569 14570 
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14571 14572 14573 14574 14575 
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
garciay's avatar
STF507: Week #6  
garciay committed
14576 
            } // End of testcase TC_SEC_ITSS_RCV_DENM_06_01_BO
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14577 14578 
            
            /**
garciay's avatar
STF507: Week #6  
garciay committed
14579 
             * @desc    Check that IUT discards a Secured DENM containing generation_time before the certificate validity period
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14580 
             * <pre>
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14581 
             * Pics Selection: PICS_GN_SECURITY
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14582 
             * Config Id: CF01
garciay's avatar
STF507: Week #6  
garciay committed
14583 14584 14585 14586 14587 14588 14589 
             * 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 {
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14590 
             *      the IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)
garciay's avatar
STF507: Week #6  
garciay committed
14591 
             *          containing header_fields['signer_info'].signer
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14592 
             *              containing certificate (CERT_TS_MSG_06_02_BO_AT)
garciay's avatar
STF507: Week #6  
garciay committed
14593 14594 14595 14596 14597 14598 
             *                  containing validity_restrictions['time_start_and_end']
             *                      containing start_validity
             *                          indicating START_VALIDITY_AT
             *                      and containing end_validity
             *                          indicating END_VALIDITY_AT
             *          and containing header_fields ['generation_time']
garciay's avatar
STF507: Week #1  
garciay committed
14599 
             *              containing generation_time
garciay's avatar
STF507: Week #6  
garciay committed
14600 14601 14602 14603 14604 
             *                  indicating GEN_TIME > END_VALIDITY_AT
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14605 
             * </pre>
garciay's avatar
STF507: Week #6  
garciay committed
14606 14607 
             *
             * @see          ETSI TS 103 096-2 v1.2.2 TP_SEC_ITSS_RCV_DENM_06_02_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14608 
             * @reference    ETSI TS 103 097 [1], clauses 5.4 and 7.2
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14609 
             */
garciay's avatar
STF507: Week #6  
garciay committed
14610 
            testcase TC_SEC_ITSS_RCV_DENM_06_02_BO() runs on ItsGeoNetworking system ItsSecSystem {
garciay's avatar
STF507: Week #1  
garciay committed
14611 14612 14613 14614 14615 
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
garciay's avatar
STF507: Week #6  
garciay committed
14616 
                var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14617 
                var ValidityRestriction v_validity;
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14618
garciay's avatar
STF507: Week #6  
garciay committed
14619 
                // Test adapter configuration
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14620 14621 14622 14623 14624 
                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
14625 
                // Test component configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14626 14627 
                f_cf01Up();
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14628 14629 
                // Test adapter configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14630 14631 14632 14633 14634 
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14635 
                f_getCertificateValidityRestriction(vc_atCertificate, e_time_start_and_end, v_validity);
garciay's avatar
STF507: Week #6  
garciay committed
14636 
                v_securedGnPdu := f_prepareSecuredDenm(
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14637 
                    cc_taCert0602_BO,
garciay's avatar
STF507: Week #6  
garciay committed
14638 
                    {
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14639 14640 
                        m_header_field_generation_time(
                            (v_validity.validity.time_start_and_end.end_validity + 3600) * 1000
garciay's avatar
STF507: Week #6  
garciay committed
14641 14642 14643 14644 14645 
                        ) // In us
                    }, 
                    e_certificate
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
garciay's avatar
STF507: Week #1  
garciay committed
14646 14647 14648 14649 14650 
                
                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
garciay's avatar
STF507: Week #6  
garciay committed
14651 
                } // End of 'for' statement
garciay's avatar
STF507: Week #1  
garciay committed
14652 
                if (i < lengthof(vc_utInds)) {
garciay's avatar
STF507: Week #6  
garciay committed
14653 14654 
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
garciay's avatar
STF507: Week #1  
garciay committed
14655 14656 
                }
                else {
garciay's avatar
STF507: Week #6  
garciay committed
14657 14658 
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14659 14660 14661 14662 14663 
                }
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
garciay's avatar
STF507: Week #6  
garciay committed
14664 
            } // End of testcase TC_SEC_ITSS_RCV_DENM_06_02_BO
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14665 14666 
            
            /**
garciay's avatar
STF507: Week #6  
garciay committed
14667 
             * @desc    Check that IUT discards a Secured DENM if the generation_time is more than 10 minute in the past (C2C only)
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14668 
             * <pre>
garciay's avatar
STF507: Week #6  
garciay committed
14669 
             * Pics Selection: PICS_GN_SECURITY and PICS_ITS_C2C_MODE
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14670 
             * Config Id: CF01
garciay's avatar
STF507: Week #1  
garciay committed
14671 
             * Initial conditions:
garciay's avatar
STF507: Week #6  
garciay committed
14672 14673 14674 14675 14676 14677 14678 14679 14680 14681 14682 14683 14684 14685 
             * 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_DENM_01) 
             *          containing header_fields ['generation_time']
             *              containing generation_time
             *                  indicating GEN_TIME ( CURRENT_TIME - 11min )
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14686 
             * </pre>
garciay's avatar
STF507: Week #1  
garciay committed
14687 
             *
garciay's avatar
STF507: Week #6  
garciay committed
14688 
             * @see          ETSI TS 103 096-2 v1.2.2 TP_SEC_ITSS_RCV_DENM_06_03_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14689 
             * @reference    ETSI TS 103 097 [1], clauses 5.4 and 7.2
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14690 
             */
garciay's avatar
STF507: Week #6  
garciay committed
14691 
            testcase TC_SEC_ITSS_RCV_DENM_06_03_BO() runs on ItsGeoNetworking system ItsSecSystem {
garciay's avatar
STF507: Week #1  
garciay committed
14692 14693 14694 14695 14696 
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
garciay's avatar
STF507: Week #6  
garciay committed
14697 
                var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14698
garciay's avatar
STF507: Week #6  
garciay committed
14699 14700 14701 
                // Test adapter configuration
                if (not(PICS_GN_SECURITY) or not(PICS_ITS_C2C_MODE)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' and 'PICS_ITS_C2C_MODE' required for executing the TC ***");
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14702 14703 14704 
                    stop;
                }
garciay's avatar
STF507: Week #7  
garciay committed
14705 
                // Test component configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14706 14707 
                f_cf01Up();
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14708 14709 
                // Test adapter configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14710 14711 14712 14713 14714 
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
garciay's avatar
STF507: Week #6  
garciay committed
14715 14716 14717 14718 14719 14720 14721 14722 14723 14724 
                v_securedGnPdu := f_prepareSecuredDenm(
                    cc_taCert_A, 
                    {
                        m_header_field_generation_time( 
                            (1000 * f_getCurrentTime() - 660) * 1000
                        ) // In us
                    }, 
                    e_certificate
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
garciay's avatar
STF507: Week #1  
garciay committed
14725 14726 14727 14728 14729 
                
                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
garciay's avatar
STF507: Week #6  
garciay committed
14730 14731 14732 14733 14734 14735 14736 14737 14738 14739 14740 14741 14742 14743 14744 14745 14746 14747 14748 14749 14750 14751 14752 14753 14754 14755 14756 14757 14758 14759 14760 14761 14762 14763 14764 14765 14766 14767 
                } // 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_DENM_06_03_BO
            
            /**
             * @desc    Check that IUT discards a Secured DENM if the generation_time is more than 10 minute in the future(C2C only)
             * <pre>
             * Pics Selection: PICS_GN_SECURITY and PICS_ITS_C2C_MODE
             * 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_DENM_01) 
             *          containing header_fields ['generation_time']
             *              containing generation_time
             *                  indicating GEN_TIME ( CURRENT_TIME + 11min )
             *  } then { 
             *      the IUT discards the message 
             *  } 
             * } 
             * </pre>
             *
             * @see          ETSI TS 103 096-2 v1.2.2 TP_SEC_ITSS_RCV_DENM_06_04_BO
garciay's avatar
STF507: Remove TODOs/FIXMEs  
garciay committed
14768 
             * @reference    ETSI TS 103 097 [1], clauses 5.4 and 7.2
garciay's avatar
STF507: Week #6  
garciay committed
14769 14770 14771 14772 14773 14774 14775 14776 14777 14778 14779 14780 14781 
             */
            testcase TC_SEC_ITSS_RCV_DENM_06_04_BO() runs on ItsGeoNetworking system ItsSecSystem {
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
                var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
                
                // Test adapter configuration
                if (not(PICS_GN_SECURITY) or not(PICS_ITS_C2C_MODE)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' and 'PICS_ITS_C2C_MODE' required for executing the TC ***");
                    stop;
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14782 
                }
garciay's avatar
STF507: Week #6  
garciay committed
14783
garciay's avatar
STF507: Week #7  
garciay committed
14784 
                // Test component configuration
garciay's avatar
STF507: Week #6  
garciay committed
14785 14786 14787 14788 14789 14790 14791 14792 14793 14794 14795 14796 14797 14798 14799 14800 14801 14802 14803 14804 14805 14806 14807 14808 14809 
                f_cf01Up();
                
                // Test adapter configuration
                
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
                v_securedGnPdu := f_prepareSecuredDenm(
                    cc_taCert_A, 
                    {
                        m_header_field_generation_time( 
                            (1000 * f_getCurrentTime() + 660) * 1000
                        ) // In us
                    }, 
                    e_certificate
                ); 
                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
garciay's avatar
STF507: Week #1  
garciay committed
14810 14811 
                if (i < lengthof(vc_utInds)) {
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14812 14813 
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
                }
garciay's avatar
STF507: Week #1  
garciay committed
14814 14815 14816 14817 
                else {
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14818 14819 14820 14821 
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
garciay's avatar
STF507: Week #6  
garciay committed
14822 
            } // End of testcase TC_SEC_ITSS_RCV_DENM_06_04_BO
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14823 14824 
            
            /**
garciay's avatar
STF507: Week #6  
garciay committed
14825 
             * @desc  Check that IUT discards secured DENM when its_aid value is not equal to AID_DENM
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14826 
             * <pre>
garciay's avatar
STF507: Week #1  
garciay committed
14827 
             * Pics Selection: PICS_GN_SECURITY
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14828 
             * Config Id: CF01
garciay's avatar
STF507: Week #1  
garciay committed
14829 14830 14831 14832 14833 14834 
             * Initial conditions:
             *  with {
             *      the IUT being in the 'authorized' state
             *  }
             *  ensure that {
             *      when {
garciay's avatar
STF507: Week #6  
garciay committed
14835 
             *          the IUT is receiving a SecuredMessage
garciay's avatar
STF507: Week #1  
garciay committed
14836 
             *              containing header_fields['its_aid']
garciay's avatar
STF507: Week #6  
garciay committed
14837 14838 14839 14840 14841 14842 14843 
             *                  indicating 'AID_CAM'
             *              and containing payload_field {
             *                  containing type    
             *                    indicating 'signed'    
             *                  containing data    
             *                    containing DENM payload    
             *              }
garciay's avatar
STF507: Week #1  
garciay committed
14844 
             *      } then {
garciay's avatar
STF507: Week #6  
garciay committed
14845 
             *          the IUT discards the DENM
garciay's avatar
STF507: Week #1  
garciay committed
14846 14847 
             *      }
             *  }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14848 
             * </pre>
garciay's avatar
STF507: Week #6  
garciay committed
14849 14850 
             * @see          ETSI TS 103 096-2 v1.2.2 TP_SEC_ITSS_RCV_DENM_07_01_BO
             * @reference    ETSI TS 103 097 [1], clause 7.2
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14851 
             */
garciay's avatar
STF507: Week #6  
garciay committed
14852 
            testcase TC_SEC_ITSS_RCV_DENM_07_01_BO() runs on ItsGeoNetworking system ItsSecSystem {
garciay's avatar
STF507: Week #1  
garciay committed
14853 14854 14855 14856 14857 
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14858
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14859 
                // Test control
garciay's avatar
STF507: Week #1  
garciay committed
14860 14861 
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14862 14863 14864 
                    stop;
                }
garciay's avatar
STF507: Week #7  
garciay committed
14865 
                // Test component configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14866 14867 
                f_cf01Up();
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14868 14869 
                // Test adapter configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14870 14871 14872 14873 14874 
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
garciay's avatar
STF507: Week #6  
garciay committed
14875 14876 14877 14878 14879 14880 14881 
                v_securedGnPdu := f_prepareSecuredDenm(
                    cc_taCert_A, 
                    {
                        m_header_field_its_aid_CAM
                    }
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
garciay's avatar
STF507: Week #1  
garciay committed
14882 14883 14884 14885 14886 
                
                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
garciay's avatar
STF507: Week #6  
garciay committed
14887 
                } // End of 'for' statement
garciay's avatar
STF507: Week #1  
garciay committed
14888 14889 
                if (i < lengthof(vc_utInds)) {
                    log("*** " & testcasename() & ": FAIL: GN was transmitted to upper layer ***");
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14890 14891 
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
                }
garciay's avatar
STF507: Week #1  
garciay committed
14892 14893 14894 14895 
                else {
                    log("*** " & testcasename() & ": PASS: GN was not transmitted to upper layer ***");
                    f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
                }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14896 14897 14898 14899 
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
garciay's avatar
STF507: Week #7  
garciay committed
14900 
            } // End of testcase TC_SEC_ITSS_RCV_DENM_07_01_BO
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14901 14902 
            
            /**
garciay's avatar
STF507: Week #6  
garciay committed
14903 
             * @desc  Check that IUT discards a Secured DENM when its_aid value is undefined
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14904 
             * <pre>
garciay's avatar
STF507: Week #1  
garciay committed
14905 
             * Pics Selection: PICS_GN_SECURITY
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14906 
             * Config Id: CF01
garciay's avatar
STF507: Week #1  
garciay committed
14907 14908 14909 14910 14911 14912 14913 
             * Initial conditions:
             *  with {
             *      the IUT being in the 'authorized' state
             *  }
             *  ensure that {
             *      when { 
             *          the IUT is receiving a SecuredMessage
garciay's avatar
STF507: Week #6  
garciay committed
14914 14915 14916 14917 14918 14919 14920 
             *             containing header_fields['its_aid'] 
             *                 indicating 'AID_UNDEFINED' 
             *             and containing payload_field { 
             *                 containing type 
             *                     indicating 'signed' 
             *                 containing data 
             *                     containing DENM payload
garciay's avatar
STF507: Week #1  
garciay committed
14921 14922 14923 14924 14925 
             *              }    
             *      } then {
             *          the IUT discards the DENM
             *      }
             *  }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14926 
             * </pre>
garciay's avatar
STF507: Week #6  
garciay committed
14927 
             * @see          ETSI TS 103 096-2 v1.2.2 TP_SEC_ITSS_RCV_DENM_07_02_BO
garciay's avatar
STF507: Week #1  
garciay committed
14928 
             * @reference    ETSI TS 103 097 [1], clause 7.2
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14929 
             */
garciay's avatar
STF507: Week #6  
garciay committed
14930 
            testcase TC_SEC_ITSS_RCV_DENM_07_02_BO() runs on ItsGeoNetworking system ItsSecSystem {
garciay's avatar
STF507: Week #1  
garciay committed
14931 14932 14933 14934 14935 
                
                // Local variables
                var integer i;
                var GeoNetworkingPdu v_securedGnPdu;
                var GnRawPayload v_sentRawPayload;
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14936
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14937 
                // Test control
garciay's avatar
STF507: Week #1  
garciay committed
14938 14939 
                if (not(PICS_GN_SECURITY)) {
                    log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14940 14941 14942 
                    stop;
                }
garciay's avatar
STF507: Week #7  
garciay committed
14943 
                // Test component configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14944 14945 
                f_cf01Up();
mullers's avatar
Merged revision(s) 1925-2226 from branches/STF484_VALIDATION  
mullers committed
14946 14947 
                // Test adapter configuration
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14948 14949 14950 14951 14952 
                // Preamble
                f_prNeighbour();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Test Body
garciay's avatar
STF507: Week #1  
garciay committed
14953 14954 14955 
                v_securedGnPdu := f_prepareSecuredDenm(
                    cc_taCert_A, 
                    {
garciay's avatar
STF507: Week #6  
garciay committed
14956 
                        m_header_field_its_aid_Other
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14957 
                    }
garciay's avatar
STF507: Week #1  
garciay committed
14958 14959 
                ); 
                f_sendGeoNetMessage(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu));
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14960
garciay's avatar
STF507: Week #1  
garciay committed
14961 14962 14963 14964 14965 14966 14967 14968 14969 14970 14971 14972 14973 
                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);
                }
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14974 14975 14976 14977 
                
                // Postamble
                f_poNeighbour();
                f_cf01Down();
garciay's avatar
STF507: Week #6  
garciay committed
14978 
            } // End of testcase TC_SEC_ITSS_RCV_DENM_07_02_EB
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14979 14980 
            
            /**
garciay's avatar
STF507: Week #1  
garciay committed
14981 
             * @desc   Check that IUT discards Secured DENM if the HeaderField generation_location is outside of the circular validity region of the signing certificate
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14982 
             * <pre>
garciay's avatar
STF507: Week #1  
garciay committed
14983 
             * Pics Selection: PICS_GN_SECURITY
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14984 
             * Config Id: CF01
garciay's avatar
STF507: Week #1  
garciay committed
14985 
             * Initial conditions:
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14986 14987 
             * with {
             *   the IUT being in the 'authorized' state
garciay's avatar
STF507: Week #1  
garciay committed
14988 14989 14990 14991 
             * }
             * ensure that {
             *   when {
             *     the IUT is requested to send DENM
berge's avatar
Merged branches/Security/ttcn (r1471-1819) to trunk.
berge committed
14992 
             *   } then {
garciay's avatar
STF507: Week #7  
garciay committed
14993 
             *     the IUT is receiving a SecuredMessage
garciay's avatar
STF507: Week #1  
garciay committed
14994 14995 14996 
             *          containing header_fields['signer_info'].type
             *              indicating 'certificate'
             *          and containing  header_fields ['signer_info'].certificate (CERT_AT_B)
garciay's avatar
STF507: Week #7  
garciay committed
14997 14998 
             *              containing validity_restrictions['region']
             *                  containing region
garciay's avatar
STF507: Week #1  
garciay committed
14999 15000 
             *                      containing region_type
             *                          indicating 'circle'
Show full blame