1 \documentclass[nofrench, 11pt]{thloria}
3 %----------------------------------------------------------------------
4 % Chargement de quelques packages
5 %----------------------------------------------------------------------
7 % Si l'on veut produire une version PDF avec distiller ou pdflatex :
8 \usepackage[pageanchor=false]{tlhypref}
9 % Si l'on produit le PDF avec pdflatex, ceci remplace la plupart
10 % des polices EC par des polices CM, plus adaptées a la génération de PDF,
11 % car ayant des équivalents PS :
14 % Pour tout savoir sur les polices
15 % (cette ligne n'est pas nécessaire au traitement du fichier)
16 \usepackage[infoshow]{tracefnt}
18 % Pour les figures PS :
21 % Si on veut des mini-tables des matières (utiliser minitoc-hyper
22 % en conjonction avec tlhypref) :
23 \usepackage[french]{minitoc}
26 % Pour mathds : les ensembles IR, IN, etc.
29 % Pour une police à casse fixe
32 % Pour suspendre et reprendre des énumérations
35 % Pour avoir des intervalles d'entiers
38 % Pour avoir de la couleur
41 % Pour divers symboles de math
47 % Pour redéfinir les théorèmes (ci-dessous)
49 \usepackage[amsmath,thmmarks,thref,framed]{ntheorem}
52 \usepackage[french]{babel}
53 \usepackage[T1]{fontenc}
55 \usepackage[utf8]{inputenc}
58 % Pour avoir de belles têtes de chapitres
59 \usepackage[Sonny]{fncychap}
68 % Pour avoir des citations au début des chapitres
70 % Redéfinition de la largeur des citations
71 \setlength{\epigraphwidth}{8.25cm}
72 \renewcommand{\textflush}{flushepinormal}
74 % Pour les listings des codes python
77 \lstset{% general command to set parameter(s)
78 basicstyle=\small, % print whole listing small
79 keywordstyle=\color{black}\bfseries,
80 % underlined bold black keywords
81 identifierstyle=, % nothing happens
82 commentstyle=\color{white}, % white comments
83 stringstyle=\ttfamily, % typewriter type for strings
85 showstringspaces=false,% no special string spaces
89 % Pour faire des sous-figures dans les figures
90 \usepackage{subfigure}
100 %-------------------------------------------------------------------
101 % Corrections pour les imprimantes recto-verso
103 %-------------------------------------------------------------------
105 %\ShiftOddPagesRight{-1mm}
106 %\ShiftOddPagesDown{2.5mm}
107 %\ShiftEvenPagesRight{0mm}
108 %\ShiftEvenPagesDown{0mm}
111 %-------------------------------------------------------------------
113 %-------------------------------------------------------------------
115 % pour positionner les vraies marges:
116 %\SetRealMargins{1mm}{1mm}
118 %-------------------------------------------------------------------
120 %-------------------------------------------------------------------
122 % Les en-tetes: quelques exemples
125 %\newcommand\bfheadings[1]{{\bf #1}}
126 %\FormatHeadingsWith{\bfheadings}
127 %\FormatHeadingsWith{\uppercase}
128 %\FormatHeadingsWith{\underline}
129 \newcommand\upun[1]{\uppercase{\underline{\underline{#1}}}}
130 \FormatHeadingsWith\upun
132 \newcommand\itheadings[1]{\textit{#1}}
133 \FormatHeadingsWith{\itheadings}
135 % pour avoir un trait sous l'en-tete:
136 \setlength{\HeadRuleWidth}{0.4pt}
138 %-------------------------------------------------------------------
140 %-------------------------------------------------------------------
143 \NoChapterNumberInRef
148 % CREATION DE NOUVELLES COULEURS : gris5
149 \definecolor{gris}{gray}{0.35}
152 %REDEFINITION DU STYLE DES PROPOSITIONS
154 \theoremprework{\medskip}
155 \theoremheaderfont{\bfseries \scshape}
156 %\theorembodyfont{\scshape \bfseries}
157 \theoremseparator{ :}
158 %\theorempostwork{\hrulefill}
160 \newtheorem{Prop}{Proposition}[part]
164 %REDEFINITION DU STYLE DES COROLLAIRES
166 \theoremprework{\medskip}
167 \theoremheaderfont{\bfseries \scshape}
168 %\theorembodyfont{\scshape \bfseries}
169 \theoremseparator{ :}
170 %\theorempostwork{\hrulefill}
172 \newtheorem{Cor}{Corollaire}[part]
175 %REDEFINITION DU STYLE DES THEOREMES
177 %\theoremprework{\medskip}
178 \theoremheaderfont{\bfseries \scshape}
179 %\theorembodyfont{\scshape \bfseries}
180 \theoremseparator{ :}
181 %\theorempostwork{\hrulefill}
183 \newframedtheorem{Th}{Théorème}[part]
186 %REDEFINITION DU STYLE DES PREUVES
187 \theoremheaderfont{\bfseries \scshape}
188 \theoremstyle{nonumberplain}
189 \theoremseparator{ :}
190 \theorembodyfont{\slshape}
191 \theoremprework{\begin{color}{gris}}
192 \theorempostwork{\end{color}}
193 %\theoremsymbol{\openbox}
195 \newtheorem{Pre}{Preuve}[chapter]
198 %REDEFINITION DU STYLE DES REMARQUES
199 \theoremstyle{nonumberplain}
200 \theoremheaderfont{\bfseries \scshape}
201 \theorembodyfont{\upshape}
202 \theoremsymbol{\ensuremath{}}
203 \theoremseparator{. }
205 \newtheorem{Rem}{Remarque}[chapter]
209 %REDEFINITION DU STYLE DES NOTATIONS
211 \theoremheaderfont{\bfseries \scshape}
212 \theorembodyfont{\upshape}
213 \theoremsymbol{\ensuremath{}}
214 \theoremseparator{. }
216 \newtheorem{Notation}{Notation}[part]
222 %REDEFINITION DU STYLE DES LEMMES
224 \theoremsymbol{\ensuremath{\diamond}}
226 \theoremnumbering{arabic}
227 \newtheorem{Lemma}{Lemme}[chapter]
232 %%%%%%%% REDEFINITION DES LISTES %%%%%%%%
234 %\setlength{\leftmargini}{2.25cm}
236 % Redéfinition des items
238 \renewenvironment{itemize}{%
239 \begin{list}{\begin{scriptsize}$\bullet$\end{scriptsize}}{%
240 \setlength{\leftmargin}{1.8cm}%
244 % Redéfinition des enumerate
247 \renewenvironment{enumerate}{%
248 \begin{list}{\large{\oldstylenums{\arabic{numero}}}. }{%
250 \setlength{\leftmargin}{2cm}%
254 % Redéfinition des descriptions
255 \newcommand{\entree}[1]{\mbox{\itshape\textbf{#1}}\hfil}
257 \renewenvironment{description}{%
259 \renewcommand{\makelabel}{\entree}
260 \setlength{\leftmargin}{1.75cm}%
261 \setlength{\labelwidth}{1cm}
267 %%%%%%%% REDEFINITION DU STYLE DES TITRES DES SECTIONS %%%%%%%%
268 \usepackage{titlesec}
269 \setcounter{secnumdepth}{5}
270 %% REDEFINITION DU STYLE DES CHAPITRES
271 %% Fait par le package fncychap
273 % REDEFINITION DU STYLE DES SECTIONS
275 \titleformat{\section}
277 {\Large\bfseries\scshape} % Le style des caractères :
278 % tt (police), LARGE (très grand),
279 % scshape (en majuscule), bfseries (en gras)
280 {\Roman{section}. } % Numérotation : I. II. etc.
281 {0cm} % Espace entre le numéro et le titre
282 {} % Commandes à exécuter avant
284 % Commandes à exécuter après : arrêt du soulignement
286 \titlespacing*{\section}
288 {3.5ex plus 1ex minus .2ex}
291 % REDEFINITION DU STYLE DES SOUS-SECTIONS
293 \titleformat{\subsection}
295 {\normalfont\large\bfseries}
296 {\arabic{subsection}. } % Numérotation : 1. , 2., etc.
297 % On impose en plus le soulignement du numéro.
298 {0cm} % Espace entre le numéro et le titre
299 {} % Commandes à exécuter avant
301 % Commandes à exécuter après : arrêt du soulignement
303 \titlespacing*{\subsection}
304 {50pt} % On décale de 50pt devant le titre
305 {3.25ex plus 1ex minus .2ex}
308 % REDEFINITION DU STYLE DES SOUS-SOUS-SECTIONS
310 \titleformat{\subsubsection}
311 {\normalfont\normalsize\itshape\bfseries}
312 {\alph{subsubsection}. }
317 \titlespacing*{\subsubsection}
318 {70pt} % On décale de 70pt devant le titre
319 {3.25ex plus 1ex minus .2ex}
322 %% REDEFINITION DU STYLE DES PARAGRAPHES
324 \titleformat{\paragraph}[runin]
325 {\normalfont\normalsize\bfseries}
326 {\roman{paragraph}. }
331 \titlespacing*{\paragraph}
333 {3.25ex plus 1ex minus .2ex}
335 %% REDEFINITION DU STYLE DES SOUS-PARAGRAPHES
337 %\titleformat{\subparagraph}[runin]
338 % {\normalfont\normalsize\bfseries}
343 % \titlespacing*{\subparagraph}
345 % {3.25ex plus 1ex minus .2ex}
347 %%%%%%%%%%%%%%%%%%% FIN DE LA REDEFINITION DES TITRES %%%%%%%%%%%%
351 %-------------------------------------------------------------------
352 % POUR LES INFOS ET LES LIENS DES PDFs
353 %-------------------------------------------------------------------
354 \usepackage{hyperref,epsfig,psfrag,mathrsfs,booktabs,array,slashbox}
355 \usepackage{multirow}
356 \usepackage{algorithm}
357 \usepackage{algorithmic}
360 %backref=true, %permet d'ajouter des liens dans...
361 %pagebackref=true,%...les bibliographies
362 %hyperindex=true, %ajoute des liens dans les index.
363 colorlinks=true, %colorise les liens
364 breaklinks=true, %permet le retour à la ligne dans les liens trop longs
365 urlcolor= black, %couleur des hyperliens
366 linkcolor= blue, %couleur des liens internes
367 %bookmarks=true, %créé des signets pour Acrobat
368 bookmarksopen=true, %si les signets Acrobat sont créés,
369 %les afficher complÚtement.
370 citecolor=blue, % Couleur des références citées
371 pdftitle={Générateurs de nombres pseudo-aléatoires. Applications en cryptologie}, %informations apparaissant dans
372 pdfauthor={Qianxue WANG}, %dans les informations du document
373 pdfsubject={Thèse} %sous Acrobat.
377 %-------------------------------------------------------------------
379 %-------------------------------------------------------------------
380 % On inclus le fichier contenant le glossaire :
382 %\include{Autre/Glossaire}
386 %-------------------------------------------------------------------
387 % Césure des mots problématiques
388 %-------------------------------------------------------------------
390 \hyphenation{dy-na-mi-que}
391 \hyphenation{nom-bre}
392 \hyphenation{pé-rio-di-que}
393 \hyphenation{ca-rac-té-ri-sa-tion}
394 \hyphenation{con-crè-tes}
395 \hyphenation{con-ver-ge}
396 \hyphenation{con-trai-re}
397 %-------------------------------------------------------------------
399 %-------------------------------------------------------------------
402 \newcommand{\X}{\mathcal{X}}
403 \newcommand{\Go}{G_{f_0}}
404 \newcommand{\B}{\mathds{B}}
405 \newcommand{\N}{\mathds{N}}
406 \newcommand{\BN}{\mathds{B}^\mathsf{N}}
408 %-------------------------------------------------------------------
410 %-------------------------------------------------------------------
412 % ceci ajoute une marque `brouillon' et la date
415 %-------------------------------------------------------------------
416 % Pour collecter un glossaire et un index
417 %-------------------------------------------------------------------
438 \OddHead={{\leftmark\rightmark}{\hfil\slshape\rightmark}}
439 \EvenHead={{\leftmark}{{\slshape\leftmark}\hfil}}
440 \OddFoot={\hfil\thepage}
441 \EvenFoot={\thepage\hfil}
442 \pagestyle{ThesisHeadingsII}
444 %-------------------------------------------------------------------
446 %-------------------------------------------------------------------
448 % encadre les chapitres dans la table des matières:
449 % (ces commandes doivent figurer après \begin{document}
455 %-------------------------------------------------------------------
456 % Re initialisation de la numérotation des chapitres
457 %-------------------------------------------------------------------
459 % Si la commande suivante est présente,
460 % elle doit figurer APRÈS \begin{document}
461 % et avant la première commande \part
462 \ResetChaptersAtParts
464 %-------------------------------------------------------------------
465 % mini-tables des matières par chapitre
466 %-------------------------------------------------------------------
468 % préparer les mini-tables des matières par chapitre.
469 % (commande de minitoc.sty)
472 %-------------------------------------------------------------------
474 %-------------------------------------------------------------------
478 \ThesisTitle{Générateurs de nombres pseudo-aléatoires. Applications en cryptologie}
480 \ThesisDate{ décembre 2011}
482 \ThesisAuthor{Qianxue WANG}
485 % Type de la thèse (autres solution: \ThesisINPL, \ThesisNancyII)
491 % (ne pas mettre de \\ après la dernière entrée)
493 % Exemple de création d'une nouvelle catégorie dans le jury:
495 \NewJuryCategory{Directeur}{\it Directeur :}
498 \def\blanc{\hspace*{1cm}}
502 \Rapporteurs = { , \emph{Directrice de Recherche, INRIA-Rocquencourt}\\
503 , \emph{Professeur, ESIEA - Laval}\\
504 , \emph{Professeur Émérite, IRIT-ENSEEIHT}
508 , \emph{Directeur de Recherche CNRS, Université de Franche-Comté}\\
509 , \emph{Professeur, Université de Franche-Comté}\\
510 , \emph{Professeur, Université de Franche-Comté}\\
511 , \emph{Professeur, Université de Pau}
514 \Directeur = { , \emph{Professeur, Université de Franche-Comté}}
516 % Creation de la page de titre:
519 % on peut en faire plusieurs:
520 %\MakeThesisTitlePage
523 %\MakeThesisTitlePage
525 %-------------------------------------------------------------------
528 %-------------------------------------------------------------------
530 %-------------------------------------------------------------------
533 \begin{ThesisAcknowledgments}
534 % Je souhaite avant toutes choses remercier mon directeur de thèse, le Professeur Jacques M. Bahi, pour son encadrement, sa disponibilité et son amitié. Il a su, malgré un emploi du temps bien chargé, toujours être présent à mes côtés, et me faire profiter de son expérience, son intelligence, et sa connaissance si fine des objets de ma recherche. Le travail que j'ai pu mener et ce document ne seraient pas ce qu'ils sont sans sa motivation et ses encouragements, sa patience, son recul, son regard critique, et la pertinence de ses conseils. Ce fut un grand plaisir de travailler avec lui, et j'espère pouvoir continuer à le faire longtemps encore.
538 % Je tiens également à remercier Pascale Charpin, \'Eric Filiol, Pierre Spitéri, Michel de Labachelerie, Laurent Larger, Jean-Claude Miellou et Congduc Pham, qui ont bien voulu être membres de mon jury de thèse. Et plus particulièrement, merci à P. Charpin, \'E. Filiol et P. Spitéri qui m'ont fait l'honneur d'être les rapporteurs de cette thèse. Merci pour leurs suggestions et leurs conseils précieux, qui m'ont aidé à améliorer et clarifier ce mémoire.
542 % Je tiens aussi à remercier tous les membres de l'équipe AND pour leur amitié et la bonne ambiance qu'ils contribuent à créer. Je remercie notamment Jean-François Couchot et Michel Salomon pour leurs relectures de qualité et leurs conseils.
546 % Je ne remercierai jamais assez mon frère et mes parents, pour avoir toujours été présents, m'avoir toujours aidé et soutenu, et pas seulement durant mes études. Sans eux, leur gentillesse, leurs encouragements et leur dévouement, je n'en serais pas là. Malgré la distance, ils sont toujours présents à mes côtés.
550 % Et surtout, merci à Nathalie, pour tout.
551 \end{ThesisAcknowledgments}
554 %-------------------------------------------------------------------
556 %-------------------------------------------------------------------
558 \begin{ThesisDedication}
564 % \`A mes parents et ma filleule,\\en souvenir de mon grand-père.
565 \end{ThesisDedication}
569 %-------------------------------------------------------------------
570 % Écriture de `Chapitre' et `Partie'
571 % dans la table des matières
572 %-------------------------------------------------------------------
575 \WriteChapterLabelInToc
577 %-------------------------------------------------------------------
579 %-------------------------------------------------------------------
583 %\DontNumberThisInToc
586 % Pour ne pas avoir le mot `Chapitre' au début de chaque chapitre.
590 %-------------------------------------------------------------------
591 % Introduction générale et notation
592 %-------------------------------------------------------------------
594 \SpecialSection{Introduction g\'en\'erale}
602 %\include{Autre/IntroductionGenerale}
608 %\part*{Introduction générale}
609 \label{Contexte et rappels}
612 %REDEFINITION DU STYLE DES DEFINITIONS
614 \theoremheaderfont{\bfseries \scshape}
615 %\theorembodyfont{\em}
616 \theoremsymbol{\ensuremath{\diamondsuit}}
617 %\theoremprework{\medskip}
618 \theoremseparator{ : }
620 \newtheorem{Def}{Définition}
624 %REDEFINITION DU STYLE DES EXEMPLES
625 \theoremstyle{numberplain}
626 \theoremheaderfont{\bfseries \scshape\slshape}
627 \theorembodyfont{\upshape}
628 \theoremsymbol{\ensuremath{}}
629 \theoremseparator{ : }
630 %\theoremprework{\hrulefill}
631 %\theorempostwork{\hrulefill\newline}
632 \newtheorem{Ex}{Exemple}
637 %\include{Rappels_ICs/historique}
638 %\include{Objectifs/cryptosys}
640 % La commande \mainmatter (nouvelle commande LaTeX2e) permet de passer
641 % a la numérotation arabe (ce que fait \pagenumbering{arabic})
642 % et de faire commencer la nouvelle page 1 sur une page impaire.
643 % On évitera donc d'utiliser directement \pagenumbering{arabic}.
649 %REDEFINITION DU STYLE DES DEFINITIONS
651 \theoremheaderfont{\bfseries \scshape}
652 %\theorembodyfont{\em}
653 \theoremsymbol{\ensuremath{\diamondsuit}}
654 %\theoremprework{\medskip}
655 \theoremseparator{ : }
657 \renewtheorem{Def}{Définition}[part]
659 \newtheorem{definition}{Définition}
660 \newtheorem{proposition}{Proposition}
661 \newtheorem{theorem}{Théorème}
662 \newtheorem{proof}{Preuve}
663 \newtheorem{remark}{Remarque}
667 %REDEFINITION DU STYLE DES EXEMPLES
668 \theoremstyle{numberplain}
669 \theoremheaderfont{\bfseries \scshape\slshape}
670 \theorembodyfont{\upshape}
671 \theoremsymbol{\ensuremath{}}
672 \theoremseparator{ : }
673 %\theoremprework{\hrulefill}
674 %\theorempostwork{\hrulefill\newline}
675 \renewtheorem{Ex}{Exemple}[part]
689 \include{Introduction}
690 \include{GeneralNotions}
695 \include{DesignofCIPRNG}
698 \include{StatisticalTestsforRandomness}
701 \include{Securityanalysis}
704 \include{ThefamilyofCIPRNG}
707 \part{Application aux techniques de la dissimulation d'information}
708 \label{Applications aux techniques de dissimulation d'information}
710 \include{ApplicationofRNG}
712 \part*{Conclusions et Annexes}
713 \label{part:Conclusions}
715 \include{FinalConclusion}
723 %------------------------------------------------------------------
725 %-----------------------------------------------------------------
729 %-------------------------------------------------------------------
730 % L'index (toujours sur deux colonnes)
731 %-------------------------------------------------------------------
732 %\BeginIndWith{Les numéros de pages auxquelles font références les entrées de cet index ne sont pas celles du fichier pdf, mais celles que l'on trouve en bas de chaque page. En effet, les premières pages du document sont numérotées en chiffres romains.}
738 %-------------------------------------------------------------------
740 %-------------------------------------------------------------------
743 \bibliographystyle{alpha}
744 % \bibliographystyle{plain}
745 \bibliography{Thesis}
748 %-------------------------------------------------------------------
750 %-------------------------------------------------------------------
751 % (si le resume' apparait sur une colonne etroite, avec la
752 % bibliographie a gauche, c'est sans doute parce que vous avez
753 % oublie' de generer les fichiers d'index et de glossaire...)
756 \begin{ThesisAbstract}
757 \begin{FrenchAbstract}
759 \KeyWords{Théorie du Chaos; Systèmes Dynamiques Discrets; Itérations Chaotiques; Sécurité; Fonctions de Hachage; Stéganalyse; Réseaux de Capteurs.}
761 \begin{EnglishAbstract}
762 Due to the rapid development of the Internet in recent years, the need to find new tools to reinforce trust and security through the Internet has became a major concern. The discovery of new pseudo-random number generators with a strong level of security is thus becoming a hot topic. Although some mechanical ways, such as tossing a coin or roling a dice, are commonly accepted as good random sources, they are obviously not be able to fulfill the requirements of most of the real-world applications, in wich high throughput and good quality are generally required.\\
763 For more than half century, different random generators have been proposed. Recently, we have witnessed an active involvement of another branch of sciences in this topic, in particularly, aiming for cryptographical applications. Due to the distinct properties of chaos, including random-like dynamics, high sensitivity on initial conditions and system parameters, etc, the use of chaos in random number generation and crytographical applications has aroused tremendous interests.\\
764 However, the actual realization environment is usually ignored in most of the chaos-designs, for which an infinite precision is commonly assumed.as pinted out by some researchers, if a chaotic system is to be implemented in finite precision, its dynamics will be greatly deviated from its original one, and hence some nice properties will be vanished.\\
765 In this thesis, a new scheme to generate pseudo random number is presented, the generators are based on discrete chaotic iterations which satisfy Devaney's definition of chaos. A rigorous framework is introduced, where topological chaotic properties of the generator are shown. Two practical designs of these chaos-based random number generators are showed. With such chaotic iterations, the statistical quality of the generated random sequence can be greatly improved and fulfil the up-to-date standards. From the experiments, the comparison between these two designs are investigated in details. The second designed technique outperforms the first one, both in terms of performance and speed.\\
766 In the above research, the iteration function for chaotic iterations is the vectorial Boolean negation as a prototype. we propose a method using Graph with strongly connected components as a selecton criterion and modifying the iteration function without deflating the good properties of the associated generator.
767 Simulation results and basic security analysis are then presented
768 to evaluate the randomness of this new family of generators.\\
769 Finally, an illustration in the field of data hiding is presented and the robustness of the obtained data hiding algorithm against attacks is evaluated.
771 \KeyWords{Internet security; Chaotic sequences; Statistical tests; Discrete chaotic iterations; Information hiding.}
772 \end{EnglishAbstract}