ETSI's Bug Tracker - SECURITY
View Issue Details
0007377SECURITYTSS&TPpublic04-02-2016 13:3708-02-2016 13:56
Peter Felber 
Denis Filatov 
normalminorhave not tried
resolvedfixed 
Test_Spec_TS103096_V121 
Test_Spec_TS103096_V121 
0007377: Add TP to check invalid its_aid - values
For 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
  }
}
No tags attached.
Issue History
04-02-2016 13:37Peter FelberNew Issue
04-02-2016 13:37Peter FelberStatusnew => assigned
04-02-2016 13:37Peter FelberAssigned To => Denis Filatov
05-02-2016 13:14Denis FilatovNote Added: 0013810
08-02-2016 13:56Denis FilatovCheckin
08-02-2016 13:56Denis FilatovNote Added: 0013813
08-02-2016 13:56Denis FilatovStatusassigned => resolved
08-02-2016 13:56Denis FilatovResolutionopen => fixed

Notes
(0013810)
Denis Filatov   
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   
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 [^]