Sosuke MORIGUCHI


Verification of Content-Centric Networking Using Proof Assistant
Sosuke MORIGUCHI Takashi MORISHIMA Mizuki GOTO Kazuko TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2016/11/01
Vol. E99-B  No. 11  pp. 2297-2304
Type of Manuscript:  Special Section PAPER (Special Section on Deepening and Expanding of Information Network Science)
Category: 
Keyword: 
Content-Centric Networkingproof assistantnetwork topologyprotocol verification
 Summary | Full Text:PDF