ETSI's Bug Tracker - SECURITY
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0007334SECURITYTSS&TPpublic14-01-2016 13:0818-01-2016 14:55
Reporterhaddads 
Assigned ToDenis Filatov 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0007334: [TP_SEC_ITSS_SND_CAM_05_01_BV and 05_02] Formulation proposition
DescriptionSummary : "Check that The first CAM message sent more than one second
after the last CAM message containing a field of type certificate also
contain a field of type certificate"

Proposition :

with {
  the IUT being in the 'authorized' state
  and the IUT is configured to send more than one CAM per second
  and the IUT having sent a CAM
    containing header_fields['signer_info'].signer.type
      indicating 'certificate'
    contains header_fields['generation_time']
      indicating TIME_LAST
}
ensure that {
  when {
       the IUT sends is requested to send its first SecuredMessage
        containing header_fields['its_aid']
          indicating 'AID_CAM'
    and contains header_fields['generation_time']
          indicating TIME (TIME >= TIME_LAST + 1sec)
  } then {
    this message contains header_fields['signer_info'].signer.type
      indicating 'certificate'
  }
}

And if you want to have two different tests with one where the IUT
send other CAM messages within the next second or not. I think you can
add in the "with" part :

"and the IUT not sending any other messages during the next second"

Steps To Reproduce
Additional Information
TagsNo tags attached.
Relationships
Attached Files
Issue History
Date ModifiedUsernameFieldChange
14-01-2016 13:08haddadsNew Issue
14-01-2016 13:42haddadsAssigned To => Denis Filatov
14-01-2016 13:42haddadsStatusnew => assigned
18-01-2016 14:55Denis FilatovCheckin
18-01-2016 14:55Denis FilatovNote Added: 0013719
18-01-2016 14:55Denis FilatovStatusassigned => resolved
18-01-2016 14:55Denis FilatovResolutionopen => fixed

Notes
(0013719)
Denis Filatov   
18-01-2016 14:55   
fix 0007334
Adapt TP to check the content of the generation_time instead of waiting for a timeout.

U /branches/STF507/requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_SND/SEC_ITSS_SND_CAM/SEC_ITSS_SND_CAM_05/TP_SEC_ITSS_SND_CAM_05_01_BV.json [^]
U /branches/STF507/requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_SND/SEC_ITSS_SND_CAM/SEC_ITSS_SND_CAM_05/TP_SEC_ITSS_SND_CAM_05_02_BV.json [^]