Formal verification of a new authenticated and optimized version of AOMDV for WSN

Djellouli, Ahmed El Amine; Abdi, Mustapha Kamel; Kechar, Bouabdellah

doi:10.1002/dac.4275

Cited by 2 publications

(1 citation statement)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The data will be sent to a research center for analysis to decide whenever the structure needs any maintenance. Moreover, µTESLA was used to create functionalities in route discovery and maintenance procedures for WSN authentication in (Djellouli et al, 2020) and in ) STEADY-µTESLA protocol has been proposed to secure for data quality and credibility in WSNs in cluster-based. Da Conceicao et al ( 2017) used μTESLA protocol to secure and authenticate information communication exchange in vehicular networks.…”

Section: Analysis and Applications For Broadcast Authentication Protocolsmentioning

confidence: 99%

Security of Broadcast Authentication for Cloud-Enabled Wireless Medical Sensor Devices in 5G Networks

Hayajneh¹,

Bhuiyan²,

McAndrew³

2020

CIS

View full text Add to dashboard Cite

Wireless Body Area Network (WBAN) has become one of the fastest growing technologies nowadays. There are some characteristic limitations in WBAN, especially when it comes to health-related applications that are used to monitor human bodies. To overcome and mitigate theses limitations in WBAN, cloud computing technology can be combined with the WBAN as a solution. We can classify the WBAN sensors in the cloud-based WBAN into i) nodes that monitor the human body and ii) WBAN actuators that take action upon the order commands from the medical staff. The biggest concern is the security of the medical commands to the WBAN actuators because if they are altered or tampered with, there can be serious consequences. Therefore, authentication plays an important role in securing cloud-based WBANs. In this article, we explore the security and privacy issues of Wireless Body Area Network combined with Mobile Cloud Computing (wMCC) with 5G mobile networks and investigate public-key based security solutions. At first, the paper presents a detailed description of wMCC architecture, discussing its main advantages and limitations. The main features of 5G mobile network are then presented, focusing on the advancement it may provide if integrated with wMCC systems. We further investigate the security issues of wMCC with 5G mobile networks while emphasizing the challenges that face this system in healthcare applications. The authentication techniques in wMCC are then classified and discussed with the feasibility of deploying practical solutions. Finally, we outline the main challenges and metrics of an ideal authentication protocols to be used in wMCC with 5G. The metrics are helpful for researchers in this field to evaluate, analyze, and compare the authentication protocols to decide the suitable application for each protocol.

show abstract

Section: Analysis and Applications For Broadcast Authentication Protocolsmentioning

confidence: 99%

Security of Broadcast Authentication for Cloud-Enabled Wireless Medical Sensor Devices in 5G Networks

Hayajneh¹,

Bhuiyan²,

McAndrew³

2020

CIS

View full text Add to dashboard Cite

show abstract

A comprehensive survey of UPPAAL‐assisted formal modeling and verification

Zhou,

Zhao,

Zhang

et al. 2024

Softw Pract Exp

View full text Add to dashboard Cite

UPPAAL is a formal modeling and verification tool based on timed automata, capable of effectively analyzing real‐time software and hardware systems. In this article, we investigate research on UPPAAL‐assisted formal modeling and verification. First, we propose four research questions considering tool characteristics, modeling methods, verification means and application domains. Then, the state‐of‐the‐art methods for model specification and verification in UPPAAL are discussed, involving model transformation, model repair, property specification, as well as verification and testing methods. Next, typical application cases of formal modeling and verification assisted by UPPAAL are analyzed, spanning across domains such as network protocol, multi‐agent system, cyber‐physical system, rail traffic and aerospace systems, cloud and edge computing systems, as well as biological and medical systems. Finally, we address the four proposed questions based on our survey and outline future research directions. By responding to these questions, we aim to provide summaries and insights into potential avenues for further exploration in this field.

show abstract

Formal verification of a new authenticated and optimized version of AOMDV for WSN

Cited by 2 publications

References 33 publications

Security of Broadcast Authentication for Cloud-Enabled Wireless Medical Sensor Devices in 5G Networks

Security of Broadcast Authentication for Cloud-Enabled Wireless Medical Sensor Devices in 5G Networks

A comprehensive survey of UPPAAL‐assisted formal modeling and verification

Contact Info

Product

Resources

About