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

0007335

SECURITY

TSS&TP

public

14-01-2016 13:10

28-01-2016 21:15

Reporter

haddads

Assigned To

Denis Filatov

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

resolved

Resolution

no change required

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0007335: [TP_SEC_ITSS_SND_CAM_06_01_BV] Formulation proposition

Description

with {
  the IUT being in the 'authorized' state
  and the IUT having received a SecuredMessage
    containing header_fields['its_aid']
      indicating 'AID_CAM'
    containing header_fields['signer_info'] {
      containing signer
        containing type
          indicating 'certificate_digest_with_sha256'
        containing digest
          indicating HashedId3 value
            referenced to unknown certificate
    }
}
ensure that {
  when {
    the IUT is requested to send its next CAM
  } then {
    the IUT sends a SecuredMessage {
      containing header_fields['its_aid']
        indicating 'AID_CAM'
      containing header_fields[0] {
        containing type
          indicating 'signer_info'
        containing signer {
          containing type
            indicating 'certificate'
          containing certificate
        }
      }
    }
  }
}

Tags

No tags attached.

Attached Files

Relationships

Notes
(0013712) Denis Filatov (administrator) 15-01-2016 17:13	The proposal is not correct, because the cert can be sent by some other reason. We were tried to avoid this situation in the TP.

(0013777) Denis Filatov (administrator) 28-01-2016 21:15	no changes required

Issue History
Date Modified	Username	Field	Change
14-01-2016 13:10	haddads	New Issue
14-01-2016 13:42	haddads	Assigned To	=> Denis Filatov
14-01-2016 13:42	haddads	Status	new => assigned
15-01-2016 17:13	Denis Filatov	Note Added: 0013712
28-01-2016 21:15	Denis Filatov	Note Added: 0013777
28-01-2016 21:15	Denis Filatov	Status	assigned => resolved
28-01-2016 21:15	Denis Filatov	Resolution	open => no change required

MantisBT 1.2.14 [^]