Formal Analysis and Verification of Embedded SIM Session Key Agreement Protocol
| Autor: | Zhonglin Ding, Yang Hu, Wei Luo, Zhongming Huang, Jintao Xue, Zhongyuan Qin |
|---|---|
| Rok vydání: | 2021 |
| Zdroj: | Proceedings of the 2021 5th International Conference on Electronic Information Technology and Computer Engineering. |
| DOI: | 10.1145/3501409.3501568 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|