Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
ITS - Intelligent Transport Systems
ITS
Commits
13f5e6bd
Commit
13f5e6bd
authored
Jan 06, 2016
by
filatov
Browse files
fixed 0007259
parent
9f08238f
Changes
7
Hide whitespace changes
Inline
Side-by-side
requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_CAM/SEC_ITSS_RCV_CAM_01/TP_SEC_ITSS_RCV_CAM_01_01_BV.json
View file @
13f5e6bd
...
...
@@ -19,7 +19,7 @@
"key"
:
"_expectedResults"
,
"origin"
:
"f9d66f08-1f63-4cad-87e1-a3a696d53497"
,
"type"
:
"STRING"
,
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing protocol_version
\r\n\t\t\t\t
indicating value '2'
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_AT_A) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
(2)
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1] {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
}
\r\n\t\t\t
and containing header_fields[2] {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_CAM'
\r\n\t\t\t
}
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing CAM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing protocol_version
\r\n\t\t\t\t
indicating value '2'
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_AT_A) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1] {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
}
\r\n\t\t\t
and containing header_fields[2] {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_CAM'
\r\n\t\t\t
}
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing CAM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
},
"_status"
:
{
"isGenerated"
:
false
,
...
...
requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_CAM/SEC_ITSS_RCV_CAM_01/TP_SEC_ITSS_RCV_CAM_01_02_BV.json
View file @
13f5e6bd
...
...
@@ -19,7 +19,7 @@
"key"
:
"_expectedResults"
,
"origin"
:
"ac77bf19-5e6f-4c6a-808f-a6724433e87b"
,
"type"
:
"STRING"
,
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n\t
the IUT already received a Secured message containing certificate (CERT_TS_AT_A)
\r\n\t\t
containing subject_info.subject_type
\r\n\t\t\t
indicating 'authorization_ticket'
(2)
\r\n\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing protocol_version
\r\n\t\t\t\t
indicating value '2'
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate_digest_with_sha256'
\r\n\t\t\t\t\t
and containing digest
\r\n\t\t\t\t\t\t
referencing to certificate (CERT_TS_AT_A)
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1] {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
}
\r\n\t\t\t
and containing header_fields[2] {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_CAM'
\r\n\t\t\t
}
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing CAM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n\t
the IUT already received a Secured message containing certificate (CERT_TS_AT_A)
\r\n\t\t
containing subject_info.subject_type
\r\n\t\t\t
indicating 'authorization_ticket'
\r\n\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing protocol_version
\r\n\t\t\t\t
indicating value '2'
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate_digest_with_sha256'
\r\n\t\t\t\t\t
and containing digest
\r\n\t\t\t\t\t\t
referencing to certificate (CERT_TS_AT_A)
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1] {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
}
\r\n\t\t\t
and containing header_fields[2] {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_CAM'
\r\n\t\t\t
}
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing CAM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
},
"_status"
:
{
"isGenerated"
:
false
,
...
...
requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_DENM/SEC_ITSS_RCV_DENM_01/TP_SEC_ITSS_RCV_DENM_01_01_BV.json
View file @
13f5e6bd
...
...
@@ -19,7 +19,7 @@
"key"
:
"_expectedResults"
,
"origin"
:
"673a7e75-6b3a-467e-9a1d-43df58b157c8"
,
"type"
:
"STRING"
,
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_TS_AT_A) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
(2)
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key']
\r\n\t\t\t\t\t\t\t
containing key (KEY)
\r\n\t\t\t\t\t\t
and not containing validity_restrictions['region']
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
and containing header_fields [2]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_location'
\r\n\t\t\t\t
containing generation_location
\r\n\t\t\t
and containing header_fields[3]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_DENM'
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing DENM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_TS_AT_A) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key']
\r\n\t\t\t\t\t\t\t
containing key (KEY)
\r\n\t\t\t\t\t\t
and not containing validity_restrictions['region']
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
and containing header_fields [2]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_location'
\r\n\t\t\t\t
containing generation_location
\r\n\t\t\t
and containing header_fields[3]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_DENM'
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing DENM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
},
"_status"
:
{
"isGenerated"
:
false
,
...
...
requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_DENM/SEC_ITSS_RCV_DENM_01/TP_SEC_ITSS_RCV_DENM_01_02_BV.json
View file @
13f5e6bd
...
...
@@ -19,7 +19,7 @@
"key"
:
"_expectedResults"
,
"origin"
:
"e3f945b5-7f82-4aea-b44f-ff764eae3453"
,
"type"
:
"STRING"
,
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_AT_B) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
(2)
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n\t\t\t\t\t\t
and containing validity_restrictions['region'] {
\r\n\t\t\t\t\t\t\t
containing region{
\r\n\t\t\t\t\t\t\t\t
containing region_type
\r\n\t\t\t\t\t\t\t\t\t
indicating 'circle'
\r\n\t\t\t\t\t\t\t\t
and containing circular_region
\r\n\t\t\t\t\t\t\t\t\t
indicating REGION
\r\n\t\t\t\t\t\t\t
}
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
and containing header_fields [2]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_location'
\r\n\t\t\t\t
containing generation_location
\r\n\t\t\t\t\t
indicating position inside the REGION
\r\n\t\t\t
and containing header_fields[3]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_DENM'
\r\n\t\t\t
and not containing any other header_fields
\r\n\t\t\t
and containing payload_fields {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing DENM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_AT_B) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n\t\t\t\t\t\t
and containing validity_restrictions['region'] {
\r\n\t\t\t\t\t\t\t
containing region{
\r\n\t\t\t\t\t\t\t\t
containing region_type
\r\n\t\t\t\t\t\t\t\t\t
indicating 'circle'
\r\n\t\t\t\t\t\t\t\t
and containing circular_region
\r\n\t\t\t\t\t\t\t\t\t
indicating REGION
\r\n\t\t\t\t\t\t\t
}
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
and containing header_fields [2]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_location'
\r\n\t\t\t\t
containing generation_location
\r\n\t\t\t\t\t
indicating position inside the REGION
\r\n\t\t\t
and containing header_fields[3]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_DENM'
\r\n\t\t\t
and not containing any other header_fields
\r\n\t\t\t
and containing payload_fields {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing DENM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
},
"_status"
:
{
"isGenerated"
:
false
,
...
...
requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_DENM/SEC_ITSS_RCV_DENM_01/TP_SEC_ITSS_RCV_DENM_01_03_BV.json
View file @
13f5e6bd
...
...
@@ -19,7 +19,7 @@
"key"
:
"_expectedResults"
,
"origin"
:
"589bfd90-5e66-4f74-a434-c9f54acc4a7e"
,
"type"
:
"STRING"
,
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing protocol_version
\r\n\t\t\t\t
indicating value '2'
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_AT_C) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
(2)
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n\t\t\t\t\t\t
and containing validity_restrictions['region'] {
\r\n\t\t\t\t\t\t\t
containing region{
\r\n\t\t\t\t\t\t\t\t
containing region_type
\r\n\t\t\t\t\t\t\t\t\t
indicating 'rectangle'
\r\n\t\t\t\t\t\t\t\t
and containing rectangular_regions
\r\n\t\t\t\t\t\t\t\t\t
indicating REGIONS
\r\n\t\t\t\t\t\t\t
}
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
and containing header_fields [2]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_location'
\r\n\t\t\t\t
containing generation_location
\r\n\t\t\t\t\t
indicating position inside the REGION
\r\n\t\t\t
and containing header_fields[3]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_DENM'
\r\n\t\t\t
and not containing any other header_fields
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing DENM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing protocol_version
\r\n\t\t\t\t
indicating value '2'
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_AT_C) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n\t\t\t\t\t\t
and containing validity_restrictions['region'] {
\r\n\t\t\t\t\t\t\t
containing region{
\r\n\t\t\t\t\t\t\t\t
containing region_type
\r\n\t\t\t\t\t\t\t\t\t
indicating 'rectangle'
\r\n\t\t\t\t\t\t\t\t
and containing rectangular_regions
\r\n\t\t\t\t\t\t\t\t\t
indicating REGIONS
\r\n\t\t\t\t\t\t\t
}
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
and containing header_fields [2]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_location'
\r\n\t\t\t\t
containing generation_location
\r\n\t\t\t\t\t
indicating position inside the REGION
\r\n\t\t\t
and containing header_fields[3]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_DENM'
\r\n\t\t\t
and not containing any other header_fields
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing DENM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
},
"_status"
:
{
"isGenerated"
:
false
,
...
...
requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_DENM/SEC_ITSS_RCV_DENM_01/TP_SEC_ITSS_RCV_DENM_01_04_BV.json
View file @
13f5e6bd
...
...
@@ -19,7 +19,7 @@
"key"
:
"_expectedResults"
,
"origin"
:
"f702ee4b-c417-4bdc-976c-5071749f76c5"
,
"type"
:
"STRING"
,
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing protocol_version
\r\n\t\t\t\t
indicating value '2'
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_AT_D) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
(2)
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n\t\t\t\t\t\t
and containing validity_restrictions['region'] {
\r\n\t\t\t\t\t\t\t
containing region{
\r\n\t\t\t\t\t\t\t\t
containing region_type
\r\n\t\t\t\t\t\t\t\t\t
indicating 'polygon'
\r\n\t\t\t\t\t\t\t\t
and containing polygonal_region
\r\n\t\t\t\t\t\t\t\t\t
indicating REGION
\r\n\t\t\t\t\t\t\t
}
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
and containing header_fields [2]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_location'
\r\n\t\t\t\t
containing generation_location
\r\n\t\t\t\t\t
indicating position inside the REGION
\r\n\t\t\t
and containing header_fields[3]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_DENM'
\r\n\t\t\t
and not containing any other header_fields
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing DENM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing protocol_version
\r\n\t\t\t\t
indicating value '2'
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_AT_D) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n\t\t\t\t\t\t
and containing validity_restrictions['region'] {
\r\n\t\t\t\t\t\t\t
containing region{
\r\n\t\t\t\t\t\t\t\t
containing region_type
\r\n\t\t\t\t\t\t\t\t\t
indicating 'polygon'
\r\n\t\t\t\t\t\t\t\t
and containing polygonal_region
\r\n\t\t\t\t\t\t\t\t\t
indicating REGION
\r\n\t\t\t\t\t\t\t
}
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
and containing header_fields [2]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_location'
\r\n\t\t\t\t
containing generation_location
\r\n\t\t\t\t\t
indicating position inside the REGION
\r\n\t\t\t
and containing header_fields[3]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_DENM'
\r\n\t\t\t
and not containing any other header_fields
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing DENM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
},
"_status"
:
{
"isGenerated"
:
false
,
...
...
requality/TS103096/root/Requirements/SEC_ITSS/SEC_ITSS_RCV/SEC_ITSS_RCV_DENM/SEC_ITSS_RCV_DENM_01/TP_SEC_ITSS_RCV_DENM_01_05_BV.json
View file @
13f5e6bd
...
...
@@ -19,7 +19,7 @@
"key"
:
"_expectedResults"
,
"origin"
:
"049358bc-e0eb-46e8-925e-d794fb54bf73"
,
"type"
:
"STRING"
,
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing protocol_version
\r\n\t\t\t\t
indicating value '2'
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_AT_E) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
(2)
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n\t\t\t\t\t\t
and containing validity_restrictions['region'] {
\r\n\t\t\t\t\t\t\t
containing region{
\r\n\t\t\t\t\t\t\t\t
containing region_type
\r\n\t\t\t\t\t\t\t\t\t
indicating 'id_region'
\r\n\t\t\t\t\t\t\t\t
and containing identified_region
\r\n\t\t\t\t\t\t\t\t\t
indicating REGION
\r\n\t\t\t\t\t\t\t
}
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
and containing header_fields [2]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_location'
\r\n\t\t\t\t
containing generation_location
\r\n\t\t\t\t\t
indicating position inside the REGION
\r\n\t\t\t
and containing header_fields[3]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_DENM'
\r\n\t\t\t
and not containing any other header_fields
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing DENM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
"value"
:
"with {
\r\n\t
the IUT being in the 'authorized' state
\r\n
}
\r\n
ensure that {
\r\n\t
when {
\r\n\t\t
the IUT is receiving a SecuredMessage
\r\n\t\t\t
containing protocol_version
\r\n\t\t\t\t
indicating value '2'
\r\n\t\t\t
and containing header_fields[0]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signer_info'
\r\n\t\t\t\t
and containing signer {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'certificate'
\r\n\t\t\t\t\t
and containing certificate (CERT_AT_E) {
\r\n\t\t\t\t\t\t
containing subject_info.subject_type
\r\n\t\t\t\t\t\t\t
indicating 'authorization_ticket'
\r\n\t\t\t\t\t\t
and containing subject_attributes['verification key'] (KEY)
\r\n\t\t\t\t\t\t
and containing validity_restrictions['region'] {
\r\n\t\t\t\t\t\t\t
containing region{
\r\n\t\t\t\t\t\t\t\t
containing region_type
\r\n\t\t\t\t\t\t\t\t\t
indicating 'id_region'
\r\n\t\t\t\t\t\t\t\t
and containing identified_region
\r\n\t\t\t\t\t\t\t\t\t
indicating REGION
\r\n\t\t\t\t\t\t\t
}
\r\n\t\t\t\t\t
}
\r\n\t\t\t\t
}
\r\n\t\t\t
and containing header_fields [1]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_time'
\r\n\t\t\t\t
containing generation_time
\r\n\t\t\t\t\t
indicating CURRENT_TIME
\r\n\t\t\t
and containing header_fields [2]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'generation_location'
\r\n\t\t\t\t
containing generation_location
\r\n\t\t\t\t\t
indicating position inside the REGION
\r\n\t\t\t
and containing header_fields[3]
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'its_aid'
\r\n\t\t\t\t
containing its_aid
\r\n\t\t\t\t\t
indicating 'AID_DENM'
\r\n\t\t\t
and not containing any other header_fields
\r\n\t\t\t
and containing payload_field {
\r\n\t\t\t\t
containing type
\r\n\t\t\t\t\t
indicating 'signed'
\r\n\t\t\t\t
containing data
\r\n\t\t\t\t\t
indicating length > 0
\r\n\t\t\t\t\t
containing DENM payload
\r\n\t\t\t
}
\r\n\t\t\t
and containing trailer_fields {
\r\n\t\t\t\t
containing single instance of type TrailerField {
\r\n\t\t\t\t\t
containing type
\r\n\t\t\t\t\t\t
indicating 'signature'
\r\n\t\t\t\t\t
containing signature
\r\n\t\t\t\t\t\t
verifiable using KEY
\r\n\t\t\t\t
}
\r\n\t\t\t
}
\r\n\t
} then {
\r\n\t\t
the IUT accepts the message
\r\n\t
}
\r\n
}"
},
"_status"
:
{
"isGenerated"
:
false
,
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment