Commit f0d8ffca authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

TP REG_ACC_06 updated

parent 65335d82
Loading
Loading
Loading
Loading
+56 −29
Original line number Diff line number Diff line
@@ -938,7 +938,7 @@ Package TP_AMF_NGNAS {
 
        Objective: "Verify that, during the initial registration procedure, when the REGISTRATION_REQUEST message contains a Requested NSSAI IE with one S-NSSAI that is allowed by the IUT, then the IUT sends a REGISTRATION_ACCEPT message containing an Allowed NSSAI IE with the requested S-NSSAI."
 
        Reference: "ETSI TS 124 501 [1], Clauses 5.5.1.2.4 and 8.2.7"
        Reference: "ETSI TS 124 501 [1], Clauses 4.4.6, 5.4.2.4, 5.5.1.2.4, 8.2.7 and 8.2.26"
 
        Configuration: CF_AMF_N2N1
 
@@ -947,19 +947,45 @@ Package TP_AMF_NGNAS {
        Initial conditions
        with {
            the UE entity isNotRegisteredToAMF and
            the UE entity hasSubscribedSNSSAIAllowedByAMF
            the UE entity hasNoValidNasSecurityContext and
            the IUT entity receives an INITIAL_UE_MESSAGE containing {
                UE_Context_Request_IE set to "requested", //reference ts_138413v171500p, clause 8.6.1.2: presence of this IE obliges the AMF to trigger the Initial Context Setup procedure
                NAS_PDU containing {
                    extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
                    security_header_type set to NOT_SECURITY_PROTECTED,
                    message_type set to REGISTRATION_REQUEST,
                    5GS_registration_type containing {
                        5GS_registration_type_value set to INITIAL_REGISTRATION,
                        Follow_on_request_indicator set to FOLLOW_ON_REQUEST_PENDING}, //deliberately set to "pending" so that the connection-release condition of TS 123 502 [2], clause 4.2.2.2.2, bullet 22 does not apply; this TP verifies Allowed NSSAI only and is kept independent from any subsequent connection release behaviour
                    5GS_mobile_identity containing {
                        SUPI_format set to IMSI,
                        Type_of_identity set to SUCI,
                        MCC set to PX_MCC,
                        MNC set to PX_MNC,
                        Routing_indicator set to PX_ROUTING_INDICATOR,
                        Protection_scheme_id set to PX_PROTECTION_SCHEME_ID,
                        Home_network_public_key_identifier set to PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
                        MSIN set to PX_MSIN}}} //cleartext IEs only; Requested NSSAI is a non-cleartext IE and is therefore not present here (see TS 124 501 [1], clause 4.4.6)
            from the GNB entity and
            event SECURITY_MODE_COMMAND occurs
        }
 
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives an INITIAL_UE_MESSAGE containing {
                    the IUT entity receives an UPLINK_NAS_TRANSPORT containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED_WITH_NEW_5G_NAS_SECURITY_CONTEXT,
                            message_type set to SECURITY_MODE_COMPLETE,
                            NAS_message_container containing {
                                NAS_PDU containing {
                                    extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
                                    security_header_type set to NOT_SECURITY_PROTECTED,
                                    message_type set to REGISTRATION_REQUEST,
                                    5GS_registration_type containing {
                                5GS_registration_type_value set to INITIAL_REGISTRATION},
                                        5GS_registration_type_value set to INITIAL_REGISTRATION,
                                        Follow_on_request_indicator set to FOLLOW_ON_REQUEST_PENDING},
                                    5GS_mobile_identity containing {
                                        SUPI_format set to IMSI,
                                        Type_of_identity set to SUCI,
@@ -971,11 +997,12 @@ Package TP_AMF_NGNAS {
                                        MSIN set to PX_MSIN},
                                    Requested_NSSAI containing {
                                        S_NSSAI_1 containing {
                                    SST set to PX_SST_1, //S-NSSAI subscribed for the UE and allowed by the IUT in the current registration area.
                                    SD set to PX_SD_1}}}}
                                            SST set to PX_SST_1, //PX_SST_1/PX_SD_1 identify an S-NSSAI that must be provisioned as allowed in the UE's subscription data at the AMF/UDM (IXIT precondition, not modelled as an Event)
                                            SD set to PX_SD_1}}}}}}
                    from the GNB entity
                }
                then {
                    //NOTE: REGISTRATION_ACCEPT may be carried within INITIAL_CONTEXT_SETUP_REQUEST or within DOWNLINK_NAS_TRANSPORT, depending on IUT implementation; no explicit normative statement mandating one or the other has been identified in TS 138 413, TS 124 501 or TS 123 502. INITIAL_CONTEXT_SETUP_REQUEST is used here, consistent with TP_5GNAS_AMF_REG_ACC_01/04/05 and with the UE_Context_Request_IE set to "requested" in the Initial conditions above; pending confirmation with interoperability partners, this may be revised to allow both alternatives.
                    the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
@@ -991,7 +1018,7 @@ Package TP_AMF_NGNAS {
                                5G_TMSI set to RV_5G_TMSI},
                            Allowed_NSSAI containing {
                                S_NSSAI_1 containing {
                                    SST set to PX_SST_1, //S-NSSAI subscribed for the UE and allowed by the IUT in the current registration area.
                                    SST set to PX_SST_1,
                                    SD set to PX_SD_1}}}}
                    to the GNB entity
                }