Mercurial > pysmcl
changeset 298:8b4194dc016d
Moved a comma, changes
author | Sigurd Meldgaard <stm@daimi.au.dk> |
---|---|
date | Tue, 13 Apr 2010 12:57:12 +0200 |
parents | d3175810162e |
children | 89df41476acf |
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:56:07 2010 +0200 +++ b/provsec/paper.tex Tue Apr 13 12:57:12 2010 +0200 @@ -393,8 +393,8 @@ \end{itemize} The feedback from the verifier to the programmer is used to alert the -user, if secret information is passed on to a non-verified function, -is used for control flow, or for array indexing. Alerts may also occur at +user that secret information is passed on to a non-verified function, +is used for control flow or for array indexing. Alerts may also occur at places where information is revealed, since this is where security problems could occur. When information is revealed, there are two possibilities: