Improved ECC-Based Three-Factor Multiserver Authentication Scheme

Yang, Lei; Lee, Zhiyuan; Chen, Chien‐Ming; Pan, Jeng-Shyang; Islam, SK Hafizul

doi:10.1155/2021/6627956

Cited by 46 publications

(22 citation statements)

References 49 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this part, we use the ROR model to formally prove the security of our proposed protocol. e ROR model judges the security of the protocol by calculating the session key SK probability of an ordinary situation [36,37].…”

Section: Formal Security Analysismentioning

confidence: 99%

A Lightweight Authenticated Key Agreement Protocol Using Fog Nodes in Social Internet of Vehicles

Guo

Yang

Meng

et al. 2021

Mobile Information Systems

Self Cite

View full text Add to dashboard Cite

Recently, there has been rapid growth in the Internet of things, the Internet of vehicles, fog computing, and social Internet of vehicles SIoV , which can generate large amounts of real-time data. Now, researchers have begun applying fog computing to the SIoV to reduce the computing pressure on cloud servers. However, there are still security challenges in SIoV . In this paper, we propose a lightweight and authenticated key agreement protocol based on fog nodes in SIoV . The protocol completes the mutual authentication between entities and generates the session key for subsequent communication. Through a formal analysis of the Burrows–Abadi–Needham (BAN) logic, real-oracle random (ROR) model, and ProVerif, the security, validity, and correctness of the proposed protocol are demonstrated. In addition, informal security analysis shows that our proposed protocol can resist known security attacks. We also evaluate the performance of the proposed protocol and show that it achieves better performance in terms of computing power and communication cost.

show abstract

Section: Formal Security Analysismentioning

confidence: 99%

A Lightweight Authenticated Key Agreement Protocol Using Fog Nodes in Social Internet of Vehicles

Guo

Yang

Meng

et al. 2021

Mobile Information Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…e formal analysis method has become one of the main protocol analyses in cryptography. ProVerif [35,36] is a common formal analysis tool that uses logic programming language rules and an automatic reasoning algorithm to determine whether a given event can occur. erefore, ProVerif verifies protocol confidentiality and supports operations such as hashing, symmetric encryption, and decryption.…”

Section: Proverifmentioning

confidence: 99%

Fog-Driven Secure Authentication and Key Exchange Scheme for Wearable Health Monitoring System

Yang

Meng

Guo

et al. 2021

Security and Communication Networks

Self Cite

View full text Add to dashboard Cite

Smart wearable devices, as a popular mobile device, have a broad market. Smart wearable medical devices implemented in wearable health monitoring systems can monitor the data pertaining to a patient’s body and let the patient know their own physical condition. In addition, these data can be stored, analyzed, and processed in the cloud to effectively prevent diseases. As an Internet-of-things technology, fog computing can process, store, and control data around devices in real time. However, the distributed attributes of fog nodes make the monitored body data and medical reports at risk of privacy disclosure. In this paper, we propose a fog-driven secure authentication and key exchange scheme for wearable health monitoring systems. Furthermore, we conduct a formal analysis using the Real-Oracle-Random model, Burrows–Abadi–Needham logic, and ProVerif tools and an informal analysis to perform security verification. Finally, a performance comparison with other related schemes shows that the proposed scheme has the best advantages in terms of security, computing overhead, and communication cost.

show abstract

“…Semantic connections among different sensor ontologies are of great significance to Nx-IIoT's communication quality and information security [50]. erefore, a sensor ontology aggregating method based on Fuzzy Debate Mechanism is proposed, which extracts the ultimate alignment by performing arguments between different entity matching measures.…”

Section: Discussionmentioning

confidence: 99%

“…In the other hand, there is the need of approaches that can deal with the problem of uncertainty generated in the matching process. [50].…”

Section: Discussionmentioning

confidence: 99%

Aggregating Heterogeneous Sensor Ontologies with Fuzzy Debate Mechanism

Xue

Zhang

et al. 2021

Security and Communication Networks

View full text Add to dashboard Cite

Aiming at enhancing the communication and information security between the next generation of Industrial Internet of Things (Nx-IIoT) sensor networks, it is critical to aggregate heterogeneous sensor data in the sensor ontologies by establishing semantic connections in diverse sensor ontologies. Sensor ontology matching technology is devoted to determining heterogeneous sensor concept pairs in two distinct sensor ontologies, which is an effective method of addressing the heterogeneity problem. The existing matching techniques neglect the relationships among different entity mapping, which makes them unable to make sure of the alignment’s high quality. To get rid of this shortcoming, in this work, a sensor ontology extraction method technology using Fuzzy Debate Mechanism (FDM) is proposed to aggregate the heterogeneous sensor data, which determines the final sensor concept correspondences by carrying out a debating process among different matchers. More than ever, a fuzzy similarity metric is presented to effectively measure two entities’ similarity values by membership function. It first uses the fuzzy membership function to model two entities’ similarity in vector space and then calculate their semantic distance with the cosine function. The testing cases from Bibliographic data which is furnished by the Ontology Alignment Evaluation Initiative (OAEI) and six sensor ontology matching tasks are used to evaluate the performance of our scheme in the experiment. The robustness and effectiveness of the proposed method are proved by comparing it with the advanced ontology matching techniques.

show abstract

Improved ECC-Based Three-Factor Multiserver Authentication Scheme

Cited by 46 publications

References 49 publications

A Lightweight Authenticated Key Agreement Protocol Using Fog Nodes in Social Internet of Vehicles

A Lightweight Authenticated Key Agreement Protocol Using Fog Nodes in Social Internet of Vehicles

Fog-Driven Secure Authentication and Key Exchange Scheme for Wearable Health Monitoring System

Aggregating Heterogeneous Sensor Ontologies with Fuzzy Debate Mechanism

Contact Info

Product

Resources

About