Commit 7186faa4 authored by filatov's avatar filatov
Browse files

[editorial] Generalize START_VALIDITY and END_VALIDITY variable names

parent fc363472
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "c1ae125d-0a71-40b0-bc5f-1f6acf5b522b",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\r\nensure that\r\n\twhen\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)\r\n\t\t\tcontaining header_fields['signer_info'].signer\r\n\t\t\t\tcontaining certificate (CERT_TS_A_AT)\r\n\t\t\t\t\tcontaining validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\tindicating TIME_CERT_TS_AT_START\r\n\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\tindicating TIME_CERT_TS_E_ATND\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\t\t}\r\n\t\t}\r\n\tthen\r\n\t\tthe IUT discards the message"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\r\nensure that\r\n\twhen\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)\r\n\t\t\tcontaining header_fields['signer_info'].signer\r\n\t\t\t\tcontaining certificate (CERT_TS_A_AT)\r\n\t\t\t\t\tcontaining validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\tindicating START_VALIDITY_AT\r\n\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\tindicating END_VALIDITY_AT\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 < START_VALIDITY_AT\r\n\t\t\t}\r\n\t\t}\r\n\tthen\r\n\t\tthe IUT discards the message"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "31bfef9c-2a93-48a0-894e-bc6ada29dfb3",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\r\nensure that\r\n\twhen\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)\r\n\t\t\tcontaining header_fields['signer_info'].signer\r\n\t\t\t\tcontaining certificate (CERT_TS_A_AT)\r\n\t\t\t\t\tcontaining validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\tindicating TIME_CERT_TS_AT_START\r\n\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\tindicating TIME_CERT_TS_E_ATND\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_E_ATND\r\n\tthen\r\n\t\tthe IUT discards the message"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\r\nensure that\r\n\twhen\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)\r\n\t\t\tcontaining header_fields['signer_info'].signer\r\n\t\t\t\tcontaining certificate (CERT_TS_A_AT)\r\n\t\t\t\t\tcontaining validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\tindicating START_VALIDITY_AT\r\n\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\tindicating END_VALIDITY_AT\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 > END_VALIDITY_AT\r\n\tthen\r\n\t\tthe IUT discards the message"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "cf64603c-91ea-40c5-a3cd-0e5cef5404c5",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\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_A_AT)\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_E_ATND\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\tthen\r\n\t\tthe IUT discards the message"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\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_A_AT)\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 START_VALIDITY_AT\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating END_VALIDITY_AT\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 < START_VALIDITY_AT\r\n\tthen\r\n\t\tthe IUT discards the message"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "b2c5b3ac-20d3-44d3-92b0-0d29e21a7c05",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\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_A_AT)\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_E_ATND\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_E_ATND\r\n\tthen\r\n\t\tthe IUT discards the message"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\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_A_AT)\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 START_VALIDITY_AT\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating END_VALIDITY_AT\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 > END_VALIDITY_AT\r\n\tthen\r\n\t\tthe IUT discards the message"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "719534f3-397e-4839-b4f4-176719750095",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\r\nensure that\r\n\twhen\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A)\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\t\tcontaining certificate (CERT_TS_A_AT)\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_E_ATND\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\tthen\r\n\t\tthe IUT discards the message"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\r\nensure that\r\n\twhen\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A)\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\t\tcontaining certificate (CERT_TS_A_AT)\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 START_VALIDITY_AT\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating END_VALIDITY_AT\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 < START_VALIDITY_AT\r\n\tthen\r\n\t\tthe IUT discards the message"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "b3b2a723-792c-4681-b577-1722d57de333",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\r\nensure that\r\n\twhen\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A)\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\t\tcontaining certificate (CERT_TS_A_AT)\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_E_ATND\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_E_ATND\r\n\tthen\r\n\t\tthe IUT discards the message"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT current time is inside the time validity period of CERT_TS_A_AT\r\nensure that\r\n\twhen\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_A)\r\n\t\t\tcontaining header_fields['signer_info']\r\n\t\t\t\t\tcontaining certificate (CERT_TS_A_AT)\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 START_VALIDITY_AT\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating END_VALIDITY_AT\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 > END_VALIDITY_AT\r\n\tthen\r\n\t\tthe IUT discards the message"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "af331703-4a34-4b41-bd02-8ac2eba2ec18",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT being requested to include certificate in the next CAM \r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send CAM\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields ['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating GEN_TIME (CUR_TIME - 5min <= GEN_TIME <= CUR_TIME + 5min)\r\n\t\t\tand containing 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'\r\n\t\t\t\t\tand containing certificate\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing 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 value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\tcontaining start_validity (CERT_START_VALIDITY)\r\n\t\t\t\t\t\t\t\tindicating value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME - CERT_START_VALIDITY"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT being requested to include certificate in the next CAM \r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send CAM\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields ['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating GEN_TIME (CUR_TIME - 5min <= GEN_TIME <= CUR_TIME + 5min)\r\n\t\t\tand containing 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'\r\n\t\t\t\t\tand containing certificate\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing 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 value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\tcontaining start_validity (X_START_VALIDITY)\r\n\t\t\t\t\t\t\t\tindicating value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME - X_START_VALIDITY"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "62f9166d-ebd7-482a-8d09-94303a071c03",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT being requested to include certificate chain in the next CAM\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a CAM\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields['signer_info'].signer\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'certificate_chain'\r\n\t\t\t\tcontaining certificates\r\n\t\t\t\t\tindicating length N > 1\r\n\t\t\t\t\tand containing certificates[n] (0..N)\r\n\t\t\t\t\t\tcontaining validity_restrictions\r\n\t\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\t\t\tindicating CERT_END_VALIDITY\r\n\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\tindicating CERT_START_VALIDITY\r\n\t\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\t\tindicating CERT_END_VALIDITY >CERT_START_VALIDITY\r\n\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\tindicating CERT_START_VALIDITY\r\n\t\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\t\tindicating CERT_DURATION > 0\r\n\t\t\t\t\t\tand containing signer_info\r\n\t\t\t\t\t\t\tcontaining digest\r\n\t\t\t\t\t\t\t\treferenced to the certificate\r\n\t\t\t\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value >= CERT_END_VALIDITY if defined\r\n\t\t\t\t\t\t\t\t\t\t\tor indicating value >= CERT_START_VALIDITY + CERT_DURATION\r\n\t\t\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value <= CERT_START_VALIDITY if defined\r\n\t\t\t\t\t\t\t\t\t\t\tor indicating value <= CURRENT_TIME\r\n\t\t\t\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value >= CERT_END_VALIDITY if defined\r\n\t\t\t\t\t\t\t\t\t\t\tor indicating value >= CERT_START_VALIDITY + CERT_DURATION\r\n\t\t\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating SIGNER_START_VALIDITY <= CERT_START_VALIDITY if defined\r\n\t\t\t\t\t\t\t\t\t\t\tor indicating SIGNER_START_VALIDITY <= CURRENT_TIME\r\n\t\t\t\t\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value >= CERT_END_VALIDITY - SIGNER__START_VALIDITY if defined\r\n\t\t\t\t\t\t\t\t\t\t\tor indicating value >= CERT_START_VALIDITY + CERT_DURATION - SIGNER__START_VALIDITY"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT being requested to include certificate chain in the next CAM\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a CAM\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields['signer_info'].signer\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'certificate_chain'\r\n\t\t\t\tcontaining certificates\r\n\t\t\t\t\tindicating length N > 1\r\n\t\t\t\t\tand containing certificates[n] (0..N)\r\n\t\t\t\t\t\tcontaining validity_restrictions\r\n\t\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\t\t\tindicating X_END_VALIDITY_AT\r\n\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\tindicating X_START_VALIDITY_AT\r\n\t\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\t\tindicating X_END_VALIDITY_AT >X_START_VALIDITY_AT\r\n\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\tindicating X_START_VALIDITY_AT\r\n\t\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\t\tindicating X_DURATION_AT > 0\r\n\t\t\t\t\t\tand containing signer_info\r\n\t\t\t\t\t\t\tcontaining digest\r\n\t\t\t\t\t\t\t\treferenced to the certificate\r\n\t\t\t\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value >= X_END_VALIDITY_AT if defined\r\n\t\t\t\t\t\t\t\t\t\t\tor indicating value >= X_START_VALIDITY_AT + X_DURATION_AT\r\n\t\t\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value <= X_START_VALIDITY_AT if defined\r\n\t\t\t\t\t\t\t\t\t\t\tor indicating value <= CURRENT_TIME\r\n\t\t\t\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value >= X_END_VALIDITY_AT if defined\r\n\t\t\t\t\t\t\t\t\t\t\tor indicating value >= X_START_VALIDITY_AT + X_DURATION_AT\r\n\t\t\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating X_START_VALIDITY_AA <= X_START_VALIDITY_AT if defined\r\n\t\t\t\t\t\t\t\t\t\t\tor indicating X_START_VALIDITY_AA <= CURRENT_TIME\r\n\t\t\t\t\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value >= X_END_VALIDITY_AT - X_START_VALIDITY_AA if defined\r\n\t\t\t\t\t\t\t\t\t\t\tor indicating value >= X_START_VALIDITY_AT + X_DURATION_AT -\r\n\t\t\t\t\t\t\t\t\t\t\t\t\t\tX_START_VALIDITY_AA"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "e49378a2-f1a9-4b49-ad2e-5fd1e8340578",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT being requested to include certificate chain in the next CAM\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a CAM\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields['signer_info'].signer\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'certificate_chain'\r\n\t\t\t\tcontaining certificates\r\n\t\t\t\t\tcontaining certificates[last-1]\r\n\t\t\t\t\t\tcontaining validity_restrictions\r\n\t\t\t\t\t\t\tcontaining validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\tindicating AA_START_VALIDITY\r\n\t\t\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\t\t\tindicating AA_END_VALIDITY >=AA_START_VALIDITY\r\n\t\t\t\t\t\tand containing signer_info\r\n\t\t\t\t\t\t\tcontaining digest\r\n\t\t\t\t\t\t\t\treferenced to the trusted certificate\r\n\t\t\t\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value > AA_END_VALIDITY\r\n\t\t\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value <= AA_START_VALIDITY\r\n\t\t\t\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value > AA_END_VALIDITY\r\n\t\t\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating X_START_VALIDITY <= AA_START_VALIDITY\r\n\t\t\t\t\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value > AA_END_VALIDITY - X_START_VALIDITY"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT being requested to include certificate chain in the next CAM\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a CAM\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields['signer_info'].signer\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'certificate_chain'\r\n\t\t\t\tcontaining certificates\r\n\t\t\t\t\tcontaining certificates[last-1]\r\n\t\t\t\t\t\tcontaining validity_restrictions\r\n\t\t\t\t\t\t\tcontaining validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\tindicating START_VALIDITY_AA\r\n\t\t\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\t\t\tindicating END_VALIDITY_AA >=START_VALIDITY_AA\r\n\t\t\t\t\t\tand containing signer_info\r\n\t\t\t\t\t\t\tcontaining digest\r\n\t\t\t\t\t\t\t\treferenced to the trusted certificate\r\n\t\t\t\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value > END_VALIDITY_AA\r\n\t\t\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value <= START_VALIDITY_AA\r\n\t\t\t\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value > END_VALIDITY_AA\r\n\t\t\t\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\t\t\t\tindicating X_START_VALIDITY <= START_VALIDITY_AA\r\n\t\t\t\t\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\t\t\t\t\tindicating value > END_VALIDITY_AA - X_START_VALIDITY"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "601932b9-103d-436f-92ba-51fa3a849a71",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT being requested to include certificate chain in the next CAM\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a CAM\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields['signer_info'].signer\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating certificate_chain\r\n\t\t\t\tcontaining certificates[last]\r\n\t\t\t\t\tcontaining subject_info.subject_type\r\n\t\t\t\t\t\tindicating 'authorization_ticket'\r\n\t\t\t\t \tnot containing validity_restrictions['time_end']\r\n\t\t\t\t \tand not containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\tand containing validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\tindicating AT_START_VALIDITY\r\n\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\tindicating AT_END_VALIDITY\r\n\t\t\t\tcontaining certificates[last-1]\r\n\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\tindicating value > AT_END_VALIDITY\r\n\t\t\t\t\tor containing validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\tindicating value <= AT_START_VALIDITY\r\n\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\tindicating value > AT_END_VALIDITY\r\n\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\tindicating X_START_VALIDITY <= AT_START_VALIDITY\r\n\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\tindicating value > AT_END_VALIDITY - X_START_VALIDITY"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT being requested to include certificate chain in the next CAM\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a CAM\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields['signer_info'].signer\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating certificate_chain\r\n\t\t\t\tcontaining certificates[last]\r\n\t\t\t\t\tcontaining subject_info.subject_type\r\n\t\t\t\t\t\tindicating 'authorization_ticket'\r\n\t\t\t\t \tnot containing validity_restrictions['time_end']\r\n\t\t\t\t \tand not containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\tand containing validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\tindicating START_VALIDITY_AT\r\n\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\tindicating END_VALIDITY_AT\r\n\t\t\t\tcontaining certificates[last-1]\r\n\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\tindicating value > END_VALIDITY_AT\r\n\t\t\t\t\tor containing validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\tindicating value <= START_VALIDITY_AT\r\n\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\tindicating value > END_VALIDITY_AT\r\n\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\tindicating X_START_VALIDITY <= START_VALIDITY_AT\r\n\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\tindicating value > END_VALIDITY_AT - X_START_VALIDITY"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "7c3afee1-84c6-48c1-8e76-0d4bc09d2d9d",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a DENM\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_fields['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating GEN_TIME (CUR_TIME - 10min <= GEN_TIME < CUR_TIME + 10min)\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'\r\n\t\t\t\t\tcontaining certificate\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing 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 value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\tcontaining start_validity (CERT_START_VALIDITY)\r\n\t\t\t\t\t\t\t\tindicating value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME - CERT_START_VALIDITY"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a DENM\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_fields['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating GEN_TIME (CUR_TIME - 10min <= GEN_TIME < CUR_TIME + 10min)\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'\r\n\t\t\t\t\tcontaining certificate\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing 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 value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\tcontaining start_validity (X_START_VALIDITY)\r\n\t\t\t\t\t\t\t\tindicating value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME - X_START_VALIDITY"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "b67b9bc7-410c-4caa-bf8a-45f1cad36b9a",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a Beacon\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_fields['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating GEN_TIME (CUR_TIME - 10min <= GEN_TIME < CUR_TIME + 10min)\r\n\t\t\tand containing 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'\r\n\t\t\t\t\tcontaining certificate\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing 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 value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\tcontaining start_validity (CERT_START_VALIDITY)\r\n\t\t\t\t\t\t\t\tindicating value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME - CERT_START_VALIDITY"
"value": "with\r\n\tthe IUT being in the 'authorized' state\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a Beacon\r\n\tthen\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_fields['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating GEN_TIME (CUR_TIME - 10min <= GEN_TIME < CUR_TIME + 10min)\r\n\t\t\tand containing 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'\r\n\t\t\t\t\tcontaining certificate\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing 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 value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\tcontaining start_validity (X_START_VALIDITY)\r\n\t\t\t\t\t\t\t\tindicating value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME - X_START_VALIDITY"
},
"_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