validation oxford

[hdrcouchot.git] / main.tex

diff --git a/main.tex b/main.tex
index f2b207d2eea37789a2f613df149b853a43d964e7..2211b41644d04b32ce64d0b841ecfd69f6133019 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -231,7 +231,10 @@ On montre qu'on a des résultats similaires.
 \part{Application au masquage d'information}
 
 
 \part{Application au masquage d'information}
 
 

-\chapter{Formalisation du processus d'embarquement} % OXFORD
+\chapter{Formalisation du processus d'embarquement} 
+% OXFORD
+
+\input{oxford}

 
 \chapter{Des démarches plus classiques}
 
 
 \chapter{Des démarches plus classiques}
 


@@ -325,6 +328,14 @@ pourrait étendre, ce que l'on a déjà, ce qu'il reste à faire.
 \input{annexePreuveDistribution}
 \input{annexePreuveStopping}
 
 \input{annexePreuveDistribution}
 \input{annexePreuveStopping}
 

+\chapter{Preuves sur le marquage de média}\label{anx:marquage}
+\section{Le marquage est $\epsilon$-sego-secure}
+\input{annexePreuveMarquagedhci}
+
+\section{Le mode $f_l$ est doublement stochastique}\label{anx:marquage:dblesto}
+\input{annexePreuveMarquagefldblement}
+
+

 \backmatter
 
 \bibliographystyle{apalike}
 \backmatter
 
 \bibliographystyle{apalike}