changeset 311:68683c9fe4f1

Wording
author Sigurd Meldgaard <stm@daimi.au.dk>
date Fri, 16 Apr 2010 09:39:12 +0200
parents d849315cd5b4
children d312076342ed
files provsec/paper.tex
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Fri Apr 16 09:37:34 2010 +0200
+++ b/provsec/paper.tex	Fri Apr 16 09:39:12 2010 +0200
@@ -699,7 +699,7 @@
 
 The security of the implemented protocol is now inherited from the
 primitives of the runtime. Because they are proven to be UC-secure and
-release no data at all, any composition of them will have the same
+disclose no information at all, any composition of them will have the same
 property.
 
 In VIFF there exists several different runtimes with different