Formal Modeling and Defense Methods for 5G Network Endpoint Access Denial of Service Attacks

5G terminal access denial-of-service attack is one of the more common types of 5G signaling network attacks. It manifests itself as a large number of abnormal access requests occupying core network resources. Normal requests cannot obtain resources, resulting in unstable network services, and users will be unable to connect or drop connections, eventually leading to frequent terminal takeoffs and landings. This paper proposes a formal modeling scheme for a 5G terminal access denial-of-service attack. The attack principle is analyzed, a defense scheme is designed and modeled, and analyzed, and then quantitative experiments are conducted, and the experimental results show the effectiveness of the defense scheme.