modif résumé

[hdrcouchot.git] / main.tex

diff --git a/main.tex b/main.tex
index 9164d38ad79fb875aae777af7c97a33620352c8e..47cc2fcd6eea5166355b475a359eb6a667d23baf 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -36,7 +36,7 @@
 
 %%--------------------
 %% Title of the document
 
 %%--------------------
 %% 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
  
 %%--------------------
 %% Set the author of the HDR


@@ -56,25 +56,71 @@
 
 %%--------------------
 %% Set the University where HDR was made
 
 %%--------------------
 %% Set the University where HDR was made

-\hdrpreparedin{Université de Technologie de Belfort-Montbéliard}
+\hdrpreparedin{l'Université de Franche-Comté}
+

  
 %%--------------------
 %% Set the English abstract
  
 %%--------------------
 %% Set the English abstract

-%\hdrabstract[english]{This is the abstract in English}
+\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  (DDS) 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 Pseudo-random 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
  
 %%--------------------
 %% Set the English keywords. They only appear if
 %% there is an English abstract

-%\hdrkeywords[english]{Keyword 1, Keyword 2}
+\hdrkeywords[english]{discrete dynamical systems, pseudo random number 
+generators, information hiding.}

  
 %%--------------------
 %% Set the French abstract
  
 %%--------------------
 %% Set the French abstract

-\hdrabstract[french]{Blabla blabla.}
+\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  présenterons  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 de contributions
+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,
+permettant  d'avoir  en  plus  une  chaîne   de  Markov doublement
+stochastique.   Cette   dernière  méthode  nous  permettra notamment
+d'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  présentées.  La  thématique de masquage
+d'information (déjà  présente dans  l'équipe) a  été renforcée  et des
+contributions sur  ce sujet  seront présentées.  Des instances  de ces
+algorithmes sont  formalisés 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
  
 %%--------------------
 %% 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.
 
 %%--------------------
 %% Change the layout and the style of the text of the "primary" abstract.


@@ -102,7 +148,7 @@
 
 %%--------------------
 %% Change the speciality of the PhD thesis
 
 %%--------------------
 %% Change the speciality of the PhD thesis

-%\Set{speciality}{Informatique}
+\Set{speciality}{Informatique}

  
 %%--------------------
 %% Change the institution
  
 %%--------------------
 %% Change the institution


@@ -164,7 +210,7 @@
 
  
 
 
  
 

-
+\tableofcontents

 
 \chapter*{Introduction}
 
 
 \chapter*{Introduction}
 


@@ -195,9 +241,9 @@ 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. 
 
 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
 nous avons exposé comment construire un mode combinant les

-avantage du synchronisme en terme de convergence avec les avantages 
+avantages du synchronisme en terme de convergence avec les avantages 

 de l'asynchronisme en terme de vitesse de convergence.
 
 
 de l'asynchronisme en terme de vitesse de convergence.
 
 


@@ -214,24 +260,25 @@ de l'asynchronisme en terme de vitesse de convergence.
 \part{Des systèmes dynamiques discrets 
 au chaos} 
 
 \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 
   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.
+dynamiques chaotiques et leurs caractéristiques.

 La section~\ref{sec:TIPE12}, qui est une reformulation de~\cite{guyeux10},
 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}
 La section~\ref{sec:TIPE12}, qui est une reformulation de~\cite{guyeux10},
 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}.
 
 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}
 \section{Systèmes dynamiques chaotiques selon Devaney}
 \label{subsec:Devaney}
 \input{devaney}


@@ -251,7 +298,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.
 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. 
 
 Le chapitre suivant s'intéresse à essayer de prédire le comportement 
 de telles fonctions. 
 


@@ -272,24 +319,24 @@ 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}
 
 \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}
 
  \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}
 
 
 
  \input{stegoyousra}
 
 
 

-\part{Conclusion et Perspectives}
+\part*{Conclusion et Perspectives}

 
 \input{conclusion}
 
 
 \input{conclusion}
 


@@ -305,7 +352,7 @@ de telles fonctions.
 
 \chapter{Preuves sur les réseaux discrets}
 
 
 \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}
 
 
 \input{annexePreuveMixage}
 
 


@@ -347,7 +394,7 @@ de telles fonctions.
 \input{annexePreuveStopping}
 
 \chapter{Preuves sur le marquage de média}\label{anx:marquage}
 \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}
 \input{annexePreuveMarquagedhci}
 
 \section{Le mode $f_l$ est doublement stochastique}\label{anx:marquage:dblesto}


@@ -362,7 +409,7 @@ de telles fonctions.
 
 
 
 
 
 

-\bibliographystyle{apalike}
+\bibliographystyle{alpha}

 \bibliography{abbrev,biblioand}
 \listoffigures
 \listoftables
 \bibliography{abbrev,biblioand}
 \listoffigures
 \listoftables