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

0007315

SECURITY

TSS&TP

public

14-01-2016 10:29

21-01-2016 16:55

Reporter

haddads

Assigned To

Denis Filatov

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

resolved

Resolution

won't fix

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0007315: [TP_SEC_ITSS_RCV_DENM_04_02_BO and 04_05 and 04_08] Formulation harmonization

Description

The formula "not containing other header fields" is used. Then why not
simply test :

ensure that {
  when {
    the IUT is receiving a SecuredMessage (DENM)
      containing header_fields[0...N]
       not containing header_fields['XXXX']
       and containing header_fields['its_aid']
          indicating 'AID_DENM'
}
then {
    the IUT discards a SecuredMessage
  }
}

An other formula is also used in TP_SEC_ITSS_RCV_GENMSG_10_01_BO :

"not containing any instance of type"

Tags

No tags attached.

Attached Files

Relationships

Notes
(0013757) Denis Filatov (administrator) 21-01-2016 16:55	I prefer to have the full list of headers here to better explain it presence and order.

Issue History
Date Modified	Username	Field	Change
14-01-2016 10:29	haddads	New Issue
14-01-2016 10:29	haddads	Status	new => assigned
14-01-2016 10:29	haddads	Assigned To	=> Denis Filatov
21-01-2016 16:55	Denis Filatov	Note Added: 0013757
21-01-2016 16:55	Denis Filatov	Status	assigned => resolved
21-01-2016 16:55	Denis Filatov	Resolution	open => won't fix

MantisBT 1.2.14 [^]