Mohammad Jahanian, K. K. Ramakrishnan. Name Space Analysis: Verification of Named Data Network Data Planes. In Proceedings of the 6th ACM Conference on Information-Centric Networking, ICN 2019, Macao, SAR, China, September 24-26, 2019. pages 44-54, ACM, 2019. [doi]
Abstract is missing.