Commit 035252ab authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

Minor change due to review

parent 56cd7c64
Loading
Loading
Loading
Loading
+6 −5
Original line number Diff line number Diff line
@@ -229,8 +229,8 @@ Package TP_AMF {
                when {
	               the IUT entity receives an INITIAL_UE_MESSAGE containing
	                   NAS_PDU containing
	                       extended_protocol_discriminator indicating value 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	                       security_header_type indicating value NOT_SECURITY_PROTECTED,
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	                       security_header_type set to NOT_SECURITY_PROTECTED,
	                       Registration_request_message_identity set to REGISTRATION_REQUEST,
	                       5GS_registration_type containing
	                           5GS_registration_type_value set to INITIAL_REGISTRATION,
@@ -249,11 +249,12 @@ Package TP_AMF {
	            then {
	               the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
	                   NAS_PDU containing
	                       extended_protocol_discriminator indicating value 5G_MOBILITY_MANAGEMENT_MESSAGES, 
						   security_header_type indicating value INTEGRITY_PROTECTED_AND_CIPHERED,
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
						   security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
	                       Registration_reject_message_identity set to REGISTRATION_REJECT,
	                       5GMM_cause set to "Congestion (22)",
	                       T3346_value indicating value nonZeroValue;; 
	                       T3346_value containing 
	                           Timer_value indicating value nonZeroValue;;; 
	               to the GNB entity       
	            }
            }