Commit f6ffd942 authored by filatov's avatar filatov
Browse files

RCV DENM tests done

parent 2e90d21b
{
"attributes": {
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "7e85c6dc-25b0-465d-a0aa-763923a3868f",
"type": "STRING",
"value": "Check that the IUT discards Secured DENM containing other types of signer_info then certificate_digest_with_ecdsap256, certificate_chain or certificate."
},
"_locations": {
"elements_type": "STRING",
"isGenerated": false,
......
......@@ -12,14 +12,14 @@
"key": "_description",
"origin": "0919b581-1e46-4214-9d1d-f745d4552277",
"type": "STRING",
"value": "Check that IUT discards a secured DENM if the header_fields contains a signer of type 'self'"
"value": "Check that IUT discards a Secured DENM if the header_fields contains a signer of type 'self'"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "0919b581-1e46-4214-9d1d-f745d4552277",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (DENM) {\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\tcontaining signer.type\r\n\t\t\t\t\tindicating 'self'\r\n\t\t\tand containing header_fields['generation_time']\r\n\t\t\tand containing header_fields['generation_location']\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t\t\tand not containing other header fields\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards a SecuredMessage\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\tcontaining signer.type\r\n\t\t\t\t\tindicating 'self'\r\n\t} then {\r\n\t\tthe IUT discards a SecuredMessage\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -12,14 +12,14 @@
"key": "_description",
"origin": "6bf58fa2-696d-4990-a568-b87811ba65e4",
"type": "STRING",
"value": "Check that IUT discards a secured DENM if the header_fields contains a signer of type 'certificate_digest_with_other_algorithm'"
"value": "Check that IUT discards a Secured DENM if the header_fields contains a signer of type 'certificate_digest_with_other_algorithm'"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "6bf58fa2-696d-4990-a568-b87811ba65e4",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (DENM) {\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\tcontaining signer.type\r\n\t\t\t\t\tindicating 'certificate_digest_with_other_algorithm'\r\n\t\t\tand containing header_fields['generation_time']\r\n\t\t\tand containing header_fields['generation_location']\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t\t\tand not containing other header fields\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards a SecuredMessage\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\tcontaining signer.type\r\n\t\t\t\t\tindicating 'certificate_digest_with_other_algorithm'\r\n\t} then {\r\n\t\tthe IUT discards a SecuredMessage\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -12,14 +12,14 @@
"key": "_description",
"origin": "f3c36dec-2276-4340-a4cb-97d29deb5b90",
"type": "STRING",
"value": "Check that IUT discards a secured DENM if the header_fields contains a signer of type certificate_chain"
"value": "Check that IUT discards a Secured DENM if the header_fields contains a signer of type certificate_chain"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "f3c36dec-2276-4340-a4cb-97d29deb5b90",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (DENM) {\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\tcontaining signer {\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'certificate_chain'\r\n\t\t\t\t}\r\n\t\t\tand containing header_fields['generation_time']\r\n\t\t\tand containing header_fields['generation_location']\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t\t\tand not containing other header fields\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards a SecuredMessage\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\tcontaining signer.type\r\n\t\t\t\t\tindicating 'certificate_chain'\r\n\t} then {\r\n\t\tthe IUT discards a SecuredMessage\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
{
"attributes": {
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "6d3383b2-7a28-4f4f-aa42-00796d53a8a9",
"type": "STRING",
"value": "Check the acceptance of SecuredMessage containing HeaderField generation_time"
},
"_locations": {
"elements_type": "STRING",
"isGenerated": false,
......
......@@ -12,14 +12,14 @@
"key": "_description",
"origin": "cf64603c-91ea-40c5-a3cd-0e5cef5404c5",
"type": "STRING",
"value": "Check that IUT discards message containing generation_time before the certificate validity period"
"value": "Check that IUT discards a Secured DENM containing generation_time before the certificate validity period"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "cf64603c-91ea-40c5-a3cd-0e5cef5404c5",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (DENM) {\r\n\t\t\tcontaining header_fields[0] {\r\n\t\t\t\tcontaining type \r\n\t\t\t\t\tindicating 'signer_info'\r\n\t\t\t\tand containing signer {\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\t\tand containing certificate (CERT_TS_AT_A) {\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_start_and_end'] {\r\n\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\tindicating TIME_CERT_TS_AT_START\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating TIME_CERT_TS_AT_END\r\n\t\t\t\t\t\t}\r\n\t\t\t\t\t}\r\n\t\t\t\t}\r\n\t\t\t}\r\n\t\t\tand containing header_fields [1] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'generation_time'\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating TIME_1 < TIME_CERT_TS_AT_START\r\n\t\t\t}\r\n\t\t\tand containing header_fields [2] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'generation_location'\r\n\t\t\t}\r\n\t\t\tand containing header_fields[3] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'its_aid'\r\n\t\t\t\tcontaining its_aid\r\n\t\t\t\t\tindicating 'AID_DENM'\r\n\t\t\t}\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\t\tcontaining certificate (CERT_TS_AT_A)\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\tindicating TIME_CERT_TS_AT_START\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating TIME_CERT_TS_AT_END\r\n\t\t\tand containing header_fields ['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating GEN_TIME < TIME_CERT_TS_AT_START\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -12,14 +12,14 @@
"key": "_description",
"origin": "b2c5b3ac-20d3-44d3-92b0-0d29e21a7c05",
"type": "STRING",
"value": "Check that IUT discards message containing generation_time after the certificate validity period"
"value": "Check that IUT discards a Secured DENM containing generation_time after the certificate validity period"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "b2c5b3ac-20d3-44d3-92b0-0d29e21a7c05",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (DENM) {\r\n\t\t\tcontaining header_fields[0] {\r\n\t\t\t\tcontaining type \r\n\t\t\t\t\tindicating 'signer_info'\r\n\t\t\t\tand containing signer {\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\t\tand containing certificate (CERT_TS_AT_A) {\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_start_and_end'] {\r\n\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\tindicating TIME_CERT_TS_AT_START\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating TIME_CERT_TS_AT_END\r\n\t\t\t\t\t\t}\r\n\t\t\t\t\t}\r\n\t\t\t\t}\r\n\t\t\t}\r\n\t\t\tand containing header_fields [1] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'generation_time'\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating TIME_1 > TIME_CERT_TS_AT_END\r\n\t\t\t}\r\n\t\t\tand containing header_fields [2] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'generation_location'\r\n\t\t\t}\r\n\t\t\tand containing header_fields[3] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'its_aid'\r\n\t\t\t\tcontaining its_aid\r\n\t\t\t\t\tindicating 'AID_DENM'\r\n\t\t\t}\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\t\tcontaining certificate (CERT_TS_AT_A)\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\tindicating TIME_CERT_TS_AT_START\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating TIME_CERT_TS_AT_END\r\n\t\t\tand containing header_fields ['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating GEN_TIME > TIME_CERT_TS_AT_END\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -19,14 +19,14 @@
"key": "_description",
"origin": "693c1179-2a22-419a-8df8-717bab22c489",
"type": "STRING",
"value": "Check that IUT discards Secured DENM if the generation_time is more than 10 minute in the past (C2C only)"
"value": "Check that IUT discards a Secured DENM if the generation_time is more than 10 minute in the past (C2C only)"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "693c1179-2a22-419a-8df8-717bab22c489",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage {\r\n\t\t\tcontaining header_fields[0].type\r\n\t\t\t\tindicating 'signer_info'\r\n\t\t\tand containing header_fields [1] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'generation_time'\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating TIME_1 (TIME_1 < CURRENT_TIME - 10min)\r\n\t\t\t}\r\n\t\t\tand containing header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}\r\nwith {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage\r\n\t\t\tcontaining security_profile\r\n\t\t\t\tindicating '2'\r\n\t\t\tand containing header_fields ['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating TIME_1 (TIME_1 < CUR_TIME - 10min)\r\n\t} then {\r\n\t\tthe IUT discards a SecuredMessage\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining header_fields ['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating CURRENT_TIME - 11min\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......@@ -47,7 +47,7 @@
"key": "excluded",
"origin": "693c1179-2a22-419a-8df8-717bab22c489",
"type": "BOOL",
"value": "true"
"value": true
}
},
"uuid": "693c1179-2a22-419a-8df8-717bab22c489"
......
......@@ -19,14 +19,14 @@
"key": "_description",
"origin": "cda821c0-4e62-4745-acb1-65b5a425b74f",
"type": "STRING",
"value": "Check that IUT discards Secured CAM if the generation_time is more than 10 minute in the future(C2C only)"
"value": "Check that IUT discards a Secured DENM if the generation_time is more than 10 minute in the future(C2C only)"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "cda821c0-4e62-4745-acb1-65b5a425b74f",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage {\r\n\t\t\tcontaining header_fields[0].type\r\n\t\t\t\tindicating 'signer_info'\r\n\t\t\tand containing header_fields [1] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'generation_time'\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating TIME_1 (TIME_1 > CURRENT_TIME + 10min)\r\n\t\t\t}\r\n\t\t\tand containing header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining header_fields ['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating CURRENT_TIME + 11min\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......@@ -47,7 +47,7 @@
"key": "excluded",
"origin": "cda821c0-4e62-4745-acb1-65b5a425b74f",
"type": "BOOL",
"value": "true"
"value": true
}
},
"uuid": "cda821c0-4e62-4745-acb1-65b5a425b74f"
......
{
"attributes": {
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "4350edd1-8e33-4f1c-a1f2-ace2f64354d1",
"type": "STRING",
"value": "Check the acceptance of message type"
},
"_locations": {
"elements_type": "STRING",
"isGenerated": false,
......
{
"attributes": {
"_author": {
"isGenerated": false,
"key": "_author",
"origin": "426eb761-b34c-46a6-b700-00f28a1f1ffa",
"type": "STRING",
"value": "filatov"
},
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "426eb761-b34c-46a6-b700-00f28a1f1ffa",
"type": "STRING",
"value": "Check that IUT discards secured DENM when its_aid value is not AID_DENM"
"value": "Check that IUT discards a Secured DENM when its_aid value is not AID_DENM"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "426eb761-b34c-46a6-b700-00f28a1f1ffa",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (DENM)\r\n\t\t\tcontaining header_fields['its_aid']\r\n\t\t\t\tindicating AID_CAM\r\n\t\t\tand containing payload_field {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed'\r\n\t\t\t\tcontaining data\r\n\t\t\t\t\tcontaining DENM payload\r\n\t\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_CAM'\r\n\t\t\tand containing payload_field\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed'\r\n\t\t\t\tcontaining data\r\n\t\t\t\t\tcontaining DENM payload\r\n\t\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the DENM message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
"key": "_status",
"origin": "426eb761-b34c-46a6-b700-00f28a1f1ffa",
"type": "STRING",
"value": "complete"
},
"_type": {
"isGenerated": false,
"key": "_type",
"origin": "426eb761-b34c-46a6-b700-00f28a1f1ffa",
"type": "STRING",
"value": "TestPurpose"
}
......
{
"attributes": {
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "15901c9b-8d33-4cd5-8a7e-2ff5ec7c97a4",
"type": "STRING",
"value": "Check the acceptance of SecuredMessage containing HeaderField generation_location"
},
"_locations": {
"elements_type": "STRING",
"isGenerated": false,
......
......@@ -19,14 +19,14 @@
"key": "_description",
"origin": "b4732a45-3e9a-4f91-9b31-c1c45169a845",
"type": "STRING",
"value": "Check that IUT accepts Secured DENM if the distance between the current position of IUT and the value of optional HeaderField generation_location is 29.9 km"
"value": "Check that IUT accepts a Secured DENM if the distance between the current position of IUT and the value of optional HeaderField generation_location is 29.9 km (C2C only)"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "b4732a45-3e9a-4f91-9b31-c1c45169a845",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage\r\n\t\t\tcontaining header_fields ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating position in 29.9 km from the current position of IUT\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t} then {\r\n\t\tthe IUT accepts the message\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining header_fields ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating position in 29.9 km from the current position of IUT\r\n\t} then {\r\n\t\tthe IUT accepts the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......@@ -47,7 +47,7 @@
"key": "excluded",
"origin": "b4732a45-3e9a-4f91-9b31-c1c45169a845",
"type": "BOOL",
"value": "true"
"value": true
}
},
"uuid": "b4732a45-3e9a-4f91-9b31-c1c45169a845"
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "efda77e6-78f5-48f3-ad89-105b5dc8abec",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage\r\n\t\t\tand containing header_fields ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating position in 31 km from the current position of IUT\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage\r\n\t\t\tand containing header_fields ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating position in 31 km from the current position of IUT\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......@@ -47,7 +47,7 @@
"key": "excluded",
"origin": "efda77e6-78f5-48f3-ad89-105b5dc8abec",
"type": "BOOL",
"value": "true"
"value": true
}
},
"uuid": "efda77e6-78f5-48f3-ad89-105b5dc8abec"
......
{
"attributes": {
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "13c840f6-0cc4-4bcd-8ffe-757952190d26",
"type": "STRING",
"value": "Check the acceptance of payloads of Secured DENM\r\n"
},
"_locations": {
"elements_type": "STRING",
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "c251719f-96f6-47da-9d56-cf42c55e378a",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage {\r\n \t\t\tcontaining header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t\t\tand containing payload_field {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed'\r\n\t\t\t\tcontaining data\r\n\t\t\t\t\tindicating length 0\r\n\t\t\t}\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining payload_field\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed'\r\n\t\t\t\tand containing data\r\n\t\t\t\t\tindicating length 0\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -12,14 +12,14 @@
"key": "_description",
"origin": "cad70b23-3c6e-4acb-88e8-667a7c91840c",
"type": "STRING",
"value": "Check that IUT discards the Secured DENM containing non-empty payload of type 'unsecured'"
"value": "Check that IUT discards the Secured DENM containing payload of type 'unsecured'"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "cad70b23-3c6e-4acb-88e8-667a7c91840c",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage {\r\n\t\t\tcontaining header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t\t\tand containing payload_field {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'unsecured'\r\n\t\t\t\tcontaining data\r\n\t\t\t\t\tindicating length > 0\r\n\t\t\t}\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining payload_field\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'unsecured'\r\n\t\t\t\tand containing data\r\n\t\t\t\t\tindicating length > 0\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -12,14 +12,14 @@
"key": "_description",
"origin": "6a9ae2f4-af9f-476c-b164-62ed5397b5e7",
"type": "STRING",
"value": "Check that IUT discards the Secured DENM containing non-empty payload of type 'encrypted'"
"value": "Check that IUT discards the Secured DENM containing payload of type 'encrypted'"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "6a9ae2f4-af9f-476c-b164-62ed5397b5e7",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage {\r\n\t\t\tcontaining header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t\t\tand containing payload_field {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'encrypted'\r\n\t\t\t\tcontaining data\r\n\t\t\t\t\tindicating length > 0\r\n\t\t\t}\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining payload_field\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'encrypted'\r\n\t\t\t\tand containing data\r\n\t\t\t\t\tindicating length > 0\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -12,14 +12,14 @@
"key": "_description",
"origin": "8eb06e88-48fc-4ed8-9258-40fa7fd9cd17",
"type": "STRING",
"value": "Check that IUT discards the Secured DENM containing non-empty payload of type 'signed_external'"
"value": "Check that IUT discards the Secured DENM containing payload of type 'signed_external'"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "8eb06e88-48fc-4ed8-9258-40fa7fd9cd17",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage {\r\n\t\t\tcontaining header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t\t\tand containing payload_field {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_external'\r\n\t\t\t\tcontaining data\r\n\t\t\t\t\tindicating length > 0\r\n\t\t\t}\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining payload_field\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_external'\r\n\t\t\t\tand containing data\r\n\t\t\t\t\tindicating length > 0\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "9182cb14-4b7e-444b-8d71-c918cfeba097",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage {\r\n\t\t\tcontaining header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_DENM'\r\n\t\t\tand containing payload_field {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_and_encrypted'\r\n\t\t\t\tcontaining data\r\n\t\t\t\t\tindicating length > 0\r\n\t\t\t}\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_A)\r\n\t\t\tcontaining payload_field\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_and_encrypted'\r\n\t\t\t\tand containing data\r\n\t\t\t\t\tindicating length > 0\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment