X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/0d1c31c9837325e2dad26554c2cde3a457455158..refs/heads/master:/main.tex diff --git a/main.tex b/main.tex index 9164d38..d5e5590 100644 --- a/main.tex +++ b/main.tex @@ -36,7 +36,7 @@ %%-------------------- %% Title of the document -\declarehdr{Modèles discrets pour la sécurité: des méthodes itératives à l'analyse vectorielle}{XX Mois XXXX} +\declarehdr{Modèles discrets pour la sécurité informatique: des méthodes itératives à l'analyse vectorielle}{XX Mois XXXX} %%-------------------- %% Set the author of the HDR @@ -46,8 +46,14 @@ %%-------------------- %% Add a member of the jury %% \addjury{Firstname}{Lastname}{Role in the jury}{Position} -\addjury{First}{Name}{Rapporteur}{Professeur à l'Université de XXX} -\addjury{First}{Name}{Examinateur}{Professeur à l'Université de XXX} +\addjury{Olivier}{Bournez}{Rapporteur}{Professeur à l'Ecole Polytechnique} +\addjury{Jean-Paul}{Comet}{Rapporteur}{Professeur à l'Université de Nice Sophia Antipolis} +\addjury{Juan-Pablo}{Ortega}{Rapporteur}{Professeur à l'Université de St. Gallen--Suisse} +\addjury{Sylvain}{Contassot-Vivier}{Examinateur}{Professeur à l'Université de Lorraine} +\addjury{Raphaël}{Couturier}{Examinateur}{Professeur à l'Université de Bourgogne Franche-Comté} +\addjury{Christophe}{Guyeux}{Examinateur}{Professeur à l'Université de Bourgogne Franche-Comté} + + %%-------------------- %% Change the style of the text in the list of the members of the jury. @@ -56,25 +62,66 @@ %%-------------------- %% Set the University where HDR was made -\hdrpreparedin{Université de Technologie de Belfort-Montbéliard} +\hdrpreparedin{Université Bourgogne Franche-Comté} + -%%-------------------- -%% Set the English abstract -%\hdrabstract[english]{This is the abstract in English} +%%-------------------- %% Set the English abstract +\hdrabstract[english]{ Thanks to its conciseness, a discrete model may +allow to reason with problems that may not be handled without such a +formalism. Discrete dynamical systems belong to this computer science +area. In this authorization to direct researches manuscript, we +firstly present contributions on convergence, convergence proof, and a +new iteration scheme of such systems. We further present +contributions about functions whose iterations can be chaotic. We +particularly present a set of methods leading to such functions. One +of them built over Gray codes allows to obtain a Markov chain that is +doubly stochastic. This last method permits to produce a large number +of Pseudorandom Number Generators (PRNG). Theoretical and practical +contributions are presented in this field. Information hiding area +has been strengthened in this manuscript and some contributions are +thus presented. Instances of such algorithms are given according to +functions that can achieve a large robustness. Finally, we have +proposed an new method to build distortion functions that can be +embedded in information hiding schemes with analysis gradient but +expressed in a discrete way.} %%-------------------- %% Set the English keywords. They only appear if %% there is an English abstract -%\hdrkeywords[english]{Keyword 1, Keyword 2} +\hdrkeywords[english]{discrete dynamical systems, pseudorandom number +generators, information hiding.} -%%-------------------- -%% Set the French abstract -\hdrabstract[french]{Blabla blabla.} +%%-------------------- %% Set the French abstract +\hdrabstract[french]{ Grâce à leur concision, les modèle discrets +permettent d'appréhender des problèmes informatiques qui ne seraient +parfois pas traitables autrement. Les systèmes dynamiques discrets +s'intègrent dans cette thématique. Dans cette habilitation, nous +montrerons tout d'abord des contributions concernant la convergence, +la preuve de convergence et un nouveau mode opératoire de tels +systèmes. Nous présenterons ensuite un ensemble d'avancées autour des +fonctions dont les itérations peuvent être chaotiques. +Particulièrement, plusieurs méthodes permettant d'obtenir de telles +fonctions seront proposées, dont une basée sur les codes de Gray, +fournissant, en plus une, chaîne de Markov doublement stochastique. +Grâce à cette dernière, nous pourrons notamment engendrer une grande +famille de générateurs de nombres pseudo-aléatoires (PRNG). Des +contributions théoriques et pratiques autour de ces PRNGs seront mises +en avant. La thématique de masquage d'information (déjà présente dans +l'équipe) a été renforcée et des avancées significatives sur ce sujet +seront présentées. Des instances de ces algorithmes seront +formalisées en sélectionnant les fonctions à itérer pour garantir une +robustesse élevée. Finalement, nous montrerons qu'on peut construire +de nouvelles fonctions de distorsion utilisables en masquage +d'information à l'aide de méthodes d'analyse par gradient mais discret +cette fois encore. + + } %%-------------------- %% Set the French keywords. They only appear if %% there is an French abstract -%\hdrkeywords[french]{Mot-cl\'e 1, Mot-cl\'e 2} +\hdrkeywords[french]{systèmes dynamiques discrets, générateurs de nombres +pseudo-aléatoires, masquage d'information.} %%-------------------- %% Change the layout and the style of the text of the "primary" abstract. @@ -102,7 +149,7 @@ %%-------------------- %% Change the speciality of the PhD thesis -%\Set{speciality}{Informatique} +\Set{speciality}{Informatique} %%-------------------- %% Change the institution @@ -164,7 +211,7 @@ - +\tableofcontents \chapter*{Introduction} @@ -195,10 +242,10 @@ dernières sections ont fait l'objet du rapport~\cite{BCVC10:ir}. Introduire de l'asynchronisme peut permettre de réduire le temps d'exécution global, mais peut aussi introduire de la divergence. -Dans ce chapitre, après avoir introduit les bases sur les réseaux bouléens, +Dans ce chapitre, après avoir introduit les bases sur les réseaux booléens, nous avons exposé comment construire un mode combinant les -avantage du synchronisme en terme de convergence avec les avantages -de l'asynchronisme en terme de vitesse de convergence. +avantages du synchronisme en termes de convergence avec les avantages +de l'asynchronisme en termes de vitesse de convergence. @@ -214,24 +261,25 @@ de l'asynchronisme en terme de vitesse de convergence. \part{Des systèmes dynamiques discrets au chaos} -\chapter[Caracterisation des systèmes - discrets chaotiques]{Caracterisation des systèmes +\chapter[Caractérisation des systèmes + discrets chaotiques]{Caractérisation des systèmes discrets chaotiques pour les schémas unaires et généralisés}\label{chap:carachaos} La suite de ce document se focalise sur des systèmes dynamiques discrets qui ne convergent pas. Parmi ceux-ci se trouvent ceux qui sont \og chaotiques\fg{}. La première section de ce chapitre rappelle ce que sont les systèmes -dynamiques chaotiques et leur caractéristiques. -La section~\ref{sec:TIPE12}, qui est une reformulation de~\cite{guyeux10}, +dynamiques chaotiques et leurs caractéristiques. +La section~\ref{sec:TIPE12}, qui est une reformulation de~\cite{guyeuxphd}, se focalise sur le schéma unaire. Elle est rappelée pour avoir un document se suffisant à lui-même. La section~\ref{sec:chaos:TSI} étend ceci au mode généralisé. Pour chacun de ces modes, une métrique est définie. Finalement, la section~\ref{sec:11FCT} -exhibe des conditions suffisantes premettant d'engendrer -des fonctions chaotiques seon le mode unaire. +exhibe des conditions suffisantes permettant d'engendrer +des fonctions chaotiques selon le mode unaire. Les sections~\ref{sec:TIPE12} et~\ref{sec:11FCT} ont été publiées dans~\cite{bcg11:ij,bcgr11:ip}. + \section{Systèmes dynamiques chaotiques selon Devaney} \label{subsec:Devaney} \input{devaney} @@ -251,7 +299,7 @@ Ce chapitre a montré que les itérations unaires sont chaotiques si et seulement si le graphe $\textsc{giu}(f)$ est fortement connexe et que les itérations généralisées sont chaotiques si et seulement si le graphe $\textsc{gig}(f)$ est aussi fortement connexe. -On dispose ainsi à priori d'une collection infinie de fonctions chaotiques. +On dispose ainsi a priori d'une collection infinie de fonctions chaotiques. Le chapitre suivant s'intéresse à essayer de prédire le comportement de telles fonctions. @@ -262,7 +310,11 @@ de telles fonctions. -\part{Applications à la génération de nombres pseudo aléatoires} +\part{Applications à la génération de nombres +pseudo-aléatoires} + + + \chapter{Caractérisation des générateurs chaotiques}\label{chap:PRNG:chao} \input{15RairoGen} @@ -272,25 +324,26 @@ de telles fonctions. -\part{Application au marquage de média} +\part{Application au masquage d'information} -\chapter{Des embarquements préservant le chaos}\label{chap:watermarking} +\chapter{Des embarquements préservant le chaos}\label {chap:watermarking} \input{oxford} \chapter{Une démarche de marquage de PDF}\label{chap:watermarking:pdf} \input{ahmad} -\chapter{Une démarches plus classique de dissimulation: STABYLO}\label{chap:stabylo} +\chapter[STABYLO] {Une démarche plus classique de dissimulation: STABYLO}\label{chap:stabylo} \input{stabylo} -\chapter{Schéma de stéganographie: les dérivées du second ordre}\label{chap:th:yousra} +\chapter[Stéganographie par dérivées secondes]{Schémas de stéganographie: les dérivées secondes}\label{chap:th:yousra} \input{stegoyousra} -\part{Conclusion et Perspectives} +\part{Conclusion} +\chapter{Conclusion et Perspectives} \input{conclusion} @@ -305,7 +358,7 @@ de telles fonctions. \chapter{Preuves sur les réseaux discrets} -\section{Convergence du mode mixe}\label{anx:mix} +\section{Convergence du mode mixte}\label{anx:mix} \input{annexePreuveMixage} @@ -347,7 +400,7 @@ de telles fonctions. \input{annexePreuveStopping} \chapter{Preuves sur le marquage de média}\label{anx:marquage} -\section{Le marquage est $\epsilon$-sego-secure} +\section{Le marquage est $\epsilon$-stégo-sécure} \input{annexePreuveMarquagedhci} \section{Le mode $f_l$ est doublement stochastique}\label{anx:marquage:dblesto} @@ -362,7 +415,7 @@ de telles fonctions. -\bibliographystyle{apalike} +\bibliographystyle{alpha} \bibliography{abbrev,biblioand} \listoffigures \listoftables