1. 3rd Generation Partnership Project . 2015. Generic Authentication Architecture (GAA) ; Generic Bootstrapping Architecture (GBA); Release 6. 3rd Generation Partnership Project. 2015. Generic Authentication Architecture (GAA); Generic Bootstrapping Architecture (GBA); Release 6.
2. 3rd Generation Partnership Project . 2017. Battery Efficient Security for very low throughput Machine Type Communication (MTC) devices (BEST) ; Release 14. 3rd Generation Partnership Project. 2017. Battery Efficient Security for very low throughput Machine Type Communication (MTC) devices (BEST); Release 14.
3. 3rd Generation Partnership Project . 2019. Authentication and Key Management for Applications (AKMA) based on 3GPP credentials in the 5G System (5GS) ; Release 16. 3rd Generation Partnership Project. 2019. Authentication and Key Management for Applications (AKMA) based on 3GPP credentials in the 5G System (5GS); Release 16.
4. Apple. 2023. About eSIM on iPhone. hrefhttps://support.apple.com/en-us/HT212780[Online] . Accessed: 2023-04--13. Apple. 2023. About eSIM on iPhone. hrefhttps://support.apple.com/en-us/HT212780[Online] . Accessed: 2023-04--13.
5. Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif