18.11.2014 Views

Anais - Engenharia de Redes de Comunicação - UnB

Anais - Engenharia de Redes de Comunicação - UnB

Anais - Engenharia de Redes de Comunicação - UnB

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

pool P 0 and <strong>de</strong>termines when the generator state is updated.<br />

To elaborate such, one should observe some aspects of the system as: the <strong>de</strong>sired<br />

security level; the amount of space occupied by the events and the amount of entropy<br />

present in each event.<br />

[Ferguson and Schneier, 2003] suggest a minimum of 512 bits for P 0 , for a level of<br />

128-bit security. The initial entropy estimation plays an important role on system security,<br />

but is mitigated by the fact that if the chosen value is too low, there will always be reseeds<br />

with higher amounts of entropy. If the chosen value is too high, a possible recovery from<br />

a compromise may take longer, but will inevitably occur.<br />

3.2. Syndrome: Generating function<br />

3.2.1. Construction of the generating function<br />

We built a PRNG based on a hard instance of the syndrome <strong>de</strong>coding problem using<br />

the SD collection of functions (ρ, δ) <strong>de</strong>fined in section 2.2. Initially, we show that the<br />

functions fn<br />

ρ,δ from the collection SD(ρ, δ) expand its inputs, ie, they have image sets<br />

greater than the respective domain sets.<br />

The domain Dn<br />

ρ,δ from fn<br />

ρ,δ consists of a matrix M of size ⌊ρn⌋ × n and of vector<br />

x of size n and weight δn. So the size of the domain set is 2 ⌊ρn⌋·n · ( n<br />

δn)<br />

. Yet, the image<br />

set is formed by the same matrix M of size ⌊ρn⌋ × n and a vector y = M · x of size ⌊ρn⌋.<br />

Thus, its size is 2 ⌊ρn⌋·n · 2 ⌊ρn⌋ .<br />

So, for the image set to be larger than the domain set, we need 2 ⌊ρn⌋ > ( n<br />

δn)<br />

. This<br />

condition is satisfied when H 2 (δ) < ρ according to the Gilbert-Warshamov bound <strong>de</strong>fined<br />

in section 2.2.1. That is, for a sufficiently large n and suitable δ and ρ, fn<br />

ρ,δ expands its<br />

entry into a linear amount of bits.<br />

Given an instance with fixed parameters ρ and δ from SD(ρ, δ) collection, we can<br />

construct an iterative generating function G ρ,δ from the one-way function fn<br />

ρ,δ . For this,<br />

we use an algorithm ( A that returns a vector x of size n and weight δn from a random<br />

vector with log n<br />

2 δn)<br />

bits. This algorithm is <strong>de</strong>scribed in section 3.2.2. The generator Gρ,δ<br />

is <strong>de</strong>scribed in pseudoco<strong>de</strong> in algorithm 1. Figure 3 illustrates its operation.<br />

Algorithm 1 syndrome – Iterative generating function based on the syndrome <strong>de</strong>coding<br />

problem.<br />

Input: (M, x) ∈ Dn<br />

ρ,δ<br />

Output: Print bit sequence<br />

1: y ← M · x<br />

(<br />

2: Split y into two vectors y 1 e y 2 . The firs with ⌊log n<br />

2 δn)<br />

⌋ bits and the second with the<br />

remaining bits.<br />

3: print y 2<br />

4: x ← A(y 1 )<br />

5: Go to: 1<br />

128

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!