"value":"with {\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT is configured to send more than one CAM per second\r\n\tand the IUT having sent a CAM\r\n\t\tcontaining header_fields['signer_info'].signer.type\r\n\t\t\tindicating 'certificate'\r\n\t\tand contains header_fields['generation_time']\r\n\t\t\tindicating TIME_LAST\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT sends one of the next SecuredMessage\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\tand containing certificate\r\n\t} then {\r\n\t\tthis message\r\n\t\t\tcontains header_fields['generation_time']\r\n\t\t\t\tindicating TIME (TIME >= TIME_LAST + 1sec)\r\n\t}\r\n}"
"value":"with {\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT is configured to send more than one CAM per second\r\n\tand the IUT having sent a CAM\r\n\t\tcontaining header_fields['signer_info'].signer.type\r\n\t\t\tindicating 'certificate'\r\n\t\tand contains header_fields['generation_time']\r\n\t\t\tindicating TIME_LAST\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is sending CAM\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} then {\r\n\t\tthis message is\r\n\t\t\tcontaining header_fields['generation_time']\r\n\t\t\t\tindicating TIME (TIME >= TIME_LAST + 1sec)\r\n\t}\r\n}"
"value":"with {\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT is configured to send more than one CAM per second\r\n\tand the IUT having sent a CAM\r\n\t\tcontaining header_fields['signer_info'].signer.type\r\n\t\t\tindicating 'certificate'\r\n\t\tat TIME_1 \r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send next CAM right after 1 second after the TIME_1\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\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\tand containing certificate\r\n\t}\r\n}\r\n"
"value":"with {\r\n\tthe IUT being in the 'authorized' state\r\n\tand the IUT is configured to send more than one CAM per second\r\n\tand the IUT having sent a CAM\r\n\t\tcontaining header_fields['signer_info'].signer.type\r\n\t\t\tindicating 'certificate'\r\n\t\tat TIME_LAST\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is sending a CAM\r\n\t\t\tcontaining header_fields['generation_time']\r\n\t\t\t\tindicating TIME >= TIME_LAST + 1sec \r\n\t} then {\r\n\t\tthis message is\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\tand containing certificate\r\n\t}\r\n}"