Publication: IEICE TRANSACTIONS on Communications Publication Date: 2016/11/01 Vol. E99-BNo. 11 ;
pp. 2297-2304 Type of Manuscript: Special Section PAPER (Special Section on Deepening and Expanding of Information Network Science) Category: Keyword: Content-Centric Networking, proof assistant, network topology, protocol verification,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1996/07/25 Vol. E79-ANo. 7 ;
pp. 1089-1096 Type of Manuscript: PAPER Category: Information Security Keyword: authentication, computer security, cryptographic protocol, protocol verification,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1995/11/25 Vol. E78-ANo. 11 ;
pp. 1458-1467 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: communication networks and services, protocol verification, Petri net, Prolog, Horn clause,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/01/25 Vol. E76-ANo. 1 ;
pp. 96-103 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: computer security, cryptographic protocol, protocol verification,
