Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2020/08/01 Vol. E103-DNo. 8 ;
pp. 1806-1809 Type of Manuscript: Special Section LETTER (Special Section on Formal Approaches) Category: Formal Approaches Keyword: 5G network, authentication protocols, security, formal methods,