1599 search results - page 24 / 320 » Probabilistic Analysis of Anonymity |
130
Voted
ACISP
2009
Springer
15 years 10 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
128
Voted
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
106
Voted
FC
2004
Springer
15 years 9 months ago
2004
Springer
MorphMix is a peer-to-peer circuit-based mix network to provide practical anonymous low-latency Internet access for millions of users. The basic ideas of MorphMix have been publish...
150
Voted
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Radio Frequency IDentification (RFID) technology has attracted much attention due to its variety of applications, e.g., inventory control and object tracking. One important problem...
144
Voted
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...