A type-theoretic model on NDN-TLV encoding
Xinyu Ma, Alexander Afanasyev, Lixia Zhang · 2022
In Named-Data Networking (NDN), all packets are encoded in the Type-Length-Value (TLV) format. TLV encoding and decoding are implemented in every NDN library, and used by all applications and forwarders. Therefore, formal analysis of TLV encoding can assist NDN software development in the simplification of the code base, analysis of the performance, and improvement of robustness.