Note: We focus on the authentication procedure itself, ignoring that other procedures would take place if the authentication procedure fails since we generate FSM for each procedure separately.
NOTE: Upon receipt of an AUTHENTICATION RESPONSE message, the network will check the correctness of the response. If the response returned by the UE is not valid, the network should send an AUTHENTICATION REJECT message to the UE.
NOTE:Upon receipt of an AUTHENTICATION REQUEST message, the UE shall check the authenticity of the core network by means of the AUTN parameter received in the AUTHENTICATION REQUEST message. If the AUTN parameter is incorrect, the UE should send an AUTHENTICATION FAILURE message to the network.