A Formal Analysis of The Modified 5G EAP-TLS Protocol
A detailed description of the steps in the modified EAP-TLS protocol is presented, which addresses issues by directly binding the digital certificate to the subscriber’s SUCI identity to prevent user impersonation, binding the session key to both the certificate and the identity to ensure resistance against Man-in-The-...