Rev

Rev 2255 | 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": "5d882403-407e-48dd-bb87-5c2200779512",
20
            "origin": "5d882403-407e-48dd-bb87-5c2200779512",
21
            "type": "STRING",
21
            "type": "STRING",
22
            "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 requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields [0].type\r\n\t\t\t\tindicating 'signer_info'\r\n\t\t\tcontaining header_fields [1..n] \r\n\t\t\t\twhere header_fields [i].type < header_fields [i+1].type\r\n\t\t\tcontaining header_fields ['generation_time']\r\n\t\t\tcontaining header_fields ['generation_location']\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t}\r\n\t}\r\n}"
22
            "value": "with\r\n\tthe IUT being in the 'authorized' state\r\nensure that\r\n\twhen\r\n\t\tthe IUT is requested to send a Beacon\r\n\tthen\r\n\t\tthe IUT sends 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..n] \r\n\t\t\t\twhere header_fields [i].type < header_fields [i+1].type\r\n\t\t\tand containing header_fields ['generation_time']\r\n\t\t\tand containing header_fields ['generation_location']\r\n\t\t\tand containing header_fields ['its_aid']"
23
        },
23
        },
24
        "_status": {
24
        "_status": {
25
            "isGenerated": false,
25
            "isGenerated": false,
26
            "key": "_status",
26
            "key": "_status",
27
            "origin": "5d882403-407e-48dd-bb87-5c2200779512",
27
            "origin": "5d882403-407e-48dd-bb87-5c2200779512",