Component-based formal analysis of 5G-AKA: channel assumptions and session confusion
<p>The 5G mobile telephony standards are nearing completion; upon adoption these will be used by billions across the globe. Ensuring the security of 5G communication is of the utmost importance, building trust in a critical component of everyday life and national infrastructure.</p> <...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Internet Society
2019
|