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

REG ACCEPT in both NGAP messages, Protection schema set to 0, new 5G-TMSI variable

parent 235af758
Loading
Loading
Loading
Loading
+141 −21
Changes for test_purposes/TP_AMF_NGNAS.tdltx: 141 added lines, 21 removed lines.
Original line number Diff line number Diff line
@@ -54,8 +54,8 @@ Package TP_AMF_NGNAS {
                                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,
                                Protection_scheme_id set to '0000',
                                Home_network_public_key_identifier set to '00000000',
                                MSIN set to PX_MSIN}}}                    
                    }
                    then {
@@ -663,8 +663,8 @@ Package TP_AMF_NGNAS {
                                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,
                                Protection_scheme_id set to '0000',
                                Home_network_public_key_identifier set to '00000000',
                                MSIN set to PX_MSIN}}}
                    from the GNB entity
                }
@@ -692,6 +692,30 @@ Package TP_AMF_NGNAS {
                            T3512_value containing {
                                Timer_value set to nonZeroValue}}} 
                    to the GNB entity     
                    or
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            message_type set to REGISTRATION_ACCEPT,
                            5GS_registration_result containing {
                                5GS_registration_result_value set to 3GPP_ACCESS},
                            5G_GUTI containing {
                                Type_of_identity set to 5G_GUTI,
                                MCC set to PX_MCC,
                                MNC set to PX_MNC,
                                AMF_Region_ID set to PX_AMF_REGION_ID,
                                AMF_Set_ID set to PX_AMF_SET_ID,
                                AMF_Pointer set to PX_AMF_POINTER,
                                5G_TMSI set to RV_5G_TMSI},
                            TAI_list containing {
                                Partial_tracking_area_list_1 containing {
                                    MCC set to PX_MCC,
                                    MNC set to PX_MNC,
                                    TAC set to PX_TAC}},
                            T3512_value containing {
                                Timer_value set to nonZeroValue}}} 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_REG_ACC_01
@@ -728,8 +752,8 @@ Package TP_AMF_NGNAS {
                                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,
                                Protection_scheme_id set to '0000',
                                Home_network_public_key_identifier set to '00000000',
                                MSIN set to PX_MSIN},
                            5GS_update_type containing {
                                SMS_over_NAS_transport_requested set to 1}}} //!SMS over NAS supported
@@ -745,6 +769,16 @@ Package TP_AMF_NGNAS {
                                5GS_registration_result_value set to 3GPP_ACCESS,
                                SMS_over_NAS_transport_allowed set to 1}}} //!SMS over NAS allowed
                    to the GNB entity     
                    or
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            message_type set to REGISTRATION_ACCEPT,
                            5GS_registration_result containing {
                                5GS_registration_result_value set to 3GPP_ACCESS,
                                SMS_over_NAS_transport_allowed set to 1}}} //!SMS over NAS allowed
                    to the GNB entity           
                }
            }
        }// end TP_5GNAS_AMF_REG_ACC_02
@@ -781,8 +815,8 @@ Package TP_AMF_NGNAS {
                                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,
                                Protection_scheme_id set to '0000',
                                Home_network_public_key_identifier set to '00000000',
                                MSIN set to PX_MSIN},
                            5GS_update_type containing {
                                SMS_over_NAS_transport_requested set to 1}}} //!SMS over NAS supported
@@ -798,6 +832,16 @@ Package TP_AMF_NGNAS {
                                5GS_registration_result_value set to 3GPP_ACCESS,
                                SMS_over_NAS_transport_allowed set to 0}}} //!SMS over NAS not allowed
                    to the GNB entity  
                    or
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            message_type set to REGISTRATION_ACCEPT,
                            5GS_registration_result containing {
                                5GS_registration_result_value set to 3GPP_ACCESS,
                                SMS_over_NAS_transport_allowed set to 0}}} //!SMS over NAS not allowed
                    to the GNB entity        
                }
            }
        }// end TP_5GNAS_AMF_REG_ACC_03
@@ -833,8 +877,8 @@ Package TP_AMF_NGNAS {
                                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,
                                Protection_scheme_id set to '0000',
                                Home_network_public_key_identifier set to '00000000',
                                MSIN set to PX_MSIN},
                            Requested_NSSAI containing {
                                S_NSSAI_1 containing {
@@ -864,6 +908,25 @@ Package TP_AMF_NGNAS {
                                    SST set to PX_SST_1,
                                    SD set to PX_SD_1}}}} 
                    to the GNB entity   
                    or
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, 
                              security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            message_type set to REGISTRATION_ACCEPT,
                            5G_GUTI containing {
                                Type_of_identity set to 5G_GUTI,
                                MCC set to PX_MCC,
                                MNC set to PX_MNC,
                                AMF_Region_ID set to PX_AMF_REGION_ID,
                                AMF_Set_ID set to PX_AMF_SET_ID,
                                AMF_Pointer set to PX_AMF_POINTER,
                                5G_TMSI set to RV_5G_TMSI},
                            Allowed_NSSAI containing {
                                S_NSSAI_1 containing {
                                    SST set to PX_SST_1,
                                    SD set to PX_SD_1}}}} 
                    to the GNB entity           
                }
            }
        }// end TP_5GNAS_AMF_REG_ACC_04
