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,