Re: new /dev/random
From: Paul Rubin (//phr.cx_at_NOSPAM.invalid)
Date: 10/12/04
- Next message: David Wagner: "Re: new /dev/random"
- Previous message: Bruce Stephens: "Re: factoring by divisions"
- In reply to: David Wagner: "Re: new /dev/random"
- Next in thread: David Wagner: "Re: new /dev/random"
- Reply: David Wagner: "Re: new /dev/random"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Date: 11 Oct 2004 16:34:33 -0700
daw@taverner.cs.berkeley.edu (David Wagner) writes:
> My version would be a slight tweak:
>
> D is (h1,h2,epsilon)-secure if,
> Given k is drawn from any distribution with min-entropy h1, and
> x is drawn independently from any distribution with min-entropy h2,
> then D(k,x) is indistinguishable from uniform except with
> advantage at most epsilon.
OK. Maybe something more is needed for both versions though:
D is (h1,h2,epsilon)-secure if for any n, the ensemble
{D(k,x1), D(k,x2), ..., D(k,xn)}
is indistinguishable from uniform except with advantage at most, hmmm,
maybe epsilon*n^c for some c. Otherwise D might ignore x (Michael
Amling gave an example) and be perfectly secure through one query and
useless afterwards, not what we want for a distiller. The different
x_i's don't have to come from the same distribution. The distribution
of x_i must have min-entropy >= h2, but it can depend on the values
actually drawn for x1,...,x_(i-1). k is still independent of all the x_i.
This is kind of messy--got a cleaner way of saying it? Perhaps it's
not needed at all, if we can combine previous D(k,x_i)'s to find
D(k,x_(i+1)) preserving D's security, i.e. something like CFB mode.
> We could also consider a computational security variant:
> D is (h1,h2,t,epsilon)-secure if [...] no attack running in time at
> most t can distinguish D(k,x) from uniform with advantage better than
> epsilon.
Maybe for the computational variant there's also some kinds of
distributions you don't have to worry about. But D also has to be
efficiently computable. So we're back to cryptography.
> Next, I'm trying to figure out whether it is plausible that there
> exists a deterministic function D that satisfies the above requirements.
> It seems very plausible to me.
Yeah, I agree, at least for the unbounded case, there's some hope of
proving something. For the computational case, it sounds as hard as
proving there are secure ciphers, i.e. very difficult.
- Next message: David Wagner: "Re: new /dev/random"
- Previous message: Bruce Stephens: "Re: factoring by divisions"
- In reply to: David Wagner: "Re: new /dev/random"
- Next in thread: David Wagner: "Re: new /dev/random"
- Reply: David Wagner: "Re: new /dev/random"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Relevant Pages
|