Logical Relations for Encryption
Logical Relations for Encryption
Logical Relations for Encryption
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Logical</strong> Relation <strong>for</strong> <strong>Encryption</strong><br />
(new!)<br />
The relation environment ϕ gives the relation ϕ(k)<br />
between values encrypted by each secret key k<br />
ϕ{v 1 } k1 ∼ {v 2 } k2 : bits[τ]⇔<br />
(v 1 , v 2 ) ∈ ϕ(k)where k = k1 = k2<br />
ϕnew k in e 1 ∼ new k in e 2 : τ⇔<br />
ϕ, k a re 1 ∼ e 2 : τ <strong>for</strong> some r