Commit 045211f1 authored by Steffen Ludtke's avatar Steffen Ludtke
Browse files

first messages added for TP_5GNAS_AMF_SEC_ACC_01, TP_5GNAS_AMF_SEC_REJ_01

parent 0c677874

test_purposes/Ngnas_Common.tplan2

+3 −0
Original line number Diff line number Diff line
@@ -312,6 +312,9 @@ Package Ngnas_Common { 
        NgapMessage UPLINK_RAN_EARLY_STATUS_TRANSFER;

        NgapMessage DOWNLINK_RAN_EARLY_STATUS_TRANSFER;



        NgapMessage SECURITY_MODE_COMPLETE;

        NgapMessage SECURITY_MODE_REJECT;



        //Table 8.2

        NgapMessage AUTHENTICATION_REQUEST;

        NgapMessage AUTHENTICATION_RESPONSE;

test_purposes/ngnas/TP_AMF_NGNAS.tplan2

+50 −1
Original line number Diff line number Diff line
@@ -341,6 +341,33 @@ Package TP_AMF { 
				

				PICS Selection NONE



				Initial conditions with {

				// TODO

				}														

			}



				Expected behaviour

				ensure that {

					when {

						the IUT entity receives a SECURITY_MODE_COMPLETE 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_WITH_NEW_5G_NAS_SECURITY_CONTEXT,

								iMEISV, //9.11.3.4 5GS mobile identity // TODO

								;

						;

					from the UE entity

					}

					then {

						// TODO: there is no responds message here, after receiving SECURITY_MODE_COMPLETE the AMF

						// shall stop timer T3560. From this time onward the AMF shall integrity protect and encipher 

						// all signalling messages with the selected 5GS integrity and ciphering algorithms.

					the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing // TODO

						

					;

					to the UE entity

					}



				 // TODO



			} // end TP_5GNAS_AMF_SEC_ACC_01
@@ -358,7 +385,29 @@ Package TP_AMF { 
				

				PICS Selection NONE



				Initial conditions with {				

				// TODO

				}	



				Expected behaviour

				ensure that {

					when {

						the IUT entity receives a SECURITY_MODE_REJECT containing 

							NAS_PDU containing

								5GMM_cause set to "UE security capabilities mismatch (23)"// #23 UE security capabilities mismatch.

								;

						;

					from the UE entity

					}

					then {

						// TODO: there is no responds message here, after receiving SECURITY_MODE_REJECT the AMF

						// shall shall stop timer T3560 and the AMF shall also abort

						// the ongoing procedure that triggered the initiation of the NAS security mode control procedure.

					the IUT entity sends an DOWNLINK_NAS_TRANSPORT containing // TODO

						

					;

					to the UE entity

					}



			} // end TP_5GNAS_AMF_SEC_REJ_01