Mercurial > pysmcl
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: