Newer
Older
21001
21002
21003
21004
21005
21006
21007
21008
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
21041
21042
21043
21044
21045
21046
21047
21048
21049
21050
21051
21052
21053
21054
21055
// m_header_info_signer_info(
// m_issuerIdentifier_sha256AndDigest(
// vc_atCertificate.signer_info.signerInfo.digest
// )),
// m_header_info_generation_time(1000 * f_getCurrentTime()), // In us
// m_header_info_generation_time(1000 * f_getCurrentTime() - 1), // In us
// m_header_info_generation_location(
// valueof(m_threeDLocation(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// '0000'O
// ))
// ),
// m_header_info_its_aid_Other
// },
// e_certificate_digest_with_sha256,
// false
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
//
// // Postamble
// f_selfOrClientSyncAndVerdict(c_poDone, e_success);
//
// } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_04_BO
//
// } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_04_BO
//
// /**
// * @desc Check that IUT discards a secured GN Message if the message does not contain the header field of type 'generation_time'
// * <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 'generation_time'
// * and containing header_fields[2].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_05_BO
21057
21058
21059
21060
21061
21062
21063
21064
21065
21066
21067
21068
21069
21070
21071
21072
21073
21074
21075
21076
21077
21078
21079
21080
21081
21082
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
21115
21116
21117
21118
21119
21120
21121
21122
21123
21124
21125
21126
21127
21128
21129
21130
21131
21132
21133
21134
21135
21136
21137
21138
21139
21140
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
// * @reference ETSI TS 103 097 [1], clause 7.3
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_04_05_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_05_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_05_BO
//
// group g_TC_SEC_ITSS_RCV_GENMSG_04_05_BO {
//
// /**
// * @desc Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_04_05_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(
// cc_taCert_A,
// {
// m_header_info_signer_info(
// m_issuerIdentifier_sha256AndDigest(
// vc_atCertificate.signer_info.signerInfo.digest
// )),
// m_header_info_generation_location(
// valueof(m_threeDLocation(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// '0000'O
// ))
// ),
// m_header_info_its_aid_Other
// },
// e_certificate_digest_with_sha256,
// false
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
//
// // Postamble
// f_selfOrClientSyncAndVerdict(c_poDone, e_success);
//
// } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_05_BO
//
// } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_05_BO
//
// /**
// * @desc Check that IUT discards a Secured GN Message if the message contains more than one header field of type 'its_aid'
// * <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 'generation_time'
// * and containing header_fields[2].type
// * indicating 'generation_location'
// * and containing header_fields[3]
// * containing type
// * indicating 'its_aid'
// * containing its_aid
// * indicating 'AID_BEACON'
// * 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_06_BO
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
21242
21243
21244
21245
21246
21247
21248
21249
21250
21251
21252
21253
21254
21255
21256
21257
21258
21259
21260
21261
21262
21263
21264
21265
21266
21267
21268
21269
21270
21271
21272
21273
21274
21275
21276
21277
21278
21279
21280
21281
21282
21283
21284
21285
21286
21287
// * @reference ETSI TS 103 097 [1], clause 7.3
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_04_06_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_06_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_06_BO
//
// group g_TC_SEC_ITSS_RCV_GENMSG_04_06_BO {
//
// /**
// * @desc Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_04_06_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(
// cc_taCert_A,
// {
// m_header_info_signer_info(
// m_issuerIdentifier_sha256AndDigest(
// vc_atCertificate.signer_info.signerInfo.digest
// )),
// m_header_info_generation_time(1000 * f_getCurrentTime()), // In us
// m_header_info_generation_location(
// valueof(m_threeDLocation(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// '0000'O
// ))
// ),
// m_header_info_its_aid_Other,
// m_header_info_its_aid_Other
// },
// e_certificate_digest_with_sha256,
// false
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
//
// // Postamble
// f_selfOrClientSyncAndVerdict(c_poDone, e_success);
//
// } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_06_BO
//
// } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_06_BO
//
// /**
// * @desc Check that IUT discards a secured GN Message if the message does not contain the header field of type 'its_aid'
// * <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 'generation_time'
// * and containing header_fields[2].type
// * indicating 'generation_location'
// * 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_06a_BO
21289
21290
21291
21292
21293
21294
21295
21296
21297
21298
21299
21300
21301
21302
21303
21304
21305
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
21361
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
21404
21405
// * @reference ETSI TS 103 097 [1], clause 7.3
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_04_06a_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_06a_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_06a_BO
//
// group g_TC_SEC_ITSS_RCV_GENMSG_04_06a_BO {
//
// /**
// * @desc Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_04_06a_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(
// cc_taCert_A,
// {
// m_header_info_signer_info(
// m_issuerIdentifier_sha256AndDigest(
// vc_atCertificate.signer_info.signerInfo.digest
// )),
// m_header_info_generation_time(1000 * f_getCurrentTime()), // In us
// m_header_info_generation_location(
// valueof(m_threeDLocation(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// '0000'O
// ))
// )
// },
// e_certificate_digest_with_sha256,
// false
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
//
// // Postamble
// f_selfOrClientSyncAndVerdict(c_poDone, e_success);
//
// } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_06a_BO
//
// } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_06a_BO
//
// /**
// * @desc Check that IUT discards a secured GN Message if the message contains more than one header field of type 'generation_location'
// * <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 'generation_time'
// * and containing header_fields[2].type
// * indicating 'generation_location'
// * and containing header_fields[3].type
// * indicating 'generation_location'
// * and containing header_fields[4]
// * containing type
// * indicating 'its_aid'
// * 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_07_BO
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
21461
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
21504
21505
21506
21507
21508
21509
21510
21511
21512
21513
21514
21515
21516
21517
21518
21519
21520
21521
21522
21523
21524
21525
21526
21527
// * @reference ETSI TS 103 097 [1], clause 7.3
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_04_07_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_07_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_07_BO
//
// group g_TC_SEC_ITSS_RCV_GENMSG_04_07_BO {
//
// /**
// * @desc Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_04_07_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(
// cc_taCert_A,
// {
// m_header_info_signer_info(
// m_issuerIdentifier_sha256AndDigest(
// vc_atCertificate.signer_info.signerInfo.digest
// )),
// m_header_info_generation_time(1000 * f_getCurrentTime()), // In us
// m_header_info_generation_location(
// valueof(m_threeDLocation(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// '0000'O
// ))
// ),
// m_header_info_generation_location(
// valueof(m_threeDLocation(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// '0100'O
// ))
// ),
// m_header_info_its_aid_Other
// },
// e_certificate_digest_with_sha256,
// false
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
//
// // Postamble
// f_selfOrClientSyncAndVerdict(c_poDone, e_success);
//
// } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_07_BO
//
// } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_07_BO
//
// /**
// * @desc Check that IUT discards a secured GN Message if the message contains more than one header field of type 'generation_location'
// * <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 'generation_time'
// * and containing header_fields[2].type
// * and containing header_fields[4].type
// * indicating 'its_aid'
// * 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_08_BO
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
21561
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
21604
21605
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
// * @reference ETSI TS 103 097 [1], clause 7.3
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_04_08_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_08_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_08_BO
//
// group g_TC_SEC_ITSS_RCV_GENMSG_04_08_BO {
//
// /**
// * @desc Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_04_08_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(
// cc_taCert_A,
// {
// m_header_info_signer_info(
// m_issuerIdentifier_sha256AndDigest(
// vc_atCertificate.signer_info.signerInfo.digest
// )),
// m_header_info_generation_time(1000 * f_getCurrentTime()), // In us
// m_header_info_its_aid_Other
// },
// e_certificate_digest_with_sha256,
// false
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
//
// // Postamble
// f_selfOrClientSyncAndVerdict(c_poDone, e_success);
//
// } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_08_BO
//
// } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_08_BO
//
// /**
// * @desc Check that IUT is able to receive a Secured GN Beacon if the header fields are not in the ascending order according to the numbering of the enumeration
// * <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 'its_aid'
// * and containing header_fields[2].type
// * indicating 'generation_time'
// * and containing header_fields[3].type
// * 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_09_BO
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
21661
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
21704
21705
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
// * @reference ETSI TS 103 097 [1], clause 7.3
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_04_09_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_09_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_09_BO
//
// group g_TC_SEC_ITSS_RCV_GENMSG_04_09_BO {
//
// /**
// * @desc Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_04_09_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(
// cc_taCert_A,
// {
// m_header_info_signer_info(
// m_issuerIdentifier_sha256AndDigest(
// vc_atCertificate.signer_info.signerInfo.digest
// )),
// m_header_info_its_aid_Other,
// m_header_info_generation_time(1000 * f_getCurrentTime()), // In us
// m_header_info_generation_location(
// valueof(m_threeDLocation(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// '0000'O
// ))
// )
// },
// e_certificate_digest_with_sha256,
// false
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
//
// // Postamble
// f_selfOrClientSyncAndVerdict(c_poDone, e_success);
//
// } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_09_BO
//
// } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_09_BO
//
// /**
// * @desc Check that IUT accepts a GN Secured Message containing optional header field of type 'expiry_time'
// * <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 'its_aid'
// * and containing header_fields[2].type
// * indicating 'generation_time'
// * and containing header_fields[3].type
// * 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_11_BO
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
21791
21792
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
21846
21847
21848
21849
21850
21851
21852
21853
21854
21855
21856
21857
21858
21859
21860
21861
21862
21863
21864
21865
21866
21867
// * @reference ETSI TS 103 097 [1], clause 7.3
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_04_11_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_11_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_11_BO
//
// group g_TC_SEC_ITSS_RCV_GENMSG_04_11_BO {
//
// /**
// * @desc Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_04_11_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(
// cc_taCert_A,
// {
// m_header_info_signer_info(
// m_issuerIdentifier_sha256AndDigest(
// vc_atCertificate.signer_info.signerInfo.digest
// )),
// m_header_info_generation_time(1000 * f_getCurrentTime()), // In us
// m_header_info_expiry_time(
// 1000 * (3600 + f_getCurrentTime()) // In us
// ),
// m_header_info_generation_location(
// valueof(m_threeDLocation(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// '0000'O
// ))
// ),
// m_header_info_its_aid_Other
// },
// e_certificate_digest_with_sha256,
// false
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
//
// // Postamble
// f_selfOrClientSyncAndVerdict(c_poDone, e_success);
//
// } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_11_BO
//
// } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_11_BO
//
// /**
// * @desc Check that IUT accepts the Secured GN Message containing additional non-standard HeaderInfo
// * <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 'generation_time'
// * and containing header_fields[2].type
// * and containing header_fields[3].type
// * indicating 'its_aid'
// * and containing header_fields[4]
// * containing type
// * indicating non-standard header field type (1000)
// * and containing other_header
// * indicating non-empty data
// * 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_12_BO
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
21944
21945
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
// * @reference ETSI TS 103 097 [1], clause 7.3
// */
// testcase TC_SEC_ITSS_RCV_GENMSG_04_12_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_12_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_12_BO
//
// group g_TC_SEC_ITSS_RCV_GENMSG_04_12_BO {
//
// /**
// * @desc Behavior function for NodeB (TC_GEONW_PON_GBC_BV_01)
// */
// function f_TC_SEC_ITSS_RCV_GENMSG_04_12_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(
// cc_taCert_A,
// {
// m_header_info_signer_info(
// m_issuerIdentifier_sha256AndDigest(
// vc_atCertificate.signer_info.signerInfo.digest
// )),
// m_header_info_generation_time(1000 * f_getCurrentTime()), // In us
// m_header_info_expiry_time(
// 1000 * (3600 + f_getCurrentTime()) // In us
// ),
// m_header_info_generation_location(
// valueof(m_threeDLocation(
// v_longPosVectorNodeB.latitude,
// v_longPosVectorNodeB.longitude,
// '0000'O
// ))
// ),
// m_header_info_its_aid_Other,
// m_header_info_unspecify
// },
// e_certificate_digest_with_sha256,
// false
// );
// f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
// f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
//
// // Postamble
// f_selfOrClientSyncAndVerdict(c_poDone, e_success);
//
// } // End of testcase f_TC_SEC_ITSS_RCV_GENMSG_04_12_BO
//
// } // End of group g_TC_SEC_ITSS_RCV_GENMSG_04_12_BO
//
// /**
// * @desc Check that IUT accepts the Secured GN Message containing additional non-standard HeaderInfo
// * <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 'generation_time'
// * and containing header_fields[2].type
// * and containing header_fields[3].type
// * indicating '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>