Security Analysis of Embedded SIM Remote Provisioning Protocol Using SPIN

Autor: Zhonglin Ding, Yang Hu, Wei Luo, Zhongming Huang, Lei Zhang, Zhongyuan Qin
Rok vydání: 2021
Zdroj: 2021 the 11th International Conference on Communication and Network Security.
DOI: 10.1145/3507509.3507515
Databáze: OpenAIRE