Commit a6d0db22 authored by kretzschmann's avatar kretzschmann
Browse files

fix ms word generation caused by using event key word

parent 04406810
Loading
Loading
Loading
Loading
+30 −2
Original line number Diff line number Diff line
@@ -218,7 +218,21 @@ Package TP_AMF {
			
			Initial conditions with {
				the UE entity isNotRegisteredTo the AMF and
				event AUTHENTICATION_REQUEST occurs //value for nas_key_set_identifier was already used before
				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
			}
			
@@ -266,7 +280,21 @@ Package TP_AMF {

			Initial conditions with {
				the UE entity isNotRegisteredTo the AMF and
				event AUTHENTICATION_REQUEST occurs //the "separation bit" in the AMF field of AUTN is set to 0
				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
			}