Skip to content
GitLab
Commit c91f8b7d authored by garciay's avatar garciay
Browse files

STF507 week#11: Add testing functions to validate ITS Security ATS against itself 

                Bug fixed in TC_SEC_ITSS_SND_CAM_10_01_BV
                Add missing PICS_CERTIFICATE_SELECTION
parent 6f24a048
Show whitespace changes
Inline Side-by-side
ttcn/AtsSecurity/ItsSecurity_Pics.ttcn3 0 → 100644
View file @ c91f8b7d
/**
* @author ETSI / STF507
* @version $UR$
* $Id$
* @desc Module containing Pics for Security ATS
*
*/
module ItsSecurity_Pics {
/**
* @desc Set to true to enable specific behavior to validate ITS Security ATS against itself
*/
modulepar boolean PICS_DEBUG_ADDON := false;
} // End of module ItsSecurity_Pics
ttcn/AtsSecurity/ItsSecurity_TestCases.ttcn3
View file @ c91f8b7d
...@@ -55,6 +55,7 @@ module ItsSecurity_TestCases { ...@@ -55,6 +55,7 @@ module ItsSecurity_TestCases {
import from AtsSecurity_TestSystem all; import from AtsSecurity_TestSystem all;
import from AtsSecurity_Functions all; import from AtsSecurity_Functions all;
import from AtsSecurity_Templates all; import from AtsSecurity_Templates all;
import from ItsSecurity_Pics all;
/** /**
* @desc Sending behaviour test cases * @desc Sending behaviour test cases
...@@ -1537,13 +1538,20 @@ module ItsSecurity_TestCases { ...@@ -1537,13 +1538,20 @@ module ItsSecurity_TestCases {
* containing signer * containing signer
* containing type * containing type
* indicating 'certificate' * indicating 'certificate'
* containing certificate * and containing certificate
* not containing validity_restrictions['time_start_and_end'] * containing validity_restrictions['time_end']
* containing end_validity
* indicating value > GEN_TIME
* or containing validity_restrictions['time_start_and_end'] * or containing validity_restrictions['time_start_and_end']
* containing start_validity * containing start_validity
* indicating value <= TIME_1 * indicating value <= GEN_TIME
* containing end_validity * and containing end_validity
* indicating value > TIME_1 * indicating value > GEN_TIME
* or containing validity_restrictions['time_start_and_duration']
* containing start_validity (X_START_VALIDITY)
* indicating value <= GEN_TIME
* and containing duration
* indicating value > GEN_TIME - X_START_VALIDITY
* } * }
* } * }
* </pre> * </pre>
...@@ -1617,15 +1625,26 @@ module ItsSecurity_TestCases { ...@@ -1617,15 +1625,26 @@ module ItsSecurity_TestCases {
// Check generation_time validity // Check generation_time validity
if ( if (
not(f_getCertificateValidityRestriction(v_certificate, e_time_start_and_end, v_validity)) or (f_getCertificateValidityRestriction(v_certificate, e_time_start_and_end, v_validity) == true) and
(v_generationTime >= (v_validity.validity.time_start_and_end.start_validity * 1000000) and (v_generationTime >= (v_validity.validity.time_start_and_end.start_validity * 1000000) and
(v_generationTime < (v_validity.validity.time_start_and_end.end_validity * 1000000))) (v_generationTime < (v_validity.validity.time_start_and_end.end_validity * 1000000)))
) {
log("*** " & testcasename() & ": PASS: Generation time within certificate validity/time_start_and_end ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
} else if (
(f_getCertificateValidityRestriction(v_certificate, e_time_end, v_validity) == true) and
(v_generationTime < (v_validity.validity.end_validity * 1000000))
) {
log("*** " & testcasename() & ": PASS: Generation time within certificate validity ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
} else if (
(f_getCertificateValidityRestriction(v_certificate, e_time_start_and_duration, v_validity) == true) and
(v_generationTime >= (v_validity.validity.time_start_and_duration.start_validity * 1000000)) and
(v_generationTime < (v_validity.validity.e_time_start_and_duration.duration_ * 1000000))
) { ) {
log("*** " & testcasename() & ": PASS: Generation time within certificate validity ***"); log("*** " & testcasename() & ": PASS: Generation time within certificate validity ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
} else { } else {
log ("start_validity (in us)=", v_validity.validity.time_start_and_end.start_validity * 1000000);
log ("end_validity (in us) =", v_validity.validity.time_start_and_end.end_validity * 1000000);
log("*** " & testcasename() & ": FAIL: Generation time not within certificate validity ***"); log("*** " & testcasename() & ": FAIL: Generation time not within certificate validity ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
} }
...@@ -8443,7 +8462,7 @@ module ItsSecurity_TestCases { ...@@ -8443,7 +8462,7 @@ module ItsSecurity_TestCases {
)), )),
m_header_field_signer_info( m_header_field_signer_info(
m_signerInfo_certificate( m_signerInfo_certificate(
vc_aaCertificate vc_atCertificate
)), )),
m_header_field_generation_time(1000 * f_getCurrentTime()), // In us m_header_field_generation_time(1000 * f_getCurrentTime()), // In us
m_header_field_its_aid_CAM m_header_field_its_aid_CAM
...@@ -8522,6 +8541,9 @@ module ItsSecurity_TestCases { ...@@ -8522,6 +8541,9 @@ module ItsSecurity_TestCases {
// Preamble // Preamble
f_prNeighbour(); f_prNeighbour();
if (PICS_DEBUG_ADDON) {
f_sendCertificateAndWaitForCertificateChainRequest(cc_taCert_F, f_generateDefaultCam());
}
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body // Test Body
...@@ -9764,6 +9786,9 @@ module ItsSecurity_TestCases { ...@@ -9764,6 +9786,9 @@ module ItsSecurity_TestCases {
// Preamble // Preamble
f_prNeighbour(); f_prNeighbour();
if (PICS_DEBUG_ADDON) {
f_sendCertificate(cc_taCert_F, f_generateDefaultCam());
}
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body // Test Body
...@@ -9846,6 +9871,9 @@ module ItsSecurity_TestCases { ...@@ -9846,6 +9871,9 @@ module ItsSecurity_TestCases {
// Preamble // Preamble
f_prNeighbour(); f_prNeighbour();
if (PICS_DEBUG_ADDON) {
f_sendCertificate(cc_taCert_F, f_generateDefaultCam());
}
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body // Test Body
...@@ -9932,6 +9960,9 @@ module ItsSecurity_TestCases { ...@@ -9932,6 +9960,9 @@ module ItsSecurity_TestCases {
// Preamble // Preamble
f_prNeighbour(); f_prNeighbour();
if (PICS_DEBUG_ADDON) {
f_sendCertificate(cc_taCert_F, f_generateDefaultCam());
}
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body // Test Body
...@@ -15440,7 +15471,7 @@ module ItsSecurity_TestCases { ...@@ -15440,7 +15471,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that IUT discards Secured DENM if the HeaderField generation_location is outside of the circular validity region of the signing certificate * @desc Check that IUT discards Secured DENM if the HeaderField generation_location is outside of the circular validity region of the signing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_CIRCULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_CIRCULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -15481,8 +15512,8 @@ module ItsSecurity_TestCases { ...@@ -15481,8 +15512,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test control // Test control
if (not(PICS_GN_SECURITY) or not(PICS_USE_CIRCULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_CIRCULAR_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_CIRCULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_CIRCULAR_REGION' required for executing the TC ***");
stop; stop;
} }
...@@ -15520,7 +15551,7 @@ module ItsSecurity_TestCases { ...@@ -15520,7 +15551,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that IUT discards Secured DENM if the HeaderField generation_location is outside of the rectangilar validity region of the signing certificate * @desc Check that IUT discards Secured DENM if the HeaderField generation_location is outside of the rectangilar validity region of the signing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -15561,8 +15592,8 @@ module ItsSecurity_TestCases { ...@@ -15561,8 +15592,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test control // Test control
if (not(PICS_GN_SECURITY) or not(PICS_USE_RECTANGULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_RECTANGULAR_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***");
stop; stop;
} }
...@@ -15600,7 +15631,7 @@ module ItsSecurity_TestCases { ...@@ -15600,7 +15631,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that IUT discards Secured DENM if the HeaderField generation_location is outside of the polygonal validity region of the signing certificate * @desc Check that IUT discards Secured DENM if the HeaderField generation_location is outside of the polygonal validity region of the signing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_POLYGONAL_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_POLYGONAL_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -15641,8 +15672,8 @@ module ItsSecurity_TestCases { ...@@ -15641,8 +15672,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test control // Test control
if (not(PICS_GN_SECURITY) or not(PICS_USE_POLYGONAL_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_POLYGONAL_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_POLYGONAL_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_POLYGONAL_REGION' required for executing the TC ***");
stop; stop;
} }
...@@ -15680,7 +15711,7 @@ module ItsSecurity_TestCases { ...@@ -15680,7 +15711,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that IUT discards Secured DENM if the HeaderField generation_location is outside of the identified validity region of the signing certificate * @desc Check that IUT discards Secured DENM if the HeaderField generation_location is outside of the identified validity region of the signing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_IDENTIFIED_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_IDENTIFIED_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -15721,8 +15752,8 @@ module ItsSecurity_TestCases { ...@@ -15721,8 +15752,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test control // Test control
if (not(PICS_GN_SECURITY) or not(PICS_USE_IDENTIFIED_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_IDENTIFIED_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_IDENTIFIED_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_IDENTIFIED_REGION' required for executing the TC ***");
stop; stop;
} }
...@@ -20884,7 +20915,7 @@ module ItsSecurity_TestCases { ...@@ -20884,7 +20915,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that IUT discards Secured GN Message if the HeaderField generation_location is outside of the circular validity region of the signing certificate * @desc Check that IUT discards Secured GN Message if the HeaderField generation_location is outside of the circular validity region of the signing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_USE_CIRCULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_CERTIFICATE_SELECTION and PICS_USE_CIRCULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -20922,8 +20953,8 @@ module ItsSecurity_TestCases { ...@@ -20922,8 +20953,8 @@ module ItsSecurity_TestCases {
var ItsGeoNetworking v_nodeD; var ItsGeoNetworking v_nodeD;
// Test control // Test control
if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC) or not(PICS_USE_CIRCULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_CIRCULAR_REGION)) {
log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_USE_CIRCULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_CERTIFICATE_SELECTION and PICS_USE_CIRCULAR_REGION' required for executing the TC ***");
setverdict(inconc); setverdict(inconc);
stop; stop;
} }
...@@ -20950,7 +20981,7 @@ module ItsSecurity_TestCases { ...@@ -20950,7 +20981,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that IUT discards Secured GN Message if the HeaderField generation_location is outside of the rectangular validity region of the signing certificate * @desc Check that IUT discards Secured GN Message if the HeaderField generation_location is outside of the rectangular validity region of the signing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_USE_RECTANGULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -20988,8 +21019,8 @@ module ItsSecurity_TestCases { ...@@ -20988,8 +21019,8 @@ module ItsSecurity_TestCases {
var ItsGeoNetworking v_nodeD; var ItsGeoNetworking v_nodeD;
// Test control // Test control
if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC) or not(PICS_USE_RECTANGULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_RECTANGULAR_REGION)) {
log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***");
setverdict(inconc); setverdict(inconc);
stop; stop;
} }
...@@ -21016,7 +21047,7 @@ module ItsSecurity_TestCases { ...@@ -21016,7 +21047,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that IUT discards Secured GN Message if the HeaderField generation_location is outside of the rectangular validity region of the signing certificate * @desc Check that IUT discards Secured GN Message if the HeaderField generation_location is outside of the rectangular validity region of the signing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_USE_POLYGONAL_REGION * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_CERTIFICATE_SELECTION and PICS_USE_POLYGONAL_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -21054,8 +21085,8 @@ module ItsSecurity_TestCases { ...@@ -21054,8 +21085,8 @@ module ItsSecurity_TestCases {
var ItsGeoNetworking v_nodeD; var ItsGeoNetworking v_nodeD;
// Test control // Test control
if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC) or not(PICS_USE_POLYGONAL_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_POLYGONAL_REGION)) {
log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_USE_POLYGONAL_REGION' required for executing the TC ***"); log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_CERTIFICATE_SELECTION and PICS_USE_POLYGONAL_REGION' required for executing the TC ***");
setverdict(inconc); setverdict(inconc);
stop; stop;
} }
...@@ -21082,7 +21113,7 @@ module ItsSecurity_TestCases { ...@@ -21082,7 +21113,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that IUT discards Secured GN Message if the optional HeaderField generation_location is outside of the identified validity region of the signing certificate * @desc Check that IUT discards Secured GN Message if the optional HeaderField generation_location is outside of the identified validity region of the signing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_USE_IDENTIFIED_REGION * Pics Selection: PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_CERTIFICATE_SELECTION and PICS_USE_IDENTIFIED_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -21120,8 +21151,8 @@ module ItsSecurity_TestCases { ...@@ -21120,8 +21151,8 @@ module ItsSecurity_TestCases {
var ItsGeoNetworking v_nodeD; var ItsGeoNetworking v_nodeD;
// Test control // Test control
if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC) or not(PICS_ITS_C2C_MODE)) { if (not(PICS_GN_SECURITY) or not(PICS_GN_GBC_SRC) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_ITS_C2C_MODE)) {
log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_ITS_C2C_MODE' required for executing the TC ***"); log("*** " & testcasename() & ": 'PICS_GN_SECURITY and PICS_GN_GBC_SRC and PICS_CERTIFICATE_SELECTION and PICS_ITS_C2C_MODE' required for executing the TC ***");
setverdict(inconc); setverdict(inconc);
stop; stop;
} }
...@@ -23273,6 +23304,9 @@ module ItsSecurity_TestCases { ...@@ -23273,6 +23304,9 @@ module ItsSecurity_TestCases {
// Preamble // Preamble
f_prNeighbour(); f_prNeighbour();
if (PICS_DEBUG_ADDON) {
f_sendCertificateAndWaitForCertificateChainRequest(cc_taCert_F, f_generateDefaultCam());
}
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body // Test Body
...@@ -24000,7 +24034,7 @@ module ItsSecurity_TestCases { ...@@ -24000,7 +24034,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that the IUT accepts a message when the signing certificate of this message contains the same circular region validity restriction as its issuing certificate * @desc Check that the IUT accepts a message when the signing certificate of this message contains the same circular region validity restriction as its issuing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -24045,8 +24079,8 @@ module ItsSecurity_TestCases { ...@@ -24045,8 +24079,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test adapter configuration // Test adapter configuration
if (not(PICS_GN_SECURITY) or not(PICS_USE_RECTANGULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_RECTANGULAR_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***");
stop; stop;
} }
...@@ -24084,7 +24118,7 @@ module ItsSecurity_TestCases { ...@@ -24084,7 +24118,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that the IUT accepts a message when the signing certificate of this message contains the circular region validity restriction which is fully inside in the circular region validity restriction of its issuing certificate * @desc Check that the IUT accepts a message when the signing certificate of this message contains the circular region validity restriction which is fully inside in the circular region validity restriction of its issuing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -24130,8 +24164,8 @@ module ItsSecurity_TestCases { ...@@ -24130,8 +24164,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test adapter configuration // Test adapter configuration
if (not(PICS_GN_SECURITY) or not(PICS_USE_RECTANGULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_RECTANGULAR_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***");
stop; stop;
} }
...@@ -24169,7 +24203,7 @@ module ItsSecurity_TestCases { ...@@ -24169,7 +24203,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that the IUT accepts a message when the signing certificate of this message contains the circular region validity restriction which is fully inside in the rectangular region validity restriction of its issuing certificate * @desc Check that the IUT accepts a message when the signing certificate of this message contains the circular region validity restriction which is fully inside in the rectangular region validity restriction of its issuing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -24215,8 +24249,8 @@ module ItsSecurity_TestCases { ...@@ -24215,8 +24249,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test adapter configuration // Test adapter configuration
if (not(PICS_GN_SECURITY) or not(PICS_USE_RECTANGULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_RECTANGULAR_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***");
stop; stop;
} }
...@@ -24254,7 +24288,7 @@ module ItsSecurity_TestCases { ...@@ -24254,7 +24288,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that the IUT accepts a message when the signing certificate of this message contains the circular region validity restriction which is fully inside in the polygonal region validity restriction of its issuing certificate * @desc Check that the IUT accepts a message when the signing certificate of this message contains the circular region validity restriction which is fully inside in the polygonal region validity restriction of its issuing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -24300,8 +24334,8 @@ module ItsSecurity_TestCases { ...@@ -24300,8 +24334,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test adapter configuration // Test adapter configuration
if (not(PICS_GN_SECURITY) or not(PICS_USE_RECTANGULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_RECTANGULAR_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***");
stop; stop;
} }
...@@ -24339,7 +24373,7 @@ module ItsSecurity_TestCases { ...@@ -24339,7 +24373,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that the IUT accepts a message when the signing certificate of this message contains the circular region validity restriction which is fully inside in the identified region validity restriction of its issuing certificate * @desc Check that the IUT accepts a message when the signing certificate of this message contains the circular region validity restriction which is fully inside in the identified region validity restriction of its issuing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -24390,8 +24424,8 @@ module ItsSecurity_TestCases { ...@@ -24390,8 +24424,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test adapter configuration // Test adapter configuration
if (not(PICS_GN_SECURITY) or not(PICS_USE_RECTANGULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_RECTANGULAR_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***");
stop; stop;
} }
...@@ -24429,7 +24463,7 @@ module ItsSecurity_TestCases { ...@@ -24429,7 +24463,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that the IUT discards a message when the signing certificate of this message does not contain the region validity restriction but its issuing certificate contains the circular region validity restriction * @desc Check that the IUT discards a message when the signing certificate of this message does not contain the region validity restriction but its issuing certificate contains the circular region validity restriction
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -24474,8 +24508,8 @@ module ItsSecurity_TestCases { ...@@ -24474,8 +24508,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test adapter configuration // Test adapter configuration
if (not(PICS_GN_SECURITY) or not(PICS_USE_RECTANGULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_RECTANGULAR_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***");
stop; stop;
} }
...@@ -24513,7 +24547,7 @@ module ItsSecurity_TestCases { ...@@ -24513,7 +24547,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that the IUT discards a message when the signing certificate of this message contains circular region validity restriction which is outside of the circular region validity restriction of its issuing certificate * @desc Check that the IUT discards a message when the signing certificate of this message contains circular region validity restriction which is outside of the circular region validity restriction of its issuing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -24559,8 +24593,8 @@ module ItsSecurity_TestCases { ...@@ -24559,8 +24593,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test adapter configuration // Test adapter configuration
if (not(PICS_GN_SECURITY) or not(PICS_USE_RECTANGULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_RECTANGULAR_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***");
stop; stop;
} }
...@@ -24598,7 +24632,7 @@ module ItsSecurity_TestCases { ...@@ -24598,7 +24632,7 @@ module ItsSecurity_TestCases {
/** /**
* @desc Check that the IUT discards a message when the signing certificate of this message contains circular region validity restriction which is not fully covered by the the circular region validity restriction of its issuing certificate * @desc Check that the IUT discards a message when the signing certificate of this message contains circular region validity restriction which is not fully covered by the the circular region validity restriction of its issuing certificate
* <pre> * <pre>
* Pics Selection: PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION * Pics Selection: PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION
* Config Id: CF01 * Config Id: CF01
* Initial conditions: * Initial conditions:
* with { * with {
...@@ -24644,8 +24678,8 @@ module ItsSecurity_TestCases { ...@@ -24644,8 +24678,8 @@ module ItsSecurity_TestCases {
var GnRawPayload v_sentRawPayload; var GnRawPayload v_sentRawPayload;
// Test adapter configuration // Test adapter configuration
if (not(PICS_GN_SECURITY) or not(PICS_USE_RECTANGULAR_REGION)) { if (not(PICS_GN_SECURITY) or not(PICS_CERTIFICATE_SELECTION) or not(PICS_USE_RECTANGULAR_REGION)) {
log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***"); log("*** " & testcasename() & ":ERROR: 'PICS_GN_SECURITY and PICS_CERTIFICATE_SELECTION and PICS_USE_RECTANGULAR_REGION' required for executing the TC ***");
stop;