COMPONENT-BASED FORMAL ANALYSIS OF 5G-AKA: CHANNEL ASSUMPTIONS AND SESSION CONFUSION

von Cremers, Cas
Veröffentlicht in Network and Distributed System Security Symposium (26. : 2019 : San Diego, Calif.) Network and Distributed System Security Symposium 2019 ; Volume 2 of 2 (2020)