2019
Verifying a secure authentication protocol for IoT medical devices.
Clust. Comput., 2019

2018
Hierarchical Management Scheme of Biometric Information Through the Synchronization of Heterogeneous Devices.
Wirel. Pers. Commun., 2018

Verifying Secure Authentication Protocol for Communication between IoT-based Medical Devices.
J. Univers. Comput. Sci., 2018

2017
A Secure and Efficient V2V Authentication Method in Heavy Traffic Environment.
Wirel. Pers. Commun., 2017

2016
Designing and verifying a P2P service security protocol in M2M environment.
Peer-to-Peer Netw. Appl., 2016

Proposing and verifying a security-enhanced protocol for IoT-based communication for medical devices.
Clust. Comput., 2016

Proposing and verifying a security protocol for hash function-based IoT communication system.
Clust. Comput., 2016

2015
Function-based connection protocol development and verification for secure communication in vehicle environment.
Clust. Comput., 2015

2014
Formal Verification of an RFID Authentication Protocol Based on Hash Function and Secret Code.
Wirel. Pers. Commun., 2014