Commit 716fc0a8 authored by filatov's avatar filatov
Browse files

Check generation_location against different region type in cert (DENM)

parent 281b9c90
{
"attributes": {
"PICS_USE_CIRCULAR_REGION": {
"isGenerated": false,
"key": "PICS_USE_CIRCULAR_REGION",
"origin": "2eaf4f16-9ebe-43c0-8242-6eb30b2de1fb",
"type": "STRING",
"value": "true"
},
"_author": {
"isGenerated": false,
"key": "_author",
"origin": "2eaf4f16-9ebe-43c0-8242-6eb30b2de1fb",
"type": "STRING",
"value": "filatov"
},
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "11d82062-c7a2-4046-9161-10ec72a71426",
"type": "STRING",
"value": "Check that IUT discards Secured DENM if the HeaderField generation_location is outside of the circular validity region of the signing certificate"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "11d82062-c7a2-4046-9161-10ec72a71426",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n\tand the current IUT location is inside the validiti region of CERT_TS_AT_B\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_B)\r\n\t\t\tcontaining header_fields ['signer_info']\r\n\t\t\t\tcontaining certificate (CERT_TS_AT_B)\r\n\t\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t\t\tcontaining region\r\n\t\t\t\t\t\t\tcontaining region_type\r\n\t\t\t\t\t\t\t\tindicating 'circle'\r\n\t\t\t\t\t\t\tand containing circular_region\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\tand containing header_fields ['generation_location']\r\n\t\t\t\tindicating location outside of the REGION\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
"key": "_status",
"origin": "2eaf4f16-9ebe-43c0-8242-6eb30b2de1fb",
"type": "STRING",
"value": "in process"
},
"_type": {
"isGenerated": false,
"key": "_type",
"origin": "2eaf4f16-9ebe-43c0-8242-6eb30b2de1fb",
"type": "STRING",
"value": "TestPurpose"
}
},
"uuid": "11d82062-c7a2-4046-9161-10ec72a71426"
}
\ No newline at end of file
{
"attributes": {
"PICS_USE_RECTANGULAR_REGION": {
"isGenerated": false,
"key": "PICS_USE_RECTANGULAR_REGION",
"origin": "f3a8574f-6ee3-4085-b808-75e7e23e3d66",
"type": "STRING",
"value": "true"
},
"_author": {
"isGenerated": false,
"key": "_author",
"origin": "f3a8574f-6ee3-4085-b808-75e7e23e3d66",
"type": "STRING",
"value": "filatov"
},
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "51e06dac-f117-4647-9954-ba390912e62f",
"type": "STRING",
"value": "Check that IUT discards Secured DENM if the HeaderField generation_location is outside of the rectangular validity region of the signing certificate"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "51e06dac-f117-4647-9954-ba390912e62f",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n\tand the current IUT location is inside the validiti region of CERT_TS_AT_C\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_C)\r\n\t\t\tcontaining header_fields ['signer_info']\r\n\t\t\t\tcontaining certificate (CERT_TS_AT_C)\r\n\t\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t\t\tcontaining region\r\n\t\t\t\t\t\t\tcontaining region_type\r\n\t\t\t\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\t\t\t\tand containing rectangular_regions\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\tand containing header_fields ['generation_location']\r\n\t\t\t\tindicating locatoin outside of the REGION\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
"key": "_status",
"origin": "f3a8574f-6ee3-4085-b808-75e7e23e3d66",
"type": "STRING",
"value": "in process"
},
"_type": {
"isGenerated": false,
"key": "_type",
"origin": "f3a8574f-6ee3-4085-b808-75e7e23e3d66",
"type": "STRING",
"value": "TestPurpose"
}
},
"uuid": "51e06dac-f117-4647-9954-ba390912e62f"
}
\ No newline at end of file
{
"attributes": {
"PICS_USE_POLYGONAL_REGION": {
"isGenerated": false,
"key": "PICS_USE_POLYGONAL_REGION",
"origin": "e801fff6-a32e-4650-b0bd-e19416256129",
"type": "STRING",
"value": "true"
},
"_author": {
"isGenerated": false,
"key": "_author",
"origin": "e801fff6-a32e-4650-b0bd-e19416256129",
"type": "STRING",
"value": "filatov"
},
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "9ff3cfb3-69c9-4f7b-80fe-828e6ce653af",
"type": "STRING",
"value": "Check that IUT discards Secured DENM if the optional HeaderField generation_location is outside of the polygonal validity region of the signing certificate"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "9ff3cfb3-69c9-4f7b-80fe-828e6ce653af",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n\tand the current IUT location is inside the validiti region of CERT_TS_AT_D\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_D)\r\n\t\t\tcontaining header_fields ['signer_info']\r\n\t\t\t\tcontaining certificate (CERT_TS_AT_D)\r\n\t\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t\t\tcontaining region\r\n\t\t\t\t\t\t\tcontaining region_type\r\n\t\t\t\t\t\t\t\tindicating 'polygon'\r\n\t\t\t\t\t\t\tand containing polygonal_region\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\tand containing header_fields ['generation_location']\r\n\t\t\t\tindicating location outside of the REGION\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
"key": "_status",
"origin": "e801fff6-a32e-4650-b0bd-e19416256129",
"type": "STRING",
"value": "in process"
},
"_type": {
"isGenerated": false,
"key": "_type",
"origin": "e801fff6-a32e-4650-b0bd-e19416256129",
"type": "STRING",
"value": "TestPurpose"
}
},
"uuid": "9ff3cfb3-69c9-4f7b-80fe-828e6ce653af"
}
\ No newline at end of file
{
"attributes": {
"PICS_USE_IDENTIFIED_REGION": {
"isGenerated": false,
"key": "PICS_USE_IDENTIFIED_REGION",
"origin": "2001d819-13a1-46a3-b612-0d0b8fc142f2",
"type": "STRING",
"value": "true"
},
"_author": {
"isGenerated": false,
"key": "_author",
"origin": "2001d819-13a1-46a3-b612-0d0b8fc142f2",
"type": "STRING",
"value": "filatov"
},
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "d4aaa2c6-770b-4487-b62f-d9af968955d9",
"type": "STRING",
"value": "Check that IUT discards Secured DENM if the optional HeaderField generation_location is outside of the identified validity region of the signing certificate"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "d4aaa2c6-770b-4487-b62f-d9af968955d9",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n\tand the current IUT location is inside the validiti region of CERT_TS_AT_E\r\n}\r\nensure that {\r\n\twhen { \r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_DENM_E)\r\n\t\t\tcontaining header_fields ['signer_info']\r\n\t\t\t\tcontaining certificate (CERT_TS_AT_E)\r\n\t\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t\t\tcontaining region\r\n\t\t\t\t\t\t\tcontaining region_type\r\n\t\t\t\t\t\t\t\tindicating 'id_region'\r\n\t\t\t\t\t\t\tand containing identified_region\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\tand containing header_fields ['generation_location']\r\n\t\t\t\tindicating location outside of the REGION\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
"key": "_status",
"origin": "2001d819-13a1-46a3-b612-0d0b8fc142f2",
"type": "STRING",
"value": "in process"
},
"_type": {
"isGenerated": false,
"key": "_type",
"origin": "2001d819-13a1-46a3-b612-0d0b8fc142f2",
"type": "STRING",
"value": "TestPurpose"
}
},
"uuid": "d4aaa2c6-770b-4487-b62f-d9af968955d9"
}
\ No newline at end of file
Supports Markdown
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