Results 81 to 90 of about 1,370 (218)
AnoA: A Framework for Analyzing Anonymous Communication Protocols
The Journal of Privacy and Confidentiality, 2017 Anonymous communication (AC) protocols such as the widely used Tor network have been designed to provide anonymity over the Internet to their participating users.
Michael Backes +4 more
doaj +1 more source
IET Smart Cities, Volume 7, Issue 1, January/December 2025.This article explores the security challenges of authentication, authorisation, and access control (AAA) in smart city ecosystems, where collaborative smart services aim to enhance urban living. Through a systematic literature review (2017–2024), it evaluates emerging technologies like blockchain, AI, and quantum computing, focusing on their ability to
Usama Antuley +3 more
wiley +1 more source
Lengths May Break Privacy – Or How to Check for Equivalences with Length [PDF]
, 2013 Security protocols have been successfully analyzed using symbolic models, where messages are represented by terms and protocols by processes. Privacy properties like anonymity or untraceability are typically expressed as equivalence between processes ...
Véronique Cortier +5 more
core +1 more source
Template Protection: On the need to adapt the current Unlinkability Evaluation Protocol
, 2022 Using ISO/IEC Standards an evaluation protocol exists which properties need to be fulfilled by each template protection scheme. However, in these standards it is not defined how a sensible and sensitive key selection should be done such that the demanded
Simon Kirchgasser and Andreas Uhl
core +1 more source
Unlinkability of a Group Signature
, 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 ...
Zhou Sujing, Lin Dongdai
core
Improving Unlinkability of Attribute-based Authentication through Game Theory
, 2022 This article first formalizes the problem of unlinkable attribute-based authentication in the system where each user possesses multiple assertions and uses them interchangeably.
Veronika Kuchta (13377471) +4 more
core
Generating Unlinkable IPv6 Addresses [PDF]
, 2015 A number of approaches to the automatic generation of IPv6 addresses have been proposed with the goal of preserving the privacy of IPv6 hosts. However, existing schemes for address autoconfiguration do not adequately consider the full context in which they might be implemented, in particular the impact of low quality random number generation.
Mwawi Nyirenda Kayuni +4 more
openaire +1 more source
Proving More Observational Equivalences with ProVerif [PDF]
, 2013 This paper presents an extension of the automatic protocol verifier ProVerif in order to prove more observational equivalences. ProVerif can prove observational equivalence between processes that have the same structure but differ by the messages they ...
Cheval, Vincent +3 more
core +1 more source
LBS-oriented location privacy protection model and scheme
Tongxin xuebao, 2014 A location privacy protection model was proposed based on the central server structure, designed a location privacy protection scheme based on pseudo-random permutation for the model. Proposed scheme builds on k-anonymous and secret information retrieval
Song-tao YANG +2 more
doaj +2 more sources
A Trivial Link with no Linear Unlinking [PDF]
Proceedings of the American Mathematical Society, 1986 Not every relative link (finite collection of disjoint polygonal spanning arcs of a cube) that is trivial allows a linear unlinking.
openaire +2 more sources