Commit 9f41cac5 authored by filatov's avatar filatov
Browse files

remove ITS_AID from message generation location receiving tests

parent 82a29b5d
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "2eaf4f16-9ebe-43c0-8242-6eb30b2de1fb",
"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 ['signer_info'] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating certificate \r\n\t\t\t\tand containing 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\tcontaining circular_region\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t\t\t}\r\n\t\t\t}\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 value outside of the REGION\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\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\tcontaining header_fields ['signer_info'] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating certificate \r\n\t\t\t\tand containing 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\tcontaining circular_region\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t\t\t}\r\n\t\t\t}\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 value outside of the REGION\r\n\t\t}\r\n\t\tand the current IUT location is iside the REGION\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "f3a8574f-6ee3-4085-b808-75e7e23e3d66",
"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 ['signer_info'] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating certificate\r\n\t\t\t\tand containing 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\tcontaining rectangular_regions\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t\t\t}\r\n\t\t\t}\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 value outside of the REGION\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\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\tcontaining header_fields ['signer_info'] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating certificate\r\n\t\t\t\tand containing 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\tcontaining rectangular_regions\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t\t\t}\r\n\t\t\t}\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 value outside of the REGION\r\n\t\t}\r\n\t\tand the current IUT location is inside the REGION\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "e801fff6-a32e-4650-b0bd-e19416256129",
"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 ['signer_info'] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating certificate\r\n\t\t\t\tand containing 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\tcontaining polygonal_region\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t\t\t}\r\n\t\t\t}\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 value outside of the REGION\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\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\tcontaining header_fields ['signer_info'] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating certificate\r\n\t\t\t\tand containing 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\tcontaining polygonal_region\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t\t\t}\r\n\t\t\t}\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 value outside of the REGION\r\n\t\t}\r\n\t\tand the current IUT location is inside the REGION\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "2001d819-13a1-46a3-b612-0d0b8fc142f2",
"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 ['signer_info'] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating certificate\r\n\t\t\t\tand containing 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\t\t\t\t}\r\n\t\t\t}\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 value outside of the REGION\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\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\tcontaining header_fields ['signer_info'] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating certificate\r\n\t\t\t\tand containing 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\t\t\t\t}\r\n\t\t\t}\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 value outside of the REGION\r\n\t\t}\r\n\t\tand the current IUT location is inside the REGION\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