An Improved Mobility-Based Control Protocol for Tolerating Clone Failures in Wireless Sensor Networks

Zhou, Yuping; Xiong, Naixue; Tan, Mingxin; Huang, Rufeng; Kleonbet, Jon

doi:10.3390/s16111955

Cited by 4 publications

(2 citation statements)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…With this method, each node can enforce network-wide revocation of the clone nodes without overwhelming the entire network with revocation messages. Similarly to the witness finding strategy in static networks, Zhou et al [36] proposed a distributed and management technique for detecting mobile replicas that tolerates node failures by forwarding sensor node location claims to collect samples only when the relevant witnesses meet. Sequential tests based on statistical hypotheses are used to detect the cloned node in accordance with the witness nodes, significantly reducing the routeing overhead and false positive/negative rate for detection; however, this technique imposes additional computation and storage overhead on the witness node acting as the main node, collecting samples and forwarding information to the base station for detection of clone nodes.…”

Section: Related Workmentioning

confidence: 99%

A Context-Aware Information-Based Clone Node Attack Detection Scheme in Internet of Things

Hameed¹,

Garg²,

Amin³

et al. 2021

Preprint

View full text Add to dashboard Cite

The rapidly expanding nature of the Internet of Things (IoT) networks is beginning to attract interest across a range of applications, including smart homes, smart transportation, smart health, and industrial contexts such as smart robotics. This cutting-edge technology enables individuals to track and control their integrated environment in real-time and remotely via a thousand IoT devices comprised of sensors and actuators that actively participate in sensing, processing, storing, and sharing information. Nonetheless, IoT devices are frequently deployed in hostile environments, wherein adversaries attempt to capture and breach them in order to seize control of the entire network. One such example of potentially malicious behaviour is the cloning of IoT devices, in which an attacker can physically capture the devices, obtain some sensitive information, duplicate the devices, and intelligently deploy them in desired locations to conduct various insider attacks. A device cloning attack on IoT networks is a significant security concern since it allows for selective forwarding, sink-hole, black-hole, and warm-hole attacks. To address this issue, this paper provides an efficient scheme for detecting clone node attack on IoT networks that makes use of semantic information about IoT devices known as context information sensed from the deployed environment to locate them securely. We design the location proof mechanism by combining location proofs and batch verification of the extended elliptic curve digital signature technique (ECDSA*) to accelerate the verification process at selected trusted nodes. We demonstrate the security of our proposed scheme and its resilience to secure clone node attack detection by conducting a comprehensive security analysis of our proposed scheme. The performance analysis and experimental results compared with existing studies suggest that our proposed scheme provides a high degree of detection accuracy with minimal detection time and significantly reduces the computation,

show abstract

Section: Related Workmentioning

confidence: 99%

A Context-Aware Information-Based Clone Node Attack Detection Scheme in Internet of Things

Hameed¹,

Garg²,

Amin³

et al. 2021

Preprint

View full text Add to dashboard Cite

show abstract

“…The base station receives the message and validates it by utilising a key exclusively assigned to that device [9]. Some other methods for finding the cloned node attacks include finding network witnesses [6], measuring the signal strength of devices [9], randomly picking secret keys [10], calculating trust values [11,12], managing distributed trust [13], localization algorithms [14] and multi-dimensional scaling [15]. A detailed analysis of existing schemes based on wireless sensor networks, IoT, and mobile ad-hoc networks for detecting clone node attacks is summarised here [16].…”

Section: Introductionmentioning

confidence: 99%

Towards a Formal Modelling, Analysis, and Verification of a Clone Node Attack Detection Scheme in the Internet of Things

Hameed¹,

Garg²,

Amin³

et al. 2021

Preprint

View full text Add to dashboard Cite

A substantial component of the Internet of Things (IoT) network is made up of unmonitored IoT devices that are generally deployed in hostile situations where attackers attempt to capture and compromise them to gain control of the entire network. One such illustration of this malevolent behaviour on the part of an adversary is the cloning of IoT devices. In a clone node attack, an attacker attempted to physically capture the devices to gather sensitive information to conduct various insider attacks. Several solutions for detecting clone node attacks on IoT networks have been presented in the viewpoints above. These solutions are focused on specific system designs, processes, and feature sets and act as a high-level abstraction of underlying system architectures based on a few performance requirements. However, critical features like formal analysis, modelling, and verification are frequently overlooked in existing proposed solutions aimed at verifying the correctness and robustness of systems in order to ensure that no problematic scenarios or anomalies exist. This paper presents a formal analysis, modelling, and verification of our existing proposed clone node attack detection scheme in IoT. Firstly, we modelled the architectural components of the proposed scheme using High-Level Petri Nets (HLPNs) and then mapped them using their specified functionalities. Secondly, we defined and analysed the behavioural properties of the proposed scheme using Z specification language. Furthermore, we used the Satisfiability Modulo Theories Library (SMT-Lib) and the Z3 Solver to validate and demonstrate the overall functionality of the proposed scheme. Finally, in addition to modelling and analysis, this work employs Coloured Petri Nets (CPNs), which combine Petri Nets with a high-level programming language, making them more suitable for large-scale system modelling. To perform the simulations in CPN, we used both timed and untimed models, where timed models are used to evaluate performance, and untimed models are used to validate logical validity.

show abstract

Towards a formal modelling, analysis and verification of a clone node attack detection scheme in the internet of things

et al. 2022

View full text Add to dashboard Cite

An Improved Mobility-Based Control Protocol for Tolerating Clone Failures in Wireless Sensor Networks

Cited by 4 publications

References 36 publications

A Context-Aware Information-Based Clone Node Attack Detection Scheme in Internet of Things

A Context-Aware Information-Based Clone Node Attack Detection Scheme in Internet of Things

Towards a Formal Modelling, Analysis, and Verification of a Clone Node Attack Detection Scheme in the Internet of Things

Towards a formal modelling, analysis and verification of a clone node attack detection scheme in the internet of things

Contact Info

Product

Resources

About