Author:
Ben Henda Noomene,Norrman Karl
Publisher
Springer International Publishing
Reference30 articles.
1. 3GPP The Mobile Broadband Standard,
http://www.3gpp.org/specifications/
2. 10th Computer Security Foundations Workshop (CSFW 1997), Rockport, Massachusetts, USA, June 10-12. IEEE Computer Society (1997)
3. Lecture Notes in Computer Science;M. Abadi,2004
4. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Hankin, C., Schmidt, D. (eds.) POPL, pp. 104–115. ACM (2001)
5. Arapinis, M., Mancini, L.I., Ritter, E., Ryan, M., Golde, N., Redon, K., Borgaonkar, R.: New privacy issues in mobile telephony: fix and verification. In: Yu, T., Danezis, G., Gligor, V.D. (eds.) ACM Conference on Computer and Communications Security, pp. 205–216. ACM (2012)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Systematic Improvement of Access-Stratum Security in Mobile Networks;2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P);2023-07
2. Verification of Group Key Management of IEEE 802.21 Using ProVerif;IEICE Transactions on Information and Systems;2021-10-01
3. Formal Verification of Fair Exchange based on Bitcoin Smart Contracts;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2021
4. Verification of Group Key Management of IEEE 802.21 using ProVerif;Proceedings of the 7th ACM Workshop on ASIA Public-Key Cryptography;2020-10-05
5. Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts;Progress in Cryptology – INDOCRYPT 2020;2020