changeset 295:28be39ad5730

Corrected sentence
author Sigurd Meldgaard <stm@daimi.au.dk>
date Tue, 13 Apr 2010 12:38:17 +0200
parents c90a87064b34
children 243e7fcd0421
files provsec/paper.tex
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Tue Apr 13 12:34:34 2010 +0200
+++ b/provsec/paper.tex	Tue Apr 13 12:38:17 2010 +0200
@@ -79,9 +79,9 @@
 
 We model this using the Universal Composability (UC) framework of
 Canetti \cite{canetti00}. This means that we specify exactly what
-knowledge we want to be public (the ideal world), and then verify that
+knowledge we allow to be public (the ideal world), and then verify that
 only information that can be derived directly from this is ever
-made available to an adversary.
+made available to an adversary in the real world protocol.
 
 A secure MPC protocol is often implemented by having
 players exchange values that are encrypted or by other means hidden,