We exhaustively discuss the security threats of LTE access network.
The scheme boosts the security level and improves performance of the network.
We contribute to the methods of security protocols verification.
The bandwidth consumption of exchange of authentication vectors is reduced by 79%.
The computational, communication and storage overheads are significantly reduced.