Commit dd7c1ac6 authored by Steffen Ludtke's avatar Steffen Ludtke
Browse files

minor corrections

parent 1928172a

test_purposes/ngnas/TP_AMF_NGNAS.tplan2

+31 −2
Original line number Original line Diff line number Diff line
@@ -264,7 +264,31 @@ Package TP_AMF { 
			

			

			PICS Selection NONE

			PICS Selection NONE





			//TODO

			Expected behaviour

				ensure that {

					when {

						the IUT entity receives an AUTHENTICATION_FAILURE 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 IDENTIFICATION_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_ABN_01

			} // end TP_5GNAS_AMF_AUT_ABN_01
@@ -414,7 +438,12 @@ Package TP_AMF { 




		} // end Group Security mode control procedure

		} // end Group Security mode control procedure





	}  // end Group 5.2 5GMM Common Procedures

		Group "5.4.5 NAS transport procedure"

		{



		} // 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"

    Group "5.5.1.2 Registration Procedure for initial registration"

    {

    {