1599 search results - page 24 / 320 » Probabilistic Analysis of Anonymity |
ACISP
2009
Springer
14 years 4 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...
ECBS
2009
IEEE
14 years 5 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...
FC
2004
Springer
14 years 3 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...
INFOCOM
2010
IEEE
13 years 8 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...
QEST
2006
IEEE
14 years 4 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...