~mdw
/
doc
/
wrestlers
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Minor tidyings for first ePrint submission.
[doc/wrestlers]
/
wr-main.tex
diff --git
a/wr-main.tex
b/wr-main.tex
index
185bc37
..
3df0e46
100644
(file)
--- a/
wr-main.tex
+++ b/
wr-main.tex
@@
-88,13
+88,13
@@
& $r \getsr \Nupto{q}$; \\
& $R \gets r P$; \\
& $Y \gets r A$; \\
& $r \getsr \Nupto{q}$; \\
& $R \gets r P$; \\
& $Y \gets r A$; \\
- & $h \gets H(\cookie{check},
R,
Y)$; \\
+ & $h \gets H(\cookie{check}, Y)$; \\
& \\
\send{<-}{(R, h)}
$Y \gets a R$; \\
\\
\diff \textbf{Check} $q R = 0$; \\
& \\
\send{<-}{(R, h)}
$Y \gets a R$; \\
\\
\diff \textbf{Check} $q R = 0$; \\
- \textbf{Check} $h = H(\cookie{check},
R,
Y)$ \\
+ \textbf{Check} $h = H(\cookie{check}, Y)$ \\
\send{->}{Y}
& \textbf{Check} $Y$
\end{protocol}
\send{->}{Y}
& \textbf{Check} $Y$
\end{protocol}