Rev

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

Rev 2230 Rev 2398
Line 24... Line 24...
24
        "_expectedResults": {
24
        "_expectedResults": {
25
            "isGenerated": false,
25
            "isGenerated": false,
26
            "key": "_expectedResults",
26
            "key": "_expectedResults",
27
            "origin": "e801fff6-a32e-4650-b0bd-e19416256129",
27
            "origin": "e801fff6-a32e-4650-b0bd-e19416256129",
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\tand containing header_fields ['signer_info'] {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating certificate\r\n\t\t\t\tand containing certificate (CERT_TS_AT_D)\r\n\t\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t\t\tcontaining region {\r\n\t\t\t\t\t\t\tcontaining region_type\r\n\t\t\t\t\t\t\t\tindicating 'polygon'\r\n\t\t\t\t\t\t\tcontaining polygonal_region\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t\t\t}\r\n\t\t\t}\r\n\t\t\tand containing header_fields ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value outside of the REGION\r\n\t\t\tand containing header_fields['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\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_D_AT\r\n\tand the IUT current location is inside the validiti region of CERT_TS_D_AT\r\nensure that\r\n\twhen\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_GENMSG_D)\r\n\t\t\tcontaining header_fields ['signer_info']\r\n\t\t\t\tcontaining certificate (CERT_TS_D_AT)\r\n\t\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t\t\tcontaining region\r\n\t\t\t\t\t\t\tcontaining region_type\r\n\t\t\t\t\t\t\t\tindicating 'polygon'\r\n\t\t\t\t\t\t\tand containing polygonal_region\r\n\t\t\t\t\t\t\t\tindicating REGION\r\n\t\t\tand containing header_fields ['generation_location']\r\n\t\t\t\tindicating location outside of the REGION\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": "e801fff6-a32e-4650-b0bd-e19416256129",
34
            "origin": "e801fff6-a32e-4650-b0bd-e19416256129",