Security enhancement for massive machine type communication over 5G network

Massive machine type communication (mMTC) is one of the important part of 5G communication network. A huge number of machines, servers and users are connected to each other over the 5G network. Security is of paramount importance of mMTC as without strong confidence in secure connectivity all applications involving mMTC will not be widely accepted. In order to meet the security requirements, 3GPP has introduced a new access authentication and key agreement protocol named 5G-AKA . In MTC systems a number of devices communicate for small time and remain on sleep mode. Hence, a large number of devices try to connect to the network simultaneously. A large number of devices trying to access the network will use high bandwidth for authentication procedure and can cause severe congestion on control plane. In this work we will review and analyze the 5G-AKA protocol and will also introduce a group based authentication protocol which can authenticate multiple devices in the same vicinity and hence reducing the congestion on control plane by many folds. For formal verification of 5G-AKA and introduced group based 5G-AKA we use Tamarin-Prover tool. Further, performance evaluation is done for computational and communication overheads between the two protocols.Master of Science (Communications Engineering