@inproceedings{f54d49c45b1e4d6d8b789a9fa36ec6f9,
title = "A Security Calculus for Wireless Networks of Named Data Networking",
abstract = "Named Data Networking (NDN) is an architecture of Information-Centric Networking (ICN). The application of NDN on wireless networks is an important area. In this paper, we propose a Security Calculus for Wireless Networks of Named Data Networking (SCWN). Security feature is implemented by using different channel symbols to describe wireless network node. The feature of NDN is introduced by using particular sets to express the environment. We introduce the syntax and the operational semantics of SCWN calculus. By a rewriting logic-based language Maude, we support the automatic implementation of our SCWN calculus, which enhances its practicability. Finally, we apply SCWN calculus to LFBL protocol with its automatic implementation. It indicates that SCWN calculus is useful to describe realistic cases.",
keywords = "Calculus of wireless networks, Maude, NDN",
author = "Yuan Fei and Huibiao Zhu and Haiying Sun and Jiaqi Yin",
note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.; 21st International Conference on Formal Engineering Methods, ICFEM 2019 ; Conference date: 05-11-2019 Through 09-11-2019",
year = "2019",
doi = "10.1007/978-3-030-32409-4_11",
language = "英语",
isbn = "9783030324087",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "170--185",
editor = "Yamine Ait-Ameur and Shengchao Qin",
booktitle = "Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Proceedings",
}