X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/523864c862215a63c5133568a9771f5b8f60c89e..3759a997c005ffb313be135f98820410cb6061b4:/annexePreuveMarquagedhci.tex?ds=sidebyside

diff --git a/annexePreuveMarquagedhci.tex b/annexePreuveMarquagedhci.tex
index 22187f7..817e622 100644
--- a/annexePreuveMarquagedhci.tex
+++ b/annexePreuveMarquagedhci.tex
@@ -20,7 +20,7 @@ p(\textit{deci}(X^{t}) = j , S^t = k , i =_k j , f_k(j) = i_k )
 \]
 \noindent 
 oÃ¹  $ i =_k j $ est vraie si et seulement si les reprÃ©sentations binaires de 
-$i$ et de  $j$ ne diffÃ¨rent que le $k^{\textrm{Ã¨me}}$ Ã©lÃ©ment et 
+$i$ et de  $j$ ne diffÃ¨rent que pour le $k^{\textrm{Ã¨me}}$ Ã©lÃ©ment et 
 oÃ¹ 
 $i_k$ reprÃ©sente dans cette preuve  le $k^{\textrm{Ã¨me}}$ Ã©lÃ©ment dans la reprÃ©sentation binaire 
 du nombre
@@ -29,7 +29,7 @@ $i$.
 En raison des hypothÃ¨ses sur la stratÃ©gie, la probabilitÃ© 
 $p(\textit{deci}(X^t) = j , S^t = k , i =_k j, f_k(j) = i_k )$ est Ã©gale Ã 
 $\frac{1}{l}.p(\textit{deci}(X^t) = j ,  i =_k j, f_k(j) = i_k)$.
-Enfin, puisque $i =_k j$ et  $f_k(j) = i_k$ sont constant 
+Enfin, puisque $i =_k j$ et  $f_k(j) = i_k$ sont constants 
 et sont donc indÃ©pendants de  $X^t$, on a 
 \[
 \pi^{t+1}_i = \sum\limits^{2^l-1}_{j=0}
@@ -85,6 +85,6 @@ $(\frac{1}{2^l},\dots,\frac{1}{2^l}) = (\frac{1}{2^l},\dots,\frac{1}{2^l})M$
 et donc $\pi =  (\frac{1}{2^l},\dots,\frac{1}{2^l})$.
 Il existe donc $q$ t.q.
 $|\pi^q- \pi| < \epsilon$.
-Puisque $p(Y| K)$ est $p(X^q)$, la mÃ©thode est donc $\epsilon$-stego-secure
+Puisque $p(Y| K)$ est $p(X^q)$, la mÃ©thode est donc $\epsilon$-stÃ©go-sÃ©cure
 pour peu que l'adapteur de stratÃ©gie soit uniformÃ©ment distribuÃ©.
  \end{proof}
