### changeset 39:95c5e9e0c5f8

Merged with Sigurd.
author Janus Dam Nielsen Tue, 26 May 2009 11:38:06 +0200 bd168f288c5b (current diff) d2c52d02b030 (diff) 6a8ee2eb7cdd 74ee6ce00b8b 1 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/semantics/semantics.tex	Tue May 26 11:37:23 2009 +0200
+++ b/semantics/semantics.tex	Tue May 26 11:38:06 2009 +0200
@@ -43,9 +43,9 @@
&$\mid$& $\nt{e}\circ (\nt{e}_2)$ &\mbox{\rm binary operation, $\circ \in \{+,-,*,<,\leq,=\}$}\\
&$\mid$& \nt{e}$_1$.get(\nt{e}$_2$) &\mbox{\rm retrieve secret value from party \nt{e}$_1$}\\
&$\mid$& \KWD{open}(\nt{e}$_1$) &\mbox{\rm result of \nt{e} is revealed}\\
-            &$\mid$& \KWD{random-element}() &\mbox{\rm a random secret number}\\
-            &$\mid$& \KWD{random-multiplicative}() &\mbox{\rm a random secret number different from zero}\\
-            &$\mid$& \KWD{random-bit}() &\mbox{\rm a random secret bit (0 or 1)}\\
+            &$\mid$& \KWD{random}() &\mbox{\rm a random secret number}\\
+            &$\mid$& \KWD{random\_multiplicative}() &\mbox{\rm a random secret number different from zero}\\
+            &$\mid$& \KWD{random\_bit}() &\mbox{\rm a random secret bit (0 or 1)}\\
\end{tabular}\vspace{1cm}
%    \end{boxeddisp}
\end{center}
@@ -145,8 +145,8 @@
&range(e_1==e_2)=(0;1)\\
&range(e_1\leq e_2)=(0;1)\\
&range(n)=(n;n)\\
-&range(random())=(0;p-1)\\
-&range(random-bit())=(0;1)\\
+&range(\KWD{random}())=(0;p-1)\\
+&range(\KWD{random\_bit}())=(0;1)\\
\end{align*}

The range becomes $\bot$ when the endpoints of a range exceeds 0 or