TP_SEC_ITSS_SND_DENM_05_05_BV.json

{
    "attributes": {
        "PICS_USE_IDENTIFIED_REGION": {
            "isGenerated": false,
            "key": "PICS_USE_IDENTIFIED_REGION",
            "origin": "203ac249-5e12-43fa-9655-24a84ef03629",
            "type": "STRING",
            "value": "true"
        },
        "_author": {
            "isGenerated": false,
            "key": "_author",
            "origin": "203ac249-5e12-43fa-9655-24a84ef03629",
            "type": "STRING",
            "value": "bissmeye"
        },
        "_description": {
            "isGenerated": false,
            "key": "_description",
            "origin": "203ac249-5e12-43fa-9655-24a84ef03629",
            "type": "STRING",
            "value": "Check that the secured DENM contains exactly one HeaderField generation_location which is inside the identified region defined by the validity restriction of the certificate pointed by the signer_info field"
        },
        "_expectedResults": {
            "isGenerated": false,
            "key": "_expectedResults",
            "origin": "203ac249-5e12-43fa-9655-24a84ef03629",
            "type": "STRING",
            "value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_IUT_E_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 'id_region'\r\n\t\t\t\tcontaining identified_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 header_fields\r\n\t\t\t\tcontaining exactly one instance of HeaderField\r\n\t\t\t\t\tcontaining type \r\n\t\t\t\t\t\tindicating 'generation_location'\r\n\t\t\t\t\tcontaining generation_location\r\n\t\t\t\t\t\tindicating value inside the REGION\r\n\t}\r\n}"
        },
        "_status": {
            "isGenerated": false,
            "key": "_status",
            "origin": "203ac249-5e12-43fa-9655-24a84ef03629",
            "type": "STRING",
            "value": "verified"
        },
        "_type": {
            "isGenerated": false,
            "key": "_type",
            "origin": "203ac249-5e12-43fa-9655-24a84ef03629",
            "type": "STRING",
            "value": "TestPurpose"
        }
    },
    "uuid": "203ac249-5e12-43fa-9655-24a84ef03629"
}