TP_SEC_ITSS_SND_DENM_05_02_BV.json

{
    "attributes": {
        "PICS_USE_CIRCULAR_REGION": {
            "isGenerated": false,
            "key": "PICS_USE_CIRCULAR_REGION",
            "origin": "51547a62-2c91-4ca7-abbd-76e8acad57a3",
            "type": "STRING",
            "value": "true"
        },
        "_author": {
            "isGenerated": false,
            "key": "_author",
            "origin": "51547a62-2c91-4ca7-abbd-76e8acad57a3",
            "type": "STRING",
            "value": "filatov"
        },
        "_description": {
            "isGenerated": false,
            "key": "_description",
            "origin": "51547a62-2c91-4ca7-abbd-76e8acad57a3",
            "type": "STRING",
            "value": "Check that the secured DENM contains exactly one HeaderField generation_location which is inside the circular region containing in the validity restriction of the certificate pointed by the signer_info field\r\n"
        },
        "_expectedResults": {
            "isGenerated": false,
            "key": "_expectedResults",
            "origin": "51547a62-2c91-4ca7-abbd-76e8acad57a3",
            "type": "STRING",
            "value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_IUT_B_AT)\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 'circle'\r\n\t\t\t\tcontaining circular_region\r\n\t\t\t\t\tindicating REGION\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a 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}\r\n}"
        },
        "_status": {
            "isGenerated": false,
            "key": "_status",
            "origin": "51547a62-2c91-4ca7-abbd-76e8acad57a3",
            "type": "STRING",
            "value": "verified"
        },
        "_type": {
            "isGenerated": false,
            "key": "_type",
            "origin": "51547a62-2c91-4ca7-abbd-76e8acad57a3",
            "type": "STRING",
            "value": "TestPurpose"
        }
    },
    "uuid": "51547a62-2c91-4ca7-abbd-76e8acad57a3"
}