"value":"with { \r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT is sending CAMs\r\n} \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[0].type\r\n\t\t\t\tindicating 'generation_time'\r\n\t\t\tand containing header_fields[1].type\r\n\t\t\t\tindicating 'signer_info'\r\n\t\t\tand containing header_fields[2].type\r\n\t\t\t\tindicating 'its_aid'\r\n\t\t\tand not containing other header fields\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT keeps sending CAMs\r\n\t}\r\n}\r\n"
"value":"with { \r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT is sending CAMs\r\n} \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[0].type\r\n\t\t\t\tindicating 'generation_time'\r\n\t\t\tand containing header_fields[1].type\r\n\t\t\t\tindicating 'its_aid'\r\n\t\t\tand containing header_fields[2].type\r\n\t\t\t\tindicating 'signer_info'\r\n\t\t\tand not containing other header fields\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT keeps sending CAMs\r\n\t}\r\n}\r\n"