changeset 303:e00232852871

Clarification about fixpoint of secret-if
author Sigurd Meldgaard <stm@daimi.au.dk>
date Tue, 13 Apr 2010 13:26:41 +0200
parents c1650bcfed98
children 54d95f1f89dd
files provsec/paper.tex
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Tue Apr 13 13:25:21 2010 +0200
+++ b/provsec/paper.tex	Tue Apr 13 13:26:41 2010 +0200
@@ -521,7 +521,8 @@
 allow for nested \verb|if|-statements.
 
 As this rewrite often will make more variables depend on secret values
-we repeat this operation until a fixpoint is reached.
+we afterwards repeat the analysis and possibly this operation until a
+fixpoint is reached.
 
 For example: