Formalization of the Behavior of Content-Centric Networking. - Sosuke Moriguchi; Takashi Morishima; Mizuki Goto; Kazuko Takahashi 001 (FNC/MobiSPC, 2015)

Verification of Content-Centric Networking Using Proof Assistant. - Sosuke Moriguchi; Takashi Morishima; Mizuki Goto; Kazuko Takahashi 001 (IEICE Trans. Commun., 2016)