Commit 12fdf858 authored by kretzschmann's avatar kretzschmann
Browse files

more fixes of syntax errors

parent 6cefa8ec

test_purposes/ngnas/TP_AMF_NGNAS.tplan2

+9 −7
Original line number Diff line number Diff line
@@ -166,6 +166,7 @@ Package TP_AMF { 
								AUTN indicating value PX_WRONG_MAC_CODE

							;

						;

				;

				to the UE entity

			}
@@ -178,6 +179,7 @@ Package TP_AMF { 
								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
@@ -219,8 +221,8 @@ Package TP_AMF { 
			Initial conditions with {

				the UE entity isNotRegisteredTo the AMF and

				event AUTHENTICATION_REQUEST occurs with {

					argument replaced by an AUTHENTICATION_REQUEST containing

						the security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT

					argument replaced by the AUTHENTICATION_REQUEST containing

						security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT

					;

				}														

			}
@@ -232,7 +234,7 @@ 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 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 

								authentication_response_message_identity set to AUTHENTICATION_RESPONSE //reference ts_124007v180200p: Table 11.2.3.1.1A.1: EPD values 

								;

						;

					from the UE entity
@@ -245,7 +247,7 @@ Package TP_AMF { 
							security_mode_command_message_identity set to SECURITY_MODE_COMMAND,

							selected_NAS_security_algorithms,

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

							replayed_UE_security_capabilities, // UE security capability 9.11.3.54	

							replayed_UE_security_capabilities // UE security capability 9.11.3.54	

						;

					;

					to the UE entity