Results 51 to 60 of about 1,370 (218)
Formal Computational Unlinkability Proofs of RFID Protocols
, 2017 International audienceWe set up a framework for the formal proofs of RFID protocols in the computational model. We rely on the so-called computationally complete symbolic attacker model.
Hubert Comon +3 more
core +1 more source
IET Intelligent Transport Systems, Volume 20, Issue 1, January/December 2026.This paper addresses the limitations of existing conditional privacy‐preserving authentication (CPPA) schemes in vehicular ad hoc networks (VANETs), which are either computationally heavy or vulnerable to quantum attacks. It proposes a multi‐aggregator lattice‐based CPPA (MA‐LCPPA) framework that distributes verification across multiple roadside units ...
Adi El‐Dalahmeh, Jie Li
wiley +1 more source
RLKS-TMS: A Robust and Lightweight Key Agreement Scheme for Telemedicine System
IEEE AccessIt is challenging in the e-healthcare system to monitor patients using wearables or embedded sensors that can gather real-time physiological data, analyze lab test results, conduct medical examinations, and recommend treatments because all the associated
Abulrahman Alzahrani
doaj +1 more source
LIMA: Local and Lightweight Mutual Authentication for VANETs
IET Intelligent Transport Systems, Volume 20, Issue 1, January/December 2026.This work presents LIMA, a lightweight local authentication protocol for VANETs. It is a SAE J2735 compliant certificateless vehicle authentication that eliminates traditional PKI dependencies while providing geographic zone‐based security and time‐based attribute control.
Munkenyi Mukhandi +2 more
wiley +1 more source
Distributed Enforcement of Unlinkability Policies: Looking Beyond the Chinese Wall
, 2006 This paper presents an access control model that preserves the unlinkability of audit-logs in a distributed environment. The model restricts entities from accessing and correlating two or more audit-records belonging to different service invocations ...
Roy H. Campbell +5 more
core +1 more source
Journal of Electrical and Computer Engineering, 2016 With the rapid development of the Internet, electronic commerce has become more and more popular. As an important element of e-commerce, many Internet companies such as Yahoo! and eBay have launched electronic auction systems.
Hong Zhong +3 more
doaj +1 more source
Unlinkable and Revocable Secret Handshake
The Computer Journal, 2021 Abstract In this paper, we introduce a new construction for unlinkable secret handshake that allows a group of users to perform handshakes anonymously. We define formal security models for the proposed construction and prove that it can achieve session key security, anonymity and affiliation hiding.
Yangguang Tian +3 more
openaire +3 more sources
IET Software, Volume 2026, Issue 1, 2026.The modern metropolis essentially demands the use of state‐of‐the‐art, real‐time surveillance systems, which should be reliable, scalable, and respectful of privacy at the same time. Critical shortcomings in traditional architectures are single points of failure, poor scalability, frequent data breaches, and inadequately managed privacy.
Shihab Sarar +4 more
wiley +1 more source
Analyzing Unlinkability of Some Group Signatures [PDF]
, 2005 Miyaji et.al proposed a fully functional(i.e., satisfying unforgeability, exculpability,anonymity, traceability, unlinkability, and revocability.) group signature over only known-order groups, that is based only on Discrete logarithm related assumptions,
Zhou Sujing, Lin Dongdai
core
Journal of Computer Networks and Communications, Volume 2026, Issue 1, 2026.The rapid expansion of the Industrial Internet of Things (IIoT) presents pressing challenges for secure, efficient, and privacy‐preserving communication among users, sensors, and cloud infrastructures. Existing lightweight authentication schemes, primarily based on classical cryptographic assumptions, are increasingly vulnerable to the emerging threat ...
Tinashe Magara +2 more
wiley +1 more source