Rev

Rev 2255 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | SVN | Bug Tracker

Rev 2255 Rev 2398
Line 17... Line 17...
17
        "_expectedResults": {
17
        "_expectedResults": {
18
            "isGenerated": false,
18
            "isGenerated": false,
19
            "key": "_expectedResults",
19
            "key": "_expectedResults",
20
            "origin": "d768e0ad-5e3b-441b-b3c3-6ce2e4a4d9d7",
20
            "origin": "d768e0ad-5e3b-441b-b3c3-6ce2e4a4d9d7",
21
            "type": "STRING",
21
            "type": "STRING",
22
            "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 already sent CAM at TIME_1\r\n\t\tcontaining header_fields['signer_info'].signer.type\r\n\t\t\tindicating 'certificate'\r\n\tand the IUT having received a SecuredMessage\r\n\t\t\t\t\t\t\tat TIME_2 (TIME_1 < TIME_2 < TIME_1+1sec)\r\n\t\tcontaining header_fields['its_aid']\r\n\t\t\tindicating 'AID_CAM'\r\n\t\tcontaining header_fields['signer_info'] {\r\n\t\t\tcontaining signer\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'certificate_digest_with_sha256'\r\n\t\t\t\tcontaining digest\r\n\t\t\t\t\tindicating HashedId3 value\r\n\t\t\t\t\t\treferenced to unknown certificate\r\n\t\t}\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send CAM\r\n\t\t\t\t\tat TIME_3 (TIME_1 < TIME_2 < TIME_3 < TIME_1 + 1sec)\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_CAM'\r\n\t\t\tcontaining header_fields[0] {\r\n\t\t\t\tcontaining type \r\n\t\t\t\t\tindicating '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}\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
22
            "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 already sent CAM at TIME_1\r\n\t\tcontaining header_fields['signer_info'].signer.type\r\n\t\t\tindicating 'certificate'\r\n\tand the IUT having received a SecuredMessage\r\n\t\t\t\t\t\t\tat TIME_2 (TIME_1 < TIME_2 < TIME_1+1sec)\r\n\t\tand containing header_fields['signer_info']\r\n\t\t\tcontaining signer\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'certificate_digest_with_sha256'\r\n\t\t\t\tand containing digest\r\n\t\t\t\t\tindicating HashedId3 value\r\n\t\t\t\t\t\treferenced to unknown certificate\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send CAM\r\n\t\t\t\t\tat TIME_3 (TIME_1 < TIME_2 < TIME_3 < TIME_1 + 1sec)\r\n\tthen\r\n\t\tthe IUT sends 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\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"
23
        },
23
        },
24
        "_status": {
24
        "_status": {
25
            "isGenerated": false,
25
            "isGenerated": false,
26
            "key": "_status",
26
            "key": "_status",
27
            "origin": "d768e0ad-5e3b-441b-b3c3-6ce2e4a4d9d7",
27
            "origin": "d768e0ad-5e3b-441b-b3c3-6ce2e4a4d9d7",