changeset 33:d2c52d02b030

Updated the name of random-bit to random\_bit
author Sigurd Meldgaard <stm@daimi.au.dk>
date Mon, 25 May 2009 13:25:07 +0200
parents 785e5686fad3
children 95c5e9e0c5f8
files semantics/semantics.tex
diffstat 1 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/semantics/semantics.tex	Mon May 25 13:27:35 2009 +0200
+++ b/semantics/semantics.tex	Mon May 25 13:25:07 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