consider review of Sebastian

			TP Id TP_NGNAS_AMF_AUT_REQ_01 

			Test objective "Verify that the IUT correctly sends an AUTHENTICATION REQUEST message containing no security protection and indicates that no authentication is required."

			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], Clause 5.4.1",

				"ETSI TS 123 007 [TODO], Clause 11.2.3.1.1 "

				"ETSI TS 124 501 [1], Clause 5.4.1"

			Config Id CF_AMF_N2

			Expected behaviour

				ensure that {

					when {

					the IUT entity indicates an AUTHENTICATION_REQUEST containing

					the IUT entity indicate a Downlink NAS Transfer procedure

					}

					then {

					the IUT entity sends an DOWNLINK_NAS_TRANSFER containing

						AMF_UE_NGAP_ID,

						RAN_UE_NGAP_ID,

						NAS_PDU containing

							extended_protocol_discriminator indicating value 01111110, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 

							security_header_type indicating value 0000, //not security protected

							spare_half_octet indicating value 0000,

						authentication_request_message_identity indicating value 01000001,

							authentication_request_message_identity indicating value Authentication_request, //01010110

							ngKSI, //TODO: see [1] Table 9.11.3.32.1

							spare_half_octet indicating value 0000,

							ABBA containing

							ABBA_IEI indicating value 0001,

								ABBA_IEI indicating value 0001, //TODO

								Length_of_ABBA_contents indicating value 2,

							ABBA_contents indicating value 00000000

								ABBA_contents indicating value 0000000000000000

								;

							;

					to the UE entity

					}

					then {

					the IUT entity receives a AUTHENTICATION_RESPONSE containing

						extended_protocol_discriminator indicating value 01010111, //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 

						security_header_type indicating value 0000,

						spare_half_octet indicating value 0000,

						authentication_response_message_identity indicating value 01010111 //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 

						;

					from the UE entity       

					to the UE entity

					}

				}

			} // end TP_NGNAS_AMF_AUT_REQ_01