/*
Copyright (c) ETSI 2024.

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 {
						event AUTHENTICATION_REQUEST occurs with {
							argument replaced by the AUTHENTICATION_REQUEST containing
								ngKSI containing
									nas_key_set_identifier indicating value PX_NON_DEFAULT_NGKSI
								;
							;
						}
						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 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"
							;,
							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 {
						event IDENTITY_REQUEST occurs with {
							argument replaced by the AUTHENTICATION_REQUEST containing
								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 CONTROL 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_NGNAS_AMF_AUT_SEQ_02
			
			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.2, Clause 8.2.26"
			
			Config Id CF_AMF_N2N1
			
			PICS Selection NONE
			
			// TODO
						 								
			} // end TP_NGNAS_AMF_AUT_SEQ_02
			
			Test Purpose {
			
			TP Id TP_NGNAS_AMF_AUT_SEQ_03
			
			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.5, Clause 8.2.27"
			
			Config Id CF_AMF_N2N1
			
			PICS Selection NONE
			
			// TODO
						 								
			} // end TP_NGNAS_AMF_AUT_SEQ_03

			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"
		{
			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 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 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	                       		security_header_type set to NOT_SECURITY_PROTECTED,
								uL_NAS_TRANSPORT_message_identity,
								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,
								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

