62 search results - page 9 / 13 » A Dolev-Yao Model for Zero Knowledge |
EUROCRYPT
2006
Springer
13 years 11 months ago
2006
Springer
We present the first efficient group signature scheme that is provably secure without random oracles. We achieve this result by combining provably secure hierarchical signatures i...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper, we introduce a new approach to location estimation where, instead of locating a single client, we simultaneously locate a set of wireless clients. We present a B...
FOCS
2000
IEEE
13 years 12 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Current trust models enable decision support at an implicit level by means of thresholds or constraint satisfiability. Decision support is mostly included only for a single binary...
PIMRC
2008
IEEE
14 years 1 months ago
2008
IEEE
We study the secrecy capacity of the frequency-selective wiretap channel. Assuming that a guard interval of L symbols is inserted to avoid the inter-block interference and these s...