Commit 9b98203b authored by kretzschmann's avatar kretzschmann
Browse files

minor changes

parent aac02923

test_purposes/Ngnas_Common.tplan2

+3 −1
Original line number Diff line number Diff line
@@ -215,7 +215,9 @@ Package Ngnas_Common { 
							security_header_type set to NOT_SECURITY_PROTECTED,

							spare_half_octet,

							authentication_request_message_identity set to AUTHENTICATION_REQUEST,

							ngKSI,

							ngKSI containing

								nas_key_set_identifier set to "111"

							;

							spare_half_octet,

							ABBA,

                            Authentication_parameter_RAND,

test_purposes/ngnas/TP_AMF_NGNAS.tplan2

+17 −10
Original line number Diff line number Diff line
@@ -47,16 +47,21 @@ Package TP_AMF { 
						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

							registration_request_message_identity set to REGISTRATION_REQUEST,

							5GS_registration_type,

							5GS_mobile_identity

							;

						;					

					}

					then {

						the IUT entity sends an DOWNLINK_NAS_TRANSFER containing

						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

								;
@@ -87,7 +92,7 @@ Package TP_AMF { 
			Expected behaviour

				ensure that {

					when {

						the IUT entity receives an UPLINK_NAS_TRANSFER containing

						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,
@@ -100,7 +105,7 @@ Package TP_AMF { 
						from the UE entity 

					}

					then {

						the IUT entity sends an DOWNLINK_NAS_TRANSFER containing

						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,
@@ -159,7 +164,7 @@ Package TP_AMF { 
			

			Initial conditions with {

				the UE entity isNotRegisteredTo the AMF and

				the IUT entity sends an DOWNLINK_NAS_TRANSFER containing

				the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing

						NAS_PDU containing

							security_header_type set to INTEGRITY_PROTECTED,

                            authentication_parameter_AUTN containing
@@ -173,7 +178,7 @@ Package TP_AMF { 
			Expected behaviour

				ensure that {

					when {

						the IUT entity receives an UPLINK_NAS_TRANSFER containing

						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,
@@ -185,7 +190,7 @@ Package TP_AMF { 
						from the UE entity 

					}

					then {

						the IUT entity sends an DOWNLINK_NAS_TRANSFER containing

						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,
@@ -230,7 +235,7 @@ Package TP_AMF { 
			Expected behaviour

				ensure that {

					when {

						the IUT entity receives a UPLINK_NAS_TRANSFER containing // AUTHENTICATION_RESPONSE

						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,
@@ -240,13 +245,15 @@ Package TP_AMF { 
					from the UE entity

					}

					then {

					the IUT entity sends an DOWNLINK_NAS_TRANSFER containing // Security mode command

					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, //TODO: see [1] Table 9.11.3.32.1

							ngKSI containing

								nas_key_set_identifier set to "111"

							;

							replayed_UE_security_capabilities // UE security capability 9.11.3.54	

						;

					;