TY  - RPRT
TI  - Towards a Formal Modelling, Analysis, and Verification of a Clone Node Attack Detection Scheme in the Internet of Things
AU  - Khizar Hameed
AU  - Saurabh Garg
AU  - Muhammad Bilal Amin
AU  - Byeong Kang
PY  - 2021
UR  - https://arxiv.org/abs/2108.09931
ID  - 2108.09931
ER  -