changeset 279:8876d40c68bd

provsec: Added a bit of description about the UC proof
author Sigurd Meldgaard <stm@daimi.au.dk>
date Mon, 15 Mar 2010 10:25:06 +0100
parents 8d5c7032e4cd
children 38bbe1986ebf
files provsec/paper.tex
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Thu Mar 11 12:43:28 2010 +0100
+++ b/provsec/paper.tex	Mon Mar 15 10:25:06 2010 +0100
@@ -532,6 +532,8 @@
 
 Running a pySMCL program $P$ corresponds to executing the protocol $\pi_P$ in a hybrid model where $F$ is available.
 
+$\pi_P$ works as follows: The players follow the instructions of $P$. When $P$ contains an \verb|input| statement the designated player sends input to the $F$, when the program contains computation on hidden values, the players ask $F$ to do it, and when $P$ contains \verb|output| statements the players ask $F$ to output the target values.
+
 Givet semantikken af sproget burde det være indlysende hvad
 protokollen gør: spillerne kører gennem P (i hovedet så et sige), de sender input til F når P indeholder
 en input kommando, vi beder om de aritmetiske operationer der er i P, og beder F om