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,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2011/02/01 Vol. E94-ANo. 2 ;
pp. 855-859 Type of Manuscript: LETTER Category: Cryptography and Information Security Keyword: fault analysis, authentication protocols, HB+ protocol, RFID systems,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2010/10/01 Vol. E93-ANo. 10 ;
pp. 1837-1839 Type of Manuscript: LETTER Category: Cryptography and Information Security Keyword: authentication protocols, privacy, untraceability, tracking attack,