Publications from conferences, workshops, and journals are listed below. Please also see the NDN Technical Reports and Technical Presentations.
2022
Ma, Xinyu; Afanasyev, Alexander; Zhang, Lixia
A type-theoretic model on NDN-TLV encoding Proceedings Article
In: Proceedings of the 9th ACM Conference on Information-Centric Networking, pp. 91–102, Association for Computing Machinery, New York, NY, USA, 2022, ISBN: 978-1-4503-9257-0.
Abstract | Links | BibTeX | Tags: API, encoding, type-length-value format
@inproceedings{ma_type-theoretic_2022,
title = {A type-theoretic model on NDN-TLV encoding},
author = {Xinyu Ma and Alexander Afanasyev and Lixia Zhang},
url = {https://dl.acm.org/doi/10.1145/3517212.3558093},
doi = {10.1145/3517212.3558093},
isbn = {978-1-4503-9257-0},
year = {2022},
date = {2022-09-01},
urldate = {2022-09-01},
booktitle = {Proceedings of the 9th ACM Conference on Information-Centric Networking},
pages = {91–102},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
series = {ICN '22},
abstract = {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. In this paper, we want to bring attention to the subtleties of TLV encoding. As an initial result, we develop a type-theoretical model of TLV encodable types, and give an algorithm to automatically derive encoding and decoding functions. We formally prove that the derived encoding and decoding functions are inverse to each other. To evaluate the practicality of automatically derived algorithms, we implement the proposed algorithms in C++ templates and evaluate them in three aspects: performance, memory usage, and code complexity. Our results show that our C++ library is competitive in these three aspects. Though our implementation is not fully automated, we show that it is possible to have a fully automated library in future that correctly produce the encoding and decoding functions. We also discussed the limitations of our model and problems worth attention. We hope our work can offer a starting point of further research on TLV, especially formal analysis and automated implementation.},
keywords = {API, encoding, type-length-value format},
pubstate = {published},
tppubtype = {inproceedings}
}
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. In this paper, we want to bring attention to the subtleties of TLV encoding. As an initial result, we develop a type-theoretical model of TLV encodable types, and give an algorithm to automatically derive encoding and decoding functions. We formally prove that the derived encoding and decoding functions are inverse to each other. To evaluate the practicality of automatically derived algorithms, we implement the proposed algorithms in C++ templates and evaluate them in three aspects: performance, memory usage, and code complexity. Our results show that our C++ library is competitive in these three aspects. Though our implementation is not fully automated, we show that it is possible to have a fully automated library in future that correctly produce the encoding and decoding functions. We also discussed the limitations of our model and problems worth attention. We hope our work can offer a starting point of further research on TLV, especially formal analysis and automated implementation.