Authentication of RSA via BAN logic
Journal of Kufa for Mathematics and Computer, 2019 Web exchanges are conducted through an open network that lacks central management; it is, therefore, impossible to identify a communication partner, especially in a distributed system. Authentication is the basis of security in such systems.
Salah A. K. Albermany +1 more
doaj +3 more sources
Formal Security Reassessment of the 5G-AKA-FS Protocol: Methodological Corrections and Augmented Verification Techniques [PDF]
SensorsThe 5G-AKA protocol, a foundational component for 5G network authentication, has been found vulnerable to various security threats, including linkability attacks that compromise user privacy.
Yongho Ko +2 more
doaj +2 more sources
Physically secure and fog-enabled lightweight authentication scheme for WBAN [PDF]
Scientific ReportsWireless Body Area Networks (WBANs) are vital for healthcare, fitness monitoring, and remote patient care by means of combining sensors and wearable technologies for data collection and transmission.
Jegadeesan Subramani +3 more
doaj +2 more sources
On BAN logic and hash functions or: how an unjustified inference rule causes problems [PDF]
Autonomous Agents and Multi-Agent Systems, 2008 BAN logic, an epistemic logic for analyzing security protocols, contains an unjustifiable inference rule. The inference rule assumes that possession of H(X) (i.e., the cryptographic hash value of X) counts as a proof of possession of X, which is not the case.
exaly +3 more sources
A Novel Key Distribution for Mobile Patient Authentication Inspired by the Federated Learning Concept and Based on the Diffie–Hellman Elliptic Curve [PDF]
SensorsEnsuring secure communication for mobile patients in e-healthcare requires an efficient and robust key distribution mechanism. This study introduces a novel hierarchical key distribution architecture inspired by federated learning (FL), enabling seamless
Orieb AbuAlghanam +4 more
doaj +2 more sources
Formal Verification of Secure Evidence Collection Protocol using BAN Logic and AVISPA
Procedia Computer Science, 2020 Abstract The effect of digitization has led to an increased dependency on the internet. At the same time, cyber-attacks are on the rise due to this increased digitization. In cybercrime cases, digital evidence is of utmost importance. The forensic investigation process always begins after the incident occurred, by that time intelligent attackers got ...
Patil Rachana Yogesh, Devane Satish R
exaly +2 more sources
SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC
Advanced Engineering Research, 2012 The idea of analyzing cryptographic key generation protocols through BAN - logic methods is considered. An e xample of Kerberos protocol analysis is given. The software tool that automates the analysis of key g eneration protocols is built.
Nadezhda S. Mogilevskaya
doaj +2 more sources
An Epistemic Foundation for Authentication Logics (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, this has been due to the particular logics chosen.
Joseph Y. Halpern +2 more
doaj +1 more source
Lightweight Multifactor Authentication Scheme for NextGen Cellular Networks
IEEE Access, 2022 With increased interest in 6G (6th Generation) cellular networks that can support intelligently small-cell communication will result in effective device-to-device (D2D) communication. High throughput requirement in 5G/6G cellular technology requires each
Adnan Shahid Khan +7 more
doaj +1 more source
Formal security analysis of an IoT mutual authentication protocol [PDF]
ITM Web of Conferences, 2023 Wireless sensor networks (WSNs) are widely used in day to day activities in order to provide users with multiple services such as smart grids, smart homes, industrial internet of things (IoT), agriculture and health-care.
Fariss Meriam +2 more
doaj +1 more source