Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2020/08/01
Vol. E103-D
No. 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, |