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

Cas Cremers Martin Dehnel-Wild

Published in: NDSS (2019)

Keyphrases

formal analysis
formal methods
multi channel
ban logic
agent model
channel coding
information systems
multiple access