Ajout diapos présentation PRNG

[16dcc.git] / intro.tex

diff --git a/intro.tex b/intro.tex
index df2a0ee2a27c608426756bebc91d8f809f5b6e47..83b0a5a8ef164e60eed52611fe7b56b88cd6c8fe 100644 (file)
--- a/intro.tex
+++ b/intro.tex
@@ -1,5 +1,5 @@
 The exploitation of chaotic systems to generate pseudorandom sequences
 The exploitation of chaotic systems to generate pseudorandom sequences

-is  an   hot  topic~\cite{915396,915385,5376454}.  Such   systems  are
+is  a    hot  topic~\cite{915396,915385,5376454}.  Such   systems  are

 fundamentally chosen  due to  their unpredictable character  and their
 sensitiveness to initial conditions.   In most cases, these generators
 simply  consist in  iterating  a chaotic  function  like the  logistic
 fundamentally chosen  due to  their unpredictable character  and their
 sensitiveness to initial conditions.   In most cases, these generators
 simply  consist in  iterating  a chaotic  function  like the  logistic


@@ -35,7 +35,7 @@ function  (\textit{i.e.},  $f  :  \{0,1\}^{\mathsf{N}}
 \rightarrow  \{0,1\}^{\mathsf{N}}$).
 These         generators          are         $\textit{CIPRNG}_f^1(u)$
 \cite{guyeuxTaiwan10,bcgr11:ip},            $\textit{CIPRNG}_f^2(u,v)$
 \rightarrow  \{0,1\}^{\mathsf{N}}$).
 These         generators          are         $\textit{CIPRNG}_f^1(u)$
 \cite{guyeuxTaiwan10,bcgr11:ip},            $\textit{CIPRNG}_f^2(u,v)$

-\cite{wbg10ip}             and             $\chi_{\textit{14Secrypt}}$
+\cite{wbg10ip},             and             $\chi_{\textit{14Secrypt}}$

 \cite{DBLP:conf/secrypt/CouchotHGWB14}    where   \textit{CI}    means
 \emph{Chaotic Iterations}.  We have firstly proven in~\cite{bcgr11:ip}
 that,    to    establish    the   chaotic    nature    of    algorithm
 \cite{DBLP:conf/secrypt/CouchotHGWB14}    where   \textit{CI}    means
 \emph{Chaotic Iterations}.  We have firstly proven in~\cite{bcgr11:ip}
 that,    to    establish    the   chaotic    nature    of    algorithm


@@ -71,12 +71,12 @@ a doubly stochastic Markov matrix.
 
 However, the removed Hamiltonian cycle  
 has a great influence in the quality of the output.
 
 However, the removed Hamiltonian cycle  
 has a great influence in the quality of the output.

-For instance, if this one one is not balanced (\textit{i.e.},
+For instance, if this one is not balanced (\textit{i.e.},

 the number of changes in different bits are completely different),
 some bits would be hard to switch.
 This article shows an effective algorithm that efficiently 
 implements the previous scheme and provides thus functions issued
 the number of changes in different bits are completely different),
 some bits would be hard to switch.
 This article shows an effective algorithm that efficiently 
 implements the previous scheme and provides thus functions issued

-from removing in the $\mathsf{N}$-cube a \emph{balanced} Hamiltonian cycle. 
+from removing, in the $\mathsf{N}$-cube, a \emph{balanced} Hamiltonian cycle. 

 
 The length $b$ of the walk to reach a
 distribution close to the uniform one would be dramatically long.
 
 The length $b$ of the walk to reach a
 distribution close to the uniform one would be dramatically long.


@@ -88,8 +88,9 @@ suite is evaluated.
 
 
 
 
 
 

-
-The  remainder of  this  article  is organized  as  follows. The  next
+This article, which 
+is an extension of~\cite{DBLP:conf/secrypt/CouchotHGWB14}, 
+is organized  as  follows. The  next

 section   is   devoted   to  preliminaries,   basic   notations,   and
 terminologies   regarding   Boolean    map   iterations.    Then,   in
 Section~\ref{sec:proofOfChaos},  Devaney's  definition   of  chaos  is
 section   is   devoted   to  preliminaries,   basic   notations,   and
 terminologies   regarding   Boolean    map   iterations.    Then,   in
 Section~\ref{sec:proofOfChaos},  Devaney's  definition   of  chaos  is


@@ -99,15 +100,21 @@ Section~\ref{sec:SCCfunc}  recalls a general scheme
 to obtain functions with awaited behavior. Main theorems are recalled
 to make the document self-content. 
 The  next  section (Sect.~\ref{sec:hamilton}) presents an algorithm that
 to obtain functions with awaited behavior. Main theorems are recalled
 to make the document self-content. 
 The  next  section (Sect.~\ref{sec:hamilton}) presents an algorithm that

-implements this scheme and proves it always produces a solution.  
-This  is   the   second   major  contribution
-The  later section
-(Sect.~\ref{sec:hypercube}) defines the theoretical framework to study
-the  mixing-time,  \textit{i.e.},  time  until  reaching  a  uniform
+implements this scheme and proves that it always produces a solution.  
+This  is   the   second   major  contribution.
+Then, Section~\ref{sec:hypercube} defines the theoretical framework to study
+the  mixing-time,  \textit{i.e.},  time  until  reaching  an uniform

 distribution. It proves that this one is at worth quadratic in the number
 distribution. It proves that this one is at worth quadratic in the number

-of elements. Experiments show that the bound is practically largely much
-lower. This  is   the   third   major  contribution.    The
+of elements. Experiments show that the bound is in practice largely much
+lower. This  is   the   third   major  contribution.  

 Section~\ref{sec:prng} gives practical results  on evaluating the PRNG
 against  the NIST  suite.  This  research  work ends  by a  conclusion
 section, where the contribution is summarized and intended future work
 is outlined.
 Section~\ref{sec:prng} gives practical results  on evaluating the PRNG
 against  the NIST  suite.  This  research  work ends  by a  conclusion
 section, where the contribution is summarized and intended future work
 is outlined.

+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "main"
+%%% ispell-dictionary: "american"
+%%% mode: flyspell
+%%% End: