Results 21 to 30 of about 4,054 (240)
Security Analysis of GRID Protocol for MANET based on BAN Logic [PDF]
Proceedings of Information Science and Cloud Computing — PoS(ISCC 2017), 2018 The security of GRID routing protocol based on location information in mobile Ad Hoc networks needs to be verified, so a formal method is introduced to achieve this goal in this paper. Based on BAN logic, this method also combines the characteristics of Ad Hoc network routing protocal.
Shuai Han, Wencheng Jiao
openaire +1 more source
Efficient Mobile RFID Authentication Protocol for Smart Logistics Targets Tracking
IEEE Access, 2023 Target tracking is one of the problems existing in the supply chain management. The use of radio frequency identification (RFID) in target tracking helps improve the monitoring accuracy and status visibility of the tracked target. For mobile RFID system,
Cong Xu, Wenxue Wei, Shuangshuang Zheng
doaj +1 more source
A Secure LEACH-PRO Protocol Based on Blockchain
Sensors, 2022 Wireless Sensor Networks (WSNs) are becoming more popular for many applications due to their convenient services. However, sensor nodes may suffer from significant security flaws, leading researchers to propose authentication schemes to protect WSNs ...
Ghada Sultan Aljumaie, Wajdi Alhakami
doaj +1 more source
A Robust Authentication Scheme for Multiple Servers Architecture
IEEE Access, 2019 Multiple servers collaboration technology furnishes an effective storage management platform to the service providers. The massive data, which belong to disparate providers, possesses distinct access policies for each user.
Huawei Wang +3 more
doaj +1 more source
Chaotic Map-Based Authentication Protocol for Multiple Servers Architecture
IEEE Access, 2019 Multiple servers collaboration technology is the foundation to realize cloud computing deployed in the distributed environments. Service providers could supply massive data and service to authorized users on the cloud infrastructure, instead of ...
Huawei Wang +3 more
doaj +1 more source
An Efficient and Secure Key Agreement Protocol for Sharing Emergency Events in VANET Systems
IEEE Access, 2019 With the recent rapid increase in the number of motor vehicles on roads, traffic accidents have increased, and emergency reporting processes have become essential. In this paper, a key agreement protocol for a real-time traffic sharing system is proposed
Chin-Ling Chen +4 more
doaj +1 more source
IEEE Access, 2021 A secure authentication protocol plays a crucial role in securing communications over wireless and mobile networks. Due to resource-limitations and the nature of the wireless channel, the global mobile networks are highly susceptible to various attacks ...
R. Shashidhara +3 more
doaj +1 more source
An Alternate Explanation of two BAN-logic “failures” [PDF]
, 1994 Boyd and Mao ("On a Limitation of BAN Logic", in these proceedings) suggest that it is easy to use the authentication logic of Burrows, Abadi and Needham to approve protocols that are in practice unsound, and present two examples. We illustrate that the problem in the first example can be traced to a violation of pre-conditions in the BAN analysis ...
openaire +1 more source
Sensors, 2023 Internet of Drones (IoD), designed to coordinate the access of unmanned aerial vehicles (UAVs), is a specific application of the Internet of Things (IoT).
Yohan Park +3 more
doaj +1 more source
Security Analysis of the Access Control Solution of NDN Using BAN Logic
Mobile Networks and Applications, 2018 Named Data Networking (NDN) is a new promising architecture of information-centric networking. Traditional mechanisms of access control can no longer fit appropriately, because of its caching property. Hamdane et al. propose a new access control solution for both closed and open environments.
Yuan Fei, Huibiao Zhu, Phan Cong Vinh
openaire +1 more source