A Security Calculus for Wireless Networks of Named Data Networking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuan-fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin. A Security Calculus for Wireless Networks of Named Data Networking. In Yamine Aït Ameur, Shengchao Qin, editors, Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Volume 11852 of Lecture Notes in Computer Science, pages 170-185, Springer, 2019. [doi]

This author has not been identified. Look up 'Yuan-fei' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Haiying Sun' in GoogleThis author has not been identified. Look up 'Jiaqi Yin' in Google

runs on WebDSL