Rev

Rev 2398 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | SVN | Bug Tracker

Rev 2398 Rev 2655
Line 17... Line 17...
17
        "_expectedResults": {
17
        "_expectedResults": {
18
            "isGenerated": false,
18
            "isGenerated": false,
19
            "key": "_expectedResults",
19
            "key": "_expectedResults",
20
            "origin": "7af569bc-c4fb-48c0-9fb4-564ba9afaa20",
20
            "origin": "7af569bc-c4fb-48c0-9fb4-564ba9afaa20",
21
            "type": "STRING",
21
            "type": "STRING",
22
            "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[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 'generation_location'\r\n\t\t\tand containing header_fields[2].type\r\n\t\t\t\tindicating 'its_aid'\r\n\t\t\tand containing header_fields[3].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\tthen\r\n\t\tthe IUT discards the SecuredMessage"
22
            "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[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 'generation_location'\r\n\t\t\tand containing header_fields[2].type\r\n\t\t\t\tindicating 'its_aid'\r\n\t\t\tand containing header_fields[3].type\r\n\t\t\t\tindicating 'signer_info'\r\n\t\t\tand not containing other header fields\r\n\tthen\r\n\t\tthe IUT discards the SecuredMessage"
23
        },
23
        },
24
        "_status": {
24
        "_status": {
25
            "isGenerated": false,
25
            "isGenerated": false,
26
            "key": "_status",
26
            "key": "_status",
27
            "origin": "7af569bc-c4fb-48c0-9fb4-564ba9afaa20",
27
            "origin": "7af569bc-c4fb-48c0-9fb4-564ba9afaa20",