Logo etsi

ETSI's Bug Tracker
Main | My View | View Issues | Change Log | Roadmap | Monitor project
  
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
0007256SECURITYTSS&TPpublic16-12-2015 15:0208-02-2016 14:59
ReporterPeter Felber 
Assigned ToDenis Filatov 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product VersionTest_Spec_TS103096_V121 
Target VersionTest_Spec_TS103096_V121Fixed in Version 
Summary0007256: Add negative tests for CURRENT_TIME
DescriptionPlease add two negative tests similar to:
TP_SEC_ITSS_RCV_GENMSG_06_01_BO
TP_SEC_ITSS_RCV_GENMSG_06_02_BO

To check that the IUT discards messages containing a certificate which is either not yet valid or not valid any more. The IUT should test the time-restriction against its own time (not the generation_time of the message).
For example:

with {
  the IUT being in the 'authorized' state
}
ensure that {
  when {
    the IUT is receiving a SecuredMessage {
      containing header_fields[0] {
        containing type
          indicating 'signer_info'
        and containing signer {
          containing type
            indicating 'certificate'
          and containing certificate (CERT_TS_AT_A) {
            containing validity_restrictions['time_start_and_end'] {
              containing start_validity
                indicating TIME_CERT_TS_AT_START
              and containing end_validity
                indicating TIME_CERT_TS_AT_END < CURRENT_TIME
            }
          }
        }
      }
      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
  }
}
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0013655)
Denis Filatov (administrator)
04-01-2016 15:55

 These are receiving certificate validation tests, not a message ones.
To be added to SEC_ITSS_RCV_CERT_11
(0013735)
Denis Filatov (administrator)
19-01-2016 17:49

 to be discussed on the meeting
(0013737)
Sebastian Muellers (administrator)
20-01-2016 14:29

 It is a useful test, but our actual tests focus on malformed messages only, i.e. wrong Information elements. We keep it open and see if we can implement it if at the end of the project there is soem time/budget left. Otherwise it shoud be implemeneted for the upcoming Plugtest under the PLugtest budget, if possible.
(0013750)
Sebastian Muellers (administrator)
21-01-2016 08:42

 chapter 6.1 of TS103097:

"NOTE 1: A certificate is considered valid if the current time is within the validity period specified in the certificate,
the current region is within the validity region specified in the certificate, the type of the certificate is
valid for the current type of communication, the signature, which covers all fields except the signature
itself, is valid, and the certificate of the signer is valid as signer for the given certificate's type. If the
certificate is self-signed, it is valid if it is stored as a trusted certificate."
(0013815)
Denis Filatov (administrator)
08-02-2016 14:59

 TP added: SEC_ITSS_RCV_CAM_13, SEC_ITSS_RCV_DENM_13, SEC_ITSS_RCV_GENMSG_13

- Issue History
Date Modified Username Field Change
16-12-2015 15:02 Peter Felber New Issue
16-12-2015 15:02 Peter Felber Status new => assigned
16-12-2015 15:02 Peter Felber Assigned To => Denis Filatov
16-12-2015 15:06 Peter Felber Description Updated View Revisions
04-01-2016 15:55 Denis Filatov Note Added: 0013655
19-01-2016 17:49 Denis Filatov Note Added: 0013735
19-01-2016 17:49 Denis Filatov Status assigned => feedback
20-01-2016 14:29 Sebastian Muellers Note Added: 0013737
20-01-2016 14:29 Sebastian Muellers Status feedback => acknowledged
21-01-2016 08:42 Sebastian Muellers Note Added: 0013750
08-02-2016 14:59 Denis Filatov Note Added: 0013815
08-02-2016 14:59 Denis Filatov Status acknowledged => resolved
08-02-2016 14:59 Denis Filatov Resolution open => fixed

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