Newer
Older
// * not containing the CURRENT_IUT_LOCATION
// * } then {
// * the IUT discards the message
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_13_05_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
21009
21010
21011
21012
21013
21014
21015
21016
21017
21018
21019
21020
21021
21022
21023
21024
21025
21026
21027
21028
21029
21030
21031
21032
21033
21034
21035
21036
21037
21038
21039
21040
// */
// testcase TC_SEC_ITSS_RCV_DENM_13_05_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
//
// // Test control
// if (not(PICS_GN_SECURITY)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_securedGnPdu := f_sendSecuredDenm(cc_taCertMsg1305_BO, omit, e_certificate);
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(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
// }
// 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***");
21046
21047
21048
21049
21050
21051
21052
21053
21054
21055
21056
21057
21058
21059
21060
21061
21062
21063
21064
21065
21066
21067
21068
21069
21070
21071
21072
21073
21074
21075
21076
21077
21078
21079
21080
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
//
// // Postamble
// f_poNeighbour();
// f_cf01Down();
// } // End of testcase TC_SEC_ITSS_RCV_DENM_13_05_BO
//
// /**
// * @desc Check that IUT discards secured DENM when IUT location is outside the identified validity restriction of the signing certificate
// * <pre>
// * Pics Selection: PICS_GN_SECURITY
// * Config Id: CF01
// * Expected behavior:
// * 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 Ieee1609Dot2Data (MSG_SEC_RCV_DENM_A)
// * containing header_fields['signer_info'].signer
// * containing certificate (CERT_TS_MSG_13_06_BO_AT)
// * containing validity_restrictions['region']
// * containing region
// * containing region_type
// * indicating 'id'
// * and containing id_region
// * indicating REGION
// * not containing the CURRENT_IUT_LOCATION
// * } then {
// * the IUT discards the message
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_DENM_13_06_BO
// * @reference ETSI TS 103 097 [1] Clause 7.2
21083
21084
21085
21086
21087
21088
21089
21090
21091
21092
21093
21094
21095
21096
21097
21098
21099
21100
21101
21102
21103
21104
21105
21106
21107
21108
21109
21110
21111
21112
21113
21114
// */
// testcase TC_SEC_ITSS_RCV_DENM_13_06_BO() runs on ItsGeoNetworking system ItsSecSystem {
//
// // Local variables
// var integer i;
// var GeoNetworkingPdu v_securedGnPdu;
// var GnRawPayload v_sentRawPayload;
//
// // Test control
// if (not(PICS_GN_SECURITY)) {
// log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY' required for executing the TC ***");
// stop;
// }
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_securedGnPdu := f_sendSecuredDenm(cc_taCertMsg1306_BO, omit, e_certificate);
//
// f_sleep(PX_TNOAC);
// v_sentRawPayload := valueof(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
// }
// 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_13_06_BO
} // End of group recvDenmProfile
/**
* @desc Receiving behaviour test cases for Other profile
* @see ETSI TS 103 096-2 V1.3.32 (2018-01) Clause 5.3.4 Generic Signed Message Profile
*/
group recvOtherProfile {
* @desc Function used to verify the IUT has forwarded or discarded the received secured message sent by the TA
21141
21142
21143
21144
21145
21146
21147
21148
21149
21150
21151
21152
21153
21154
21155
21156
21157
21158
21159
21160
21161
21162
21163
21164
21165
21166
21167
21168
21169
21170
21171
21172
21173
21174
21175
21176
21177
21178
21179
21180
21181
21182
21183
21184
21185
21186
21187
21188
21189
21190
21191
21192
21193
21194
21195
21196
21197
21198
21199
21200
21201
21202
21203
21204
21205
21206
21207
21208
21209
21210
21211
21212
21213
21214
21215
21216
21217
21218
21219
21220
21221
21222
21223
21224
21225
21226
21227
21228
21229
21230
21231
21232
21233
21234
21235
21236
21237
21238
21239
21240
21241
// /**
// * @desc Behavior function for NodeD in case of forwarding is expected
// * @see TC_GEONW_PON_GBC_BV_01
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_xxx_BV_nodeD() runs on ItsGeoNetworking {
//
// // Local variables
// var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdict(c_prDone, e_success);
//
// // Test Body
// tc_ac.start;
// alt {
// [] geoNetworkingPort.receive(
// mw_geoNwInd(
// mw_geoNwSecPdu(
// mw_ieee1609Dot2Data_dummy,
// mw_geoNwBroadcastPacketWithArea(
// mw_longPosVectorPosition(
// v_longPosVectorNodeB
// ),
// ?,
// f_getGeoBroadcastArea(c_area1)
// )))) {
// tc_ac.stop;
// log("*** " & testcasename() & ": PASS: Beacon message was forwarded ***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
// }
// [] geoNetworkingPort.receive(
// mw_geoNwInd(
// mw_geoNwSecPdu(
// mw_ieee1609Dot2Data_dummy
// ))) {
// // Do not restart tc_ac timer
// log("*** " & testcasename() & ": INFO: Unexpected GN message ignored ***");
// repeat;
// }
// [] tc_ac.timeout {
// log("*** " & testcasename() & ": FAIL: GBC message not received ***");
// f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
// }
// }
//
// // Postamble
// f_poNeighbour();
//
// } // End of function f_TC_SEC_ITSS_RCV_GENMSG_xxx_BV_nodeD
//
// /**
// * @desc Behavior function for NodeD in case of forwarding is not expected
// * @see TC_GEONW_PON_GBC_BV_01
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD() runs on ItsGeoNetworking {
//
// // Local variables
// var LongPosVector v_longPosVectorIut := f_getPosition(c_compIut);
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdict(c_prDone, e_success);
//
// // Test Body
// tc_noac.start;
// alt {
// [] geoNetworkingPort.receive(
// mw_geoNwInd(
// mw_geoNwSecPdu(
// mw_ieee1609Dot2Data_dummy,
// mw_geoNwBroadcastPacketWithArea(
// mw_longPosVectorPosition(
// v_longPosVectorIut
// ),
// ?,
// f_getGeoBroadcastArea(c_area1)
// )))) {
// tc_noac.stop;
// log("*** " & testcasename() & ": FAIL: Beacon message shall ot be forwarded ***");
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
// }
// [] geoNetworkingPort.receive(
// mw_geoNwInd(
// mw_geoNwSecPdu(
// mw_ieee1609Dot2Data_dummy
// ))) {
// // Do not restart tc_ac timer
// log("*** " & testcasename() & ": INFO: Unexpected GN message ignored ***");
// repeat;
// }
// [] tc_noac.timeout {
// log("*** " & testcasename() & ": PASS: Secured message was discarded ***");
// f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
// }
// }
//
// // Postamble
// f_poNeighbour();
//
// } // End of function f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD
} // End of goup commonFunctions
21245
21246
21247
21248
21249
21250
21251
21252
21253
21254
21255
21256
21257
21258
21259
21260
21261
21262
21263
// /**
// * @desc Check that IUT accepts a well-formed Secured GN Beacon signed with the certificate without region validity restriction
// * @remark The message defined in this test purpose is used in the subsequent test purposes with the snippet name ‘MSG_SEC_RCV_GENMSG_C’. Only differences to this snippet are mentioned in subsequent test purposes
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
// * Config Id: CF01
// * Expected behavior:
// * 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 Ieee1609Dot2Data
// * containing header_fields[0]
// * containing type
// * indicating 'signer_info'
// * and containing signer
// * containing type
21265
21266
21267
21268
21269
21270
21271
21272
21273
21274
21275
21276
21277
21278
21279
21280
21281
21282
21283
21284
21285
21286
21287
21288
21289
21290
21291
21292
21293
21294
21295
21296
21297
21298
21299
21300
21301
21302
21303
// * and containing certificate (CERT_AT_A)
// * containing subject_info.subject_type
// * indicating 'authorization_ticket' (2)
// * and containing subject_attributes['verification key'] (KEY)
// * and containing validity_restrictions['time_start_and_end']
// * indicating CERT_TS_AT_TIME_VALIDITY
// * and not containing validity_restrictions['region']
// * and containing header_fields [1]
// * containing type
// * indicating 'generation_time'
// * containing generation_time
// * indicating CURRENT_TIME
// * inside CERT_TS_AT_TIME_VALIDITY
// * and containing header_fields [2]
// * containing type
// * indicating 'generation_location'
// * containing generation_location
// * and containing generation_location
// * and containing header_fields[3]
// * containing type
// * indicating 'its_aid'
// * and containing its_aid
// * indicating 'AID_BEACON'
// * and containing payload_field
// * containing type
// * indicating 'signed'
// * containing data
// * indicating length > 0
// * and containing trailer_fields
// * containing single instance of type TrailerField
// * containing type
// * indicating 'signature'
// * containing signature
// * verifiable using KEY
// * } then {
// * the IUT accepts the message
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_01_01_BV
// * @reference ETSI TS 103 097 [1] Clause 7.3
21306
21307
21308
21309
21310
21311
21312
21313
21314
21315
21316
21317
21318
21319
21320
21321
21322
21323
21324
21325
21326
21327
21328
21329
21330
21331
21332
21333
21334
21335
21336
21337
21338
21339
21340
21341
21342
21343
21344
21345
21346
21347
21348
21349
21350
21351
21352
21353
21354
21355
21356
21357
21358
21359
21360
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_01_01_BV() runs on ItsMtc system ItsSecSystem {
//
// // Local variables
// var ItsGeoNetworking v_nodeB;
// var ItsGeoNetworking v_nodeD;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
// log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
//
// // Test component configuration
// f_cf02Up();
//
// // Preamble
//
// // Start components
// v_nodeB := f_getComponent(c_compNodeB);
// v_nodeD := f_getComponent(c_compNodeD);
// v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_01_0x_BV_nodeB(cc_taCert_A));
// v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BV_nodeD());
//
// // Synchronization
// f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
//
// // Cleanup
// f_cf02Down();
//
// } // End of testcase TC_SEC_ITSS_RCV_GENMSG_01_01_BV
//
// /**
// * @desc Check that IUT accepts a well-formed Secured GN Beacon signed with the certificate with a circular region validity restriction
// * @remark The message defined in this test purpose is used in the subsequent test purposes with the snippet name ‘MSG_SEC_RCV_GENMSG_C’. Only differences to this snippet are mentioned in subsequent test purposes
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
// * Config Id: CF01
// * Expected behavior:
// * with {
// * the IUT being in the 'authorized' state
// * and the IUT current time is inside the time validity period of CERT_TS_B_AT
// * and the IUT current location is inside the region validity period of CERT_TS_B_AT
// * }
// * ensure that {
// * when {
// * the IUT is receiving a Ieee1609Dot2Data
// * containing protocol_version
// * indicating value '2'
// * and containing header_fields[0]
// * containing type
// * indicating 'signer_info'
// * and containing signer
// * containing type
21362
21363
21364
21365
21366
21367
21368
21369
21370
21371
21372
21373
21374
21375
21376
21377
21378
21379
21380
21381
21382
21383
21384
21385
21386
21387
21388
21389
21390
21391
21392
21393
21394
21395
21396
21397
21398
21399
21400
21401
21402
21403
// * and containing certificate (CERT_TS_B_AT)
// * containing subject_info.subject_type
// * indicating 'authorization_ticket' (2)
// * and containing subject_attributes['verification key'] (KEY)
// * and containing validity_restrictions['time_start_and_end']
// * indicating CERT_TS_AT_TIME_VALIDITY
// * and containing validity_restrictions['region']
// * containing region
// * containing region_type
// * indicating 'circle'
// * and containing circular_region
// * indicating REGION
// * and containing header_fields [1]
// * containing type
// * indicating 'generation_time'
// * containing generation_time
// * indicating CURRENT_TIME
// * and containing header_fields [2]
// * containing type
// * indicating 'generation_location'
// * and containing generation_location
// * and containing header_fields[3]
// * containing type
// * indicating 'its_aid'
// * and containing its_aid
// * indicating 'AID_BEACON'
// * and containing payload_field
// * containing type
// * indicating 'signed'
// * containing data
// * indicating length > 0
// * and containing trailer_fields
// * containing single instance of type TrailerField
// * containing type
// * indicating 'signature'
// * containing signature
// * verifiable using KEY
// * } then {
// * the IUT accepts the message
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_01_02_BV
// * @reference ETSI TS 103 097 [1] Clause 7.3
21406
21407
21408
21409
21410
21411
21412
21413
21414
21415
21416
21417
21418
21419
21420
21421
21422
21423
21424
21425
21426
21427
21428
21429
21430
21431
21432
21433
21434
21435
21436
21437
21438
21439
21440
21441
21442
21443
21444
21445
21446
21447
21448
21449
21450
21451
21452
21453
21454
21455
21456
21457
21458
21459
21460
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_01_02_BV() runs on ItsMtc system ItsSecSystem {
//
// // Local variables
// var ItsGeoNetworking v_nodeB;
// var ItsGeoNetworking v_nodeD;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
// log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
//
// // Test component configuration
// f_cf02Up();
//
// // Preamble
//
// // Start components
// v_nodeB := f_getComponent(c_compNodeB);
// v_nodeD := f_getComponent(c_compNodeD);
// v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_01_0x_BV_nodeB(cc_taCert_B));
// v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BV_nodeD());
//
// // Synchronization
// f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
//
// // Cleanup
// f_cf02Down();
//
// } // End of testcase TC_SEC_ITSS_RCV_GENMSG_01_02_BV
//
// /**
// * @desc Check that IUT accepts a well-formed Secured GN Beacon signed with the certificate with a rectangular region validity restriction
// * @remark The message defined in this test purpose is used in the subsequent test purposes with the snippet name ‘MSG_SEC_RCV_GENMSG_C’. Only differences to this snippet are mentioned in subsequent test purposes
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
// * Config Id: CF01
// * Expected behavior:
// * with {
// * the IUT being in the 'authorized' state
// * and the IUT current time is inside the time validity period of CERT_TS_C_AT
// * and the IUT current location is inside the region validity period of CERT_TS_C_AT
// * }
// * ensure that {
// * when {
// * the IUT is receiving a Ieee1609Dot2Data
// * containing protocol_version
// * indicating value '2'
// * and containing header_fields[0]
// * containing type
// * indicating 'signer_info'
// * and containing signer
// * containing type
21462
21463
21464
21465
21466
21467
21468
21469
21470
21471
21472
21473
21474
21475
21476
21477
21478
21479
21480
21481
21482
21483
21484
21485
21486
21487
21488
21489
21490
21491
21492
21493
21494
21495
21496
21497
21498
21499
21500
21501
21502
21503
// * and containing certificate (CERT_TS_C_AT)
// * containing subject_info.subject_type
// * indicating 'authorization_ticket' (2)
// * and containing subject_attributes['verification key'] (KEY)
// * and containing validity_restrictions['time_start_and_end']
// * indicating CERT_TS_AT_TIME_VALIDITY
// * and containing validity_restrictions['region']
// * containing region
// * containing region_type
// * indicating 'rectangle'
// * and containing rectangular_region
// * indicating REGION
// * and containing header_fields [1]
// * containing type
// * indicating 'generation_time'
// * containing generation_time
// * indicating CURRENT_TIME
// * and containing header_fields [2]
// * containing type
// * indicating 'generation_location'
// * and containing generation_location
// * and containing header_fields[3]
// * containing type
// * indicating 'its_aid'
// * and containing its_aid
// * indicating 'AID_BEACON'
// * and containing payload_field
// * containing type
// * indicating 'signed'
// * containing data
// * indicating length > 0
// * and containing trailer_fields
// * containing single instance of type TrailerField
// * containing type
// * indicating 'signature'
// * containing signature
// * verifiable using KEY
// * } then {
// * the IUT accepts the message
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_01_03_BV
// * @reference ETSI TS 103 097 [1] Clause 7.3
21506
21507
21508
21509
21510
21511
21512
21513
21514
21515
21516
21517
21518
21519
21520
21521
21522
21523
21524
21525
21526
21527
21528
21529
21530
21531
21532
21533
21534
21535
21536
21537
21538
21539
21540
21541
21542
21543
21544
21545
21546
21547
21548
21549
21550
21551
21552
21553
21554
21555
21556
21557
21558
21559
21560
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_01_03_BV() runs on ItsMtc system ItsSecSystem {
//
// // Local variables
// var ItsGeoNetworking v_nodeB;
// var ItsGeoNetworking v_nodeD;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
// log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
//
// // Test component configuration
// f_cf02Up();
//
// // Preamble
//
// // Start components
// v_nodeB := f_getComponent(c_compNodeB);
// v_nodeD := f_getComponent(c_compNodeD);
// v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_01_0x_BV_nodeB(cc_taCert_C));
// v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BV_nodeD());
//
// // Synchronization
// f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
//
// // Cleanup
// f_cf02Down();
//
// } // End of testcase TC_SEC_ITSS_RCV_GENMSG_01_03_BV
//
// /**
// * @desc Check that IUT accepts a well-formed Secured GN Beacon signed with the certificate with a rectangular region validity restriction
// * @remark The message defined in this test purpose is used in the subsequent test purposes with the snippet name ‘MSG_SEC_RCV_GENMSG_C’. Only differences to this snippet are mentioned in subsequent test purposes
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
// * Config Id: CF01
// * Expected behavior:
// * with {
// * the IUT being in the 'authorized' state
// * and the IUT current time is inside the time validity period of CERT_TS_D_AT
// * and the IUT current location is inside the region validity period of CERT_TS_D_AT
// * }
// * ensure that {
// * when {
// * the IUT is receiving a Ieee1609Dot2Data
// * containing protocol_version
// * indicating value '2'
// * and containing header_fields[0]
// * containing type
// * indicating 'signer_info'
// * and containing signer
// * containing type
21562
21563
21564
21565
21566
21567
21568
21569
21570
21571
21572
21573
21574
21575
21576
21577
21578
21579
21580
21581
21582
21583
21584
21585
21586
21587
21588
21589
21590
21591
21592
21593
21594
21595
21596
21597
21598
21599
21600
21601
21602
21603
// * and containing certificate (CERT_TS_D_AT)
// * containing subject_info.subject_type
// * indicating 'authorization_ticket' (2)
// * and containing subject_attributes['verification key'] (KEY)
// * and containing validity_restrictions['time_start_and_end']
// * indicating CERT_TS_AT_TIME_VALIDITY
// * and containing validity_restrictions['region']
// * containing region
// * containing region_type
// * indicating 'polygon'
// * and containing polygonal_region
// * indicating REGION
// * and containing header_fields [1]
// * containing type
// * indicating 'generation_time'
// * containing generation_time
// * indicating CURRENT_TIME
// * and containing header_fields [2]
// * containing type
// * indicating 'generation_location'
// * and containing generation_location
// * and containing header_fields[3]
// * containing type
// * indicating 'its_aid'
// * and containing its_aid
// * indicating 'AID_BEACON'
// * and containing payload_field
// * containing type
// * indicating 'signed'
// * containing data
// * indicating length > 0
// * and containing trailer_fields
// * containing single instance of type TrailerField
// * containing type
// * indicating 'signature'
// * containing signature
// * verifiable using KEY
// * } then {
// * the IUT accepts the message
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_01_04_BV
// * @reference ETSI TS 103 097 [1] Clause 7.3
21606
21607
21608
21609
21610
21611
21612
21613
21614
21615
21616
21617
21618
21619
21620
21621
21622
21623
21624
21625
21626
21627
21628
21629
21630
21631
21632
21633
21634
21635
21636
21637
21638
21639
21640
21641
21642
21643
21644
21645
21646
21647
21648
21649
21650
21651
21652
21653
21654
21655
21656
21657
21658
21659
21660
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_01_04_BV() runs on ItsMtc system ItsSecSystem {
//
// // Local variables
// var ItsGeoNetworking v_nodeB;
// var ItsGeoNetworking v_nodeD;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
// log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
//
// // Test component configuration
// f_cf02Up();
//
// // Preamble
//
// // Start components
// v_nodeB := f_getComponent(c_compNodeB);
// v_nodeD := f_getComponent(c_compNodeD);
// v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_01_0x_BV_nodeB(cc_taCert_D));
// v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BV_nodeD());
//
// // Synchronization
// f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
//
// // Cleanup
// f_cf02Down();
//
// } // End of testcase TC_SEC_ITSS_RCV_GENMSG_01_04_BV
//
// /**
// * @desc Check that IUT accepts a well-formed Secured GN Beacon signed with the certificate with a rectangular region validity restriction
// * @remark The message defined in this test purpose is used in the subsequent test purposes with the snippet name ‘MSG_SEC_RCV_GENMSG_C’. Only differences to this snippet are mentioned in subsequent test purposes
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
// * Config Id: CF01
// * Expected behavior:
// * with {
// * the IUT being in the 'authorized' state
// * and the IUT current time is inside the time validity period of CERT_TS_E_AT
// * and the IUT current location is inside the region validity period of CERT_TS_E_AT
// * }
// * ensure that {
// * when {
// * the IUT is receiving a Ieee1609Dot2Data
// * containing protocol_version
// * indicating value '2'
// * and containing header_fields[0]
// * containing type
// * indicating 'signer_info'
// * and containing signer
// * containing type
21662
21663
21664
21665
21666
21667
21668
21669
21670
21671
21672
21673
21674
21675
21676
21677
21678
21679
21680
21681
21682
21683
21684
21685
21686
21687
21688
21689
21690
21691
21692
21693
21694
21695
21696
21697
21698
21699
21700
21701
21702
21703
// * and containing certificate (CERT_TS_E_AT)
// * containing subject_info.subject_type
// * indicating 'authorization_ticket' (2)
// * and containing subject_attributes['verification key'] (KEY)
// * and containing validity_restrictions['time_start_and_end']
// * indicating CERT_TS_AT_TIME_VALIDITY
// * and containing validity_restrictions['region']
// * containing region
// * containing region_type
// * indicating 'id_region'
// * and containing id_region
// * indicating REGION
// * and containing header_fields [1]
// * containing type
// * indicating 'generation_time'
// * containing generation_time
// * indicating CURRENT_TIME
// * and containing header_fields [2]
// * containing type
// * indicating 'generation_location'
// * and containing generation_location
// * and containing header_fields[3]
// * containing type
// * indicating 'its_aid'
// * and containing its_aid
// * indicating 'AID_BEACON'
// * and containing payload_field
// * containing type
// * indicating 'signed'
// * containing data
// * indicating length > 0
// * and containing trailer_fields
// * containing single instance of type TrailerField
// * containing type
// * indicating 'signature'
// * containing signature
// * verifiable using KEY
// * } then {
// * the IUT accepts the message
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_01_05_BV
// * @reference ETSI TS 103 097 [1] Clause 7.3
21706
21707
21708
21709
21710
21711
21712
21713
21714
21715
21716
21717
21718
21719
21720
21721
21722
21723
21724
21725
21726
21727
21728
21729
21730
21731
21732
21733
21734
21735
21736
21737
21738
21739
21740
21741
21742
21743
21744
21745
21746
21747
21748
21749
21750
21751
21752
21753
21754
21755
21756
21757
21758
21759
21760
21761
21762
21763
21764
21765
21766
21767
21768
21769
21770
21771
21772
21773
21774
21775
21776
21777
21778
21779
21780
21781
21782
21783
21784
21785
21786
21787
21788
21789
21790
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_01_05_BV() runs on ItsMtc system ItsSecSystem {
//
// // Local variables
// var ItsGeoNetworking v_nodeB;
// var ItsGeoNetworking v_nodeD;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
// log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
//
// // Test component configuration
// f_cf02Up();
//
// // Preamble
//
// // Start components
// v_nodeB := f_getComponent(c_compNodeB);
// v_nodeD := f_getComponent(c_compNodeD);
// v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_01_0x_BV_nodeB(cc_taCert_E));
// v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BV_nodeD());
//
// // Synchronization
// f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
//
// // Cleanup
// f_cf02Down();
//
// } // End of testcase TC_SEC_ITSS_RCV_GENMSG_01_05_BV
//
// group g_TC_SEC_ITSS_RCV_GENMSG_01_0x_BV {
//
// /**
// * @desc Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_01_0x_BV_nodeB(
// in charstring p_taCert
// ) runs on ItsGeoNetworking {
//
// // Local variables
// var GeoNetworkingPdu v_securedGnPdu;
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdict(c_prDone, e_success);
//
// // Test Body
// v_securedGnPdu := f_sendSecuredBeacon(p_taCert, omit, e_certificate);
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
//
// // Postamble
// f_selfOrClientSyncAndVerdict(c_poDone, e_success);
//
// } // End of function f_TC_SEC_ITSS_RCV_GENMSG_01_0x_BV_nodeB
//
// } // End of group g_TC_SEC_ITSS_RCV_GENMSG_01_0x_BV
//
// /**
// * @desc Check that IUT discards a Secured GN Message containing protocol version set to a value less than 2
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
// * Config Id: CF01
// * Expected behavior:
// * 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 Ieee1609Dot2Data
// * containing protocol_version
// * indicating 1
// * } then {
// * the IUT discards the message
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_02_01_BO
// * @reference ETSI TS 103 097 [1] Clause 5.1
21793
21794
21795
21796
21797
21798
21799
21800
21801
21802
21803
21804
21805
21806
21807
21808
21809
21810
21811
21812
21813
21814
21815
21816
21817
21818
21819
21820
21821
21822
21823
21824
21825
21826
21827
21828
21829
21830
21831
21832
21833
21834
21835
21836
21837
21838
21839
21840
21841
21842
21843
21844
21845
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_02_01_BO() runs on ItsMtc system ItsSecSystem {
//
// // Local variables
// var ItsGeoNetworking v_nodeB;
// var ItsGeoNetworking v_nodeD;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
// log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
//
// // Test component configuration
// f_cf02Up();
//
// // Preamble
//
// // Start components
// v_nodeB := f_getComponent(c_compNodeB);
// v_nodeD := f_getComponent(c_compNodeD);
// v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_02_0x_BO_nodeB(PX_WRONG_PROTOCOL_VERSION));
// v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
//
// // Synchronization
// f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
//
// // Cleanup
// f_cf02Down();
//
// } // End of testcase TC_SEC_ITSS_RCV_GENMSG_02_01_BO
//
// /**
// * @desc Check that IUT discards a Secured GN Message containing protocol version set to a value greater than 2
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
// * Config Id: CF01
// * Expected behavior:
// * 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 Ieee1609Dot2Data
// * containing protocol_version
// * indicating 3
// * } then {
// * the IUT discards the message
// * }
// * }
// * </pre>
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_02_02_BO
// * @reference ETSI TS 103 097 [1] Clause 5.1
21848
21849
21850
21851
21852
21853
21854
21855
21856
21857
21858
21859
21860
21861
21862
21863
21864
21865
21866
21867
21868
21869
21870
21871
21872
21873
21874
21875
21876
21877
21878
21879
21880
21881
21882
21883
21884
21885
21886
21887
21888
21889
21890
21891
21892
21893
21894
21895
21896
21897
21898
21899
21900
21901
21902
21903
21904
21905
21906
21907
21908
21909
21910
21911
21912
21913
21914
21915
21916
21917
21918
21919
21920
21921
21922
21923
21924
21925
21926
21927
21928
21929
21930
21931
21932
21933
21934
21935
21936
21937
21938
21939
21940
21941
21942
21943
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_02_02_BO() runs on ItsMtc system ItsSecSystem {
//
// // Local variables
// var ItsGeoNetworking v_nodeB;
// var ItsGeoNetworking v_nodeD;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
// log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
//
// // Test component configuration
// f_cf02Up();
//
// // Preamble
//
// // Start components
// v_nodeB := f_getComponent(c_compNodeB);
// v_nodeD := f_getComponent(c_compNodeD);
// v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_02_0x_BO_nodeB(PX_WRONG_PROTOCOL_VERSION));
// v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
//
// // Synchronization
// f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
//
// // Cleanup
// f_cf02Down();
//
// } // End of testcase TC_SEC_ITSS_RCV_GENMSG_02_02_BO
//
// group g_TC_SEC_ITSS_RCV_GENMSG_02_0x_BO {
//
// /**
// * @desc Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_02_0x_BO_nodeB(
// in UInt8 p_protocolVersion
// ) runs on ItsGeoNetworking {
//
// // Local variables
// var GeoNetworkingPdu v_securedGnPdu;
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdict(c_prDone, e_success);
//
// // Test Body
// v_securedGnPdu := f_sendSecuredBeacon_Bo(cc_taCert_A, p_protocolVersion);
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
//
// // Postamble
// f_selfOrClientSyncAndVerdict(c_poDone, e_success);
//
// } // End of function f_TC_SEC_ITSS_RCV_GENMSG_02_0x_BO_nodeB
//
// } // End of group g_TC_SEC_ITSS_RCV_GENMSG_02_0x_BV
//
// /**
// * @desc Check that IUT discards a secured GN Message if the header_fields contains more than one header field of type 'signer_info'
// * <pre>
// * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC
// * 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 Ieee1609Dot2Data (MSG_SEC_RCV_GENMSG_A)
// * containing header_fields[0].type
// * indicating 'signer_info'
// * and containing header_fields[1].type
// * indicating 'signer_info'
// * and containing header_fields[2].type
// * indicating 'generation_time'
// * and containing header_fields[3].type
// * indicating ''generation_location''
// * and containing header_fields[4].type
// * containing its_aid
// * indicating 'AID_BEACON'
// * and not containing other header fields
// * } then {
// * the IUT discards the message
// * }
// * }
// * </pre>
// *
// * @see ETSI TS 103 096-2 v1.3.2 TP_SEC_ITSS_RCV_GENMSG_04_01_BO
// * @reference ETSI TS 103 097 [1] Clause 7.3
21946
21947
21948
21949
21950
21951
21952
21953
21954
21955
21956
21957
21958
21959
21960
21961
21962
21963
21964
21965
21966
21967
21968
21969
21970
21971
21972
21973
21974
21975
21976
21977
21978
21979
21980
21981
21982
21983
21984
21985
21986
21987
21988
21989
21990
21991
21992
21993
21994
21995
21996
21997
21998
21999
22000
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_04_01_BO() runs on ItsMtc system ItsSecSystem {
//
// // Local variables
// var ItsGeoNetworking v_nodeB;
// var ItsGeoNetworking v_nodeD;
//
// // Test control
// if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC)) {
// log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC' required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
//
// // Test component configuration
// f_cf02Up();
//
// // Preamble
//
// // Start components
// v_nodeB := f_getComponent(c_compNodeB);
// v_nodeD := f_getComponent(c_compNodeD);
// v_nodeB.start(f_TC_SEC_ITSS_RCV_GENMSG_04_01_BO());
// v_nodeD.start(f_TC_SEC_ITSS_RCV_GENMSG_xxx_BO_nodeD());
//
// // Synchronization
// f_serverSync2ClientsAndStop({c_prDone, c_tbDone, c_poDone});
//
// // Cleanup
// f_cf02Down();
//
// } // End of testcase TC_SEC_ITSS_RCV_GENMSG_04_01_BO
//
// group g_TC_SEC_ITSS_RCV_GENMSG_04_01_BO {
//
// /**
// * @desc Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_04_01_BO() runs on ItsGeoNetworking {
//
// // Local variables
// var GeoNetworkingPdu v_securedGnPdu;
// var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
//
// // Test component configuration
// f_cf01Up();
//
// // Test adapter configuration
//
// // Preamble
// f_prNeighbour();
// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
//
// // Test Body
// v_securedGnPdu := f_prepareSecuredBeacon(