Verification of Content-Centric Networking Using Proof Assistant.

Sosuke Moriguchi Takashi Morishima Mizuki Goto Kazuko Takahashi

Published in: IEICE Trans. Commun. (2016)

Keyphrases

test bed
formal proof
data sets
peer to peer
multimedia
end to end
user experience
web content
theorem prover
real time
genetic algorithm
metadata
multimedia content
user generated content