ECCbAP: A secure ECC-based authentication protocol for IoT edge devices

Rostampour, Samad; Safkhani, Masoumeh; Bendavid, Ygal; Bagheri, Nasour

doi:10.1016/j.pmcj.2020.101194

Cited by 47 publications

(37 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Scyther is a popular tool for automated verification of security protocols, which was introduced in the year 2008 [ 65 ]. It has been used in many recent security research [ 66 , 67 , 68 , 69 , 70 , 71 ]. Scyther is a Python based tool [ 65 , 67 ] which is available for Linux, Windows, and Mac OS X environments [ 64 , 65 ].…”

Section: Results and Performance Evaluationmentioning

confidence: 99%

IMSC-EIoTD: Identity Management and Secure Communication for Edge IoT Devices

Sadique

Rahmani

Johannesson

2020

Sensors

View full text Add to dashboard Cite

The Internet of things (IoT) will accommodate several billions of devices to the Internet to enhance human society as well as to improve the quality of living. A huge number of sensors, actuators, gateways, servers, and related end-user applications will be connected to the Internet. All these entities require identities to communicate with each other. The communicating devices may have mobility and currently, the only main identity solution is IP based identity management which is not suitable for the authentication and authorization of the heterogeneous IoT devices. Sometimes devices and applications need to communicate in real-time to make decisions within very short times. Most of the recently proposed solutions for identity management are cloud-based. Those cloud-based identity management solutions are not feasible for heterogeneous IoT devices. In this paper, we have proposed an edge-fog based decentralized identity management and authentication solution for IoT devices (IoTD) and edge IoT gateways (EIoTG). We have also presented a secure communication protocol for communication between edge IoT devices and edge IoT gateways. The proposed security protocols are verified using Scyther formal verification tool, which is a popular tool for automated verification of security protocols. The proposed model is specified using the PROMELA language. SPIN model checker is used to confirm the specification of the proposed model. The results show different message flows without any error.

show abstract

Section: Results and Performance Evaluationmentioning

confidence: 99%

IMSC-EIoTD: Identity Management and Secure Communication for Edge IoT Devices

Sadique

Rahmani

Johannesson

2020

Sensors

View full text Add to dashboard Cite

show abstract

“…Topic 6 corresponds to research on the development of user mutual authentication protocols for social IoT, IoTbased Long-Term Evolution (LTE), LTE-advanced networks, WSNs, and NFC (near-field communication) payment systems [144,[208][209][210][211][212][213][214][215][216][217][218]. In addition, the verification of authentication protocols using software tools, such as BAN and AVISPA, has gained popularity [213,214,217,[219][220][221].…”

Section: Identification Of Topics In Iot Securitymentioning

confidence: 99%

Current Research Trends in IoT Security: A Systematic Mapping Study

Lee

2021

Mobile Information Systems

View full text Add to dashboard Cite

The smart mobile Internet-of-things (IoT) network lays the foundation of the fourth industrial revolution, the era of hyperconnectivity, hyperintelligence, and hyperconvergence. As this revolution gains momentum, the security of smart mobile IoT networks becomes an essential research topic. This study aimed to provide comprehensive insights on IoT security. To this end, we conducted a systematic mapping study of the literature to identify evolving trends in IoT security and determine research subjects. We reviewed the literature from January 2009 to August 2020 to identify influential researchers and trends of keywords. We additionally performed structural topic modeling to identify current research topics and the most promising ones via topic trend estimation. We synthesized and interpreted the results of the systematic mapping study to devise future research directions. The results obtained from this study are useful to understand current trends in IoT security and provide insights into research and development of IoT security.

show abstract

“…some medical services or vehicular networks, many researchers tried to provide desired security using public key based components which could be Elliptic Curve Cryptography (ECC) for instance, e.g. [33], [34], [35], [36], [37], bilinear pairings, e.g. [38], [39], or chaotic map such as [40].…”

Section: B State Of the Artmentioning

confidence: 99%