Formal Modeling and Verification of ICN-IoT Middleware Architecture (S).

Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen

Browse the full SEKE paper archive.