Rev

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

Rev 2255 Rev 2398
Line 24... Line 24...
24
        "_expectedResults": {
24
        "_expectedResults": {
25
            "isGenerated": false,
25
            "isGenerated": false,
26
            "key": "_expectedResults",
26
            "key": "_expectedResults",
27
            "origin": "222f2aee-af6d-4405-87b2-b5f82ca7ebd3",
27
            "origin": "222f2aee-af6d-4405-87b2-b5f82ca7ebd3",
28
            "type": "STRING",
28
            "type": "STRING",
29
            "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\tcontaining header_fields[0].type\r\n\t\t\t\tindicating 'signer_info'\r\n\t\t\tand containing header_fields [1] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'generation_time'\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating TIME_1 ( CURRENT_TIME - 302sec )\r\n\t\t\t}\r\n\t\t\tand containing header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_CAM'\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the message\r\n\t}\r\n}"
29
            "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_CAM_01)\r\n\t\t\tcontaining header_fields ['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating GEN_TIME ( CURRENT_TIME - 302sec )\r\n\tthen\r\n\t\tthe IUT discards the message"
30
        },
30
        },
31
        "_status": {
31
        "_status": {
32
            "isGenerated": false,
32
            "isGenerated": false,
33
            "key": "_status",
33
            "key": "_status",
34
            "origin": "222f2aee-af6d-4405-87b2-b5f82ca7ebd3",
34
            "origin": "222f2aee-af6d-4405-87b2-b5f82ca7ebd3",
Line 45... Line 45...
45
        "excluded": {
45
        "excluded": {
46
            "isGenerated": false,
46
            "isGenerated": false,
47
            "key": "excluded",
47
            "key": "excluded",
48
            "origin": "222f2aee-af6d-4405-87b2-b5f82ca7ebd3",
48
            "origin": "222f2aee-af6d-4405-87b2-b5f82ca7ebd3",
49
            "type": "BOOL",
49
            "type": "BOOL",
50
            "value": "true"
50
            "value": true
51
        }
51
        }
52
    },
52
    },
53
    "uuid": "222f2aee-af6d-4405-87b2-b5f82ca7ebd3"
53
    "uuid": "222f2aee-af6d-4405-87b2-b5f82ca7ebd3"
54
}
54
}