Author:
Basin David,Cremers Cas,Miyazaki Kunihiko,Radomirovic Sasa,Watanabe Dai
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Law,Electrical and Electronic Engineering,Computer Networks and Communications
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods for Payment Protocols;Proceedings of the ACM Asia Conference on Computer and Communications Security;2023-07-10
2. A Novel Approach for Data Encryption Based on Vector-Matrix Keys;2023 9th International Conference on Advanced Computing and Communication Systems (ICACCS);2023-03-17
3. Applying spin checker on 5G EAP-TLS authentication protocol analysis;Computer Science and Information Systems;2023
4. Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif;IEEE Access;2020
5. Threat modeling – A systematic literature review;Computers & Security;2019-07