Commit cc03b0f5 authored by kretzschmann's avatar kretzschmann
Browse files

add TP TP_5GNAS_AMF_AUT_REQ_04

parent 9445e129
Loading
Loading
Loading
Loading
+5 −4
Original line number Diff line number Diff line
@@ -218,8 +218,8 @@ Package Ngnas_Common {
							ngKSI,
							spare_half_octet,
							ABBA,
                            Authentication_parameter_RAND,
                            Authentication_parameter_AUTN
                            authentication_parameter_RAND,
                            authentication_parameter_AUTN
						;
				;
				to the UE entity
@@ -229,6 +229,7 @@ Package Ngnas_Common {

    Const {
       PX_WRONG_ARP_IEI; //0x20
       PX_WRONG_MAC_CODE; //e.g. 0x0000000000000000
       ;
    } // End of Const section

@@ -349,8 +350,8 @@ Package Ngnas_Common {
        Bitstring INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT; // 0 0 1 1
        Bitstring INTEGRITY_PROTECTED_AND_CIPHERED_WITH_NEW_5G_NAS_SECURITY_CONTEXT; // 0 1 0 0

        //Section 9.3.1.2
        Cause Multiple_Location_Reporting_Reference_ID_instances; 
        //Section 9.11.3.2
        Cause MAC_failure; 

        
                
+58 −5
Original line number Diff line number Diff line
@@ -126,11 +126,11 @@ Package TP_AMF {
			PICS Selection NONE
			
			Initial conditions with {
				the UE entity isNotRegisteredTo the AMF and
				(.) at time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
				(!) 6s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
				(!) 12s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
				(!) 18s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
				the UE entity isNotRegisteredTo the AMF
				and (.) at time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
				and (!) 6s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
				and (!) 12s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
				and (!) 18s after time point start_initial_T3560 : event AUTHENTICATION_REQUEST occurs
			}
			Expected behaviour
				ensure that {
@@ -144,6 +144,59 @@ Package TP_AMF {
				}
			} // end TP_5GNAS_AMF_AUT_REQ_03

			Test Purpose {
			
			TP Id TP_5GNAS_AMF_AUT_REQ_04
			
			Test objective "Verify that the IUT sends an AUTHENTICATION REJECT message correctly upon receipt of an AUTHENTICATION RESPONSE message indicating a wrong ARP IEI."
			
			Reference 
				"ETSI TS 124 501 [1], Clause 5.4.1.3.7 c) and 8.2.4"
			
			Config Id CF_AMF_N2N1
			
			PICS Selection NONE
			
			Initial conditions with {
				the UE entity isNotRegisteredTo the AMF and
				the IUT entity sends an DOWNLINK_NAS_TRANSFER containing
						NAS_PDU containing
							security_header_type set to INTEGRITY_PROTECTED,
                            authentication_parameter_AUTN containing
								AUTN indicating value PX_WRONG_MAC_CODE
						;
				;
				to the UE entity
			}
			
			Expected behaviour
				ensure that {
					when {
						the IUT entity receives an UPLINK_NAS_TRANSFER 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,
								authentication_failure_message_identity set to AUTHENTICATION_FAILURE,
								5GMM_cause set to MAC_failure
								;
							;
						;
						from the UE entity 
					}
					then {
						the IUT entity sends an DOWNLINK_NAS_TRANSFER 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,
								identity_request_message_identity set to IDENTITY_REQUEST,
								identity_type set to SUCI
							;
						;
						to the UE entity
					}
				}
			} // end TP_5GNAS_AMF_AUT_REQ_04

		} // end Group Primary authentication and key agreement procedure	

		Group "5.4.2 Security mode control procedure"