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 ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007377SECURITYTSS&TPpublic04-02-2016 13:3708-02-2016 13:56
ReporterPeter Felber 
Assigned ToDenis Filatov 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product VersionTest_Spec_TS103096_V121 
Target VersionTest_Spec_TS103096_V121Fixed in Version 
Summary0007377: Add TP to check invalid its_aid - values
DescriptionFor chapter 5.3.2.6:

Summary: Check that IUT discards a secured CAM when its_aid value is not a valid value
Reference: ETSI TS 103 097 [1], clause 7.1
PICS Selection: PICS_GN_SECURITY

with {
  the IUT being in the 'authorized' state
}
ensure that {
  when {
    the IUT is receiving a SecuredMessage (CAM)
      containing header_fields['its_aid']
        indicating (0, 1, 35, 38, 255)
      and containing payload_field {
        containing type
          indicating 'signed'
        containing data
          containing CAM payload
      }
  } then {
    the IUT discards the message
  }
}
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0013810)
Denis Filatov (administrator)
05-02-2016 13:14

Are you sure that we have to test so many IDs? For the moment I make a check for DENM only.
(0013813)
Denis Filatov (administrator)
08-02-2016 13:56

fix 0007377
Add TP to test undefined ITS_AID.
U /branches/STF507/requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_CAM/SEC_ITSS_RCV_CAM_07/TP_SEC_ITSS_RCV_CAM_07_01_BO.json [^]
A /branches/STF507/requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_CAM/SEC_ITSS_RCV_CAM_07/TP_SEC_ITSS_RCV_CAM_07_02_BO.json [^]
U /branches/STF507/requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_DENM/SEC_ITSS_RCV_DENM_07/TP_SEC_ITSS_RCV_DENM_07_01_BO.json [^]
A /branches/STF507/requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_DENM/SEC_ITSS_RCV_DENM_07/TP_SEC_ITSS_RCV_DENM_07_02_BO.json [^]
A /branches/STF507/requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_GENMSG/SEC_ITSS_RCV_GENMSG_07 [^]
A /branches/STF507/requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_GENMSG/SEC_ITSS_RCV_GENMSG_07/TP_SEC_ITSS_RCV_GENMSG_07_01_BO.json [^]
A /branches/STF507/requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_GENMSG/SEC_ITSS_RCV_GENMSG_07.json [^]

- Issue History
Date Modified Username Field Change
04-02-2016 13:37 Peter Felber New Issue
04-02-2016 13:37 Peter Felber Status new => assigned
04-02-2016 13:37 Peter Felber Assigned To => Denis Filatov
05-02-2016 13:14 Denis Filatov Note Added: 0013810
08-02-2016 13:56 Denis Filatov Checkin
08-02-2016 13:56 Denis Filatov Note Added: 0013813
08-02-2016 13:56 Denis Filatov Status assigned => resolved
08-02-2016 13:56 Denis Filatov Resolution open => fixed


MantisBT 1.2.14 [^]
Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker