Loading requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_GENMSG/SEC_ITSS_RCV_GENMSG_01/TP_SEC_ITSS_RCV_GENMSG_01_06_BV.json +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ "key": "_expectedResults", "origin": "3e0d7a57-a460-424b-a140-23a5a519481f", "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[0] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signer_info'\r\n\t\t\t\tand containing signer.type \r\n\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\tand containing signer.certificate\r\n\t\t\t\t\tindicating CERT_TS_AT_A\r\n\t\t\t}\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tand containing payload_field \r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_external'\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT accepts 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\tand containing header_fields[0] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signer_info'\r\n\t\t\t\tand containing signer.type \r\n\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\tand containing signer.certificate (CERT_TS_AT_A)\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}\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tand containing payload_field \r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_external'\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT accepts the message\r\n\t}\r\n}" }, "_status": { "isGenerated": false, Loading requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_GENMSG/SEC_ITSS_RCV_GENMSG_01/TP_SEC_ITSS_RCV_GENMSG_01_07_BV.json +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ "key": "_expectedResults", "origin": "c5b8fc46-d194-465c-8a23-4455a1dbf13d", "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[0] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signer_info'\r\n\t\t\t\tand containing signer.type \r\n\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\tand containing signer.certificate\r\n\t\t\t\t\tindicating CERT_TS_AT_A\r\n\t\t\t}\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tand containing payload_field \r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_and_encrypted'\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT accepts 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\tand containing header_fields[0] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signer_info'\r\n\t\t\t\tand containing signer.type \r\n\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\tand containing signer.certificate (CERT_TS_AT_A)\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}\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tand containing payload_field \r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_and_encrypted'\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT accepts the message\r\n\t}\r\n}" }, "_status": { "isGenerated": false, Loading Loading
requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_GENMSG/SEC_ITSS_RCV_GENMSG_01/TP_SEC_ITSS_RCV_GENMSG_01_06_BV.json +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ "key": "_expectedResults", "origin": "3e0d7a57-a460-424b-a140-23a5a519481f", "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[0] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signer_info'\r\n\t\t\t\tand containing signer.type \r\n\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\tand containing signer.certificate\r\n\t\t\t\t\tindicating CERT_TS_AT_A\r\n\t\t\t}\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tand containing payload_field \r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_external'\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT accepts 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\tand containing header_fields[0] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signer_info'\r\n\t\t\t\tand containing signer.type \r\n\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\tand containing signer.certificate (CERT_TS_AT_A)\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}\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tand containing payload_field \r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_external'\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT accepts the message\r\n\t}\r\n}" }, "_status": { "isGenerated": false, Loading
requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_GENMSG/SEC_ITSS_RCV_GENMSG_01/TP_SEC_ITSS_RCV_GENMSG_01_07_BV.json +1 −1 Original line number Diff line number Diff line Loading @@ -19,7 +19,7 @@ "key": "_expectedResults", "origin": "c5b8fc46-d194-465c-8a23-4455a1dbf13d", "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[0] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signer_info'\r\n\t\t\t\tand containing signer.type \r\n\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\tand containing signer.certificate\r\n\t\t\t\t\tindicating CERT_TS_AT_A\r\n\t\t\t}\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tand containing payload_field \r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_and_encrypted'\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT accepts 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\tand containing header_fields[0] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signer_info'\r\n\t\t\t\tand containing signer.type \r\n\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\tand containing signer.certificate (CERT_TS_AT_A)\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}\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tand containing payload_field \r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed_and_encrypted'\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT accepts the message\r\n\t}\r\n}" }, "_status": { "isGenerated": false, Loading