@@ -899,8 +962,8 @@ Package TP_AMF_NGNAS {
                                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,
                                Protection_scheme_id set to '0000',
                                Home_network_public_key_identifier set to '00000000',
                                MSIN set to PX_MSIN},
                            Requested_NSSAI containing {
                                S_NSSAI_1 containing {
@@ -929,6 +992,25 @@ Package TP_AMF_NGNAS {
                                S_NSSAI_1 containing {
                                    SST set to PX_SST_Rejected,
                                    SD set to PX_SD_Rejected}}}} 
                    to the GNB 
                    or
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, 
                             security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            message_type set to REGISTRATION_ACCEPT,
                            5G_GUTI containing {
                                Type_of_identity set to 5G_GUTI,
                                MCC set to PX_MCC,
                                MNC set to PX_MNC,
                                AMF_Region_ID set to PX_AMF_REGION_ID,
                                AMF_Set_ID set to PX_AMF_SET_ID,
                                AMF_Pointer set to PX_AMF_POINTER,
                                5G_TMSI set to RV_5G_TMSI},
                            Rejected_NSSAI containing {
                                S_NSSAI_1 containing {
                                    SST set to PX_SST_Rejected,
                                    SD set to PX_SD_Rejected}}}} 
                    to the GNB entity       
                }
            }
@@ -964,8 +1046,8 @@ Package TP_AMF_NGNAS {
                        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,
                        Protection_scheme_id set to '0000',
                        Home_network_public_key_identifier set to '00000000',
                        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
@@ -994,8 +1076,8 @@ Package TP_AMF_NGNAS {
                                        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,
                                        Protection_scheme_id set to '0000',
                                        Home_network_public_key_identifier set to '00000000',
                                        MSIN set to PX_MSIN},
                                    Requested_NSSAI containing {
                                        S_NSSAI_1 containing {
@@ -1023,6 +1105,25 @@ Package TP_AMF_NGNAS {
                                    SST set to PX_SST_1,
                                    SD set to PX_SD_1}}}}
                    to the GNB entity
                    or
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            message_type set to REGISTRATION_ACCEPT,
                            5G_GUTI containing {
                                Type_of_identity set to 5G_GUTI,
                                MCC set to PX_MCC,
                                MNC set to PX_MNC,
                                AMF_Region_ID set to PX_AMF_REGION_ID,
                                AMF_Set_ID set to PX_AMF_SET_ID,
                                AMF_Pointer set to PX_AMF_POINTER,
                                5G_TMSI set to RV_5G_TMSI},
                            Allowed_NSSAI containing {
                                S_NSSAI_1 containing {
                                    SST set to PX_SST_1,
                                    SD set to PX_SD_1}}}}
                    to the GNB entity
                }
            }
        }// end TP_5GNAS_AMF_REG_ACC_06
@@ -1063,7 +1164,7 @@ Package TP_AMF_NGNAS {
                                AMF_Region_ID set to PX_AMF_REGION_ID,
                                AMF_Set_ID set to PX_AMF_SET_ID,
                                AMF_Pointer set to PX_AMF_POINTER,
                                5G_TMSI set to RV_5G_TMSI},
                                5G_TMSI set to RV_5G_TMSI_OLD}, //!existing/native 5G-TMSI presented by the UE, distinct from the newly assigned value in REGISTRATION_ACCEPT below
                            NAS_message_container containing { //!ciphered non-cleartext IEs, included in the same REGISTRATION_REQUEST message (ref. clause 4.4.6 b)1), no SECURITY_MODE_COMMAND/COMPLETE exchange needed
                                NAS_PDU containing {
                                    extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
@@ -1080,7 +1181,7 @@ Package TP_AMF_NGNAS {
                                        AMF_Region_ID set to PX_AMF_REGION_ID,
                                        AMF_Set_ID set to PX_AMF_SET_ID,
                                        AMF_Pointer set to PX_AMF_POINTER,
                                        5G_TMSI set to RV_5G_TMSI},
                                        5G_TMSI set to RV_5G_TMSI_OLD},
                                    Requested_NSSAI containing {
                                        S_NSSAI_1 containing {
                                            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 (PIXIT precondition)
@@ -1101,7 +1202,26 @@ Package TP_AMF_NGNAS {
                                AMF_Region_ID set to PX_AMF_REGION_ID,
                                AMF_Set_ID set to PX_AMF_SET_ID,
                                AMF_Pointer set to PX_AMF_POINTER,
                                5G_TMSI set to RV_5G_TMSI},
                                5G_TMSI set to RV_5G_TMSI}, //!newly assigned 5G-TMSI, distinct from RV_5G_TMSI_OLD presented by the UE in the initial REGISTRATION_REQUEST above
                            Allowed_NSSAI containing {
                                S_NSSAI_1 containing {
                                    SST set to PX_SST_1,
                                    SD set to PX_SD_1}}}}
                    to the GNB entity
                    or
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            message_type set to REGISTRATION_ACCEPT,
                            5G_GUTI containing {
                                Type_of_identity set to 5G_GUTI,
                                MCC set to PX_MCC,
                                MNC set to PX_MNC,
                                AMF_Region_ID set to PX_AMF_REGION_ID,
                                AMF_Set_ID set to PX_AMF_SET_ID,
                                AMF_Pointer set to PX_AMF_POINTER,
                                5G_TMSI set to RV_5G_TMSI}, //!newly assigned 5G-TMSI, distinct from RV_5G_TMSI_OLD presented by the UE in the initial REGISTRATION_REQUEST above
                            Allowed_NSSAI containing {
                                S_NSSAI_1 containing {
                                    SST set to PX_SST_1,
@@ -1142,8 +1262,8 @@ Package TP_AMF_NGNAS {
                                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,
                                Protection_scheme_id set to '0000',
                                Home_network_public_key_identifier set to '00000000',
                                MSIN set to PX_MSIN}}}
                    from the GNB entity
                }