Logo etsi

ETSI's Bug Tracker

Notice: information submitted on the ETSI issue Tracker may be incorporated in ETSI publication(s) and therefore subject to the ETSI IPR policy.

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0007257

SECURITY

TSS&TP

public

16-12-2015 15:09

Reporter

Peter Felber

Assigned To

Denis Filatov

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

assigned

Resolution

open

Platform

OS Version

Product Version

Test_Spec_TS103096_V121

Target Version

Test_Spec_TS103096_V121

Fixed in Version

Summary

0007257: Add negative test for CURRENT_LOCATION

Description

Similar to TPs:
TP_SEC_ITSS_RCV_GENMSG_08_01_BO
TP_SEC_ITSS_RCV_GENMSG_08_02_BO
TP_SEC_ITSS_RCV_GENMSG_08_03_BO
TP_SEC_ITSS_RCV_GENMSG_08_04_BO

Add one (maybe one region-type is sufficient) or even more tests to check that the IUT discards messages where the current location of the IUT (not the generation_location of the message) is not inside of the region-restriction of the certificate.
For example:

with {
  the IUT being in the 'authorized' state
}
ensure that {
  when {
    the IUT is receiving a SecuredMessage
      and containing header_fields ['signer_info'] {
        containing type
          indicating certificate
        and containing certificate (CERT_TS_AT_B)
          containing validity_restrictions ['region']
            containing region{
              containing region_type
                indicating 'circle'
              containing circular_region
                indicating REGION (CURRENT_REGION outside of REGION)
            }
      and containing header_fields [1] {
        containing type
          indicating 'generation_time'
      }
      and containing header_fields [2] {
        containing type
          indicating 'generation_location'
      }
      and containing header_fields['its_aid']
        indicating 'AID_BEACON'
      }
  } then {
    the IUT discards the message
  }
}

Issue History
Date Modified	Username	Field	Change
16-12-2015 15:09	Peter Felber	New Issue
16-12-2015 15:09	Peter Felber	Status	new => assigned
16-12-2015 15:09	Peter Felber	Assigned To	=> Denis Filatov
16-12-2015 15:09	Peter Felber	Description Updated	View Revisions

Relationships

Notes
There are no notes attached to this issue.