Verifying a secure authentication protocol for IoT medical devices.
Clust. Comput., 2019
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
A Secure and Efficient V2V Authentication Method in Heavy Traffic Environment.
Wirel. Pers. Commun., 2017
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
Function-based connection protocol development and verification for secure communication in vehicle environment.
Clust. Comput., 2015
Formal Verification of an RFID Authentication Protocol Based on Hash Function and Secret Code.
Wirel. Pers. Commun., 2014