Commit dd7bbd72 authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

Update of AUT_REQ_02 and *CNF TPs

parent 4c24ded9
Loading
Loading
Loading
Loading
+4 −8
Original line number Diff line number Diff line
@@ -93,7 +93,8 @@ Package TP_AMF {
                                security_header_type set to NOT_SECURITY_PROTECTED,
                                message_type set to AUTHENTICATION_RESPONSE,
                                authentication_response_parameter containing
                                    Authentication_response_parameter_IEI indicating value PX_INVALID_AUTHENTICATION_RESOINSE_VALUE;;;
                                    //Authentication_response_parameter_IEI indicating value PX_INVALID_AUTHENTICATION_RESOINSE_VALUE;;;
                                    RES indicating value PX_INVALID_RES_VALUE;;;
                        from the GNB entity 
                    }
                    then {
@@ -560,14 +561,9 @@ Package TP_AMF {
                                ;;;
                        to the GNB entity
                    }
//                    then {
//                        the IUT entity does not receive an UPLINK_NAS_TRANSPORT containing
//                            NAS_PDU containing
//                                message_type set to CONFIGURATION_UPDATE_COMPLETE;;
//                        from the GNB entity
//                    }
                     then {
                     	(!) 6s after start_CUC_event : the IUT entity does not send a DOWNLINK_NAS_TRANSPORT containing
                     	// PX_CUC_TWAIT value for timer awaiting no response after CUC message
                     	(!) PX_CUC_TWAIT after start_CUC_event : the IUT entity does not send a DOWNLINK_NAS_TRANSPORT containing
                            NAS_PDU containing
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
                                security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,