/*
Copyright (c) ETSI 2025.

This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.

ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/

/* interface at AMF */
Package TP_AMF {
    

    Group "5.4 5GMM Common Procedures"
	{
        Group "5.4.1 Primary authentication and key agreement procedure"
        {
            import all from Ngnas_Common;
                             
            Test Purpose {
            
            TP Id TP_5GNAS_AMF_AUT_REQ_01 
            
            Test objective "Verify that the IUT sends an AUTHENTICATION REQUEST message correctly upon receipt of a NAS Registration without an active security context."
            
            Reference 
                "ETSI TS 124 501 [1], Clauses 5.4.1.3.2 and 8.2.1"
            
            Config Id CF_AMF_N2N1
            
            PICS Selection NONE
            
            Initial conditions with {
                the UE entity isNotRegisteredTo the AMF
            }
            
            Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives an INITIAL_UE_MESSAGE containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            registration_request_message_identity set to REGISTRATION_REQUEST,
                            5GS_registration_type,
                            5GS_mobile_identity;;                    
                    }
                    then {
                        the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to NOT_SECURITY_PROTECTED,
                                authentication_request_message_identity set to AUTHENTICATION_REQUEST,
                                ngKSI containing
                                    nas_key_set_identifier set to "111";,
                                Authentication_parameter_RAND,
                                Authentication_parameter_AUTN;;
                        to the UE entity
                    }
                }
            } // end TP_5GNAS_AMF_AUT_REQ_01

            Test Purpose {
            
            TP Id TP_5GNAS_AMF_AUT_REQ_02
            
            Test objective "Verify that the IUT sends an AUTHENTICATION REJECT message correctly upon receipt of an AUTHENTICATION RESPONSE message indicating a wrong ARP IEI."
            
            Reference 
                "ETSI TS 124 501 [1], Clauses 5.4.1.3.5 and 8.2.5"
            
            Config Id CF_AMF_N2N1
            
            PICS Selection NONE
            
            Initial conditions with {
                the UE entity isNotRegisteredTo the AMF and
                event AUTHENTICATION_REQUEST occurs
            }
            
            Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives an UPLINK_NAS_TRANSPORT containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to NOT_SECURITY_PROTECTED,
                                authentication_response_message_identity set to AUTHENTICATION_RESPONSE,
                                authentication_response_parameter containing
                                    Authentication_response_parameter_IEI indicating value PX_WRONG_ARP_IEI;;;
                        from the UE entity 
                    }
                    then {
                        the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to NOT_SECURITY_PROTECTED,
                                authentication_reject_message_identity set to AUTHENTICATION_REJECT;;
                        to the UE entity
                    }
                }
            } // end TP_5GNAS_AMF_AUT_REQ_02

            Test Purpose {
            
            TP Id TP_5GNAS_AMF_AUT_REQ_03
            
            Test objective "Verify that the IUT stops re-sending an AUTHENTICATION REQUEST message if no AUTHENTICATION RESPONSE message is received on the fifth expiry of timer T3560."
            
            Reference 
                "ETSI TS 124 501 [1], Clauses 5.4.1.3.7 b) and Table 10.3.1"
            
            Config Id CF_AMF_N2N1
            
            PICS Selection NONE
            
            Initial conditions with {
                the UE entity isNotRegisteredTo the AMF
                and (.) at time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
                and (!) 6s after start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
                and (!) 12s after start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
                and (!) 18s after start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
            }
            Expected behaviour
                ensure that {
                    when {
                        (.) at time point start_trigger_T3560 : event AUTHENTICATION_REQUEST occurs 
                    }
                    then {
                        (!) 6s after start_trigger_T3560 : the IUT entity aborts AUTHENTICATION_REQUEST procedure
                        (Note 1: "It is not expected to receive another AUTHENTICATION message on the N2N1 interface.")
                    }
                }
            } // end TP_5GNAS_AMF_AUT_REQ_03

            Test Purpose {
            
            TP Id TP_5GNAS_AMF_AUT_REQ_04
            
            Test objective "Verify that the IUT sends an IDENTITY REQUEST message correctly upon receipt of an AUTHENTICATION FAILURE message indicating a 5GMM cause value #20 - MAC failure."
            
            Reference 
                "ETSI TS 124 501 [1], Clauses 5.4.1.3.7 c) and 8.2.4"
            
            Config Id CF_AMF_N2N1
            
            PICS Selection NONE
            
            Initial conditions with {
                the UE entity isNotRegisteredTo the AMF and
                the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            security_header_type set to INTEGRITY_PROTECTED,
                            authentication_parameter_AUTN containing
                                AUTN indicating value PX_WRONG_MAC_CODE;;;
                to the UE entity
            }
            
            Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives an UPLINK_NAS_TRANSPORT containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to INTEGRITY_PROTECTED,
                                authentication_failure_message_identity set to AUTHENTICATION_FAILURE,
                                5GMM_cause set to MAC_failure;;
                        from the UE entity 
                    }
                    then {
                        the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to INTEGRITY_PROTECTED,
                                identity_request_message_identity set to IDENTITY_REQUEST,
                                identity_type set to SUCI;;
                        to the UE entity
                    }
                }
            } // end TP_5GNAS_AMF_AUT_REQ_04

            Test Purpose {
            
            TP Id TP_5GNAS_AMF_AUT_REQ_05
            
            Test objective "Verify that the IUT sends a new AUTHENTICATION REQUEST message with new ngKSI value to re-initiate the 5G AKA based primary authentication upon receipt of an AUTHENTICATION FAILURE message indicating a 5GMM cause value #71 - ngKSI already in use."
            
            Reference 
                "ETSI TS 124 501 [1], Clauses 5.4.1.3.7 e) and 8.2.4"
            
            Config Id CF_AMF_N2N1
            
            PICS Selection NONE
            
            Initial conditions with {
                the UE entity isNotRegisteredTo the AMF and
                the IUT entity sends an DOWNLINK_NAS_TRANSFER containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE,
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            spare_half_octet,
                            authentication_request_message_identity set to AUTHENTICATION_REQUEST,
                            ngKSI containing
                                nas_key_set_identifier set to "111";, //value for nas_key_set_identifier was already used before
                            spare_half_octet,
                            ABBA,
                            Authentication_parameter_RAND,
                            Authentication_parameter_AUTN;;
                to the UE entity
            }
            
            Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives an UPLINK_NAS_TRANSPORT containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to INTEGRITY_PROTECTED,
                                authentication_failure_message_identity set to AUTHENTICATION_FAILURE,
                                5GMM_cause set to ngKSI_already_in_use;;
                        from the UE entity 
                    }
                    then {
                        the IUT entity sends an DOWNLINK_NAS_TRANSFER containing
                                NAS_PDU containing
                                    extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE,
                                    security_header_type set to NOT_SECURITY_PROTECTED,
                                    spare_half_octet,
                                    authentication_request_message_identity set to AUTHENTICATION_REQUEST,
                                    ngKSI containing
                                        nas_key_set_identifier indicating value PX_NON_DEFAULT_NGKSI;,
                                    spare_half_octet,
                                    ABBA,
                                    Authentication_parameter_RAND,
                                    Authentication_parameter_AUTN;;
                        to the UE entity
                    }
                }
            } // end TP_5GNAS_AMF_AUT_REQ_05


            
            Test Purpose {
            
            TP Id TP_5GNAS_AMF_AUT_ABN_01
            
            Test objective "Verify that the IUT sends a new IDENTITY REQUEST message to obtain the SUCI from the UE upon receipt of an AUTHENTICATION FAILURE message indicating a 5GMM cause value #26 - non-5G authentication unacceptable."
        
            Reference 
                "ETSI TS 124 501 [1], Clauses 5.4.1.3.7, 8.2.4, 5.4.3.2 and 8.2.21.1"
            
            Config Id CF_AMF_N2N1
            
            PICS Selection NONE

            Initial conditions with {
                the UE entity isNotRegisteredTo the AMF and
                the IUT entity sends an DOWNLINK_NAS_TRANSFER containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE,
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            spare_half_octet,
                            authentication_request_message_identity set to AUTHENTICATION_REQUEST,
                            ngKSI containing
                                nas_key_set_identifier set to "111";,
                            spare_half_octet,
                            ABBA,
                            Authentication_parameter_RAND,
                            Authentication_parameter_AUTN;; //the "separation bit" in the AMF field of AUTN is set to 0
                to the UE entity
            }

            Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives an UPLINK_NAS_TRANSPORT containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to INTEGRITY_PROTECTED,
                                authentication_failure_message_identity set to AUTHENTICATION_FAILURE,
                                5GMM_cause set to "Non-5G authentication unacceptable (26)";;
                        from the UE entity 
                    }
                    then {
                        the IUT entity sends an DOWNLINK_NAS_TRANSFER containing
                                NAS_PDU containing
                                    extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE,
                                    security_header_type set to NOT_SECURITY_PROTECTED,
                                    spare_half_octet,
                                    identity_request_message_identity set to IDENTITY_REQUEST,
                                    5GS_identity_type_IEI set to "SUCI";;
                        to the UE entity
                    }
                }

            } // end TP_5GNAS_AMF_AUT_ABN_01

        } // end Group Primary authentication and key agreement procedure    

        Group "5.4.2 Security mode control procedure"
        {

            import all from Ngnas_Common;
         
            Test Purpose {
            
            TP Id TP_NGNAS_AMF_AUT_SEQ_01 
            
            Test objective "Verify that the IUT sends a SECURITY MODE COMMAND message correctly to indicate NAS security mode procedure upon receipt of a NAS AUTHENTICATION RESPONSE."
            
            Reference 
                "ETSI TS 124 501 [1], Clause 5.4.1.2"
            
            Config Id CF_AMF_N2N1
            
            PICS Selection NONE
            
            Initial conditions with {
                the UE entity isNotRegisteredTo the AMF and
                event AUTHENTICATION_REQUEST occurs with {
                    argument replaced by the AUTHENTICATION_REQUEST containing
                        security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT;
                }                                                        
            }
            
            Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives a UPLINK_NAS_TRANSPORT containing // AUTHENTICATION_RESPONSE
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                                security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT,
                                authentication_response_message_identity set to AUTHENTICATION_RESPONSE;; //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                    from the UE entity
                    }
                    then {
                    the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing // Security mode command
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 
                            security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT,
                            security_mode_command_message_identity set to SECURITY_MODE_COMMAND,
                            selected_NAS_security_algorithms,
                            ngKSI containing
                                nas_key_set_identifier set to "111";,
                            replayed_UE_security_capabilities;; // UE security capability 9.11.3.54
                    to the UE entity
                    }
                }
            } // end TP_NGNAS_AMF_AUT_SEQ_01

            Test Purpose {
            
                TP Id TP_5GNAS_AMF_SEC_ACC_01 
                
                Test objective "Verify that the IUT, upon receiving the NAS SECURITY MODE COMPLETE message after completing the NAS Authentication and Security procedure, successfully completes the registration process by accepting the registration."

                Reference 
                    "ETSI TS 124 501 [1], Clause 5.4.2 and 8.2.25"
                
                Config Id CF_AMF_N2N1
                
                PICS Selection PICS_A4/2

                Initial conditions with {
                    the UE entity isNotRegisteredTo the AMF
                }                                                        
            

                Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives a UPLINK_NAS_TRANSPORT containing  
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE,  
                                security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT,
                                security_mode_complete_message_identity    set to SECURITY_MODE_COMPLETE;;
                        from the UE entity
                    }
                    then {
                        the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing
                           NAS_PDU containing
                               extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                               security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                               Registration_accept_message_identity set to REGISTRATION_ACCEPT,
                               5GS_registration_result containing
                                   55GS_registration_result_value set to 3GPP_ACCESS;,
                               5G_GUTI containing
                                   Type_of_identity set to 5G_GUTI,
                                   MCC indicating value PX_MCC,
                                   MNC indicating value PX_MNC,
                                   AMF_Region_ID indicating value PX_AMF_REGION_ID,
                                   AMF_Set_ID indicating value PX_AMF_SET_ID,
                                   AMF_Pointer indicating value PX_AMF_POINTER,
                                   5G_TMSI indicating value RV_5G_TMSI;,
                               TAI_list containing
                                   Partial_tracking_area_list_1 containing
                                       Type_of_list,
                                       Number_of_elements,
                                       MCC indicating value PX_MCC,
                                       MNC indicating value PX_MNC,
                                       TAC indicating value PX_TAC;;,
                               T3512_value containing
                                   Timer_value indicating value nonZeroValue;;;
                        to the GNB entity       
                    }
                    
                }

            } // end TP_5GNAS_AMF_SEC_ACC_01

            Test Purpose {
            
                TP Id TP_5GNAS_AMF_SEC_REJ_01 
                
                Test objective "Verify that the IUT, upon receiving the NAS SECURITY MODE REJECT message after a failed NAS Authentication and security procedure, successfully aborts the registration process by rejecting the registration."

                Reference 
                    "ETSI TS 124 501 [1], Clause 5.4.2 and 8.2.25"
                
                Config Id CF_AMF_N2N1
                
                PICS Selection PICS_A4/2

                Initial conditions with {                
                    the UE entity isNotRegisteredTo the AMF
                }    

                Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives a UPLINK_NAS_TRANSPORT containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGE, 
                                security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT,
                                security_mode_reject_message_identity set to SECURITY_MODE_REJECT,    
                                5GMM_cause set to "UE security capabilities mismatch (23)";;
                    from the UE entity
                    }
                    then {
                        the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                           NAS_PDU containing
                               extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                               security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                               Registration_reject_message_identity set to REGISTRATION_REJECT,
                               5GMM_cause set to "UE security capabilities mismatch (23)",
                               T3346_value containing 
                                   Timer_value indicating value nonZeroValue;;;
                        to the GNB entity 
                    }
                    
                }

            } // end TP_5GNAS_AMF_SEC_REJ_01
            
            

        } // end Group Security mode control procedure

        Group "5.4.5 NAS transport procedure"
        {
            import all from Ngnas_Common;
            
            Test Purpose {
            
                TP Id TP_5GNAS_AMF_DLN_ACC_01 
                
                Test objective "Verify that the IUT correctly handles a UL NAS transport message containing a PDU SESSION ESTABLISHMENT REQUEST from the UE and responds with a DL NAS transport message containing a PDU SESSION ESTABLISHMENT ACCEPT."

                Reference 
                    "ETSI TS 124 501 [1], Clause 5.4.5 and 8.2.10, 8.2.11"
                
                Config Id CF_AMF_N2N1
                
                PICS Selection PICS_A5/6

                Initial conditions with {                
                 the UE entity isRegisteredTo the AMF
                }    

                Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives a UPLINK_NAS_TRANSPORT containing 
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                                  security_header_type set to NOT_SECURITY_PROTECTED,
                                uL_NAS_TRANSPORT_message_identity set to UL_NAS_TRANSPORT,
                                payload_container containing 
                                    payload_container_type set to "N1 SM information",
                                    number_of_optional_IEs set to 1,
                                    optional_IE_1 set to "PDU SESSION ESTABLISHMENT REQUEST";,
                                old_PDU_session_ID;;
                    from the UE entity
                    }
                    then {
                        the IUT entity sends an PDU_SESSION_RESOURCE_SETUP_REQUEST containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                                   security_header_type set to NOT_SECURITY_PROTECTED,
                                dL_NAS_TRANSPORT_message_identity set to DL_NAS_TRANSPORT,
                                payload_container containing 
                                    payload_container_type set to "N1 SM information",
                                    number_of_optional_IEs set to 1,
                                    optional_IE_1 set to "PDU SESSION ESTABLISHMENT ACCEPT";,
                                pDU_session_ID;;
                    to the UE entity
                    }

                } 
            }// end TP_5GNAS_AMF_DLN_ACC_01

        } // end Group 5.4.5 NAS transport procedure

    }  // end Group 5.4 5GMM Common Procedures
    
    Group "5.5.1.2 Registration Procedure for initial registration"
    {
        import all from Ngnas_Common;
         
        Test Purpose {
        
        TP Id TP_5GNAS_AMF_REG_ACC_01 
        
        Test objective "Verify that the IUT sends a REGISTRATION ACCEPT message containing the 5GS registration result, TAI list, 5G-GUTI and T3512 when initial registration is accepted by the network."
        
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.1.2.4 and 8.2.7" 
        
        Config Id CF_AMF_N2N1
        
        PICS Selection PICS_A4/8_1
        
        Initial conditions with {
            the UE entity isNotRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives an INITIAL_UE_MESSAGE containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            Registration_request_message_identity set to REGISTRATION_REQUEST,
                            5GS_registration_type containing
                                5GS_registration_type_value set to INITIAL_REGISTRATION,
                                FOR indicating value 1;, //Follow-on request pending
                            5GS_mobile_identity containing
                                SUPI_format indicating value IMSI,
                                Type_of_idenity indicating value SUCI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                Routing_indicator indicating value PX_ROUTING_INDICATOR, 
                                Protection_scheme_id indicating value PX_PROTECTION_SCHEME_ID,
                                Home_network_public_key_identifier indicating value PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
                                MSIN indicating value PX_MSIN;;;
                    from the GNB entity
                }
                then {
                    the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            Registration_accept_message_identity set to REGISTRATION_ACCEPT,
                            5GS_registration_result containing
                                55GS_registration_result_value set to 3GPP_ACCESS;,
                            5G_GUTI containing
                                Type_of_identity set to 5G_GUTI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                AMF_Region_ID indicating value PX_AMF_REGION_ID,
                                AMF_Set_ID indicating value PX_AMF_SET_ID,
                                AMF_Pointer indicating value PX_AMF_POINTER,
                                5G_TMSI indicating value RV_5G_TMSI;,
                            TAI_list containing
                                Partial_tracking_area_list_1 containing
                                    Type_of_list,
                                    Number_of_elements,
                                    MCC indicating value PX_MCC,
                                    MNC indicating value PX_MNC,
                                    TAC indicating value PX_TAC;;,
                            T3512_value containing
                                Timer_value indicating value nonZeroValue;;; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_REG_ACC_01
        
        
        Test Purpose {
        
        TP Id TP_5GNAS_AMF_REG_ACC_02 
        
        Test objective "Verify that the IUT sends a REGISTRATION ACCEPT message indicating SMS over NAS allowed when initial registration with SMS over NAS is requested and network allows SMS service."
        
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.1.2.4 and 8.2.7" 
        
        Config Id CF_AMF_N2N1
        
        PICS Selection PICS_A4/8_1_3
        
        Initial conditions with {
            the UE entity isNotRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives an INITIAL_UE_MESSAGE containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            Registration_request_message_identity set to REGISTRATION_REQUEST,
                            5GS_registration_type containing
                                5GS_registration_type_value set to INITIAL_REGISTRATION,
                                FOR indicating value 1;, //Follow-on request pending
                            5GS_mobile_identity containing
                                SUPI_format indicating value IMSI,
                                Type_of_idenity indicating value SUCI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                Routing_indicator indicating value PX_ROUTING_INDICATOR, 
                                Protection_scheme_id indicating value PX_PROTECTION_SCHEME_ID,
                                Home_network_public_key_identifier indicating value PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
                                MSIN indicating value PX_MSIN;,
                            5GS_update_type containing
                                SMS_over_NAS_transport_requested set to 1;;; //SMS over NAS supported
                    from the GNB entity
                }
                then {
                    the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                               security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            Registration_accept_message_identity 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
                            5G_GUTI containing
                                Type_of_identity set to 5G_GUTI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                AMF_Region_ID indicating value PX_AMF_REGION_ID,
                                AMF_Set_ID indicating value PX_AMF_SET_ID,
                                AMF_Pointer indicating value PX_AMF_POINTER,
                                5G_TMSI indicating value RV_5G_TMSI;,
                            TAI_list containing
                                Partial_tracking_area_list_1 containing
                                    Type_of_list,
                                    Number_of_elements,
                                    MCC indicating value PX_MCC,
                                    MNC indicating value PX_MNC,
                                    TAC indicating value PX_TAC;;,
                            T3512_value containing
                                Timer_value indicating value nonZeroValue;;; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_REG_ACC_02
        
        
        Test Purpose {
        
        TP Id TP_5GNAS_AMF_REG_ACC_03 
        
        Test objective "Verify that the IUT sends a REGISTRATION ACCEPT message indicating SMS over NAS not allowed when initial registration with SMS over NAS is requested and network does not support SMS service."
        
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.1.2.4 and 8.2.7" 
        
        Config Id CF_AMF_N2N1
        
        PICS Selection not PICS_A4/8_1_3
        
        Initial conditions with {
            the UE entity isNotRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives an INITIAL_UE_MESSAGE containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            Registration_request_message_identity set to REGISTRATION_REQUEST,
                            5GS_registration_type containing
                                5GS_registration_type_value set to INITIAL_REGISTRATION,
                                FOR indicating value 1;, //Follow-on request pending
                            5GS_mobile_identity containing
                                SUPI_format indicating value IMSI,
                                Type_of_idenity indicating value SUCI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                Routing_indicator indicating value PX_ROUTING_INDICATOR, 
                                Protection_scheme_id indicating value PX_PROTECTION_SCHEME_ID,
                                Home_network_public_key_identifier indicating value PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
                                MSIN indicating value PX_MSIN;,
                            5GS_update_type containing
                                SMS_over_NAS_transport_requested set to 1;;; //SMS over NAS supported
                    from the GNB entity
                }
                then {
                    the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            Registration_accept_message_identity 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
                            5G_GUTI containing
                                Type_of_identity set to 5G_GUTI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                AMF_Region_ID indicating value PX_AMF_REGION_ID,
                                AMF_Set_ID indicating value PX_AMF_SET_ID,
                                AMF_Pointer indicating value PX_AMF_POINTER,
                                5G_TMSI indicating value RV_5G_TMSI;,
                            TAI_list containing
                                Partial_tracking_area_list_1 containing
                                    Type_of_list,
                                    Number_of_elements,
                                    MCC indicating value PX_MCC,
                                    MNC indicating value PX_MNC,
                                    TAC indicating value PX_TAC;;,
                            T3512_value containing
                                Timer_value indicating value nonZeroValue;;; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_REG_ACC_03
        
        Test Purpose {
        
        TP Id TP_5GNAS_AMF_REG_ACC_04
        
        Test objective "Verify that the IUT includes the allowed NSSAI in the REGISTRATION ACCEPT message when the UE includes a requested NSSAI in the REGISTRATION REQUEST message and the network allows one or more S-NSSAIs from the requested NSSAI."
        
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.1.2.4 and 8.2.7" 
        
        Config Id CF_AMF_N2N1
        
        PICS Selection PICS_A4/8_1
        
        Initial conditions with {
            the UE entity isNotRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives an INITIAL_UE_MESSAGE containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            Registration_request_message_identity set to REGISTRATION_REQUEST,
                            5GS_registration_type containing
                                5GS_registration_type_value set to INITIAL_REGISTRATION,
                                FOR indicating value 1;, //Follow-on request pending
                            5GS_mobile_identity containing
                                SUPI_format indicating value IMSI,
                                Type_of_idenity indicating value SUCI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                Routing_indicator indicating value PX_ROUTING_INDICATOR, 
                                Protection_scheme_id indicating value PX_PROTECTION_SCHEME_ID,
                                Home_network_public_key_identifier indicating value PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
                                MSIN indicating value PX_MSIN;;;
                    from the GNB entity
                }
                then {
                    the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                              security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            Registration_accept_message_identity set to REGISTRATION_ACCEPT,
                            5G_GUTI containing
                                Type_of_identity set to 5G_GUTI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                AMF_Region_ID indicating value PX_AMF_REGION_ID,
                                AMF_Set_ID indicating value PX_AMF_SET_ID,
                                AMF_Pointer indicating value PX_AMF_POINTER,
                                5G_TMSI indicating value RV_5G_TMSI;,
                            Allowed_NSSAI containing
                                S_NSSAI_1 containing
                                    SST set to PX_SST_1,
                                    SD set to PX_SD_1,
                                    Mapped_HPLMN_SST set to PX_MAPPED_HPLMN_SST_1,
                                    Mapped_HPLMN_SD set to PX_MAPPED_HPLMN_SD_1;;;; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_REG_ACC_04
        
        Test Purpose {
        
        TP Id TP_5GNAS_AMF_REG_ACC_05
        
        Test objective "Verify that the IUT optionally includes rejected NSSAI in the REGISTRATION ACCEPT message when the network rejects one or more S-NSSAIs from the requested NSSAI."
        
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.1.2.4 and 8.2.7" 
        
        Config Id CF_AMF_N2N1
        
        PICS Selection PICS_A4/8_1_2_3
        
        Initial conditions with {
            the UE entity isNotRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives an INITIAL_UE_MESSAGE containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            Registration_request_message_identity set to REGISTRATION_REQUEST,
                            5GS_registration_type containing
                                5GS_registration_type_value set to INITIAL_REGISTRATION,
                                FOR indicating value 1;, //Follow-on request pending
                            5GS_mobile_identity containing
                                SUPI_format indicating value IMSI,
                                Type_of_idenity indicating value SUCI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                Routing_indicator indicating value PX_ROUTING_INDICATOR, 
                                Protection_scheme_id indicating value PX_PROTECTION_SCHEME_ID,
                                Home_network_public_key_identifier indicating value PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
                                MSIN indicating value PX_MSIN;;;
                    from the GNB entity
                }
                then {
                    the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                             security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            Registration_accept_message_identity set to REGISTRATION_ACCEPT,
                            5G_GUTI containing
                                Type_of_identity set to 5G_GUTI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                AMF_Region_ID indicating value PX_AMF_REGION_ID,
                                AMF_Set_ID indicating value PX_AMF_SET_ID,
                                AMF_Pointer indicating value PX_AMF_POINTER,
                                5G_TMSI indicating value RV_5G_TMSI;,
                            Rejected_NSSAI containing
                                Rejected_S_NSSAI_1 containing
                                    Cause_value,
                                    SST set to PX_SST_Rejected,
                                    SD set to PX_SD_Rejected;;;; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_REG_ACC_05
         
        Test Purpose {
        
        TP Id TP_5GNAS_AMF_REG_REJ_01 
        
        Test objective "Verify that the IUT rejects initial registration request due to general NAS level mobility management congestion control with 5GMM cause value #22 - congestion and assign a value for back-off timer T3346."
        
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.1.2.5 and 8.2.9" 
        
        Config Id CF_AMF_N2N1
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE entity isNotRegisteredTo the AMF and 
            the AMF entity isInOverloadedState
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives an INITIAL_UE_MESSAGE containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            Registration_request_message_identity set to REGISTRATION_REQUEST,
                            5GS_registration_type containing
                                5GS_registration_type_value set to INITIAL_REGISTRATION,
                                FOR indicating value 1;, //Follow-on request pending
                            5GS_mobile_identity containing
                                SUPI_format indicating value IMSI,
                                Type_of_idenity indicating value SUCI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                Routing_indicator indicating value PX_ROUTING_INDICATOR, 
                                Protection_scheme_id indicating value PX_PROTECTION_SCHEME_ID,
                                Home_network_public_key_identifier indicating value PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
                                MSIN indicating value PX_MSIN;;;
                    from the GNB entity
                }
                then {
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            Registration_reject_message_identity set to REGISTRATION_REJECT,
                            5GMM_cause set to "Congestion (22)",
                            T3346_value containing 
                                Timer_value indicating value nonZeroValue;;; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_REG_REJ_01
         
        Test Purpose {
        
        TP Id TP_5GNAS_AMF_REG_REJ_02 
        
        Test objective "Verify that the IUT rejects initial registration request because all the S-NSSAI(s) included in the requested NSSAI are either rejected for current PLMN, rejected for the current registration area or rejected due to failed or revoked NSSAIs."
        
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.1.2.5 and 8.2.9" 
        
        Config Id CF_AMF_N2N1
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE entity isNotRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives an INITIAL_UE_MESSAGE containing
                        NAS_PDU containing
                            Registration_request_message_identity set to REGISTRATION_REQUEST,
                            5GS_registration_type containing
                                5GS_registration_type_value set to INITIAL_REGISTRATION,
                                FOR indicating value 1;, //Follow-on request pending
                            Requested_NSSAI indicating value PX_NSSAI_REVOKED;;
                    from the GNB entity
                }
                then {
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            Registration_reject_message_identity set to REGISTRATION_REJECT,
                           5GMM_cause set to "No network slice available (62)";; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_REG_REJ_02
        
    } //end Group "5.5.1.2 Registration Procedure for initial registration"
    
    Group "5.5.2.2.3 UE-initiated de-registration procedure completion"
    {
        import all from Ngnas_Common;
        
     
        Test Purpose {
    
        TP Id TP_5GNAS_AMF_DRG_ACC_01 
    
        Test objective "Verify that the IUT, upon receiving a DEREGISTRATION REQUEST message containing the De-registration type IE with Normal de-registration from the UE, sends a DEREGISTRATION ACCEPT message."
    
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.2.2.3, 8.2.12 and 8.2.13" 
    
        Config Id CF_AMF_N2N1
    
        PICS Selection PICS_A4/9_1
    
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
    
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives an UPLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            Deregistration_request_message_identity set to DEREGISTRATION_REQUEST,
                            Deregistration_type containing
                                Switch_off_value set to NORMAL_DEREGISTRATION,
                                Reregistration_required_value set to REREGISTRATION_NOT_REQUIRED,
                                Access_type set to 3GPP_ACCESS;,
                            5GS_mobile_identity containing
                                Type_of_identity set to 5G_GUTI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                AMF_Region_ID indicating value PX_AMF_REGION_ID,
                                AMF_Set_ID indicating value PX_AMF_SET_ID,
                                AMF_Pointer indicating value PX_AMF_POINTER,
                                5G_TMSI indicating value RV_5G_TMSI;;;
                    from the GNB entity
                }
                then {
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            Deregistration_accept_message_identity set to DEREGISTRATION_ACCEPT;; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_DRG_ACC_01
        
        Test Purpose {
    
        TP Id TP_5GNAS_AMF_DRG_ACC_02 
    
        Test objective "Verify that the IUT, upon receiving a DEREGISTRATION REQUEST message containing the De-registration type IE with Switch-off from the UE, does not send a DEREGISTRATION ACCEPT message and IUT completes de-registration procedure."
    
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.2.2.3, 8.2.12 and 8.2.13" 
    
        Config Id CF_AMF_N2N1
    
        PICS Selection PICS_A4/9_1
    
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
    
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives an UPLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            Deregistration_request_message_identity set to DEREGISTRATION_REQUEST,
                            Deregistration_type containing
                                Switch_off_value set to SWITCH_OFF,
                                Reregistration_required_value set to REREGISTRATION_NOT_REQUIRED,
                                Access_type set to 3GPP_ACCESS;,
                            5GS_mobile_identity containing
                                Type_of_identity set to 5G_GUTI,
                                MCC indicating value PX_MCC,
                                MNC indicating value PX_MNC,
                                AMF_Region_ID indicating value PX_AMF_REGION_ID,
                                AMF_Set_ID indicating value PX_AMF_SET_ID,
                                AMF_Pointer indicating value PX_AMF_POINTER,
                                5G_TMSI indicating value RV_5G_TMSI;;;
                    from the GNB entity
                }
                then {
                    the IUT entity not sends a DOWNLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                            Deregistration_accept_message_identity set to DEREGISTRATION_ACCEPT;; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_DRG_ACC_02
        
    } //end Group "5.5.2.2.3 UE-initiated de-registration procedure completion"
    
    Group "5.5.2.3.1 Network-initiated de-registration procedure initiation"
    {
        import all from Ngnas_Common;
        
     
        Test Purpose {
    
        TP Id TP_5GNAS_AMF_DRG_REQ_01 
    
        Test objective "Verify that the IUT initiates network de-registration by sending a DEREGISTRATION REQUEST message containing De-registration type IE with re-registration not required and the access type based on the UE’s registration status (3GPP access only). **NOTE:** explicit network deregistration triggered by O&M - deactivation of UE"
    
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.2.3.1 and 8.2.14" 
    
        Config Id CF_AMF_N2N1
    
        PICS Selection PICS_A4/9_2
    
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
    
        Expected behaviour
            ensure that {
                when {  
                    the IUT entity indicate a UE deactivation
                }
                then {
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            Deregistration_request_message_identity set to DEREGISTRATION_REQUEST,
                            Deregistration_type containing
                                Switch_off_value set to NORMAL_DEREGISTRATION,
                                Reregistration_required_value set to REREGISTRATION_NOT_REQUIRED,
                                Access_type set to 3GPP_ACCESS;;; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_DRG_REQ_01    
     
        Test Purpose {
    
        TP Id TP_5GNAS_AMF_DRG_REQ_02 
    
        Test objective "Verify that the IUT initiates network de-registration by sending a DEREGISTRATION REQUEST message and if UE does not send DEREGISTRATION ACCEPT then IUT retransmits DEREGISTRATION REQUEST message after timer T3522 expiration. **NOTE:** explicit network deregistration triggered by O&M - UE deregistration."
    
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.2.3.1 and 8.2.14" 
    
        Config Id CF_AMF_N2N1
    
        PICS Selection PICS_A4/9_2
    
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
    
        Expected behaviour
            ensure that {
                when {  
                    the IUT entity indicate a UE deregistration and 
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            Deregistration_request_message_identity set to DEREGISTRATION_REQUEST;; 
                    to the GNB entity and 
                    the IUT entity does not receives an UPLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            Deregistration_accept_message_identity set to DEREGISTRATION_ACCEPT;;
                    from the GNB entity
                }
                then {
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            Deregistration_request_message_identity set to DEREGISTRATION_REQUEST,
                            Deregistration_type containing
                                Switch_off_value set to NORMAL_DEREGISTRATION,
                                Reregistration_required_value set to REREGISTRATION_NOT_REQUIRED,
                                Access_type set to 3GPP_ACCESS;;; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_DRG_REQ_02    
     
        Test Purpose {
    
        TP Id TP_5GNAS_AMF_DRG_REQ_03 
    
        Test objective "Verify that the IUT initiates network de-registration by sending DEREGISTRATION REQUEST message containing De-registration type IE with re-registration required and the access type based on the UE’s registration status (3GPP access only). **NOTE 1:** UE sends DEREGISTRATION ACCEPT and starts with re-registration procedure.(also used ref 5.5.2.3.2 1st paragraph) **NOTE 2:** explicit network deregistration triggered by O&M - UE deregistration"
    
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.2.3.1, 5.5.2.3.2 and 8.2.14" 
    
        Config Id CF_AMF_N2N1
    
        PICS Selection PICS_A4/9_2
    
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
    
        Expected behaviour
            ensure that {
                when {  
                    the IUT entity indicate a UE deregistration
                }
                then {
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                        NAS_PDU containing
                            extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                            security_header_type set to NOT_SECURITY_PROTECTED,
                            Deregistration_request_message_identity set to DEREGISTRATION_REQUEST,
                            Deregistration_type containing
                                Switch_off_value set to NORMAL_DEREGISTRATION,
                                Reregistration_required_value set to REREGISTRATION_REQUIRED,
                                Access_type set to 3GPP_ACCESS;;; 
                    to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_DRG_REQ_03
    
    } //end Group "5.5.2.3.1 Network-initiated de-registration procedure initiation"
        
        
} // End of Package TP_AMF

