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> Type<br />
Abstraction (also standard)<br />
The relation environment ϕ gives the relation ϕ(α)<br />
between values of each abstract type α<br />
ϕv 1 ∼ v 2 : α⇔ (v 1 , v 2 ) ∈ ϕ(α)