Avancées dans la traduction de l'intro

[rairo15.git] / prng.tex

diff --git a/prng.tex b/prng.tex
index 2ceecc7d7f6de1810624248447ed15d4eb70dc61..88253cf19642f958b41ce6fe363085477988939c 100644 (file)
--- a/prng.tex
+++ b/prng.tex
@@ -40,7 +40,7 @@ the probability to execute the function $F_f$ is equal to 0.5 since
 the output of $\textit{Random(1)}$ is uniform in $\{0,1\}$.  
 
 Let $f: \Bool^{n} \rightarrow \Bool^{n}$.
 the output of $\textit{Random(1)}$ is uniform in $\{0,1\}$.  
 
 Let $f: \Bool^{n} \rightarrow \Bool^{n}$.

-It has been shown~\cite[Th. 4, p. 135]{BCGR11}} that 
+It has been shown~\cite[Th. 4, p. 135]{bcgr11:ip} that 

 if its iteration graph is strongly connected, then 
 the output of $\chi_{\textit{14Secrypt}}$ follows 
 a law that tends to the uniform distribution 
 if its iteration graph is strongly connected, then 
 the output of $\chi_{\textit{14Secrypt}}$ follows 
 a law that tends to the uniform distribution