TP_SEC_ITSS_SND_DENM_05_03_BV.json

{
    "attributes": {
        "_author": {
            "key": "_author",
            "type": "STRING",
            "value": "filatov"
        },
        "_description": {
            "key": "_description",
            "type": "STRING",
            "value": "Check that the secured DENM contains exactly one HeaderField generation_location which is inside the rectangular region containing in the validity restriction of the certificate pointed by the signer_info field"
        },
        "_expectedResults": {
            "key": "_expectedResults",
            "type": "STRING",
            "value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_AT_C) {\r\n\t\tcontaining validity_restrictions ['region'] {\r\n\t\t\tcontaining region{\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\tcontaining rectangular_region\r\n\t\t\t\t\tcontaining instance of RectangularRegion\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining exactly one header_field ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t\t\tcontaining header_field ['its_aid'] {\r\n\t\t\t\tcontaining its_aid\r\n\t\t\t\t\tindicating 'AID_DENM'\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
        },
        "_status": {
            "key": "_status",
            "type": "STRING",
            "value": "in process"
        },
        "_type": {
            "key": "_type",
            "type": "STRING",
            "value": "TestPurpose"
        }
    },
    "uuid": "a9482e81-9cbd-4c5e-868d-adca01d57eea"
}