Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion

収録刊行物

• Proceedings 2019 Network and Distributed System Security Symposium

  Proceedings 2019 Network and Distributed System Security Symposium 2019

  Internet Society